The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper

History and Philosophy of Logic 32 (4):359 - 374 (2011)
Download Edit this record How to cite View on PhilPapers
This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes
PhilPapers/Archive ID
Revision history
Archival date: 2012-11-18
View upload history
References found in this work BETA
Computability and Logic.Boolos, George; Burgess, John; P., Richard & Jeffrey, C.
Philosophy of Logic.Quine, W. V. O.
What Are Logical Notions?Corcoran, John & Tarski, Alfred

View all 94 references / Add more references

Citations of this work BETA
Existential-Import Mathematics.Corcoran, John & Masoud, Hassan

Add more citations

Added to PP index

Total views
514 ( #7,870 of 50,229 )

Recent downloads (6 months)
29 ( #21,421 of 50,229 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.