{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T05:40:02Z","timestamp":1720244402567},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2018,4,19]],"date-time":"2018-04-19T00:00:00Z","timestamp":1524096000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s11787-018-0189-4","type":"journal-article","created":{"date-parts":[[2018,4,19]],"date-time":"2018-04-19T08:43:19Z","timestamp":1524127399000},"page":"9-35","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Aristotle\u2019s Prototype Rule-Based Underlying Logic"],"prefix":"10.1007","volume":"12","author":[{"given":"John","family":"Corcoran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,19]]},"reference":[{"key":"189_CR1","unstructured":"Aristotle: Prior analytics. In: Smith, T.R. (eds) Aristotle\u2019s Prior Analytics. Hackett, Indianapolis (1989)"},{"key":"189_CR2","unstructured":"Aristotle: Posterior analytics. In: Mure, T.G.R.G (eds) McKeon (1947)"},{"key":"189_CR3","volume-title":"Foundations of Mathematics","author":"E Beth","year":"1959","unstructured":"Beth, E.: Foundations of Mathematics. North-Holland, Amsterdam (1959)"},{"key":"189_CR4","volume-title":"Handbook of the History of Logic","author":"G Boger","year":"2004","unstructured":"Boger, G.: Aristotle\u2019s underlying logic. In: Gabbay, D., Woods, J. (eds.) Handbook of the History of Logic. Elsevier, Amsterdam (2004)"},{"key":"189_CR5","unstructured":"Boole, G.: Laws of Thought. Macmillan, Cambridge (1854\/2003) (Reprinted with introduction by J. Corcoran. Buffalo: Prometheus Books)"},{"key":"189_CR6","unstructured":"Robert, Audi. (ed.): The Cambridge Dictionary of Philosophy. Cambridge University Press, Cambridge (1999)"},{"key":"189_CR7","doi-asserted-by":"publisher","first-page":"696","DOI":"10.2307\/2272415","volume":"37","author":"J Corcoran","year":"1972","unstructured":"Corcoran, J.: Completeness of an ancient logic. J. Symb. Log. 37, 696\u2013702 (1972)","journal-title":"J. Symb. Log."},{"key":"189_CR8","doi-asserted-by":"crossref","unstructured":"Corcoran, J. (ed.): Ancient Logic and Its Modern Interpretations. Kluwer, Dordrecht (1974)","DOI":"10.1007\/978-94-010-2130-2"},{"key":"189_CR9","first-page":"85","volume":"1974","author":"J Corcoran","year":"1974","unstructured":"Corcoran, J.: Aristotle\u2019s natural deduction system. Corcoran 1974, 85\u2013131 (1974)","journal-title":"Corcoran"},{"key":"189_CR10","first-page":"197","volume":"57","author":"J Corcoran","year":"1981","unstructured":"Corcoran, J.: Ockham\u2019s syllogistic semantics. J. Symb. Log. 57, 197\u20138 (1981)","journal-title":"J. Symb. Log."},{"key":"189_CR11","first-page":"00016","volume":"82m","author":"J Corcoran","year":"1982","unstructured":"Corcoran, J.: Review of \u201cAristotelian Induction\u201d, Hintikka 1980. Math. Rev. 82m, 00016 (1982)","journal-title":"Math. Rev."},{"issue":"1983","key":"189_CR12","first-page":"906","volume":"48","author":"J Corcoran","year":"1983","unstructured":"Corcoran, J.: Deduction and reduction: two proof-theoretic processes in prior analytics I. J. Symb. Log. 48(1983), 906 (1983)","journal-title":"J. Symb. Log."},{"key":"189_CR13","unstructured":"Corcoran, J.: Review of G. Saccheri. Euclides Vindicatus (1733), edited and translated by G. B. Halsted, 2nd ed. (1986), In: Mathematical Reviews 88j:01013 (1988)"},{"key":"189_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BF00116415","volume":"3","author":"J Corcoran","year":"1989","unstructured":"Corcoran, J.: Argumentations and logic. Argumentation 3, 17\u201343 (1989). (Spanish translation by R. Fern\u00e1ndez and J. M. Sag\u00fcillo: Corcoran 1994a)","journal-title":"Argumentation"},{"key":"189_CR15","first-page":"374","volume":"57","author":"J Corcoran","year":"1992","unstructured":"Corcoran, J.: Logical methodology: Aristotle and Tarski. J. Symb. Log. 57, 374 (1992)","journal-title":"J. Symb. Log."},{"key":"189_CR16","first-page":"27","volume":"13\/1","author":"J Corcoran","year":"1994","unstructured":"Corcoran, J.: Argumentaciones y l\u00f3gica. \u00c1gora 13\/1, 27\u201355 (1994a). (Spanish translation by R. Fern\u00e1ndez and J. M. Sag\u00fcillo of a revised and expanded version)","journal-title":"\u00c1gora"},{"key":"189_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.5840\/ancientphil199414SpecialIssue74","volume":"14","author":"J Corcoran","year":"1994","unstructured":"Corcoran, J.: The founding of logic. Anc. Philos. 14, 9\u201324 (1994f)","journal-title":"Anc. Philos."},{"key":"189_CR18","volume-title":"Cambridge Dictionary of Philosophy","author":"J Corcoran","year":"1999","unstructured":"Corcoran, J.: Logical form. In: Audi, R. (ed.) Cambridge Dictionary of Philosophy, 2nd edn. Cambridge University Press, Cambridge (1999)","edition":"2"},{"key":"189_CR19","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1080\/01445340310001604707","volume":"24","author":"J Corcoran","year":"2003","unstructured":"Corcoran, J.: Aristotle\u2019s prior analytics and Boole\u2019s laws of thought. Hist. Philos. Log. 24, 261\u2013288 (2003a)","journal-title":"Hist. Philos. Log."},{"key":"189_CR20","unstructured":"Corcoran, J.: Introduction. In: Prometheus Books, George Boole\u2019s Laws of Thought. Reprint Buffalo (2003b)"},{"key":"189_CR21","doi-asserted-by":"publisher","first-page":"219","DOI":"10.2178\/bsl\/1146620060","volume":"12","author":"J Corcoran","year":"2006","unstructured":"Corcoran, J.: Schemata: the concept of schema in the history of logic. Bull. Symb. Log. 12, 219\u201340 (2006)","journal-title":"Bull. Symb. Log."},{"key":"189_CR22","first-page":"143","volume":"13","author":"J Corcoran","year":"2007","unstructured":"Corcoran, J.: Existential import. Bull. Symb. Log. 13, 143\u2013144 (2007i)","journal-title":"Bull. Symb. Log."},{"key":"189_CR23","volume-title":"Encyclopedia of American Philosophy","author":"J Corcoran","year":"2008","unstructured":"Corcoran, J.: Scientific revolutions. In: Lachs, J., Talisse, R. (eds.) Encyclopedia of American Philosophy. Routledge, New York (2008s)"},{"key":"189_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01445340802228362","volume":"30","author":"J Corcoran","year":"2009","unstructured":"Corcoran, J.: Aristotle\u2019s demonstrative logic. Hist. Philos. Log. 30, 1\u201320 (2009)","journal-title":"Hist. Philos. Log."},{"issue":"2010","key":"189_CR25","first-page":"443","volume":"16","author":"J Corcoran","year":"2010","unstructured":"Corcoran, J.: Hidden consequence and hidden independence. Bull. Symb. Log. 16(2010), 443 (2010)","journal-title":"Bull. Symb. Log."},{"key":"189_CR26","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1017\/bsl.2015.2","volume":"21","author":"J Corcoran","year":"2015","unstructured":"Corcoran, J.: The Aristotle \u0141ukasiewicz omitted. Bull. Symb. Log. 21, 237\u2013238 (2015)","journal-title":"Bull. Symb. Log."},{"key":"189_CR27","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-319-10193-4_5","volume-title":"The Road to Universal Logic","author":"J Corcoran","year":"2015","unstructured":"Corcoran, J., Hamid, I.S.: Investigating knowledge and opinion. In: Buchsbaum, A., Koslow, A. (eds.) The Road to Universal Logic, vol. I, pp. 95\u2013126. Springer, Berlin (2015)"},{"key":"189_CR28","unstructured":"Corcoran, J., Tracy, K.: Review of Joray 2017. Math. Rev. MR3681098 (2018)"},{"key":"189_CR29","unstructured":"Davenport, H.: Higher Arithmetic. Harper, New York (1952\/1960)"},{"key":"189_CR30","unstructured":"Encyclopedia Britannica: Encyclopedia Britannica, Inc.: Chicago (1980)"},{"key":"189_CR31","unstructured":"Euclid: Elements. 3 vols. Heath, T (tr). New York: Dover (1956)"},{"key":"189_CR32","volume-title":"Alfred Tarski: Life and Logic","author":"A Feferman","year":"2004","unstructured":"Feferman, A., Feferman, S.: Alfred Tarski: Life and Logic. Cambridge University Press, Cambridge (2004)"},{"key":"189_CR33","doi-asserted-by":"publisher","DOI":"10.1163\/9789004320840","volume-title":"Ways into the Logic of Alexander of Aphrodisias","author":"K Flannery","year":"1995","unstructured":"Flannery, K.: Ways into the Logic of Alexander of Aphrodisias. Brill, Leiden (1995)"},{"key":"189_CR34","unstructured":"Galen: Institutio Logica. Kieffer, J. (ed) Johns Hopkins UP: Baltimore (1964)"},{"key":"189_CR35","unstructured":"Gasser, J.: Essai sur la nature et les crit\u00e8res de la preuve. Editions DelVal, Cousset (Switzerland) (1989)"},{"key":"189_CR36","first-page":"235","volume":"12","author":"J Gasser","year":"1991","unstructured":"Gasser, J.: Aristotle\u2019s logic for the modern reader. HPL 12, 235\u2013240 (1991)","journal-title":"HPL"},{"key":"189_CR37","unstructured":"Heath, T.: Tr. Euclid\u2019s Elements, vol. 3. Dover, New York (1908\/1925\/1956)"},{"issue":"1980","key":"189_CR38","first-page":"422","volume":"34","author":"J Hintikka","year":"1980","unstructured":"Hintikka, J.: Aristotelian induction. Rev. Int. Philos. 34(1980), 422\u2013439 (1980)","journal-title":"Rev. Int. Philos."},{"key":"189_CR39","volume-title":"Philosophical Companion to First-Order Logic","author":"R Hughes","year":"1993","unstructured":"Hughes, R.: Philosophical Companion to First-Order Logic. Hackett, Indianapolis (1993)"},{"key":"189_CR40","unstructured":"Jeffrey, R.: Formal Logic. McGraw-Hill, New York (1967\/1991)"},{"issue":"3","key":"189_CR41","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1215\/00294527-3882234","volume":"58","author":"Pierre Joray","year":"2017","unstructured":"Joray, Pierre: A completed system for Robin Smith\u2019s incomplete ecthetic syllogistic. Notre Dame J. Form. Log. 58(3), 329\u2013342 (2017)","journal-title":"Notre Dame J. Form. Log."},{"key":"189_CR42","unstructured":"Kieffer, J.: Tr. Galen\u2019s Institutio Logica. Johns Hopkins University Press, Baltimore"},{"key":"189_CR43","volume-title":"The Copernican Revolution","author":"T Kuhn","year":"1957","unstructured":"Kuhn, T.: The Copernican Revolution. Harvard University Press, Cambridge (1957)"},{"key":"189_CR44","volume-title":"The Structure of Scientific Revolutions","author":"T Kuhn","year":"1962","unstructured":"Kuhn, T.: The Structure of Scientific Revolutions. University of Chicago Press, Chicago (1962)"},{"key":"189_CR45","unstructured":"Lejewski, C.: History of logic. In: Encyclopedia Britannica, vol. 11. Encyclopedia Britannica Inc., Chicago (1980)"},{"key":"189_CR46","unstructured":"\u0141ukasiewicz, J.: Aristotle\u2019s Syllogistic. Oxford University Press, Oxford (1951\/1957)"},{"key":"189_CR47","volume-title":"Introduction to Aristotle","author":"R McKeon","year":"1947","unstructured":"McKeon, R.: Introduction to Aristotle. Modern Library, New York (1947)"},{"key":"189_CR48","first-page":"1","volume-title":"The Stoics","author":"I Mueller","year":"1978","unstructured":"Mueller, I.: An introduction to Stoic logic. In: Rist, J.M. (ed.) The Stoics, pp. 1\u201326. University of California Press, Berkeley (1978)"},{"key":"189_CR49","unstructured":"Newman, J. (ed.): The World of Mathematics, vol. 4. Simon and Schuster, New York (1956)"},{"key":"189_CR50","unstructured":"Peirce, C.S.: Boole\u2019s calculus of logic. Peirce 1982 (1865\/1982)"},{"key":"189_CR51","unstructured":"Peirce, C.S.: Writings of Charles S. Peirce: A Chronological Edition, Vol. I. Indiana University Press, Bloomington (1982)"},{"key":"189_CR52","unstructured":"Peirce, C.S.: In: Houser N., Kloesel C. (eds) The Essential Peirce: Selected Philosophical Writings (1867\u20131893), Vol. I. Indiana University Press, Bloomington (1992)"},{"key":"189_CR53","unstructured":"Peirce, C.S.: In: Houser N. et al. (eds) The Essential Peirce: Selected Philosophical Writings (1893\u20131913). Vol. II. Indiana University Press, Bloomington (1998)"},{"key":"189_CR54","doi-asserted-by":"crossref","unstructured":"Ross, W.D.: Aristotle. Meridian Books, New York (1923\/1959)","DOI":"10.1093\/oseo\/instance.00259053"},{"key":"189_CR55","doi-asserted-by":"crossref","DOI":"10.1093\/actrade\/9780199244959.book.1","volume-title":"Aristotle\u2019s Prior and Posterior Analytics","author":"WD Ross","year":"1949","unstructured":"Ross, W.D.: Aristotle\u2019s Prior and Posterior Analytics. Oxford University Press, Oxford (1949)"},{"key":"189_CR56","unstructured":"Sgarbi, M., Cosci, M.: The aftermath of syllogism. In: Aristotelian Argument from Avicenna to Hegel. Bloomsbury, London (2018)"},{"key":"189_CR57","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/BF02115614","volume":"2","author":"T Smiley","year":"1973","unstructured":"Smiley, T.: What is a syllogism? JPL 2, 136\u2013154 (1973)","journal-title":"JPL"},{"key":"189_CR58","first-page":"24","volume":"14","author":"T Smiley","year":"1994","unstructured":"Smiley, T.: Aristotle\u2019s completeness proof. Anc. Philos. 14, 24\u201338 (1994)","journal-title":"Anc. Philos."},{"key":"189_CR59","unstructured":"Smith, R.: Introduction. In: Aristotle\u2019s Prior Analytics. Hackett, Indianapolis (1989)"},{"key":"189_CR60","doi-asserted-by":"crossref","unstructured":"Tarski, A.: Introduction to Logic and to the Methodology of Deductive Sciences. Trans. O. Helmer. Dover, New York (1941\/1946\/1995)","DOI":"10.1093\/oso\/9780195044720.001.0001"},{"key":"189_CR61","unstructured":"Tarski, A.: Truth and proof. Sci. Am. June 1969. Reprinted in Hughes 1993 (1969\/1993)"},{"key":"189_CR62","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctt1vwmgx9","volume-title":"The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age","author":"J Plato von","year":"2017","unstructured":"von Plato, J.: The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age. Princeton University Press, Princeton (2017)"},{"key":"189_CR63","volume-title":"Elements of Logic","author":"R Whately","year":"1855","unstructured":"Whately, R.: Elements of Logic. James Monroe and Co, Boston and Cambridge (1855)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-018-0189-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-018-0189-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-018-0189-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T04:32:43Z","timestamp":1720240363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-018-0189-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,19]]},"references-count":63,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["189"],"URL":"https:\/\/doi.org\/10.1007\/s11787-018-0189-4","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,4,19]]},"assertion":[{"value":"11 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 March 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 April 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}