Quine’s conjecture on many-sorted logic

Barrett, Thomas William; Halvorson, Hans

doi:10.1007/s11229-016-1107-z

Cited by 25 publications

(7 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…22See, for example, Andréka, Madarász, and Németi (2005), Barrett (2017), Barrett and Halvorson (2016a, 2016b, 2017a, 2017b), Coffey (2014), Curiel (2014), Halvorson (2013), Glymour (2013), Hudetz (2015, 2017), Knox (2011, 2014), North (2009), Rosenstock et al. (2015), Rosenstock and Weatherall (2016), Teh and Tsementzis (2017), Tsementzis (2015), Van Fraassen (2014), and Weatherall (2017a).…”

mentioning

confidence: 99%

How to count structure

Barrett

2020

Nous

Self Cite

View full text Add to dashboard Cite

There is sometimes a sense in which one theory posits 'less structure' than another. Philosophers of science have recently appealed to this idea both in the debate about equivalence of theories and in discussions about structural parsimony. But there are a number of different proposals currently on the table for how to compare the 'amount of structure' that different theories posit. The aim of this paper is to compare these proposals against one another and evaluate them on their own merits.

show abstract

mentioning

confidence: 99%

How to count structure

Barrett

2020

Nous

Self Cite

View full text Add to dashboard Cite

show abstract

“…Obviously, the two theories T and T cannot be definitionally equivalent, since that criterion applies only to single-sorted theories. Therefore, to make sense of the claim that many-sorted logic can be reduced to single-sorted logic, we need a generalization of definitional equivalence (see Barrett & Halvorson, 2015b).…”

Section: Three Resultsmentioning

confidence: 99%

Morita Equivalence

Barrett

Halvorson

2016

The Review of Symbolic Logic

Self Cite

View full text Add to dashboard Cite

show abstract

“…In order to do this, let us begin with a brief review of the basic terminology from multi-sorted first order logic. Details can be found in [26,37] and also succinctly in [4].…”

Section: 2mentioning

confidence: 99%