What is Tarski's common concept of consequence?

Bulletin of Symbolic Logic 12 (1):1-42 (2006)
  Copy   BIBTEX

Abstract

In 1936 Tarski sketched a rigorous definition of the concept of logical consequence which, he claimed, agreed quite well with common usage-or, as he also said, with the common concept of consequence. Commentators of Tarski's paper have usually been elusive as to what this common concept is. However, being clear on this issue is important to decide whether Tarski's definition failed (as Etchemendy has contended) or succeeded (as most commentators maintain). I argue that the common concept of consequence that Tarski tried to characterize is not some general, all-purpose notion of consequence, but a rather precise one, namely the concept of consequence at play in axiomatics. I identify this concept and show that Tarski's definition is fully adequate to it

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logical consequence: A defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.
On a fallacy attributed to Tarski.Mario Gómez-Torrente - 1998 - History and Philosophy of Logic 19 (4):227-234.
Ray on Tarski on logical consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.
On Tarski on models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.
Etchemendy and Bolzano on Logical Consequence.Paul Rusnock & Mark Burke - 2010 - History and Philosophy of Logic 31 (1):3-29.
Bolzano's deducibility and tarski's logical consequence.Paul B. Thompson - 1981 - History and Philosophy of Logic 2 (1-2):11-20.
Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.

Analytics

Added to PP
2009-01-28

Downloads
139 (#133,645)

6 months
13 (#195,290)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Mathematical Thought from Ancient to Modern Times.M. Kline - 1978 - British Journal for the Philosophy of Science 29 (1):68-87.
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.

View all 24 references / Add more references