"Theory Equivalence and Imaginary Elements"Laurenz Hudetz (University of Salzburg)
2017 Salzburg-Irvine-Munich Workshop in Logic and Philosophy of Science: In the Sciences
HIB 55, Department of Philosophy, Enter Conference from the Philosophy Department Entrance
55 Humanities Instructional Building
University of California, Irvine 92697-4555
- Department of Philosophy
- School of Social Sciences
- Department of Logic & Philosophy of Science
Philosophers of science have recently developed increased interest in formal criteria of theory equivalence (Andréka, Madarász and Németi 2008, Barrett and Halvorson 2016, Halvorson 2016, Weatherall 2016). Three of the most important criteria presently discussed are:
(1) definitional equivalence
(2) generalised definitional equivalence (or generalised bi-interpretability),
(3) (definable) categorical equivalence.
After presenting these criteria and their motivations, I address questions about their limitations and questions about their relationships to each other, in particular:
(a) For which theories does definable categorical equivalence imply generalised bi-interpretability?
(b) For which theories does generalised bi-interpretability imply definitional equivalence?
Who is attending?
No one has said they will attend yet.
Will you attend this event?