The Mystery of the Fifth Logical Notion (Alice in the Wonderful Land of Logical Notions)
Abstract We discuss a theory presented in a posthumous paper by Alfred Tarski entitled “What are logical notions?”. Although the theory of these logical notions is something outside of the main…
Relation algebras of Sugihara, Belnap, Meyer, and Church
- MathematicsJ. Log. Algebraic Methods Program.
Polish Axiomatics and its Truth: On Tarski's LeBackground and the Ajdukiewicz Connection
Polish Axiomatics and Its Truth - On Tarski’s Leśniewskian Background and the Ajdukiewicz Connection
Leśniewski used to say that he had 100 percent genius doctoral students, his only student being Alfred Tarski (Wolenski 1995, 68 note 11). According to unwritten sources,1 however, when Tarski’s The…
Tarski ’ s Intuitive Notion of Set
Tarski did research on set theory and also used set theory in many of his emblematic writings. Yet his notion of set from the philosophical viewpoint was almost unknown. By studying mostly the…
Godel, Tarski and Truth
- PhilosophyRevue internationale de philosophie
This paper investigates the discovery of the truth-undefinability theorem. Although it is commonly attributed to Tarski, some historical data suggest that it was earlier discovered by Godel. The…
On the Warsaw interactions of logic and mathematics in the years 1919-1939
- PhilosophyAnn. Pure Appl. Log.
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
- PhilosophyBulletin of Symbolic Logic
This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics together with a separate summary of the discussion which followed.
SHOWING 1-10 OF 40 REFERENCES
Remarks on direct products of commutative semigroups
Der Wahrheitsbegriff in den formalisierten Sprachen
- Computer Science
Lindenbaum A. and Tarski A.. Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien. Ergebnisse eines mathematischen Kolloquiums, Heft 7, pp. 15–22.
SOME APPLICATIONS OF NEVANLINNA THEORY TO MATHEMATICAL LOGIC: IDENTITIES OF EXPONENTIAL FUNCTIONS
In this paper we study identities between certain functions of many variables that are constructed by using the elementary functions of addition x + y, multiplication x v, and two-place…