{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T17:10:28Z","timestamp":1722445828379},"reference-count":56,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2016,7,18]],"date-time":"2016-07-18T00:00:00Z","timestamp":1468800000000},"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":[[2016,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The<jats:italic>Generales Inquisitiones de Analysi Notionum et Veritatum<\/jats:italic>is Leibniz\u2019s most substantive work in the area of logic. Leibniz\u2019s central aim in this treatise is to develop a symbolic calculus of terms that is capable of underwriting all valid modes of syllogistic and propositional reasoning. The present paper provides a systematic reconstruction of the calculus developed by Leibniz in the<jats:italic>Generales Inquisitiones<\/jats:italic>. We investigate the most significant logical features of this calculus and prove that it is both sound and complete with respect to a simple class of enriched Boolean algebras which we call auto-Boolean algebras. Moreover, we show that Leibniz\u2019s calculus can reproduce all the laws of classical propositional logic, thus allowing Leibniz to achieve his goal of reducing propositional reasoning to algebraic reasoning about terms.<\/jats:p>","DOI":"10.1017\/s1755020316000137","type":"journal-article","created":{"date-parts":[[2016,7,18]],"date-time":"2016-07-18T09:23:20Z","timestamp":1468833800000},"page":"686-751","source":"Crossref","is-referenced-by-count":5,"title":["THE LOGIC OF LEIBNIZ\u2019S<i>GENERALES INQUISITIONES DE ANALYSI NOTIONUM ET VERITATUM<\/i>"],"prefix":"10.1017","volume":"9","author":[{"given":"MARKO","family":"MALINK","sequence":"first","affiliation":[]},{"given":"ANUBAV","family":"VASUDEVAN","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2016,7,18]]},"reference":[{"key":"S1755020316000137_ref55","doi-asserted-by":"publisher","DOI":"10.2307\/2215728"},{"key":"S1755020316000137_ref10","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1946-08556-0"},{"key":"S1755020316000137_ref37","first-page":"341","volume-title":"Leibniz et les Puissance du Langage","author":"Lenzen","year":"2005"},{"key":"S1755020316000137_ref33","first-page":"1","article-title":"\u201cUnbestimmte Begriffe\u201d bei Leibniz","volume":"16","author":"Lenzen","year":"1984b","journal-title":"Studia Leibnitiana"},{"key":"S1755020316000137_ref17","volume-title":"Gothofredi Guillelmi Leibnitii opera omnia. Tomus quintus, continens opera philologica","author":"Dutens","year":"1768"},{"key":"S1755020316000137_ref35","first-page":"1","volume-title":"Initiatives in Logic","author":"Lenzen","year":"1987"},{"key":"S1755020316000137_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S1874-5857(04)80019-0"},{"key":"S1755020316000137_ref54","first-page":"1","article-title":"Leibniz\u2019s calculus of real addition","volume":"26","author":"Swoyer","year":"1994","journal-title":"Studia Leibnitiana"},{"key":"S1755020316000137_ref44","volume-title":"Logic and Reality in Leibniz\u2019s Metaphysics","author":"Parkinson","year":"1965"},{"key":"S1755020316000137_ref51","volume-title":"Oxford Handbooks Online: The Oxford Handbook of Leibniz","author":"Rodriguez-Pereyra","year":"2013"},{"key":"S1755020316000137_ref34","first-page":"1","article-title":"\u2018Non est\u2019 non est \u2018est non\u2019. Zu Leibnizens Theorie der Negation","volume":"18","author":"Lenzen","year":"1986","journal-title":"Studia Leibnitiana"},{"key":"S1755020316000137_ref32","first-page":"187","article-title":"Leibniz und die Boolesche Algebra","volume":"16","author":"Lenzen","year":"1984a","journal-title":"Studia Leibnitiana"},{"key":"S1755020316000137_ref36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1874-5857(04)80014-1","volume-title":"The Rise of Modern Logic: From Leibniz to Frege","volume":"3","author":"Lenzen","year":"2004"},{"key":"S1755020316000137_ref31","first-page":"129","article-title":"Zur extensionalen und \u201cintensionalen\u201d Interpretation der Leibnizschen Logik","volume":"15","author":"Lenzen","year":"1983","journal-title":"Studia Leibnitiana"},{"key":"S1755020316000137_ref47","doi-asserted-by":"publisher","DOI":"10.2307\/2369442"},{"key":"S1755020316000137_ref11","doi-asserted-by":"publisher","DOI":"10.2307\/2214442"},{"key":"S1755020316000137_ref24","volume-title":"Leibniz\u2019s Philosophy of Logic and Language","author":"Ishiguro","year":"1972"},{"key":"S1755020316000137_ref30","volume-title":"S\u00e4mtliche Schriften und Briefe","author":"Leibniz","year":"1999"},{"key":"S1755020316000137_ref46","volume-title":"Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert","author":"Peckhaus","year":"1997"},{"key":"S1755020316000137_ref9","first-page":"49","article-title":"Anmerkungen zur Logik, Ontologie und Semantik bei Leibniz","volume":"6","author":"Burkhardt","year":"1974","journal-title":"Studia Leibnitiana"},{"key":"S1755020316000137_ref38","first-page":"110","volume-title":"The Continuum Companion to Leibniz","author":"Levey","year":"2011"},{"key":"S1755020316000137_ref52","volume-title":"Logic for Mathematicians","author":"Rosser","year":"1953"},{"key":"S1755020316000137_ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06080-4_13"},{"key":"S1755020316000137_ref27","volume-title":"\u00dcber die Leibnizsche Logik: Mit besonderer Ber\u00fccksichtigung des Problems der Intension und der Extension","volume":"12","author":"Kauppi","year":"1960"},{"key":"S1755020316000137_ref18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1874-5857(06)80027-0","volume-title":"Logic and the Modalities in the Twentieth Century","volume":"7","author":"Goldblatt","year":"2006"},{"key":"S1755020316000137_ref3","doi-asserted-by":"crossref","DOI":"10.1515\/9781400826186","volume-title":"The Birth of Model Theory: L\u00f6wenheim\u2019s Theorem in the Frame of the Theory of Relatives","author":"Badesa","year":"2004"},{"key":"S1755020316000137_ref49","volume-title":"G. W Leibniz: Recherches g\u00e9n\u00e9rales sur l\u2019analyse des notions et des v\u00e9rit\u00e9s, 24 th\u00e8ses m\u00e9taphysiques et autres textes logiques et m\u00e9taphysiques","author":"Rauzy","year":"1998"},{"key":"S1755020316000137_ref43","volume-title":"Gottfried Wilhelm Leibniz: Ricerche generali sull\u2019analisi delle nozioni e delle verit\u00e0 e altri scritti di logica","author":"Mugnai","year":"2008"},{"key":"S1755020316000137_ref2","doi-asserted-by":"publisher","DOI":"10.1515\/9783110844900"},{"key":"S1755020316000137_ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005076530958"},{"key":"S1755020316000137_ref53","volume-title":"Gottfried Wilhelm Leibniz: Allgemeine Untersuchungen \u00fcber die Analyse der Begriffe und Wahrheiten","author":"Schupp","year":"1993"},{"key":"S1755020316000137_ref20","volume-title":"Algebraic Logic","author":"Halmos","year":"1962"},{"key":"S1755020316000137_ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511487149"},{"key":"S1755020316000137_ref16","first-page":"9","article-title":"Leibniz\u2019s logical system of 1686\u20131690","volume":"6","author":"Doull","year":"1991","journal-title":"Theoria"},{"key":"S1755020316000137_ref22","first-page":"10","volume-title":"Perspectives on the History of Mathematical Logic","author":"Houser","year":"1991"},{"key":"S1755020316000137_ref8","doi-asserted-by":"publisher","DOI":"10.5962\/bhl.title.29413"},{"key":"S1755020316000137_ref48","first-page":"309","article-title":"Signum, notio und idea. Elemente der Leibnizschen Zeichentheorie","volume":"1","author":"Poser","year":"1979","journal-title":"Zeitschrift f\u00fcr Semiotik"},{"key":"S1755020316000137_ref50","doi-asserted-by":"publisher","DOI":"10.2307\/2267644"},{"key":"S1755020316000137_ref23","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1904-1500675-4"},{"key":"S1755020316000137_ref40","volume-title":"Symbolic Logic","author":"Lewis","year":"1932"},{"key":"S1755020316000137_ref42","doi-asserted-by":"publisher","DOI":"10.5840\/leibniz20051510"},{"key":"S1755020316000137_ref1","volume-title":"Leibniz: Determinist, Theist, Idealist","author":"Adams","year":"1994"},{"key":"S1755020316000137_ref4","first-page":"279","article-title":"Terms and sentences","volume":"69","author":"Barnes","year":"1983","journal-title":"Proceedings of the British Academy"},{"key":"S1755020316000137_ref12","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093887721"},{"key":"S1755020316000137_ref41","volume-title":"The Philosophy of Leibniz: Metaphysics and Language","author":"Mates","year":"1986"},{"key":"S1755020316000137_ref14","volume-title":"La logique de Leibniz","author":"Couturat","year":"1901"},{"key":"S1755020316000137_ref39","doi-asserted-by":"crossref","DOI":"10.1525\/9780520398252","volume-title":"A Survey of Symbolic Logic","author":"Lewis","year":"1918"},{"key":"S1755020316000137_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100013463"},{"key":"S1755020316000137_ref28","unstructured":"Leibniz G. W . (1857\u201390). Die philosophischen Schriften von Gottfried Wilhelm Leibniz, 7 vols. Ed. by Gerhardt C. I. . Berlin: Weidmannsche Buchhandlung."},{"key":"S1755020316000137_ref21","first-page":"518","volume-title":"Sprache und Wirklichkeit nach Leibniz","author":"Heinekamp","year":"1976"},{"key":"S1755020316000137_ref29","volume-title":"Opuscules et fragments in\u00e9dits de Leibniz. L. Couturat, editor","author":"Leibniz","year":"1903"},{"key":"S1755020316000137_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-52937-4.50004-6"},{"key":"S1755020316000137_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-3673-7_2"},{"key":"S1755020316000137_ref45","volume-title":"Gottfried Wilhelm Leibniz: Logical Papers. A Selection","author":"Parkinson","year":"1966"},{"key":"S1755020316000137_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00147626"},{"key":"S1755020316000137_ref25","volume-title":"Leibniz\u2019s Philosophy of Logic and Language","author":"Ishiguro","year":"1990"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020316000137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T08:27:10Z","timestamp":1718699230000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020316000137\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,18]]},"references-count":56,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["S1755020316000137"],"URL":"https:\/\/doi.org\/10.1017\/s1755020316000137","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,18]]}}}