{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T20:47:56Z","timestamp":1786999676843,"version":"build-2736575974"},"reference-count":41,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2012,4,2]],"date-time":"2012-04-02T00:00:00Z","timestamp":1333324800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2012,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    In the\n                    <jats:italic>Tractatus<\/jats:italic>\n                    , Wittgenstein advocates two major notational innovations in logic. First, identity is to be expressed by identity of the sign only, not by a sign for identity. Secondly, only one logical operator, called \u201cN\u201d by Wittgenstein, should be employed in the construction of compound formulas. We show that, despite claims to the contrary in the literature, both of these proposals can be realized, severally and jointly, in expressively complete systems of first-order logic. Building on early work of Hintikka\u2019s, we identify three ways in which the first notational convention can be implemented, show that two of these are compatible with the text of the\n                    <jats:italic>Tractatus<\/jats:italic>\n                    , and argue on systematic and historical grounds, adducing posthumous work of Ramsey\u2019s, for one of these as Wittgenstein\u2019s envisaged method. With respect to the second Tractarian proposal, we discuss how Wittgenstein distinguished between general and non-general propositions and argue that, claims to the contrary notwithstanding, an expressively adequate N-operator notation is implicit in the\n                    <jats:italic>Tractatus<\/jats:italic>\n                    when taken in its intellectual environment. We finally introduce a variety of sound and complete tableau calculi for first-order logics formulated in a Wittgensteinian notation. The first of these is based on the contemporary notion of logical truth as truth in all structures. The others take into account the Tractarian notion of logical truth as truth in all structures over one fixed universe of objects. Here the appropriate tableau rules depend on whether this universe is infinite or finite in size, and in the latter case on its exact finite cardinality.\n                  <\/jats:p>\n                  <jats:p>\n                    <jats:disp-quote>\n                      <jats:p>As it is obviously easy to express how propositions can be constructed by means of this operation and how propositions are not to be constructed by means of it, this must be capable of exact expression.<\/jats:p>\n                      <jats:attrib>5.503<\/jats:attrib>\n                    <\/jats:disp-quote>\n                  <\/jats:p>","DOI":"10.1017\/s1755020312000032","type":"journal-article","created":{"date-parts":[[2012,4,2]],"date-time":"2012-04-02T09:52:00Z","timestamp":1333360320000},"page":"538-573","source":"Crossref","is-referenced-by-count":30,"title":["TRACTARIAN FIRST-ORDER LOGIC: IDENTITY AND THE N-OPERATOR"],"prefix":"10.1017","volume":"5","author":[{"given":"BRIAN","family":"ROGERS","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"KAI F.","family":"WEHMEIER","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2012,4,2]]},"reference":[{"key":"S1755020312000032_ref12","volume-title":"Wittgenstein","author":"Fogelin","year":"1987"},{"key":"S1755020312000032_ref39","volume-title":"Notebooks 1914\u20131916","author":"Wittgenstein","year":"1961"},{"key":"S1755020312000032_ref40","volume-title":"Tractatus Logico-Philosophicus","author":"Wittgenstein","year":"1961"},{"key":"S1755020312000032_ref37","volume-title":"Principia Mathematica","volume":"1","author":"Whitehead","year":"1910"},{"key":"S1755020312000032_ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s10670-008-9118-x"},{"key":"S1755020312000032_ref6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005286219444"},{"key":"S1755020312000032_ref28","volume-title":"Wittgenstein","author":"Schroeder","year":"2006"},{"key":"S1755020312000032_ref32","doi-asserted-by":"publisher","DOI":"10.1007\/BF01128204"},{"key":"S1755020312000032_ref31","doi-asserted-by":"publisher","DOI":"10.5840\/gps19924219"},{"key":"S1755020312000032_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7"},{"key":"S1755020312000032_ref36","volume-title":"Wittgenstein\u2019s Tractatus Logico-Philosophicus","author":"White","year":"2006"},{"key":"S1755020312000032_ref24","doi-asserted-by":"publisher","DOI":"10.1080\/01445349508837249"},{"key":"S1755020312000032_ref23","doi-asserted-by":"publisher","DOI":"10.1002\/9781444301243"},{"key":"S1755020312000032_ref26","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/XXXII.128.465"},{"key":"S1755020312000032_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804076"},{"key":"S1755020312000032_ref41","volume-title":"Prototractatus","author":"Wittgenstein","year":"1971"},{"key":"S1755020312000032_ref13","doi-asserted-by":"crossref","DOI":"10.4324\/9780203390757","volume-title":"Understanding Wittgenstein\u2019s Tractatus","author":"Frascolla","year":"2007"},{"key":"S1755020312000032_ref25","volume-title":"Wittgenstein and the Tractatus","author":"Morris","year":"2008"},{"key":"S1755020312000032_ref1","volume-title":"An Introduction to Wittgenstein\u2019s Tractatus","author":"Anscombe","year":"1959"},{"key":"S1755020312000032_ref14","first-page":"137","volume-title":"Gottlob Frege\u2014Nachgelassene Schriften","author":"Frege","year":"1969"},{"key":"S1755020312000032_ref38","volume-title":"Tractatus Logico-Philosophicus","author":"Wittgenstein","year":"1922"},{"key":"S1755020312000032_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF00485321"},{"key":"S1755020312000032_ref15","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/41.4.168"},{"key":"S1755020312000032_ref20","doi-asserted-by":"crossref","first-page":"143","DOI":"10.7551\/mitpress\/7265.003.0004","volume-title":"Wittgenstein and the Moral Life: Essays in Honor of Cora Diamond","author":"Kremer","year":"2007"},{"key":"S1755020312000032_ref33","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1094155275"},{"key":"S1755020312000032_ref30","doi-asserted-by":"publisher","DOI":"10.2307\/2184881"},{"key":"S1755020312000032_ref16","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/42.3.127"},{"key":"S1755020312000032_ref2","volume-title":"A Companion to Wittgenstein\u2019s \u2018Tractatus\u2019","author":"Black","year":"1964"},{"key":"S1755020312000032_ref17","doi-asserted-by":"publisher","DOI":"10.1111\/b.9780631185376.1996.x"},{"key":"S1755020312000032_ref3","doi-asserted-by":"publisher","DOI":"10.5840\/teachphil19814111"},{"key":"S1755020312000032_ref5","volume-title":"The Logical Syntax of Language","author":"Carnap","year":"1937"},{"key":"S1755020312000032_ref7","doi-asserted-by":"publisher","DOI":"10.1093\/0195133269.003.0013"},{"key":"S1755020312000032_ref9","doi-asserted-by":"publisher","DOI":"10.4324\/9780203219065"},{"key":"S1755020312000032_ref18","doi-asserted-by":"crossref","first-page":"225","DOI":"10.2307\/2269095","article-title":"Identity, variables, and impredicative definitions","volume":"21","author":"Hintikka","year":"1956","journal-title":"Journal of Symbolic Logic"},{"key":"S1755020312000032_ref21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511487255"},{"key":"S1755020312000032_ref22","doi-asserted-by":"publisher","DOI":"10.1080\/01445340500420964"},{"key":"S1755020312000032_ref35","first-page":"353","volume-title":"Acts of Knowledge: History, Philosophy and Logic","author":"Wehmeier","year":"2009"},{"key":"S1755020312000032_ref27","first-page":"155","volume-title":"Notes on Philosophy, Probability and Mathematics","author":"Ramsey","year":"1991"},{"key":"S1755020312000032_ref19","doi-asserted-by":"crossref","first-page":"191","DOI":"10.30965\/26664275-00401011","article-title":"Analysis of quantifiers in Wittgenstein\u2019s Tractatus: A critical survey","volume":"4","author":"Jacquette","year":"2001","journal-title":"Logical Analysis and History of Philosophy"},{"key":"S1755020312000032_ref10","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/42.3.124"},{"key":"S1755020312000032_ref8","doi-asserted-by":"crossref","first-page":"177","DOI":"10.7551\/mitpress\/7265.003.0005","volume-title":"Wittgenstein and the Moral Life: Essays in Honor of Cora Diamond","author":"Floyd","year":"2007"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020312000032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T11:46:34Z","timestamp":1713786394000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020312000032\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,2]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["S1755020312000032"],"URL":"https:\/\/doi.org\/10.1017\/s1755020312000032","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4,2]]}}}