REVIEW OF Alfred Tarski, Collected Papers, vols. 1-4 (1986) edited by Steven Givant and Ralph McKenzie [Book Review]
MATHEMATICAL REVIEWS 91 (h):01101-4 (1991)
Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most of the Aristotelian corpus is not about logic, whereas virtually everything written by Tarski concerns logic more or less directly. There is no doubt that Tarski wrote more on logic than any other author; he started publishing on logic in 1921 at the age of 20 and continued until his death at the age of 82. Two of his works appeared posthumously [Hist. Philos. Logic 7 (1986), no. 2, 143--154; MR0868748 (88b:03010); Tarski and Givant, A formalization of set theory without variables, Amer. Math. Soc., Providence, RI, 1987; MR0920815 (89g:03012)]. Tarski's voluminous writings were widely scattered in numerous journals, some quite rare. It has been extremely difficult to study the development of Tarski's thought and to trace the interconnections and interdependence of his various papers. Thanks to the present collection all this has changed, and it is likely that the increased accessibility of Tarski's papers will have the effect of increasing Tarski's already enormous influence.
|Keywords||TRUTH CONSEQUENCE LOGICAL NOTIONS LOGIC SEMANTICS METAMATHEMATICS DEFINITION STRING THEORY TARSKI BICONDITIONAL SCHEMA|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359 - 374.
Similar books and articles
Tarski's System of Geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
Syme's Papers IV and V Ronald Syme: Roman Papers, Vols. IV–V (Ed. Anthony R. Birley). 2 Vols. Pp. Viii + 776 (Vol. V Begins P. 431); 1 Plate. Oxford: Clarendon Press, 1988. IV, £45; V, £35. [REVIEW]David Braund - 1990 - The Classical Review 40 (02):405-406.
Collected Papers A. M. Dale: Collected Papers. Pp. X+307. Cambridge: University Press, 1969. Cloth, £4.Hugh Lloyd-Jones - 1971 - The Classical Review 21 (03):407-409.
Ronald Syme: Roman Papers, Vols. VI and VII, Edited by Anthony R. Birley. 2 Vols. Pp. Xiv + 472; 1 Map; Pp. 473–710; 1 Genealogical Table, 1 Illustration. Oxford: Clarendon Press, 1991. VI, £55; VII, £35. [REVIEW]David Braund - 1993 - The Classical Review 43 (01):200-201.
The Collected Papers of Charles Darwin. Edited by Paul H. Barrett. With a Foreword by Theodosius Dobzhansky. Chicago: University of Chicago Press, 1977. 2 Vols. Xviii + 277; Viii + 326 Pages. $40.00. [REVIEW]T. A. Goudge - 1980 - Dialogue 19 (3):524-526.
The Classical Papers of A.E. Housman. Collected and Edited by J. Diggle and F. R. D. Goodyear. 3 Vols. Pp. Xv+1318. Cambridge: University Press, 1971. Cloth, £20·10. [REVIEW]C. J. Fordyce - 1974 - The Classical Review 24 (01):149-.
Ryle's Collected Papers Gilbert Ryle: Collected Papers. 2 Vols. Pp. X+291; Viii+496. London: Hutchinson, 1971. Cloth, £5, £6. [REVIEW]W. Charlton - 1975 - The Classical Review 25 (01):137-138.
Added to index2009-04-15
Total downloads140 ( #33,602 of 2,164,539 )
Recent downloads (6 months)25 ( #13,905 of 2,164,539 )
How can I increase my downloads?