Tarski, truth and model theory

Proceedings of the Aristotelean Society

Volumn 99, Issue 1, 1999, Pages 141-167

  Milne, Peter ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 1642275814     PISSN: 00667374     EISSN: 14679264     Source Type: Journal    
DOI: 10.1111/1467-9264.00052     Document Type: Article

References (19)

1. Tarski [1923]: 'On the Primitive Term of Logistic'
2. Tarski [1929]: 'Foundations of the Geometry of Solids'
3. Tarski [1930]: 'Fundamental Concepts of the Methodology of the Deductive Sciences'
4. Tarski [1931]: 'On Definable Sets of Real Numbers'
5. Tarski [1933]: 'Some Observations on the Concepts of co-Consistency and co- Completeness'
6. Tarski [1934/5]: 'Some Methodological Investigations on the Definability of Concepts'
7. Tarski [1934/5a]: 'On the Limitation of the Means of Expression of Deductive Theories'
8. Tarski [1935]: "The Concept of Truth in Formalized Languages'
9. Tarski [1935a]: 'On the Foundations of Boolean Algebra'
10. Tarski [1936]: 'The Establishment of Scientific Semantics'
11. Tarski [1936a]: 'On the Concept of Logical Consequence'
12. Tarski [1944]: 'The Semantic Conception of Truth and the Foundations of Semantics', Philosophy and Phenomenological Research, 4 (1944), 341-76
13. page references to the reprint in Leonard Linsky (ed.), Semantics and the Philosophy of Language (Urbana, University of Illinois Press, 1952), 13-47
14. Tarski [1954]: Contribution to 'Discussion', Revue Internationale dephilosophie, 8 (1954), 16-20
15. Tarski [1954a]: 'Contributions to the Theory of Models I', Indagationes Mathematicae, 16 (1954), 572-581
16. Tarski [1969]: 'Truth and Proof, Scientific American, 220 (June 1969), 63-77
17. page references to the reprint in R.I.G. Hughes (ed.), A Philosophical Companion to First-Order Logic (Indianapolis, Hackett, 1993), 101-126
18. Tarski, Mostowski and Robinson [1953]: Alfred Tarski in collaboration with Andrzej Mostowski and Raphael Robinson, Undecidable Theories (Amsterdam, North-Holland, 1953)
19. Tarski and Vaught [1957]: Alfred Tarski and Robert L. Vaught, 'Arithmetical Extensions of Relational Systems', Compositio Mathematica, 13 (1957), 81-102