PhilSci Archive

On some examples from first-order logic as motivation for categorical equivalence of KPMs

March, Eleanor (2024) On some examples from first-order logic as motivation for categorical equivalence of KPMs. [Preprint]

[img]
Preview
Text
KPMs.pdf

Download (394kB) | Preview

Abstract

I develop and motivate an extension of the categorical equivalence programme to the full space of KPMs of a theory, beginning with a problem case from first-order logic where categorical equivalence seems too weak a criterion of theoretical equivalence. This has wide-ranging implications for discussions of theoretical equivalence, and the categorical equivalence programme in particular.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
March, Eleanoreleanor.march@balliol.ox.ac.uk
Keywords: Theoretical equivalence, categorical equivalence, definitional equivalence, Morita equivalence, category theory, kinematical possibility
Subjects: General Issues > Structure of Theories
General Issues > Theory Change
Depositing User: Eleanor March
Date Deposited: 23 Mar 2024 03:01
Last Modified: 23 Mar 2024 03:01
Item ID: 23217
Subjects: General Issues > Structure of Theories
General Issues > Theory Change
Date: 22 March 2024
URI: https://philsci-archive.pitt.edu/id/eprint/23217

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item