PDC Homepage

Home » Products » Purchase

Proceedings of the XXII World Congress of Philosophy

Volume 13, 2008

Logic and Philosophy of Logic

Mario Gomez-Torrente
Pages 47-52

Tarski on Variable Domains

In earlier work I claimed that when Tarski wrote his seminal 1936 paper on logical consequence, he had in mind a now nonstandard convention, that he also used in his 1937 logic manual, requiring the domain of quantification of the different interpretations of a first-order mathematical language to covary with changes in the interpretation of a non-logical “domain predicate”. Recently Paolo Mancosu has rejected this claim, holding that it can be established on the basis of a passage from Tarski’s manual that he did not employ that convention. I show that Mancosu misinterprets the passage in question and that detailed examination of the surrounding text actually confirms my earlier claim.

Usage and Metrics