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

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:	Creators Email ORCID March, Eleanor eleanor.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

Available Versions of this Item

• On some examples from first-order logic as motivation for categorical equivalence of KPMs. (deposited 23 Mar 2024 03:01) [Currently Displayed]
  • Categorical equivalence and the kinematics-dynamics distinction. (deposited 12 Nov 2024 13:12)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item