{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T05:25:31Z","timestamp":1782969931148,"version":"3.54.5"},"reference-count":62,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6493,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,6]]},"abstract":"<jats:p>In his 1936 paper,<jats:italic>On the Concept of Logical Consequence<\/jats:italic>, Tarski introduced the celebrated definition of<jats:bold>logical consequence<\/jats:bold>: \u201c<jats:italic>The sentence<\/jats:italic><jats:italic>\u03c3<\/jats:italic>follows logically<jats:italic>from the sentences of the class \u0393 if and only if every model of the class \u0393 is also a model of the sentence<jats:italic>\u03c3<\/jats:italic><\/jats:italic>.\u201d [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, \u201cessential for the proper concept of consequence\u201d [55, p. 415] and reflecting common linguistic usage: \u201cConsider any class \u0393 of sentences and a sentence which follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class \u0393 consists only of true sentences and the sentence<jats:italic>\u03c3<\/jats:italic>is false. Moreover, \u2026 we are concerned here with the concept of logical, i.e.,<jats:italic>formal<\/jats:italic>, consequence.\u201d [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: \u201cIt seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. \u2026 In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.\u201d [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since.<\/jats:p>","DOI":"10.2307\/2275681","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:58:29Z","timestamp":1146956309000},"page":"653-686","source":"Crossref","is-referenced-by-count":66,"title":["Did Tarski commit \u201cTarski's fallacy\u201d?"],"prefix":"10.1017","volume":"61","author":[{"given":"G. Y.","family":"Sher","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200017485_ref051","first-page":"378","article-title":"Bolzano, Tarski, and the limits of logic","volume":"24","author":"Simons","year":"1987","journal-title":"Philosophia Naturalis"},{"key":"S0022481200017485_ref053","unstructured":"Tarski A. , Some observations on the concepts of \u03c9-consistency and \u03c9-completeness, 1933, in Tarski [1983], pp. 279\u201395."},{"key":"S0022481200017485_ref054","unstructured":"Tarski A. , The establishment of scientific semantics, 1936, in Tarski [1983], pp. 401\u20138."},{"key":"S0022481200017485_ref058","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-4540-1"},{"key":"S0022481200017485_ref061","volume-title":"Handbook of philosophical logic","volume":"4","author":"Westerst\u00e5hl","year":"1989"},{"key":"S0022481200017485_ref057","first-page":"143","volume-title":"History and philosophy of logic 7","author":"Tarski","year":"1986"},{"key":"S0022481200017485_ref055","unstructured":"Tarski A. , On the concept of logical consequence, 1936, in Tarski [1983], pp. 409\u201320."},{"key":"S0022481200017485_ref052","unstructured":"Tarski A. , The concept of truth in formalized languages, 1933, in Tarski [1983], pp. 152\u2013278."},{"key":"S0022481200017485_ref045","volume-title":"Foundations without foundationalism: A case for second-order I","author":"Shapiro","year":"1991"},{"key":"S0022481200017485_ref042","volume-title":"Introduction to mathematical philosophy","author":"Russell","year":"1919"},{"key":"S0022481200017485_ref044","unstructured":"Shagrir O. , Computation and its relevance to cognition, Ph.D. thesis , UCSD, 1994."},{"key":"S0022481200017485_ref041","doi-asserted-by":"publisher","DOI":"10.2307\/2214851"},{"key":"S0022481200017485_ref046","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-0114.1989.tb00386.x"},{"key":"S0022481200017485_ref048","first-page":"131","article-title":"A new solution to the problem of truth (abstract)","volume":"1","author":"Sher","year":"1995","journal-title":"Bulletin of Symbolic Logic"},{"key":"S0022481200017485_ref040","unstructured":"Ray Greg , Logical consequence: A defense of Tarski, to appear."},{"key":"S0022481200017485_ref005","doi-asserted-by":"publisher","DOI":"10.2307\/2185003"},{"key":"S0022481200017485_ref004","doi-asserted-by":"publisher","DOI":"10.2307\/2025179"},{"key":"S0022481200017485_ref030","doi-asserted-by":"publisher","DOI":"10.1093\/aristotelian\/92.1.273"},{"key":"S0022481200017485_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-2513-3"},{"key":"S0022481200017485_ref010","volume-title":"The metaphysics of modality","author":"Forbes","year":"1985"},{"key":"S0022481200017485_ref037","volume-title":"Word and object","author":"Quine","year":"1960"},{"key":"S0022481200017485_ref023","unstructured":"Lindenbaum A. and Tarski A. , On the limitations of the means of expression of deductive theories, in Tarski [1983], pp. 382\u201392."},{"key":"S0022481200017485_ref020","first-page":"138","volume-title":"Problems in the philosophy of mathematics","author":"Kreisel","year":"1969"},{"key":"S0022481200017485_ref024","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1111\/j.1755-2567.1966.tb00600.x","article-title":"First order predicate logic with generalized quantifiers","volume":"32","author":"Lindstrom","year":"1966","journal-title":"Theoria"},{"key":"S0022481200017485_ref060","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/025\/0472457"},{"key":"S0022481200017485_ref016","doi-asserted-by":"publisher","DOI":"10.1515\/tlir.1981.1.1.41"},{"key":"S0022481200017485_ref014","volume-title":"Ontological economy","author":"Gottlieb","year":"1980"},{"key":"S0022481200017485_ref034","doi-asserted-by":"publisher","DOI":"10.2307\/2025420"},{"key":"S0022481200017485_ref029","first-page":"254","volume":"57","author":"McGee","year":"1992","journal-title":"Review of the concept of logical consequence"},{"key":"S0022481200017485_ref031","doi-asserted-by":"publisher","DOI":"10.4064\/fm-44-1-12-36"},{"key":"S0022481200017485_ref022","first-page":"325","volume-title":"Truth and meaning","author":"Kripke","year":"1976"},{"key":"S0022481200017485_ref011","volume-title":"The foundations of arithmetic","author":"Frege","year":"1884"},{"key":"S0022481200017485_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-3381-1"},{"key":"S0022481200017485_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF00350139"},{"key":"S0022481200017485_ref050","first-page":"511","volume-title":"Handbook of contemporary semantic theory","author":"Sher","year":"1996"},{"key":"S0022481200017485_ref002","volume-title":"Model-theoretic logics","author":"Barwise","year":"1985"},{"key":"S0022481200017485_ref056","unstructured":"Tarski A. , ( Corcoran J. , editor), Hackett, second ed., 1983, translated by Woodger."},{"key":"S0022481200017485_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/BF00630273"},{"key":"S0022481200017485_ref025","doi-asserted-by":"publisher","DOI":"10.1080\/00201746208601353"},{"key":"S0022481200017485_ref043","volume-title":"The principles of mathematics","author":"Russell","year":"1938"},{"key":"S0022481200017485_ref036","first-page":"323","volume-title":"Mathematics, matter and method: Philosophical papers I","author":"Putnam","year":"1975"},{"key":"S0022481200017485_ref047","volume-title":"The bounds of logic: A generalized viewpoint","author":"Sher","year":"1991"},{"key":"S0022481200017485_ref039","volume-title":"Philosophy of logic","author":"Quine","year":"1970"},{"key":"S0022481200017485_ref059","doi-asserted-by":"publisher","DOI":"10.1007\/BF00632472"},{"key":"S0022481200017485_ref021","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-2557-7_9"},{"key":"S0022481200017485_ref049","unstructured":"Sher G. , On the possibility of a substantive theory of truth, manuscript, 1996."},{"key":"S0022481200017485_ref009","volume-title":"The concept of logical consequence","author":"Etchemendy","year":"1990"},{"key":"S0022481200017485_ref027","doi-asserted-by":"publisher","DOI":"10.1007\/BF00632471"},{"key":"S0022481200017485_ref017","first-page":"135","volume-title":"Proceedings of Aristotelian Society","author":"Hodges","year":"1986"},{"key":"S0022481200017485_ref062","volume-title":"Tractatus logico-philosophicus","author":"Wittgenstein","year":"1961"},{"key":"S0022481200017485_ref006","volume-title":"Constructibility and mathematical existence","author":"Chihara","year":"1990"},{"key":"S0022481200017485_ref012","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093634568"},{"key":"S0022481200017485_ref028","doi-asserted-by":"publisher","DOI":"10.2307\/2026088"},{"key":"S0022481200017485_ref038","doi-asserted-by":"crossref","first-page":"91","DOI":"10.7312\/quin92204-005","volume-title":"Ontological relativity and other essays","author":"Quine","year":"1969"},{"key":"S0022481200017485_ref015","volume-title":"Mathematics without numbers","author":"Hellman","year":"1989"},{"key":"S0022481200017485_ref019","doi-asserted-by":"publisher","DOI":"10.1016\/S0003-4843(70)80005-5"},{"key":"S0022481200017485_ref008","first-page":"51","volume":"53","author":"Etchemendy","year":"1988","journal-title":"Tarski on truth and logical consequence"},{"key":"S0022481200017485_ref026","doi-asserted-by":"publisher","DOI":"10.2307\/2214772"},{"key":"S0022481200017485_ref033","doi-asserted-by":"publisher","DOI":"10.1007\/BF00485186"},{"key":"S0022481200017485_ref007","volume-title":"A mathematical introduction to logic","author":"Enderton","year":"1972"},{"key":"S0022481200017485_ref035","first-page":"43","volume-title":"Mathematics, matter and method: Philosophical papers I","author":"Putnam","year":"1975"},{"key":"S0022481200017485_ref032","volume-title":"Mathematics in philosophy","author":"Parsons","year":"1983"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200017485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:29:11Z","timestamp":1707031751000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200017485\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":62,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["S0022481200017485"],"URL":"https:\/\/doi.org\/10.2307\/2275681","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}