November 2020

PUBLICATIONS OF JOHN CORCORAN With links

MR: reviewed in Mathematical Reviews. J: available at JSTOR. RG: Researchgate. PP: Philpapers. AC: Academia.edu.: APA Connect

Internet https://www.facebook.com/groups/964364967280710 http://philpapers.org/s/john%20corcoran https://www.researchgate.net/profile/John_Corcoran2/ http://buffalo.academia.edu/JohnCorcoran

CONTENTS: I. Articles, II. Abstracts, III. Books, IV. Miscellaneous, V. Reviews, VI. Refereeing

I. Articles.

1. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. https://www.academia.edu/9855795/Three_logical_theories 2. 1969. Logical Consequence in Modal : Natural Deduction in S5 (Co-author: George Weaver), Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). https://www.academia.edu/8842264/ LOGICAL_CONSEQUENCE_IN_MODAL_LOGIC_NATURAL_DEDUCTION_IN_S5_by_JO HN_CORCORAN_and_GEORGE_WEAVER 3. 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. PDF RG AC PP https://www.academia.edu/19842045/ Discourse_Grammars_and_the_Structure_of_Mathematical_Reasoning_I_Mathematical_ Reasoning_and_Stratification_of_Language 4. 1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. PDF AC RG PP

1 https://www.academia.edu/20947028/ Discourse_Grammars_and_the_Structure_of_Mathematical_Reasoning_II_The_Nature_ of_a_Correct_Theory_of_Proof_and_Its_Value 5. 1971. Discourse Grammars and the Structure of Mathematical Reasoning III: Two Theories of Proof, Journal of Structural Learning 3, #3, 1–24. PDF AC https://www.academia.edu/21589676/Part_III_of_Discourse_grammars_Two_Theories_of_Proof_ 6. 1971. Notes on a Semantic Analysis of Variable Binding Term Operators (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). RG AC https://www.academia.edu/s/d797eb2871/notes-on-a-semantic-analysis-of-variable- binding-term-operators?source=link https://www.academia.edu/19988287/ Notes_on_a_Semantic_Analysis_of_Variable_Binding_Term_Operators 7. 1972. Variable Binding Term Operators, (Co-authors Wm. Hatcher, John Herring) Zeitschrift fr mathematische Logik und Grundlagen der Mathematik 18, 177–82. MR0305970 (46 #5098) Reprinted 2006. Quarterly.18: 177–182. PDF RG AC https://www.academia.edu/20042305/1972._Variable_Binding_Term_Operators_Co- authors_Wm._Hatcher_John_Herring_Zeitschrift_f_ur_mathematische_Logik_und_Grun dlagen_der_Mathematik_18_177_82._MR0305970_46_5098_Reprint_2006._Mathemati cal_Logic_Quarterly.18_177_182.R 8. 1972. Conceptual Structure of Classical Logic, Philosophy & Phenomenological Research 33, 25–47. J PDF AC PP RG https://www.academia.edu/24482343/Conceptual_Structure_of_Classical_Logic 9. 1974. Logical Consequence in II: Semantic Systems for S4 (Co-author: George Weaver), Notre Dame Journal of Formal Logic 15, 370–8. MR0249278 (40 #2524). https://www.academia.edu/17888019/ Logical_consequence_in_modal_logic._II._Some_semantic_systems_for_rm_S_4_ 10. 1976. Reprint of revised version of 3 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263.PDF AC PP RG 11. 1976. Reprint of revised version of 4 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15264. PDF AC PP RG 12. 1976. Reprint of revised version of 5 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15265. PDF AC PP RG 13. 1972. Strange Arguments, Notre Dame Journal of Formal Logic 13, 206–210. MR0297513 (45 #6567). PDF 14.J 1973. Discussion: The Switches “Paradox” (Co-author: Susan Wood), Philosophy & Phenomenological Research 34, 102–108. PDF

2 15. 1972. Harris on the Structures of Language, in Transformationelle Analyse ed. Senta Plötz, Athenäum Verlag, Frankfurt, 275–292. PDF AC https://www.academia.edu/8850631/ HARRIS_ON_THE_STRUCTURES_OF_LANGUAGE 16. 1972. Revised version of 3 reprinted in Transformationelle Analyse, (ibid.), 459–476.

17. 1972. Completeness of an Ancient Logic, Journal of Symbolic Logic 37, 696–702. MR0317886 (47 #6435). J PDF RG AC PP https://www.academia.edu/9794723/Completeness_of_an_ancient_logic https://www.academia.edu/s/8893ae42f1/cal-corcorans-1972-syllogistic-completeness- paper?source=link 18. 1973. A Mathematical Model of 's Syllogistic, Archiv für Geschichte der Philosophie 55, 191–219. MR0444423 (56 #2776). PDF https://www.academia.edu/27468601/Corcorans_Model_of_Aristotles_Syllogistic 19. 1974. Aristotelian : Valid arguments or true generalized conditionals?, Mind 83, 278–81. MR0532928 (58 #27178) J R AC PP https://www.academia.edu/11591305/ Aristotelian_Syllogisms_Valid_arguments_or_true_generalized_conditionals 20. 1973. Gaps between logical theory and mathematical practice, in Methodological Unity of Science, ed. Mario Bunge, Reidel Publishing Co., Dordrecht, 23–50. PDF R AC PP APA https://www.academia.edu/s/22ce169e69?source=link https://www.academia.edu/43482547/WHAT_ARE_MATHEMATICAL_LOGICS https://www.academia.edu/12337042/ Gaps_between_logical_theory_and_mathematical_practice_in_Methodological_Unity_of _Science_ed._Mario_Bunge_Dordrecht_1973_pp.23_50 21. 1972. Weak and Strong Completeness in Sentential Logic, Logique et Analyse 59/60, 429–34. MR0337476 (49 #2245) PDF AC https://www.academia.edu/33304337/Weak_and_Strong_Completeness 22. 1973. Meanings of Implication, Diálogos 9, 59–76. MR95c:03019. PDF R AC RG PP https://www.academia.edu/ 20045248/1973._Meanings_of_Implication_Di%C3%A1logos_9_59_76._SEARCH_and _COPY_PDF https://www.academia.edu/s/643bbf0741/1973-meanings-of-implication-dialogos-9-59-76- searchcopy-pdf?source=link Translations: Spanish. https://www.academia.edu/9031005/Meanings_of_implication_Spanish_translation_ 23. 1974. Aristotle's Natural Deduction System, in Ancient Logic and Its Modern Interpretations, ed. John Corcoran, Reidel, Dordrecht, 85–132. MR0497848 (58 #16077). PDF AC APA https://www.academia.edu/s/ab42105322/aristotles-natural-deduction-system? source=link https://www.academia.edu/9965562/Ancient_Logic_and_Its_Modern_Interpretations_

3 24. 1974. Remarks on Stoic Deduction, ibid. 169–181. MR0485115 (58 #4970). AC APA https://www.academia.edu/8842157/ REMARKS_ON_STOIC_DEDUCTION_by_JOHN_CORCORAN_1974 25. 1974. Future Research on Ancient Theories of Communication and Reasoning, ibid. 185–187. MR0485116 (58 #4971). APA https://www.academia.edu/9965562/Ancient_Logic_and_Its_Modern_Interpretations_ 26. 1974. String Theory (Co-authors: William Frank, Michael Maloney), Journal of Symbolic Logic 39: 625–37. MR0398771 (53 #2622). J PDF R AC APA https://www.academia.edu/13846218/ String_theory_the_foundation_of_proof_theory_grammar_metamathematics_and_word_ processing 27. 1975. Aristotle on the Underlying of Sciences, 5th International Congress of Logic, Methodology, and Philosophy of Science, XII 11–12. 28. 1975. An Ancient Generic Theory (Co-author: Lee Mohler), 5th International Congress of Logic, Methodology, and Philosophy of Science, XII 37–38. 29. 1978. Crossley on Mathematical Logic (essay review, Co-author: Stewart Shapiro), Philosophia 8, 79–94. PDF AC RG https://www.academia.edu/attachments/56269902/download_file?s=sidebar 30. 1979. Identity Logics. (Co-author: Steven Ziewacz) Notre Dame Journal of Formal Logic 20, 777–84. MR0545427 (80h: 03017) RG PP AC https://www.academia.edu/25932020/IDENTITY_LOGICS 31. 1978. Logical Structures of Ockham's Theory of Supposition (Co-author: J. Swiniarski), Franciscan Studies 38, 161–83. https://www.academia.edu/s/a2d4baadae?source=link https://www.academia.edu/27567205/CORCORAN- SWINIARSKI_ON_OCKHAMS_THEORY_OF_SUPPOSITION 32. 1980. Categoricity, History and 1, 187–207. MR82j:03034. PDF AC PP RG https://www.academia.edu/ 19651797/1980._Categoricity_History_and_Philosophy_of_Logic_1_187_207._MR82j_ 03034 33. 1980. Boole's Criteria of Validity and Invalidity (Co-author: S. Wood) Notre Dame Journal of Formal Logic 21, 609–39. MR0592521 (81j:03003). G PDF R AC COL https://www.academia.edu/s/d1533c702c/booles-criteria-for-validity-and-invalidity? source=link https://www.academia.edu/21731828/Booles_Criteria_for_Validity_and_Invalidity 34. 1980. On definitional equivalence and related notions, History and Philosophy of Logic 1 231–34. MR83j:01002. PDF R https://www.academia.edu/13925814/ A_note_concerning_definitional_equivalence_not_ontological_reducibility_ 35. 1981. A note on categoricity and completeness, History and Philosophy of Logic 2, 113– 19. PDF AC RG PP

4 https://www.academia.edu/23139778/Corcoran_on_categoricity_and_completeness_ 36. 1982. Reprinting of 19 in A. Menne and N. Offenberger, Zur modernen Deutung der Aristotelischen Logik, Georg Olms Verlag, Hildesheim, Vol. 1, 98–104 37. 1982. Reprinting of 27 in A. Menne and N. Offenberger, Zur modernen Deutung der Aristotelischen Logik, Georg Olms Verlag, Hildesheim, Vol. 1, 105–110. 38. 1982. Critical Notice: Contemporary Relevance of Ancient Logical Theory (Co-author: M. Scanlan), Philosophical Quarterly 32, 76–86. PDF J RG AC PP https:// www.academia.edu/8842326/ Contemporary_Relevance_of_Ancient_Logical_Theory_1982_John_Corcoran_and_Mic hael_Scanlan 39. 1983. Editor's introduction to the revised edition. Logic, Semantics, Metamathematics by , translated by J. H. Woodger, Hackett Publishing Company, Indianapolis, xv–xxvii. MR85e:01065. https://www.academia.edu/s/88d8728c94/introducing-tarskis-1983-lsm?source=link 40. 1986. Essay Review of Smith 1982. Correspondence without Communication, History and Philosophy of Logic 7, 65–75. https://www.academia.edu/29100753/ CORCORAN_DISSECTS_BOOLE_DE_MORGAN_CORRESPONDENCE 41. 1986. Alfred Tarski's “What are Logical Notions?” (Edited and introduced), History and Philosophy of Logic 7, 143–154. MR88b:03010 PDF R AC https://www.academia.edu/12410865/ Alfred_Tarskis_What_are_Logical_Notions_Edited_and_introduced_by_John_Corcoran _ 42. 1989. Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006 PDF R AC APA COL Translations: Czech, Dutch, Greek, Persian, Portuguese, Russian, and Spanish. https://www.academia.edu/14089432/Argumentations_and_Logic https://www.academia.edu/s/e22733b6a9/argumentations-and-logic?source=link https://www.academia.edu/38949200/ Argumentations_and_Logic_Argumentace_a_logika_CZECH_052019 https://www.academia.edu/34326737/Argumentations_and_Logic_Dutch_1 https://www.academia.edu/s/4db94e477b/argumentations-and-logic-russian?source=link The below link is to a section on fallacies written for incorporation into the 1994 Spanish translation years after the 1989 English publication. https://www.academia.edu/s/9b80f2b4ac/argumentation-and-logic?source=link 43. 1985. Significados de la Implicación. Agora 5, 279–294. Spanish translation by J. M. Sagüillo of “Meanings of Implication”. PDF R AC https://www.academia.edu/9031005/Meanings_of_implication_Spanish_translation_ 44. 1987. Second-Order Logic. Proceedings of the 1986 Ohio University Conference. Edited by D. Moates and R. Butrick. Athens, Ohio: Ohio University Publications. 7–31.

5 45. 1988. Estrutura Conceitual Na Logica Classica, Boletim da Sociedade Paranaense de Matematica 9, 77–118. Portuguese translation by Elizabeth T. Gasparim of revised version of article 8 “Conceptual Structure of Classical Logic”. MR90i:03003 46. 1988. Ensayo-Resenas: Introduciendo La Logica Matematica, Mathesis X, 133–150. Spanish translation by A. Garciadiego of revised version of “Crossley on Mathematical Logic”, Philosophia 8 (1978) 79–94. Co-author: S. Shapiro. https://www.academia.edu/36360576/Corcoran_Shapiro_Review_Crossley_in_Spanish 47. 1989. The Inseparability of Logic and Ethics, Free Inquiry, Spring, 37–40. AC PP RG APA Translations posted: , Dutch, Greek, Italian, Portuguese, Persian, Russian, Spanish, Turkish, and Ukrainian. https://www.academia.edu/9413409/INSEPARABILITY_OF_LOGIC_AND_ETHICS https://www.academia.edu/s/b55af0d2f1/the-inseparability-of-logic-and-ethics? source=link 48. 1989. The Inseparability of Logic and Ethics (enlarged version of article 47). Building a World Community. Ed. P. Kurtz and M. Bunge. Buffalo: Prometheus Press. 177–185. 49. 1989. Reprinting of 46, Boletim da Sociedade Paranaense de Matematica. 10, 31–49. 50. 1992. El Nacimiento de la Lógica (The Birth of Logic), Agora 11/2, 67–78, Spanish translation by C. Martinez-Vidal and J. M. Sagüillo of expanded and revised version of an unpublished English paper distributed to members by the Society for Ancient Greek Philosophy. https://www.academia.edu/31491813/Corcoran_on_the_Birth_of_Logic_in_English_ https://www.academia.edu/29034139/ CORCORAN_ON_THE_BIRTH_OF_LOGIC_IN_SPANISH_ 51. 1994. The Founding of Logic: Modern Interpretations of Aristotle's Logic. Ancient Philosophy, 14, 9–24. PDF R https://www.academia.edu/25035727/ The_Founding_of_Logic_Modern_Interpretations_of_Aristotles_Logic 52. 1992. Unprovability and undefinability. International Colloquium on Kurt Gödel, ed. D. Mieville, Neuchatel, 37–65. MR 94h:03019. 53. 1993. Updated and revised version of “Meanings of Implication”, article 22 above, in A Philosophical Companion to First Order Logic, ed. R. Hughes, Hackett Publishing Company, Indianapolis, 85–100. MR95c:03019. PDF 54. 1993. Editor's Introduction to the second edition. Introduction to Logic by M. Cohen and E. Nagel, Hackett Publishing Co., Indianapolis, pages xvii–xlvi. MR94h:03002. https://www.academia.edu/33081924/CORCORAN_ON_COHEN-NAGEL 55. 1994. Argumentaciones y lógica, Agora 13/1, 27–55. Translation by R. Fernandez and J. Sagüillo of revised and expanded version of article 42: 1989. Argumentations and Logic, Argumentation 3, 17–43.. PDF AC https://www.academia.edu/8850139/ ARGUMENTATIONS_AND_LOGIC_SPANISH_TRANSLATION_1994_ 56. 1995. Information recovery problems, Theoria 10, September 55–78.

6 MR1361162 (96h: 03016) PDF R AC https://www.academia.edu/15921717/ Information_recovery_problems_Theoria_10_1995_September_55_78 57. 1995. Semantic Arithmetic: a Preface, Agora 14/1, 149–156. PDF R AC APA https://www.academia.edu/ 19564839/1995._Semantic_Arithmetic_a_Preface_Agora_14_1_149_156._P_R_http_mi nerva.usc.es_bitstream_10347_1073_1_pg_153-160_agora14-1.pdf_http_dspace.usc.es_ bitstream_10347_1073_1_pg_153-160_agora14-1.pdf Portuguese translation https://www.academia.edu/s/bb9d8da796/aritmetica-semantica-um-prefacio-1-semantic- arithmetic-a-preface?source=link Russian translation [TBA] Spanish translation https://www.academia.edu/s/5d7ce22db3/aritmetica-semantica?source=link https://www.academia.edu/38372374/Aritmetica-Semantica

58. 1998. Information-theoretic logic, in Truth in Perspective edited by C. Martínez, U. Rivas, L. Villegas-Forero, Ashgate Publishing Limited, Aldershot, England, 113–135. PDF R AC APA https://www.academia.edu/16236004/Information-theoretic_logic 59. 1996. Reprinting of “Categoricity”, article 32, in The Limits of Logic, ed. S. Shapiro, Dartmouth Publishing Company, Aldershot, England, 241–262, MR82j:03034. PDF 60. 1996. Reprinting of Tarski’s “What are Logical Notions?” article 39 above, in The Limits of Logic, edited by S. Shapiro, Dartmouth Publishing Company, Aldershot, England, 143–154, MR88b:03010. PDF 61. 2001. Revised version of “Second-order Logic”, article 42 above, in “Church Memorial Volume”, Logic, Meaning, and Computation: Essays in Memory of edited by M. Zeleny and C.A. Anderson., Kluwer Publishing Company, Dordrecht, Holland, 61– 76 MR2067966 (2005a:03021) PDF https://www.academia.edu/s/f336677151/second-order-logic-in-plain-english-redux? source=link https://www.academia.edu/11975482/Second-order_logic_explained_in_plain_English_ 62. 1999. Information-theoretic logic and transformation-theoretic logic, in Fragments in Science, edited by M. Ram, World Scientific Publishing Company, River Edge, New Jersey, 25–35. PDF R PP AC https://www.academia.edu/s/25305edd48/information-theoretic-vs-transformation- theoretic-logic?source=link https://www.academia.edu/9680551/1999._Information- theoretic_logic_and_transformation-theoretic_logic 63. 1999. Critical thinking and pedagogical license. Manuscrito XXII, 109–116. RG AC PP APA COP Translations: Arabic, Dutch, Greek, Persian, Romanian, and Spanish; forthcoming: Italian, Portuguese, and Turkish.

7 https://www.academia.edu/s/b4e6f287ec/critical-thinking-and-pedagogical- license-102418?source=link https://www.academia.edu/9273154/ CRITICAL_THINKING_AND_PEDAGOGICAL_LICENSE GREEK PRINTED TRANSLATION: 2020. Κριτική σκέψη και µέθοδοι "παιδαγωγική αδεία". Περιοδικό Νόηµα. Vol. 8 (2020), pp.179-187. Greek translation by Athanasios Christacopoulos of: Critical thinking and pedagogical license. Manuscrito XXII (1999), pp.109–116. https://www.academia.edu/32367604/ CORCORAN_IN_GREEK_%CE%9A%CE%A1%CE%99%CE%A4%CE%99%CE%9A %CE%97_%CE%A3%CE%9A%CE%95%CE%A8%CE%97_%CE%9A%CE%91%CE %99_%CE%A0%CE%91%CE%99%CE%94%CE%91%CE%93%CE%A9%CE%93%C E%99%CE%9A%CE%97_%CE%91%CE%94%CE%95%CE%99%CE%91 ROMANIAN DRAFT 1 https://www.academia.edu/s/f4485ff95d?source=link 64. 2000. Reprinting of “Boole’s Criteria”, article 33 above, in A Boole Anthology, edited by J. Gasser, Kluwer Publishing Company, Dordrecht, Holland, 101–128 MR0582835 (81g:03003). 65. 2003. Introduction. ’s . Buffalo: Prometheus Books. Reviewed: J. van Evra in Philosophy in Review. 24, (2004) 167–169. MR1994936 (2004i:03001) https://www.academia.edu/29194077/ CORCORAN_INTRODUCES_BOOLE_S_LAWS_OF_THOUGHT 66. 2003. Aristotle's and Boole's Laws of Thought. History and Philosophy of Logic. 24, 261–288. MR2033867 (2004m: 03006). Reviewed by R. Vilkko. The Bulletin of Symbolic Logic. 11(2005) 89–91. https://www.academia.edu/8840970/ Aristotle_s_Prior_Analytics_and_Boole_s_Laws_of_Thought 67. 2004. Sentential Functions: the Functions of Sentences. Discursos da Investidura de D. John Corcoran y D. James Griffin como Doutores Honoris Causa. Santiago: Universidade de Santiago de Compostela, 14–20. PDF 68. 2004. Schema. Stanford Encyclopedia of Philosophy. 28 May, revised 2012. G http://plato.stanford.edu/entries/schema/ 69. 2004. The Principle of Wholistic Reference. Manuscrito 27, 159–71. AC PP PDF RG https://www.academia.edu/19577279/ _The_Principle_of_Wholistic_Reference_previously_Manuscrito_27_2004_159_71._Cite_ as_Manuscrito_30_2007_493_505._P_R https://www.academia.edu/s/7ee6dbf0ce/the-principle-of-wholistic-reference-previously- manuscrito-27-2004-159-71-cite-as-manuscrito-30-2007-493-505-p-r?source=link 70. 2005. Wholistic Reference, Truth-Values, Universe of Discourse, and Formal : Tréplica to Oswaldo Chateaubriand. Manuscrito 28, 143–167. PDF RG AC COL https://www.academia.edu/27533156/ CORCORANS_TR%C3%89PLICA_TO_CHATEAUBRIAND_ON_WHOLISTIC_REFERENCE https://www.academia.edu/s/ebe74d833d/corcorans-treplica-to-chateaubriand-on-wholistic-reference?source=link

8 71. 2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. PDF R AC PP http://www.academia.edu/12550609/GEORGE_BOOLE_1815-1864_ 72. 2006. , Boolean Period. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. https://www.academia.edu/29180415/CORCORAN_ON_THE_BOOLEAN_PERIOD 73. 2006. Schemata: the Concept of Schema in the History of Logic. Bulletin of Symbolic Logic. 12, 219–40. MR2223922 (2007j:03003). J PDF AC RG PP https://www.academia.edu/12691868/ SCHEMATA_THE_CONCEPT_OF_SCHEMA_IN_THE_HISTORY_OF_LOGIC https://www.academia.edu/s/ea64a3484e/schemata?source=link 74. 2006. C. I. Lewis: History and Philosophy of Logic. Transactions of the C. S. Peirce Society. 42, 1–9. https://www.academia.edu/26416745/CORCORAN_ON_C_I_LEWIS_LOGICIAN Translations: Arabic. https://www.academia.edu/33886125/CORCORAN_ON_LEWIS_IN_ARABIC_DRAFT_ https://www.academia.edu/26417165/CORCORAN_ON_C_I_LEWIS 75. 2007. Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski. Eds. C. Martínez et al. Current Topics in Logic and Analytic Philosophy / Temas Actuales de Lógica y Filosofía Analítica. Imprenta Univeridade Santiago de Compostela (University of Santiago de Compostela Press). Pp.145–178. Reviewed: Bulletin of Symbolic Logic. 14 (2008) 271–2; History and Philosophy of Logic 30 (2009), 397–401; and Mathematical Reviews MR2402502 (2009e:03003). DOI: 10.13140/2.1.2711.3922 PDF AC PP RG https://www.academia.edu/s/cf586c25bd/aristotle-boole-and-tarski?source=link https://www.academia.edu/ 9121639/2007._Notes_on_the_Founding_of_Logics_and_Metalogic_Aristotle_Boole_an d_Tarski._Eds._C._Mart%C3%ADnez_et_al._Current_Topics_in_Logic_and_Analytic_P hilosophy_Temas_Actuales_de_L%C3%B3gica_y_Filosof%C3%ADa_Anal%C3%ADti ca._Imprenta_Univeridade_Santiago_de_Compostela 76. 2006e. An Essay on Knowledge and Belief. The International Journal of Decision Ethics. II.2, 125–144. PDF R https://www.academia.edu/29196730/An_Essay_on_Knowledge_and_Belief 77. 2008. Meanings of Form. Manuscrito 31, 223–266. PDF AC RG PP https://www.academia.edu/16354718/ Logic_Language_and_Knowledge._Essays_on_Chateaubriands_Logical_Forms_MEANI NGS_OF_FORM 78. 2009. Aristotle's Demonstrative Logic. History and Philosophy of Logic. 30 (2009) 1–20. Reviewed MR2488682 (2009m:03003). PDF AC RG PP http://www.tandfonline.com/ doi/abs/10.1080/01445340802228362 http://www.academia.edu/8840882/ARISTOTLES_DEMONSTRATIVE_LOGIC https://www.academia.edu/s/8f3662e2bf/aristotles-demonstrative-logic-200s?source=link

9 79. 2009. Sentence, Proposition, Judgment, Statement, and Fact: Speaking about the Written English Used in Logic. The Many Sides of Logic. Editors: W. A. Carnielli, M. E. Coniglio, I. M. Loffredo D' Ottaviano. Series “Studies in Logic”. London: College Publications. Pp. 71–103. ISBN number: 978-1-904987-78-9. MR2777861 (2012a:03010) PDF RG AC APA https://www.academia.edu/8841128/ Sentence_Proposition_Judgment_Statement_and_Fact_Speaking_about_the_Written_En glish_Used_in_Logic https://www.academia.edu/s/18d0093d19?source=link https://www.academia.edu/s/732894f616?source=link 80. 2009 reprinting in the Special Thirtieth Anniversary Volume of “The Principle of Wholistic Reference”, previously Manuscrito 27 (2004) 159–71. Cite as Manuscrito 30 (2007) 493–505. PDF RG AC https://www.academia.edu/19577279/ _The_Principle_of_Wholistic_Reference_previously_Manuscrito_27_2004_159_71._Cite_ as_Manuscrito_30_2007_493_505._P_R 81. 2009. Aristotle’s Logic at the University of Buffalo’s Department of Philosophy. Ideas y Valores: Revista Colombiana de Filosofía 140 (August 2009) 99–117. PDF PP RG https://www.academia.edu/24886273/Aristotles_Logic_at_UB 82. 2010. Peter Hare on the Proposition. Transactions of the C. S. Peirce Society. 46 (2010) 21–34. PDF AC RG PP http://muse.jhu.edu/journals/transactions_of_the_charles_s_peirce_society/toc/csp.46.1.html https://www.academia.edu/19980879/Peter_Hare_on_the_Proposition 83. 2010. Essay-Review of: Striker, G., trans. Aristotle’s Prior Analytics: Book I. Trans.

with Intro. and Comm. Oxford: Oxford University Press. 2009. Notre Dame Philosophical Reviews. PDF AC PP RG http://ndpr.nd.edu/review.cfm?id=18787 https://www.academia.edu/16354708/ Review_of_Strikers_2009_Oxford_UP_translation_of_Aristotles_Prior_Analytics_I 84. 2010. Argumentações e Lógica. Portuguese translation by Wagner Campos de Sanz of the 1989 paper “Argumentations and Logic”. O Que Nos Faz Pensar 28 (December 2010) 288–327. https://www.academia.edu/8850478/ Argumentations_and_Logic_1989_PORTUGUESE_TRANSLATION_2012_ 85. 2011. Hare and Others on the Proposition. Principia 15 (2011) 1:51–76. PDF AC RG PP https://periodicos.ufsc.br/index.php/principia/article/view/ 1808-1711.2011v15n1p51/20554 https://www.academia.edu/19768492/ Hare_and_Others_on_the_Proposition._Principia_15_2011_1_51_76 86. 2010? Persian translation by Hasan Masoud of item 42, the 1989 paper “Argumentations and Logic”. Bibliographic information to be determined. PP AC https:// www.academia.edu/19091100/ Corcoran_J._1989._Argumentations_and_Logic._Argumentation_3_17-43_Persian_trans lation_by_Hassan_Masoud

10 87. 2010 Persian translation by Hasan Masoud of item 47, the 1989 paper “The Inseparability of Logic and Ethics”. Bibliographic information to be determined. PDF AC https:// www.academia.edu/20273877/ Inseparability_of_logic_and_ethics_Persian_translation_by_Hasan_Masoud_of_Corcora n_s_1989_paper_The_Inseparability_of_Logic_and_Ethics_ 88. 2010 Persian translation by Hasan Masoud of item 63, the 1999 paper “Critical thinking and pedagogical license”. Bibliographic information to be determined. PDF AC RG PP https://www.academia.edu/22185591/ CRITICAL_THINKING_AND_PEDAGOGICAL_LICENSE_IN_PERSIAN_ 89. 2011. The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence- Definition Paper. History and Philosophy of Logic. 32 (2011) 359–374. (Co-author: José Miguel Sagüillo) MR2854390 (2012j:03013) PDF R AC Published online 09 Sep 2011. DOI:10.1080/01445340.2011.577145 http://www.tandfonline.com/doi/abs/10.1080/01445340.2011.577145#.UksmOD_-kQs https://www.academia.edu/12490780/ The_Absence_of_Multiple_Universes_of_Discourse_in_the_1936_Tarski_Consequence- Definition_Paper._History_and_Philosophy_of_Logic._32_2011_359_374._Co- author_Jos%C3%A9_Miguel_Sag%C3%BCillo_ 90. 2010. Los primeros días de todo curso de Lógica. Ergo. Revista de Filosofía de la Universidad Veracruzana. 25, 31–45. Spanish translation by Patricia Diaz-Herrera of an unpublished paper “The first days of every logic course”. https://www.academia.edu/ 11118148/ Los_primeros_d%C3%ADas_de_todo_curso_de_L%C3%B3gica._The_first_days_of_ev ery_logic_course_ 91. 2015. Existential import today: New metatheorems; historical, philosophical, and pedagogical misconceptions. History and Philosophy of Logic. 36: 39–61. (Co-author: Hassan Masoud) Reviewed: Mathematical Reviews, 3323750, 2016. PDF R AC APA PP RG Published online 25 Sep 2014. DOI:10.1080/01445340.2014.952947 http://www.tandfonline.com/doi/full/10.1080/01445340.2014.952947 https://www.academia.edu/s/de9f9b3127?source=link https://www.academia.edu/s/e642700c27/history-and-philosophy-of-logic-existential- import-today-new-metatheorems-historical-philosophical-and-pedagogical- misconceptions-existential-import-today-new-metatheorems-historical-philosophical- and-pedagogical-misconceptions?source=link https://www.academia.edu/22561815/ History_and_Philosophy_of_Logic_Existential_Import_Today_New_Metatheorems_Historical_P hilosophical_and_Pedagogical_Misconceptions 92. 2015. Tarski’s convention T: condition beta. South American Journal of Logic. 1, 3–32. (Co-author Leonardo Weber) PDF RG PP AC https://www.academia.edu/11699692/ Tarski_s_convention_T_condition_beta._South_American_Journal_of_Logic._1_3_32 93. 2013 A Inseparabilidade entre Lógica e a Ética. Philósophos. 18: 245–259. Portuguese translation by Décio Krause and Pedro Merlussi: The Inseparability of Logic and Ethics,

11 Free Inquiry, Spring 1989, 37–40. AC PP RG https://www.academia.edu/21830040/ CORCORAN_ON_LOGIC_AND_ETHICS_IN_PORTUGUESE_A_Inseparabilidade_en tre_L%C3%B3gica_e_a_%C3%89tica_1 94. 2015. Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. (Co-author Idris Samawi Hamid) PDF R AC APA PP COL https://www.academia.edu/s/b71d7c6e40/investigating-knowledge-and-opinion? source=link https://www.academia.edu/8994046/ John_Corcoran_and_Idris_Samawi_Hamid._2014._Investigating_knowledge_and_opinio n._The_Road_to_Universal_Logic._Vol._I._A._Buchsbaum_and_A._Koslow_Editors._S pringer._PP._95-126._ http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 95. 2015. Existential-import mathematics. Bulletin of Symbolic Logic. 21 (2015) 1–14. (Co- author: Hassan Masoud) Reviewed: Mathematical Reviews, 3333458, 2016. PDF R AC https://www.academia.edu/16354692/EXISTENTIAL-IMPORT_MATHEMATICS 96. 2015. Bibliography: John Corcoran’s Publications on Aristotle 1972–2015. Aporía · Revista Internacional de Investigaciones Filosóficas. 10 (2015) 73–118. PDF AC RG COL https://www.academia.edu/s/3886acc127/reprint-a-bibliography-john- corcorans-publications-on-aristotle-1972-2015?source=link https://www.academia.edu/21144879/REPRINT-- A_BIBLIOGRAPHY_JOHN_CORCORANS_PUBLICATIONS_ON_ARISTOTLE_197 2_2015 97. 2016. Logic teaching in the 21st century. Quadripartita Ratio: Revista de Argumentación y Retórica. 1(1) (2016) 1–34. AC RG PP https://www.academia.edu/s/0f4bc2ce3c/corcoran-on-logic-teaching-in-the-21st-century? source=link https://www.academia.edu/23200837/ CORCORAN_ON_LOGIC_TEACHING_IN_THE_21ST_CENTURY 98. 2016. Schema. Stanford Encyclopedia of Philosophy. (Coauthor: Idris Samawi Hamid) http://plato.stanford.edu/entries/schema/ 99. 2017. First days of a Logic Course. Quadripartita Ratio: Revista de Argumentación y Retórica. 2(4) (2017) 2–11. AC https://www.academia.edu/s/4c0f997d65/first-days-of-a-logic-course?source=link http://www.academia.edu/33771248/FIRST_DAYS_OF_A_LOGIC_COURSE 100. 2017. Reprint: The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper, History and Philosophy of Logic 32 (2011) 359–374. (Co-author: José Miguel Sagüillo) The Lvov-Warsaw School: Past and Present. Eds. Angel Garrido and Ursszala Wybraniec-Skardowska, Birkhauser, Zurich. http://www.tandfonline.com/doi/abs/10.1080/01445340.2011.577145#.UksmOD_-kQs

12 https://www.academia.edu/12490780/ The_Absence_of_Multiple_Universes_of_Discourse_in_the_1936_Tarski_Conse quence- Definition_Paper._History_and_Philosophy_of_Logic._32_2011_359_374._Co- author_Jos%C3%A9_Miguel_Sag%C3%BCillo_ 101. 2017. Pensamiento crítico y licencia pedagógica. Revista Episteme:Filosophia de la Matematica y Argumentacion. Vol. 37 (2017), pp.1–9. Spanish translation by Jesús Jasso Méndez of: Critical thinking and pedagogical license. Manuscrito XXII (1999), pp.109– 116. https://www.academia.edu/36574803/ Translation._Critical_thinking_and_pedagogical_license_by_John_Corcoran_Pensamient o_cr%C3%ADtico_y_licencia_pedag%C3%B3gica._Jes%C3%BAs_Jasso_M%C3%A9n dez._Episteme_NS_N_1_V._37_2017 102. 2018. Aristotle’s Prototype Rule-based Underlying Logic. Logica Universalis. Vol. 2 (2018) 9-35. Published online 19 April 2018 https://www.academia.edu/s/322534c88f/aristotles-prototype-rule-based-underlying- logic-2018-pdf?source=link http://www.academia.edu/36460105/Aristotles_Prototype_Rule- Based_Underlying_Logic_2018_PDF_ 103. 2018. Deductions and Reductions Decoding Syllogistic Mnemonics. Entelekya Logico- Metaphysical Review. Vol.2, No.1, May 2018, pp.5–39. (Co-authors: Daniel Novotný and Kevin Tracy) https://www.academia.edu/37010091/ Deductions_and_Reductions_Decoding_Syllogistic_Mnemonics https://www.academia.edu/s/60640ae2aa/deductions-and-reductions-decoding-syllogistic- mnemonics?source=link 104. 2018. A Logician’s Autobiography. Logic Around the World. Eds. Massoud Pourmahdian and Ali Sadegh Daghighi. AFJ Publishing, Tehran. http://alidaghighi.org/wp-content/uploads/2018/07/Logic-around-the-World.pdf 105. 2018. Mantık Ve Etiğin Ayrılmaz Birlikteliği. Disiplinlerarası Eğitim Araştırmaları Dergisi. Journal of Interdisciplinary Educational Research. Vol.1 No.2 2018, pp.1–7. Turkish translation by Volkan Duran: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. https://www.academia.edu/37465176/The_Inseparability_of_Logic_and_Ethics_TURKISH_ Arabic translation of ﺗﻼزﻣﯿﺔ اﻟﻤﻨﻄﻖ واﻷﺧﻼق ,Talazumiat almantiq wal'akhlaq .2018 .106 “Inseparability of logic and ethics” by Layth Yousef, Al-Mukhatabat, Numero 25, Janviers-Mars 2018, 157–168 107. 2019. La inseparabilidad de la lógica y la ética, Spanish translation of “Inseparability of logic and ethics” by Patricia Díaz Herrera, Andamios: Revista de investigation social, Vol. 16, Numero 41, Septiembre-Diciembre, 2018, 199–210. https://www.academia.edu/s/ed3b7e48df/la-inseparabilidad-de-la-logica-y-la-etica? source=link 108. 2019. Logic in the 21st century: advice to young logicians. Felsefe Arkivi (Archives of Philosophy)

13 https://www.academia.edu/s/38ee30293a?source=link https://www.academia.edu/40820377/LOGIC_IN_THE_21ST_CENTURY 109. 2020. Aritmética Semántica: un prefacio. Agora: papeles de Filosofía. vol. 39, no. 1. Translation by Gabriel Garduño-Soto. Semantic Arithmetic: a Preface, Agora 14/1 (1995), 149–156. https://www.academia.edu/s/5d7ce22db3/aritmetica-semantica?source=link https://www.academia.edu/38372374/Aritmetica-Semantica https://www.academia.edu/ 19564839/1995._Semantic_Arithmetic_a_Preface_Agora_14_1_149_156._P_R_http_mi nerva.usc.es_bitstream_10347_1073_1_pg_153-160_agora14-1.pdf_http_dspace.usc.es_ bitstream_10347_1073_1_pg_153-160_agora14-1.pdf 110. 2020. Κριτική σκέψη και µέθοδοι "παιδαγωγική αδεία". Περιοδικό Νόηµα. Vol. 8 (2020), pp.179-187. Greek translation by Athanasios Christacopoulos of: Critical thinking and pedagogical license. Manuscrito XXII (1999), pp.109–116. https://www.academia.edu/32367604/ CORCORAN_IN_GREEK_%CE%9A%CE%A1%CE%99%CE%A4%CE%99%CE%9A %CE%97_%CE%A3%CE%9A%CE%95%CE%A8%CE%97_%CE%9A%CE%91%CE %99_%CE%A0%CE%91%CE%99%CE%94%CE%91%CE%93%CE%A9%CE%93%C E%99%CE%9A%CE%97_%CE%91%CE%94%CE%95%CE%99%CE%91 https://www.academia.edu/9273154/CRITICAL_THINKING_AND_PEDAGOGICAL_LICENSE https://www.academia.edu/s/b4e6f287ec/critical-thinking-and-pedagogical-license-102418?source=link 111. 2020. Το αδιαχώριστο λογικής και ηθικής. Περιοδικό Νόηµα. Vol. 9 (2020) , pp.163-175.. Greek translation by Athanasios Christacopoulos of: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. https://www.academia.edu/s/b55af0d2f1/the-inseparability-of-logic-and-ethics? source=link https://www.academia.edu/s/0e53e16625/inseparability-of-logic-and-ethics-greek-3rd- edition?source=link https://www.academia.edu/9413409/INSEPARABILITY_OF_LOGIC_AND_ETHICS

II. Abstracts.

1. 1963. Generative Structure of Logics, Journal of Symbolic Logic 28, 300. J 2. 1965. Primitive Bases for Propositional Logics, Journal of Symbolic Logic 30, 269. J 3. 1967. Logical Consequence in Modal Logic (Co-author: G. Weaver), Journal of Symbolic Logic 32, 441–42. J 4. 1968. Logical Consequence in Modal Logic: Natural Deduction in S5, (Co-author: G. Weaver) Journal of Symbolic Logic 33, 639. J 5. 1971. Semantic Definition of Definition, Journal of Symbolic Logic 36, 366–67. J 6. 1971. Variable Binding Term Operators (Co-authors: W. Hatcher and J. Herring), Notices of American Mathematical Society 18, 662.

14 7. 1972. Aristotle's Natural Deduction System, Journal of Symbolic Logic, 37, 437. J 8. 1972. Weak and Strong Completeness in Sentential Logics, Journal of Symbolic Logic, 37, 780. J 9. 1974. Axiomatic Foundations of Syntax (Co-authors: W. Frank and M. Maloney), Journal of Symbolic Logic, 39, 395. J 10. 1981. Categoricity, Journal of Symbolic Logic, 46, 681. J 11. 1979. Validity and Invalidity: Boole's Criteria (Co-author: S. Wood), Journal of Symbolic Logic 44, 662. J 12. 1981. Ockham's Syllogistic Semantics, Journal of Symbolic Logic 46, 197–198. J PDF AC R https://www.academia.edu/23406074/Ockhams_Syllogistic_Semantics

13. 1981. Definitional Equivalence isn’t Mutual Interpretability, Journal of Symbolic Logic 46, 430. J 14. 1983. Definitional Equivalence, Mutual Interpretability, and Elongations, Journal of Symbolic Logic 48, 516–17. J 15. 1983. Deduction and Reduction: two proof-theoretic processes in Prior Analytics I, Journal of Symbolic Logic, 48, 906. J PDF AC RG PP https://www.academia.edu/19561492/Deduction_and_reduction_two_proof- theoretic_processes_in_Prior_Analytics_I 16. 1983. Categoricity, Zentralblatt fr Mathematik und ihre Grenzgebiete 504, 23–24. 17. 1987. Sound and Complete Rules of Definition, Journal of Symbolic Logic 52, 312–313. J 18. 1987. Three Rules of Distribution: One Counterexample, Journal of Symbolic Logic 52, 886–7. J PDF AC RG https://www.academia.edu/12548224/Three_rules_of_distribution_one_counterexample 19. 1986. Undefinability Tests and the Erlanger Programm: Historical Remarks, International Congress of Mathematicians, Berkeley, CA., 339. 20. 1988. Tarski on Logical Notions, Journal of Symbolic Logic 53, 1291. J https://www.academia.edu/s/14e0c08962/corcoran-on-tarski-on-logical-notions? source=link https://www.academia.edu/37530721/Corcoran_on_Tarski_on_logical_notions 21. 1990. The Inseparability of Logic and Ethics, 's Index. 22. 1992. Logical Methodology: Aristotle and Tarski, Journal of Symbolic Logic 57, 374. J 23. 1996. Semantic omega properties and mathematical induction, Bulletin of Symbolic Logic 2, 468. RG, J https://www.academia.edu/30219313/ Semantic_omega_properties_and_mathematical_induction 23a. 1997. Corrected reprinting previous abstract, Bulletin of Symbolic Logic 3, 280. J G PDF https://www.academia.edu/30219313/ Semantic_omega_properties_and_mathematical_induction 24. 1996. Semantic arithmetic. The Philosopher’s Index 30, 160.

15 25. 1997. Teaching categoricity of arithmetic. Bulletin of Symbolic Logic 3, 395. G J AC https://www.academia.edu/29135886/ CORCORAN_TEACHING_CATEGORICITY_OF_ARITHMETIC 26. 1998. Mathematical induction and specific-case semantic omega properties. Bulletin of Symbolic Logic 4, 220–221. G J PDF https://www.academia.edu/30220387/Mathematical_induction_and_specific- case_semantic_omega_properties 27. 1998. Numerically qualified omega completeness. Bulletin of Symbolic Logic 4, 456–457. G J PDF AC https://www.academia.edu/30232660/Numerically_qualified_mathematical_induction 28. 1998. Was Aristotle the first mathematical logician? Abstracts of Papers Presented to the American Mathematical Society 19, 19. 29. 1999. The logical form of quantifier phrases: quantifier-sortal-variable. Bulletin of Symbolic Logic 5, 418–419. AC RG J PDF https://www.academia.edu/10178105/ Logical_form_of_quantifier_phrases_quantifier-sortal- variable._Bulletin_of_Symbolic_Logic_5_1999_418-419 30. 2000. Self-defeating and self-fulfilling propositions, Bulletin of Symbolic Logic 6, 111. J AC https://www.academia.edu/28508039/Self-defeating_and_self-fulfilling_propositions 31. 2001. What are logical relations? Bulletin of Symbolic Logic 7, 105–106. G J PDF https://www.academia.edu/30462951/Corcoran_on_logical_relations 32. 2001. Omega arguments in the 1931 Gödel formalism. Bulletin of Symbolic Logic 7, 435. G J PDF AC https://www.academia.edu/30225619/ Omega_arguments_in_the_1931_G%C3%B6del_formalism 33. 2001. Boole’s elimination-summation problem: an overlooked breakthrough. Bulletin of Symbolic Logic 7, 137. (Co-author: Sriram Nambiar) G J PDF 34. 2004. Fertile postulate sets. Bulletin of Symbolic Logic 10, 276–277. AC RG PP J PDF https://www.academia.edu/12372085/Fertile_postulate_sets 35. 2003. Aristotle’s Prior Analytics and Boole’s Laws of Thought. International Conference on Ancient and Medieval Philosophy: Conference Abstracts, New York: Fordham University. 36. 2004. Comparing Aristotle’s Prior Analytics and Boole’s Laws of Thought. Bulletin of Symbolic Logic 10, 289. AC PP RG J PDF https://www.academia.edu/8840970/ Aristotle_s_Prior_Analytics_and_Boole_s_Laws_of_Thought 37. 2004. First-order logical form. Bulletin of Symbolic Logic 10, 445. J PDF https://www.academia.edu/34620866/First-order_logical_form 38. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11, 117. J PDF AC RG PP https://www.academia.edu/18762910/Meanings_of_word_type-occurrence- token._Bulletin_of_Symbolic_Logic_11_2005_117

16 39. 2005. Boole’s solutions fallacy. Bulletin of Symbolic Logic 11, 305. AC PDF J https:// www.academia.edu/21776462/CORCORAN_ON_BOOLES_SOLUTIONS_FALLACY 40. 2005. Counterexamples and proexamples. Bulletin of Symbolic Logic 11, 460. AC J PDF https://www.academia.edu/10654363/ Counterexamples_and_proexamples._Bulletin_of_Symbolic_Logic_11_2005_460 41. 2004. Lección Doutoral. The Philosopher’s Index 38, ??. 42. 2005. Logically Equivalent False Universal Propositions with Different Counterexample Sets. Bulletin of Symbolic Logic. 11, 554–5. J PDF AC http://www.academia.edu/27943268/ CORCORAN_ON_LOGICALLY_EQUIVALENT_FALSE_UNIVERSAL_PROPOSITI ONS 43. 2006. Complete enumerative inductions. Bulletin of Symbolic Logic. 12, 165–66. J PDF https://www.academia.edu/12815488/ Complete_enumerative_inductions_doing_the_mathematics_ 44. 2006. Meanings of inference, deduction, and derivation. Bulletin of Symbolic Logic. 12, 353–354. http://www.academia.edu/26507862/Corcoran_on_Inference_Deduction_and_Derivation 45. 2006. Revisiting Boole’s principle of wholistic reference. Bulletin of Symbolic Logic. 12, 515–6. J PDF 46. 2006. Schemata. Bulletin of Symbolic Logic. 12, 623. J PDF 47. 2007. Existential import. Bulletin of Symbolic Logic. 13, 143–4. AC J PDF https://www.academia.edu/25279339/CORCORAN_2007_ON_EXISTENTIAL_IMPORT 48. 2007. Different counterexample sets for logically equivalent propositions. Bulletin of Symbolic Logic. 13, 294. J PDF AC https://www.academia.edu/27944513/Corcoran_on_Different_Counterexample_Sets 49. 2007. Aristotle, Boole, and Tarski. Bulletin of Symbolic Logic. 13, 382–3. J PDF 50. 2007. Information-theoretic properties of truth-functional connectives. Bulletin of Symbolic Logic. 13, 405. J PDF 51. 2007. C. I. Lewis: history and philosophy of logic. The Philosopher’s Index, ??. 52. 2007. Second-order logic in context. Bulletin of Symbolic Logic. 13, 558–9. https://www.academia.edu/31722673/Bulletin_of_Symbolic_Logic._13_2007_558-9 53. 2008. Aristotle’s many-sorted logic. Bulletin of Symbolic Logic. 14, 155–6. J PDF https://www.academia.edu/10496050/J._Corcoran_Aristotle_s_many- sorted_logic_Bulletin_of_Symbolic_Logic.14_2008_155_6 54. 2008. Subregular tetrahedra. Bulletin of Symbolic Logic. 14, 411. J PDF https:// www.academia.edu/12730997/ Subregular_Tetrahedra_applying_logic_to_solid_geometry https://www.academia.edu/s/0c529e888c?source=link 55. 2008. An information-theoretic approach to first-order logic. Bulletin of Symbolic Logic. 14 (2008) 415–6. J PDF 56. 2008. Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication. Bulletin of Symbolic Logic. 14 (2008) 435–436. J PDF AC RG PP https://www.academia.edu/

17 19320078/ Iffication_Preiffication_Qualiffication_Reiffication_and_Deiffication.Bulletin_of_Symbo lic_Logic._14_2008_435_436 57. 2008. Disbelief Logic Complements Belief Logic. Bulletin of Symbolic Logic. 14 (2008) 436. (Co-author: Wagner Sanz) J PDF 58. 2009. Alternative Constituent Format. Bulletin of Symbolic Logic. 15 (2009)133. AC J PDF https://www.academia.edu/11784901/ New_formats_for_presenting_and_generating_language_data 59. Defining ‘Logical’ for Properties and Relations of First-order. Bulletin of Symbolic Logic. 15 (2009) 339. J PDF 60. 2009. Agent and Premise Implication. Bulletin of Symbolic Logic. 15 (2009) 235. (Co- author: Kenneth Barber). J PDF 61. 2009. Ambiguity: Lexical and Structural. Bulletin of Symbolic Logic. 15 (2009) 235–6. AC 208 https://www.academia.edu/s/2e0718331c?source=link https://www.academia.edu/20085029/ Ambiguity_lexical_and_structural._BSL_15_2009_235_6 62. 2009. Aristotle’s Independence Proofs. Bulletin of Symbolic Logic. 15 (2009) 244–5. (Co- author: George Boger). 63. 2009. Self-denying and self-affirming statements. Bulletin of Symbolic Logic. 15 (2009) 244. AC https://www.academia.edu/20140699/Self-denying_and_self- affirming_statements._Bulletin_of_Symbolic_Logic._15_2009_244 64. 2009. Premise-conclusion Arguments. Bulletin of Symbolic Logic. 15 (2009) 461. (Co- author: Joaquin Miller) PDF AC https://www.academia.edu/19916050/Premise- conclusion_Arguments._Bulletin_of_Symbolic_Logic._15_2009_461._Coauthor_Joaquin_ Miller_ 65. 2009. Aristotle’s Evasive Invalidity Omissions. Bulletin of Symbolic Logic. 15 (2009) 462. (Co-author: Kevin Tracy) PDF AC https://www.academia.edu/27629540/ Aristotles_Evasive_Invalidity_Omissions_BSL_15_2009_Abstract 66. 2009. What is a proof? Bulletin of Symbolic Logic. 15 (2009) 461–2. (Co-author: José Miguel Sagüillo) https://www.academia.edu/31724543/What_is_a_Proof 67. 2009. Consequence/consequent necessity. Bulletin of Symbolic Logic. 15 (2009) 461. https://www.academia.edu/32394380/Consequence_versus_Consequent_Necessity 68. 2010. Aristotle’s Direct Deductions: Metatheorems. Bulletin of Symbolic Logic. 16 (2010) 136. (Co-authors: N. da Costa and L. Dos Santos). 69. 2010. Paradox and Antinomy. Bulletin of Symbolic Logic. 16 (2010) 135-136 (Co- author: G. Boger).

18 70. 2010. Defining ‘Logical’ in First-order Metalogic. Bulletin of Symbolic Logic. 16 (2010) 135. https://www.academia.edu/37896429/Defining_Logical_in_First_order_Metalogic https://www.academia.edu/s/0b41de3c14/defining-logical-in-first-order-metalogic? source=link 71. 2010. Stating and Misstating Implications and Consequence. Bulletin of Symbolic Logic. 16 (2010) 436 (Co-author: G. Boger). 72. 2010. The proposition: a historical survey. Bulletin of Symbolic Logic. 16 (2010) 435–6 73. 2010. Allegations of the impossibility of counter-model independence proofs, Bulletin of Symbolic Logic. 16 (2010) 436–437. (Co-author: Leonard Jacuzzo). 74. 2009. Aristotle’s underlying logic: a three-hour tutorial, Bulletin of Symbolic Logic. 15 (2009) 335. https://www.academia.edu/s/b72ec582b6/aristotles-underlying-logic-three-hour-tutorial- brazil?source=link https://www.academia.edu/39012944/Aristotles_Underlying_Logic_three- hour_tutorial_Brazil_ 75. 2010. Hidden consequence and hidden independence. Bulletin of Symbolic Logic. 16 (2010) 443. https://www.academia.edu/30364838/ HIDDEN_CONSEQUENCE_AND_HIDDEN_INDEPENDENCE https://www.academia.edu/s/cfa5d38327/hidden-consequence-and-hidden-independence? source=link https://www.academia.edu/39765214/ HIDDEN_CONSEQUENCE_AND_HIDDEN_INDEPENDENCE_PORTUGUESE2019 0706_28608_r9v6kp https://www.academia.edu/s/465c98b139/hidden-consequence-and-hidden-independence- portuguese20190706-28608-r9v6kp?source=link Translation by Daniel Batista https://www.academia.edu/s/cfa5d38327/hidden-consequence-and-hidden-independence? source=link 76. 2010. The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence- Definition Paper. Bulletin of Symbolic Logic. 16 (2010) 443–4. (Co-author: Jose Miguel Sagüillo) 77. 2011. Protasis in Prior Analytics: proposition or premise? Bulletin of Symbolic Logic. 17 (2011) 151–2. (Co-author: G. Boger) https://www.academia.edu/12106508/Protasis_an_embarrassment_in_Prior_Analytics_ 78. 2011. Numerically-indexed Alternative Constituent Format. Bulletin of Symbolic Logic. 17 (2011) 152–3. (Co-author: R. Main) AC https://www.academia.edu/11784901/ New_formats_for_presenting_and_generating_language_data 79. 2011. Boole’s Expansion Principle. Bulletin of Symbolic Logic. 17 (2011) 151. 80. 2011. Mazur's Semantic Problem. Bulletin of Symbolic Logic. 17 (2011) 325–6. (Co- author: Michael Prentice)

19 https://www.academia.edu/28033462/Corcoran-Prentice_on_Mazur_s_semantic_problem 81. 2011. Existential Import Argument Schemas: Aristotelian and Boolean. Bulletin of Symbolic Logic. 17 (2011) 324–5. 82. 2011. Kurt Ebbinghaus on Aristotle’s syllogistic. Bulletin of Symbolic Logic. 17 (2011) 325. (Co-author: Klaus Glashoff) 83. 2012. Predicates and predications. Bulletin of Symbolic Logic. 18 (2012) 148. (Co-author: Corey McGrath) https://www.academia.edu/34089785/Predicates_and_predications 84. 2012. Implications of implication. Bulletin of Symbolic Logic. 18 (2012) 147–8. (Co- author: Justin Donhauser) https://www.academia.edu/10315087/ Implications_of_implication._Bulletin_of_Symbolic_Logic._18_2012_147_8 85. 2012. Paracounterexamples: virtual counterexamples. Bulletin of Symbolic Logic. 18 (2012) 147. https://www.academia.edu/34031240/Paracounterexamples_virtual_counterexamples 86. 2012. Truth-values and formal truth-value distributions of arguments Bulletin of Symbolic Logic. 18 (2012) 148–9. (Co-author: Sriram Nambiar) 87. 2012. Tarski’s inscriptionism. Bulletin of Symbolic Logic. 18 (2012) 141. (Co-author: Sriram Nambiar) 88. 2012. Expressions in Tarski’s Logic, Semantics, Metamathematics. Bulletin of Symbolic Logic. 18 (2012) 140. 89. 2012. Lies, half-truths, and falsehoods about Tarski’s 1933 “liar” antinomies. Bulletin of Symbolic Logic. 18 (2012) 140–1. (Co-author: Joaquin Miller) AC RG PP https://www.academia.edu/19520063/Lies_half- truths_and_falsehoods_about_Tarski_s_1933_liar_antinomies._Bulletin_of_Symbolic_L ogic._18_2012_140_1 90. 2012. What makes “natural deduction” natural? Bulletin of Symbolic Logic. 18 (2012) 303. (Co-author: José Miguel Sagüillo) https://www.academia.edu/35508055/What_makes_natural_deduction_natural 91. 2012. Aristotle's syllogistic premises. Bulletin of Symbolic Logic. 18 (2012) 300–1. https://www.academia.edu/37118307/Aristotles_syllogistic_premises https://www.academia.edu/s/9ccdfb9596/aristotles-syllogistic-premises?source=link 92. 2012. Aristotle’s syllogistic terms. Bulletin of Symbolic Logic. 18 (2012) 301–2. (Co- author: Jean-Louis Hudry) https://www.academia.edu/s/06288941f3/aristotles-syllogistic-terms?source=link https://www.academia.edu/40870848/Aristotle_s_syllogistic_terms 93. 2012. Aristotle's conception of . Bulletin of Symbolic Logic. 18 (2012) 301. (Co-author: Thomas Gezella) 94. Notating Tarski’s truth-definition paper. Bulletin of Symbolic Logic. 18 (2012) 302–3. (Co-author: Matt LaVine) https://www.academia.edu/39021538/Notating_Tarski_s_truth-definition_paper https://www.academia.edu/s/e5d7781504/notating-tarskis-truth-definition-paper? source=link

20 95. Discussing incommensurability in Aristotle. Bulletin of Symbolic Logic. 18 (2012) 472–3. (Co-author: Justin Legault) https://www.academia.edu/37197527/Discussing_incommensurabiliy_Aristotle 96. 2012. Autonymy and parautonymy in history of logic. Bulletin of Symbolic Logic. 18 (2012) 473–4. (Co-author: Kevin Tracy) AC RG PP https://www.academia.edu/s/0bbaefc808?source=link https://www.academia.edu/23094110/ Autonymy_parautonymy_BSL_16_2012_473_4_AC_ABSTRACT_session 97. 2012. Implicational-future sentences. Bulletin of Symbolic Logic. 18 (2012) 472. (Co- author: George Boger) 98. 2012. Quantifier-range-variable: the logical form of quantifications. Bulletin of Symbolic Logic. 18 (2012) 471. https://www.academia.edu/29478415/ CORCORAN_ON_LOGICAL_FORMS_OF_QUANTIFICATIONS_QRV 99. 2012. Refutation and proof. Bulletin of Symbolic Logic. 18 (2012) 473. (Co-author: Hassan Masoud) 100. 2013. Aristotle and Tarski on consequence. Bulletin of Symbolic Logic. 19 (2013) 234. (Coauthor: Justin Legault). 101. 2013. Aristotle’s “whenever three terms”. Bulletin of Symbolic Logic. 19 (2013) 234–5. (Coauthor: Hassan Masoud). https://www.academia.edu/11508872/Aristotle_s_whenever_three_terms_The_premise- fact_confusion_in_Aristotle_s_PRIOR_ANALYTICS 102. 2013. Meta-language, object-language. Bulletin of Symbolic Logic. 19 (2013) 232–3. (Coauthor: Idris Samawi Hamid) https://www.academia.edu/11575678/Meta-language_object-language 103. 2013. Multiplying negative integers. Bulletin of Symbolic Logic. 19 (2013) 233. (Coauthor: Leonard Jacuzzo). 104. 2013. String-theory applications. Bulletin of Symbolic Logic. 19 (2013) 233–4. (Coauthor: Matt LaVine) 105. 2013. From proposition to judgment. Bulletin of Symbolic Logic. 19 (2013) 231–2.

106. 2013. What is string theory? Bulletin of Symbolic Logic. 19 (2013) 131. (Co-author: William Frank) https://www.academia.edu/38523167/What_is_string_theory https://www.academia.edu/s/e650159840/what-is-string-theory?source=link 107. 2013. Barnes on ancient logic. Bulletin of Symbolic Logic. 19 (2013) 133 (Co-author: Kevin Tracy) https://www.academia.edu/27631635/ Jonathan_Barnes_on_Ancient_Logic_BSL_19_2013_Abstract 108. 2013. Predications in ancient logic. Bulletin of Symbolic Logic. 19 (2013) 132–3. (Co- author: Corey McGrath) https://www.academia.edu/34493028/Predications_in_ancient_logic

21 109. 2013. Tarski’s three-implication theorem. Bulletin of Symbolic Logic. 19 (2013) 130–1. https://www.academia.edu/20313391/CORCORAN_ON_TARSKI-THREE-IMPLICATION_THEOREMS 110. 2013. Term-distribution definitions. Bulletin of Symbolic Logic. 19 (2013) 132. (Co- author: Calvin Jongsma)

111. 2013. One-place plural predicates in Aristotle’s logic. Bulletin of Symbolic Logic. 19 (2013) 254–5. (Coauthor: Justin Legault) https://www.academia.edu/s/4dead9c925/one-place-plural-predicates-in-aristotle-update? source=link https://www.academia.edu/22846224/One-place_plural_predicates_in_Aristotle_s_logic 112. 2013. Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) https://www.academia.edu/s/dd9dc8569f/equality-and-identity-bulletin-of-symbolic- logic-19-2013-255-6-coauthor-anthony-ramnauth?source=link https://www.academia.edu/13451441/ Equality_and_identity._Bulletin_of_Symbolic_Logic._19_2013_255-6._Coauthor_Antho ny_Ramnauth_ 113. 2013. Discovering string theory. Bulletin of Symbolic Logic. 19 (2013) 253–4. (Coauthor: Matt LaVine) 114. 2013s. Surprises in logic. Bulletin of Symbolic Logic. 19 (2013) 253. (Coauthor: William Frank) PDF AC https://www.academia.edu/14042812/Surprises_in_logic https://www.academia.edu/s/a5a4386b75/surprises-in-logic?source=link 115. Surprising universal para-counterexample numbers. Bulletin of Symbolic Logic. 19 (2013) 255. (Coauthor: Sriram Nambiar) 116. Heinrich Scholz on Aristotle’s underlying logic. Bulletin of Symbolic Logic. 19 (2013) 252–3. https://www.academia.edu/28431744/ HEINRICH_SCHOLZ_1931_ON_ARISTOTLE_S_UNDERLYING_LOGIC 117. 2014. Conversely: extrapropositional and prosentential. Bulletin of Symbolic Logic. 20 (2014) 404. (Coauthor: Sriram Nambiar) AC RG PP https://www.academia.edu/19473832/ JOHN_CORCORAN_and_SRIRAM_NAMBIAR_2014._Conversely_extrapropositional _and_prosentential._Bulletin_of_Symbolic_Logic._20_2014_404 118. 2014f. Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) AC PP RG https://www.academia.edu/12984056/ Formalizing_Euclid_s_first_axiom._Bulletin_of_Symbolic_Logic._20_2014_404_5._Co author_Daniel_Novotn%C3%BD_ 119. 2014m. Meanings of show. Bulletin of Symbolic Logic. 20 (2014) 403–4. (Coauthor: Joaquin Miller) 120. Existential-import sentence schemas: classical and relativized Bulletin of Symbolic Logic. 20 (2014) 402–3. (Coauthor: Hassan Masoud) PDF AC https://www.academia.edu/

22 25307321/CORCORAN-MASOUD_ON_EXISTENTIAL- IMPORT_SENTENCE_SCHEMAS 121. 2014. Euclid’s weak first axiom. Bulletin of Symbolic Logic. 20 (2014) 405. (Coauthor: José Miguel Sagüillo) https://www.academia.edu/s/2dc4395795/euclids-weak-first-axiom?source=link https://www.academia.edu/35651062/Euclid_s_weak_first_axiom 122. 2014. Tarski’s extensional functions. Bulletin of Symbolic Logic. 20 (2014) 403.

123. 2014. Information-Theoretic Approaches to Logical Relations. VII Conference: Society for Logic, Methodology and Philosophy of Science in Spain. (Co-author: Jose Miguel Sagüillo) 124. Tarski’s Convention T condition beta, Bulletin of Symbolic Logic. 19 (2013) 510–11. (Co- author: Leonardo Weber) 125. Tarski’s truth schemata, Bulletin of Symbolic Logic, vol. 19 (2013) 507–8. (Co-author: William Duncan) http://www.academia.edu/28679743/Tarski_s_five_truth_schemata 126. Tarski’s quoted-letters, Bulletin of Symbolic Logic.19 (2013) 508–9. (Co-author: William Frank) https://www.academia.edu/26860967/ Tarski_s_quoted_letters_JC_WF_BSL_19_2013_508-9.pdf https://www.academia.edu/s/2955f2ecb6/tarskis-quoted-expressions?source=link 127. 2013. Verifying and falsifying, Bulletin of Symbolic Logic. 19 (2013) 509–10. (Co- author: Hassan Masoud) https://www.academia.edu/37140616/VERIFYING_AND_FALSIFYING https://www.academia.edu/s/4953015555/verifying-and-falsifying?source=link 128. 2013. “Deriving” Euclid’s Interchange Rule from Leibniz’s Law, Bulletin of Symbolic Logic. vol. 19 (2013) 507–8. https://www.academia.edu/s/b2abbb06f3/deriving-euclids-rule-from-leibnizs-law? source=link https://www.academia.edu/32883273/Deriving_Euclids_Rule_from_Leibnizs_Law 129. Tarski’s expression ‘sentential function’, Bulletin of Symbolic Logic. 19 (2013) 510. (Co-author: Sriram Nambiar) 130. 2013. Boolean operation-class calculus. Bulletin of Symbolic Logic. 19 (2013) 511. (Coauthor: Susan Wood) http://www.academia.edu/34959656/Boolean_operation-class_calculus 131. Arithmetic syntax and semantic arithmetic. Bulletin of Symbolic Logic. 19 (2013) 514– 515. (Co-author: William Frank) 132. 2013. Substitution and replacement in Tarski’s schema T, Bulletin of Symbolic Logic. 19 (2013) 517. (Coauthor: Leonardo Weber) https://www.academia.edu/s/5673647b00/substitution-and-replacement?source=link https://www.academia.edu/32894340/Substitution_and_replacement

23 133. Understanding Boole’s primary equations. Bulletin of Symbolic Logic. 19 (2013) 515–16. (Coauthor: Sriram Nambiar) https://www.academia.edu/34991923/Understanding_Booles_primary_equations 134. Aristotle, Boole, and Tarski on contradiction, Bulletin of Symbolic Logic. 19 (2013) 515. (Coauthor: Justin Legault) https://www.academia.edu/32513856/Aristotle_Boole_and_Tarski_on_contradiction 135. 2013. Errors in Tarski's 1983 truth-definition paper, Bulletin of Symbolic Logic. 19 (2013) 514. https://www.academia.edu/16576652/Errors_in_Tarskis_1983_truth- definition_paper._Bulletin_of_Symbolic_Logic._19_2013_514 136. Aristotle: necessary conclusions and necessarily concluding. Bulletin of Symbolic Logic. 19 (2013) 515–516. (Coauthors: Justin Legault and Daniel Novotny) https://www.academia.edu/35203243/ Aristotle_necessary_conclusions_and_necessarily_concluding https://www.academia.edu/s/b33518118e/aristotle-necessary-conclusions-and- necessarily-concluding?source=link 137. 2014. The scandal of deduction? Bulletin of Symbolic Logic. 20 (2014) 132–3. (Coauthor: José Miguel Sagüillo) 138. 2014. Port-Royal containment principle. Bulletin of Symbolic Logic. 20 (2014) 131–2. (Coauthor: Leonard Jacuzzo) https://www.academia.edu/35493072/Port-Royal_containment_principle 139. 2014. Logic’s fertility and sterility. Bulletin of Symbolic Logic. 20 (2014) 132. (Coauthor: Calvin Jongsma) 140. Teaching the continuum hypothesis. Bulletin of Symbolic Logic. 23 (2017) 210. (Coauthor: Sriram Nambiar) http://www.academia.edu/15810309/Teaching_the_continuum_hypothesis 141. 2014. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. (Coauthor: George Boger) AC https://www.academia.edu/10615164/ Aristotelian_logic_and_Euclidean_geometry._Bulletin_of_Symbolic_Logic._20_2014_1 31 142. 2014. Truth-preserving and consequence-preserving deduction rules. Bulletin of Symbolic Logic. 20 (2014) 130–1. AC RG PP P https://www.academia.edu/11911887/Truth-preservation_Fallacies 143. 2014. Self-refuting propositions and self-sustaining propositions. Bulletin of Symbolic Logic. 20 (2014) 250. (Coauthor: José Miguel Sagüillo) https://www.academia.edu/28509285/Self-refuting_propositions_self- sustaining_propositions 144. 2014. Meanings of hypothesis. Bulletin of Symbolic Logic. 20 (2014) 248–9. (Coauthors: Matt LaVine and Justin Legault) AC RG PP https://www.academia.edu/11743875/ Misusing_hypothesis_trying_to_make_it_carry_meanings_it_wont_hold

24 145. 2014. De Morgan on Euclid’s fourth postulate. Bulletin of Symbolic Logic. 20 (2014) 250. (Coauthor: Sriram Nambiar) AC RG PP P COL https://www.academia.edu/s/e32734c583?source=link https://www.academia.edu/12563296/De_Morgan_on_Euclid_s_fourth_postulate 146. 2014.Objectivity-subjectivity distinctions. Bulletin of Symbolic Logic. 20 (2014) 248. (Coauthor: Idris Samawi Hamid) AC https://www.academia.edu/11575718/Objectivity-subjectivity_distinctions_in_logic 147. 2014. Cosmic Justice Hypotheses. Bulletin of Symbolic Logic. 20 (2014) 247–8. (Coauthor: William Frank) AC RG PP https://www.academia.edu/11292701/Cosmic_Justice_Hypotheses https://www.academia.edu/s/feefa06ac5/cosmic-justice-hypotheses?source=link 148. 2014. Aristotle’s syllogisms: basic and extended. Bulletin of Symbolic Logic. 20 (2014) 247. 149. 2014. Existentially-important predicates. Bulletin of Symbolic Logic. 20 (2014) 262. https://www.academia.edu/26160047/CORCORAN_ON_EXISTENTIALLY- IMPORTANT_PREDICATES 150. 2014. Implication-connection fallacies. Bulletin of Symbolic Logic. 20 (2014) 263-4. (Co- author Kevin Tracy) 151. 2014. Purely inductive proofs. Bulletin of Symbolic Logic. 20 (2014) 263. (Co-author Michael Scanlan) AC https://www.academia.edu/10247574/ J_CORCORAN_AND_SCANLAN_Purely_inductive_proofs.Bulletin_of_Symbolic_Log ic._20_2014_263 152. 2015g. Goldfarb invalidity proofs. Bulletin of Symbolic Logic. 21 (2015) 198–9. (Coauthor: Leonard Jacuzzo) AC 153. 2015p. Plato’s mathematical deductivism. Bulletin of Symbolic Logic. 21 (2015) 199. (Coauthor: Hassan Masoud) https://www.academia.edu/26284683/CORCORAN- MASOUD_ON_PLATO_S_DEDUCTIVISM 154. 2015a. Aristotle’s semiotic triangles and pyramids. Bulletin of Symbolic Logic. 21 (2015) 198. AC PP RG https://www.academia.edu/19753940/ Aristotle_s_semiotic_triangles_and_pyramids._Bulletin_of_Symbolic_Logic._21_2015_ 198 155. 2015c. Absence of argument-deduction-proof distinctions in Church 1956. Bulletin of Symbolic Logic. 21 (2015) 230–231. AC [4 North American] https://www.academia.edu/29755668/Absence_of_argument-deduction- proof_distinctions_in_Church_1956 156. 2015d. Deductive and inductive arguments. Bulletin of Symbolic Logic.21 (2015) 231– 232. (Coauthor: José Miguel Sagüillo) https://www.academia.edu/26058002/CORCORAN- SAG%C3%9CILLO_ON_DEDUCTIVE_AND_INDUCTIVE_ARGUMENTS

25 157. 2015p. Prefix proposal: occurrences of numerals in numerals. Bulletin of Symbolic Logic.21 (2015) 231. (Coauthor: Sriram Nambiar) https://www.academia.edu/13759827/ _Quine_s_1940_Prefix_proposal_occurrences_of_numerals_in_numerals https://www.academia.edu/s/c6a0882408/quines-1940-prefix-proposal-occurrences-of-numerals- in-numerals?source=link 158. 2015a. Aristotle's third logic: deduction. Bulletin of Symbolic Logic.21 (2015) 102–103. (Co-author: Kevin Tracy) https://www.academia.edu/37190662/Aristotles_third_logic_deductions 159. 2015c.Teaching course-of-values induction. Bulletin of Symbolic Logic.21 (2015) 101. https://www.academia.edu/30223102/Teaching_course-of-values_induction 160. 2015i.Teaching independence. Bulletin of Symbolic Logic.21 (2015) 101–102. (Coauthor: José Miguel Sagüillo) https://www.academia.edu/37552725/TEACHING_INDEPENENCE 161. 2015m. Ancient motion theories. Bulletin of Symbolic Logic. 21 (2015) 443. (Coauthor: Stanley Ziewacz) 162. 2015e. Plato’s implicant-implication methods. Bulletin of Symbolic Logic.21 (2015) 442– 443. (Coauthor: Joseph Ernst) 163. 2015b. Aristotle’s axiomatic beginnings. Bulletin of Symbolic Logic. 21 (2015) 441–442. https://www.academia.edu/26880445/ CORCORAN_ON_ARISTOTLE_S_AXIOMATIC_BEGINNINGS._AC_ABSTRACT 164. 2015h. Implication and deduction. Bulletin of Symbolic Logic.21 (2015)238–239. (Coauthors: Hassan Masoud and Sriram Nambiar) 165. 2015r. Expressing set-size equality. Bulletin of Symbolic Logic.21 (2015) 239. (Coauthor: Gerald Rising) AC https://www.academia.edu/13554801/Expressing_set-size_equality 166. 2015l.The Aristotle Łukasiewicz omitted. Bulletin of Symbolic Logic.21 (2015) 237–238. https://www.academia.edu/35053797/The_Aristotle_Lukasiewicz_omitted https://www.academia.edu/s/62d2067e32/the-aristotle-lukasiewicz-omitted?source=link 167. 2015w.Two satisfactions in Tarski’s truth-definition paper. Bulletin of Symbolic Logic.21 (2015) 365. (Coauthor: Leonardo Weber) 168. 2015f. Assumptions: illative and typographical. Bulletin of Symbolic Logic. 21 (2015) 364–5. (Co-author: William Frank) https://www.academia.edu/28575613/Assumptions_illative_and_typographical 169. 2015t. Teaching basic logics. Bulletin of Symbolic Logic. 21 (2015) 364. https://www.academia.edu/28397105/Teaching_basic_Logic 170. 2016a.Truth-preserving, implication-preserving, and cognition-preserving systems of deduction. Bulletin of Symbolic Logic.22 (2016) 431–432. http://www.academia.edu/29328794/Truth-preservation_implication- preservation_and_cognition-preservation 171. Two-method errors: having it both ways. Bulletin of Symbolic Logic. 22 (2016) 432. (Co- author: Idris Samawi Hamid) https://www.academia.edu/19625667/Two-method_errors_having_it_both_ways

26 172. Three logical theories redux Bulletin of Symbolic Logic. 22 (2016) 433. (Co-author: Hassan Masoud) https://www.academia.edu/29333031/CORCORAN-MASOUD_ON_TAUTOLOGY- PRESERVATION_CONSEQUENCE-PRESERVATION_AND_COGENCY-PRESERVATION 173. Consequent-affirmability, antecedent-deniability, and convertibility of material- conditional sentences. Bulletin of Symbolic Logic.23 (2017) 131. https://www.academia.edu/20262614/ CORCORAN_ON_THE_TWO_FALLACIES_AFFIRMING-THE-CONSEQUENT 174. Interpreting Aristotle’s definition of sullogismos. Bulletin of Symbolic Logic. 23 (2017) 132. (Co-author: Kevin Tracy) https://www.academia.edu/s/f57efc77bb/interpreting-aristotles-definition-of-sullogismos? source=link https://www.academia.edu/35723081/Interpreting_Aristotle_s_definition_of_sullogismos 175. The square root of four is plus or minus two. Bulletin of Symbolic Logic.23 (2017) 131– 132. (Co-author: Idris Samawi Hamid) 176. Meanings of nonsequitur. Bulletin of Symbolic Logic.23 (2017) 373. (Co-author: Joel Tierno) https://www.academia.edu/s/baaa223c5f/meanings-of-non-sequitur?source=link https://www.academia.edu/15645911/Meanings_of_non_sequitur_ 177. The law of contradiction in Tarski’s Introduction. Bulletin of Symbolic Logic.23 (2017) 372. (Co-author: Idris Samawi Hamid)

178. Teaching additive and subtractive deduction theorems in plain English. Bulletin of Symbolic Logic.23 (2017) 371–372. https://www.academia.edu/19867995/ Teaching_additive_and_subtractive_deduction_theorems_in_plain_English 180. Solving information recovery problems. Bulletin of Symbolic Logic. 23 (2017) 210–211. (Coauthor: José Miguel Sagüillo) https://www.academia.edu/33816378/Solving_information_recovery_problems 181. Panvalid four-connective argument schemata. Bulletin of Symbolic Logic. 23 (2017) 209– 210. https://www.academia.edu/33874159/Panvalid_four_connective_argument_schemata 182. Teaching paradoxes, antinomies, and contradictions. Bulletin of Symbolic Logic. 23 (2017) 261–262. (Coauthor: José Miguel Sagüillo) https://www.academia.edu/s/0ce16a7d52/teaching-paradoxes-antinomies-and-contradictions? source=link https://www.academia.edu/33885835/Teaching_paradoxes_antinomies_and_contradictions 183. Weakening and strengthening conditionals: thirty-six theorems. Bulletin of Symbolic Logic. 23 (2017) 261. https://www.academia.edu/33875727/Weakening_and_strengthening_conditionals 184. “Every square is a rhombus”: categorical, hypothetical, conditional, implicational, equational, or what? Bulletin of Symbolic Logic. 23 (2017) 262. (Co-author: Kevin Tracy) https://www.academia.edu/33883324/Every_square_is_a_rhombus

27 185. Existential-import mathematics: negated-consequent qualifications. Bulletin of Symbolic Logic. 24 (2018) 116–117. (Co-authors: Allen Hazen and Hassan Masoud) Print version https://www.academia.edu/44573340/EIT_negated_consequent_qualifications Preprint no pagination https://www.academia.edu/30000932/CORCORAN-HAZEN- MASOUD_HAZEN_S_EXISTENTIAL-IMPORT_LEMMA 186. Import-carrying, pretautological, and preprovable predicates. Bulletin of Symbolic Logic. 24 (2018) 116. https://www.academia.edu/31384522/Import- carrying_pretautological_and_preprovable_predicates_.pdf 187. Diversity of preprovable predicates. Bulletin of Symbolic Logic. 24 (2018) 117. (Co-author: Joaquin Miller) https://www.academia.edu/29005655/Diversity_of_preprovable_predicates 188 Reviews of Corcoran-Masoud 2014 and 2015 on existential-import in first-order logic. Bulletin of Symbolic Logic. 24 (2018) 139. (Co-author Hassan Masoud) https://www.academia.edu/29779732/Corcoran_and_Masoud_review_their_reviewers 189. Revisiting a Leibniz proof. Bulletin of Symbolic Logic. 24 (2018) 139–140. (Co-author: James Gasser) https://www.academia.edu/29798099/ CORCORAN_AND_GASSER_ON_PROVING_2_PLUS_2_IS_4 190. Weak and strong existential-import of universalized conditionals. Bulletin of Symbolic Logic. 24 (2018) 24 (2018) 139. https://www.academia.edu/29854868/ Weak_and_strong_existential-import_of_universalized_conditionals

SLALM.

191. Boolean induction, Bulletin of Symbolic Logic. 24 (2018) 374–5. https:// www.academia.edu/37808653/Boolean_induction_BSL https://www.academia.edu/s/b294844734/boolean-induction?source=link 192. Five Goldfarb implications. Bulletin of Symbolic Logic. 24 (2018) 375. (Co-author: Sriram Nambiar) https://www.academia.edu/s/2af3ebb4ab/five-goldfarb-implications?source=link https://www.academia.edu/37919254/Five_Goldfarb_implications END SLALM

193. 2015. Aristotle’s logic: a three-hour tutorial. Handbook of the 5th World Congress and School of Universal Logic. Vedat Kamer et al.(Eds.) Turkish Logic Society: Istanbul. 2015. pp. 27–28. https://www.academia.edu/31696641/ Handbook_of_the_5th_World_Congress_and_School_on_Universal_Logic

LC17 194. Teaching universalized-conditionals. Bulletin of Symbolic Logic. 24 (2018) 275. (Co- author: Hassan Masoud)

28 195. Meanings of contradicts. Bulletin of Symbolic Logic. 24 (2018) 274–275. (Co-author: George Boger) https://www.academia.edu/37274963/Meanings_of_contradict 196. Meanings of statement, proposition, and sentence. Bulletin of Symbolic Logic. 24 (2018) 274. https://www.academia.edu/32756103/ MEANINGS_OF_STATEMENT_PROPOSITION_AND_SENTENCE 2017-18 WINTER ASL APA 197. Errata in Henkin’s 1950 type-theory completeness paper. Bulletin of Symbolic Logic. 24 (2018) 381–2. (Co-author: Richard Grandy) https://www.academia.edu/s/7b894564ad/errata-in-henkins-1950-type-theory-completeness- paper?source=link https://www.academia.edu/37918425/Errata_in_Henkin_s_1950_type- theory_completeness_paper 198. Russell 1919’s fraction-separator theorem. Bulletin of Symbolic Logic. 24 (2018) 381. https://www.academia.edu/s/4f60c070ca/russell-1919s-fraction-separator-theorem? source=link https://www.academia.edu/34438558/2_Russell_1919_s_fraction- separator_theorem_090117.pdf 199. Semiotic confusions in Russell 1919. Bulletin of Symbolic Logic. 24 (2018) 382–3. (Co- author: Kevin Tracy) https://www.academia.edu/34195085/ Semiotic_confusions_in_Russell_1919.AC https://www.academia.edu/34195085/Semiotic_confusions_in_Russell_1919.AC

[18] 2017-18 WINTER ASL MATHEMATICS 200. Teaching paradoxes and orthodoxes. Bulletin of Symbolic Logic. 24 (2018) 492 (Co- author: José Miguel Sagüillo) https://www.academia.edu/38283400/Teaching_paradoxes_and_orthodoxes https://www.academia.edu/s/f84c7dce5a/teaching-paradoxes-and-orthodoxess? source=link 201. Truth-value making relations. Bulletin of Symbolic Logic. 24 (2018) 491. https://www.academia.edu/34522813/Truth-value_making_relations https://www.academia.edu/s/e74c5e179a/truth-value-making-relations?source=link 202. The Aristotelian dictum de omni? Bulletin of Symbolic Logic. 24 (2018) 491–2. (Co-author: John Glanville) http://www.academia.edu/35772617/The_Aristotelian_dictum_de_omni https://www.academia.edu/s/32ceaeb23a/the-aristotelian-dictum-de-omni?source=link

[19] 2018 NORTH AMERICAN 203. Deduction, reduction, and eduction: three proof-theoretic processes in Prior Analytics. Bulletin of Symbolic Logic. 24 (2018) 523–4. (Co-authors: Pierre Joray and Kevin Tracy) https://www.academia.edu/35609501/Deduction_reduction_and_eduction_three_proof- theoretic_processes_in_Prior_Analytics

29 https://www.academia.edu/s/ba148e2f88/deduction-reduction-and-eduction-three-proof- theoretic-processes-in-prior-analytics?source=link 204. Variable-enhanced English and structural ambiguity. Bulletin of Symbolic Logic. 24 (2018) 524–5. https://www.academia.edu/35610391/ Variable_enhanced_English_and_structural_ambiguity https://www.academia.edu/s/e627d837c5/variable-enhanced-english-and-structural- ambiguity?source=link 205. Reformalizing Euclid’s first axiom: euclitivity. Bulletin of Symbolic Logic. 24 (2018) 524. (Co-author: Justin Legault) https://www.academia.edu/35665956/ Reformalizing_Euclid_s_first_axiom_euclitivity

[21] ACCEPTED LC2018

206. Concrete-abstract distinctions in logic. Bulletin of Symbolic Logic. 25 (2019) 270–271. (Co-author: Idris Samawi Hamid) https://www.academia.edu/s/e63318a03e/concrete-and-abstract-in-logic-ac?source=link https://www.academia.edu/35712528/Concrete_and_abstract_in_logic_AC

207. Argument validity, form omnivalidity, and schema panvalidity. Bulletin of Symbolic Logic. 25 (2019) 271–272. (Co-author: José Miguel Sagüillo) F/COL https://www.academia.edu/38026606/ Argument_validity_form_omnivalidity_and_schema_panvalidity https://www.academia.edu/s/fb64ce6a31/argument-validity-form-omnivalidity-and- schema-panvalidity?source=link 208. Aristotle’s term theory and its underlying logic. #19 Bulletin of Symbolic Logic. 25 (2019) 2 7 0 . https://www.academia.edu/38676256/ Aristotle_s_term_theory_and_its_underlying_logic

SUBMITTED 21 2018-2019 WINTER MATH

210. Do sentences denote truth-values? Bulletin of Symbolic Logic. 25 (2019) 370. (Co-author: Idris Samawi Hamid) https://www.academia.edu/41010111/Do_sentences_denote_truth-values https://www.academia.edu/s/f0f62eb30e?source=link

211. Aristotle’s third logic: language. Bulletin of Symbolic Logic. 25 (2019) 370–371. (Co- author: Kevin Tracy)

212. Teaching variables: values-constants fallacies. Bulletin of Symbolic Logic. 25 (2019) 369–370. https://www.academia.edu/s/3823bb30a2?source=link https://www.academia.edu/41269936/Teaching_variables_values-constants_fallacies

30 https://www.academia.edu/37248640/Teaching_variables_the_values-constants_fallacies

2019 WINTER APA

213. Jan Tarski 1994 on two excluded-middles and two non-contradictions Bulletin of Symbolic Logic. 25 (2019) 380. (Co-author: Kevin Tracy) AC https://www.academia.edu/37370037/Jan_Tarski_1994_on_two_excluded- middles_and_two_non-contradictions

214. Teaching counterexamples and counterinstances, Bulletin of Symbolic Logic. 25 (2019) 378–9. (Co-author: James Cargile) AC https://www.academia.edu/s/8bcb280e78/counterexamples-and-counterinstances?source=link

215. Tarski’s quoted-expressions. Bulletin of Symbolic Logic. 25 (2019) 379–80. (Co-author: William Frank) AC https://www.academia.edu/s/2955f2ecb6/tarskis-quoted-expressions?source=link

Submitted 23 2019 ASL North American Annual FEB 15 2019 216. Definite article occurrences in context, Bulletin of Symbolic Logic. TBA XX (201X) XXX– YYY. [folder 23 #1] (Co-authors: Henry Leal and Charles Broming) 021019 https://www.academia.edu/s/0769e1d6fd/definite-articles-in-context?source=link

217. Teaching the regularity axiom, Bulletin of Symbolic Logic. TBA XX (201X) XXX–YYY. [folder 23 #2] https://www.academia.edu/s/96fb01e1c6/teaching-the-regularity-axiom6?source=link

218. Tautologies and contradictions. Bulletin of Symbolic Logic. TBA XX (201X) XXX–YYY. [folder 23 #3] (Co-author: José Miguel Sagüillo) Submitted Logic Colloquium '19 FOLDER 24 March 27 2019 219. What syllogisms are: three views, eight centuries. Bulletin of Symbolic Logic. 25 (2019) 529. (Co-author: Miles Rind) https://www.academia.edu/s/6cf3f57007/what-syllogisms-are-corcoran-rind?source=link WHAT SYLLOGISMS ARE [ROMANIAN BY V. -MARIUS CONSTANTIN] BILINGUAL ABSTRACT https://www.academia.edu/44225841/What_syllogisms_are_RO_EN DISCUSSION https://www.academia.edu/s/556df88c4f?source=link

31 220. Validity, soundness, truth, known validity, and known truth. Bulletin of Symbolic Logic. 25 (2019) 529–530. (Co-author: Kevin Tracy) https://www.academia.edu/s/405ac89bd0/ validity-soundness-truth-known-validity-and-known-truth-pdf?source=link

221. Russell 1919 on fractions, Bulletin of Symbolic Logic. 25 (2019) 528 https://www.academia.edu/s/588e28a967/russell-1919-on-fractions-jc-refs?source=link Submitted 2019-20 Winter Mathematics FOLDER 25 July 2019 222.1 Substitution of equals for equals. Bulletin of Symbolic Logic. XX (20XX) XXX–YYY. https://www.academia.edu/s/13c1681fa6/substitution-of-equals-for-equals-ac-draft1?source=link

223.2 Tarski’s proof of the law of identity. Bulletin of Symbolic Logic. XX (20XX) XXX–YYY. (Coauthor: Joaquin Miller) 080619 https://www.academia.edu/s/b82a93b102/tarskis-proof-of-the-law-of-identity?source=link 224.3 Meanings of sound [posted ac 0326] Bulletin of Symbolic Logic. XX (20XX) XXX–YYY. (Co-author: Idris Samawi Hamid) https://www.academia.edu/s/b8d5f46444/meanings-of-sound-in-logic?source=link

Submitted 2020 ASL North American Annual Meeting FOLDER 26

225.1 Ex falso quodlibet, EFQ, an absurdity. (Co-author: José Miguel Sagüillo) https://www.academia.edu/s/24946c371c/ex-falso-quodlibet-ac-d?source=link https://www.academia.edu/40359209/Ex_falso_quodlibet_AC_D Italian translation by Mauro Allegranza https://www.academia.edu/s/a4a159c9c1?source=link https://www.academia.edu/44512790/Ex_falso_quodlibet_EFQ_an_absurdity_ITA_ENG_DRAFT1

226.2 Reductio: indirect deduction https://www.academia.edu/40341428/Reductio_indirect_deduction Also see: https://www.academia.edu/s/8f3662e2bf/aristotles-demonstrative-logic-200s? source=link

227.3 Łukasiewicz’s łinferences and łimplications Justin Legault, Robin Smith

III. Books

1974. Ancient Logic and Its Modern Interpretations. Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, Dordrecht: Reidel. MR0392486 (52 #13303). https://www.academia.edu/9965562/Ancient_Logic_and_Its_Modern_Interpretations_

Tarski, A. 1956/1983. Logic, Semantics, Metamathematics, revised edition with new introduction by J. Corcoran, Hackett Publishing Company, Indianapolis (1983). Originally published by Oxford: Oxford University Press, 1956. Fourth printing 2007. MR85e:01065. http:// www.hackettpublishing.com/logic-semantics-metamathematics

32 https://www.academia.edu/s/88d8728c94/introducing-tarskis-1983-lsm?source=link https://www.academia.edu/38842784/INTRODUCING_TARSKIS_1983_LSM Cohen, M. and E. Nagel. 1934/1962/1993. An Introduction to Logic, second edition, revised with new exercises, new indices, a new bibliography, and a 30-page introduction by J. Corcoran, Hackett Publishing Company, Indianapolis (1993), first edition published by Harcourt, Brace, & World, Inc., New York (1962), originally published as Book I of An Introduction to Logic and Scientific Method, Harcourt, Brace, and Company, New York (1934).MR94h:03002.Reviewed: Don S. Levi, Journal of Informal Logic. http:// ojs.uwindsor.ca/ojs/leddy/index.php/informal_logic/article/viewFile/2391/1833 http://www.hackettpublishing.com/an-introduction-to-logic https://www.academia.edu/33081924/CORCORAN_ON_COHEN-NAGEL Boole, G. 1854/2003. The Laws of Thought, facsimile of 1854 edition, with an introduction by J. Corcoran. Buffalo: Prometheus Books (2003). Reviewed: J. van Evra in Philosophy in Review.24 (2004) 167–169. MR1994936 (2004i:03001) http://www.academia.edu/29194077/ CORCORAN_INTRODUCES_BOOLE_S_LAWS_OF_THOUGHT

IV. Miscellaneous

1. J An elementary problem concerning consistency, American Mathematical Monthly, March 1971, 298.

2. J An elementary problem concerning independence, American Mathematical Monthly, April 1971, 405.

3. J Solution to 1, American Mathematical Monthly 1972, 305.

4. A newspaper feature article on a lecture by Tarski, The Reporter, April 26, 1973, 8.

5. A newspaper article on logic as a field of study, The Reporter, April 6, 1978, 4.

6. Alonzo Church, Encyclopedia of and Engineering, edited by A. Ralston, Reinhold and Van Nostrand, NY, 1992 (Co-author: M. Scanlan).

7. Alfred Tarski, A Companion to , eds. J. Kim & E. Sosa, Blackwell, London, 1994, 487–489.

33 8. Thirteen philosophical dictionary entries: axiomatic method, borderline case, categoricity, degenerate case, laws of thought, limiting case, logical form, mathematical analysis, omega, proof by recursion, recursive function theory, Tarski, tautology in The Cambridge Dictionary of Philosophy, edited by Robert Audi, Cambridge University Press, Cambridge 1995.

9. Twenty-six philosophical dictionary entries (13 new, some revised from 1995, some reprinted from 1995): ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. The Cambridge Dictionary of Philosophy, edited by Robert Audi, Cambridge, Cambridge University Press, second edition 1999. PDF https://www.academia.edu/10396347/ Corcoran_s_27_entries_in_the_1999_second_edition_Audi_s_Cambridge_Dictionary_of_ Philosophy https://www.academia.edu/25728459/CORCORAN_ON_AXIOMATIC_METHOD https://www.academia.edu/30918572/CORCORAN_ON_CONVERSE https://www.academia.edu/30495314/Corcoran_on_De_Morgan https://www.academia.edu/25996821/CORCORAN_ON_LAWS_OF_THOUGHT https://www.academia.edu/30233772/OMEGA https://www.academia.edu/24485372/CORCORAN_ON_LOGICAL_FORM https://www.academia.edu/30542436/Corcoran_on_proof_by_recursion https://www.academia.edu/30468263/CORCORANS_TAUTOLOGY_REVISED https://www.academia.edu/27419580/CORCORAN_ON_UNIVERSE_OF_DISCOURSE

10. Notice concerning the Buffalo Logic Dictionary Project, including two sample entries: “logical form” and “ellipsis”. Boletín Informativo de Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, No. 19, July 1999, 36–38.

11. Nine Encyclopedia entries: Apriori/aposteriori: knowledge, 1–3; Conditions and Consequences, 124–7; Demonstrative Logic, 472–4; Genetic Method, 319–21; Knowledge and Belief, 437–439; Psychologism, 628–9, Schema, 698–700; Scientific Revolution, 704–5; Syntactics, 745–6. American Philosophy: an Encyclopedia. 2007. Eds. John Lachs and Robert Talisse. New York: Routledge. PDF R#1 AC18

https://www.academia.edu/11832220/Apriori_Aposteriori_Knowledge https://www.academia.edu/15036101/Conditions_and_Consequences https://www.academia.edu/30139150/Corcoran_on_Genetic_Method https://www.academia.edu/30200586/Corcoran_on_Psychologism

34 https://www.academia.edu/25802396/CORCORAN_ON_SCIENTIFIC_REVOLUTIONS https://www.academia.edu/15155462/Syntactics_ http://www.academia.edu/27419369/CORCORAN_ON_UNIVERSES_OF_DISCOURSES

12. 2008. Remembering Peter Hare 1935–2008. Philosophy Now. Co-authors: T. Madigan and A. Razin. Issue 66 March/April 2008. Pages 50–2. PDF https://philosophynow.org/issues/66/Remembering_Peter_Hare_1935-2008

13. 2009. Remembering My Life with Peter Hare. Remembering Peter Hare 1935–2008. Ed. J. Campbell. Society for the Advancement of American Philosophy. pp. 9–16. http://american-philosophy.org/documents/RememberingPeterHare_final.pdf

14. 2010. Four entries for a Spanish-language dictionary of logic: “counterarguments and counterexamples” (137–42), “deduction and deducibility” (168–70), “logical form and formalization” (257–59), “truth-values” (627–63). Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. https://www.academia.edu/34276803/Truth-values https://www.academia.edu/s/d3aac6a90a/truth-values?source=link https://www.academia.edu/32508373/Valores_de_verdad

15. 2011. Farewell letter from John Corcoran. Philosophy Nousletter. Number 19, Winter 2011. 10–12. https://www.academia.edu/32207251/CORCORAN_SAYS_FAREWELL_TO_HIS_STUDENTS https://www.academia.edu/s/626debdfd0/corcoran-says-farewell-to-his- students? source=link

16. 2012. Farewell letter to my students. Philosophy Now. Issue 97 September/October 2012. http://www.pdcnet.org/philnow/content/philnow_2012_0092_0018_0018 http://philosophynow.org/issues/92/A_Farewell_Letter_To_My_Students https://www.academia.edu/22562648/ CORCORAN_SAYS_FAREWELL_TO_HIS_STUDENTS

17. 2015. Twenty-nine philosophical dictionary entries (3 new, some revised from 1999, some reprinted from 1999): ancestral, axiomatic method, Boole (George), borderline case, categoricity, Church (Alonzo), conditional, conjecture, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, modal transfer fallacy, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. The Cambridge Dictionary of Philosophy, edited by Robert Audi, Cambridge, Cambridge University Press, third edition 2015. PDF 18. 2018. Applied Logic Flow-chart

35 http://www.academia.edu/36815054/ APPLIED_LOGIC_FLOW_CHART_word_doc_to_translate_ Translations: Czech, Greek C z e c h http://www.academia.edu/36815936/ CZECH_Diagram_aplikovan%C3%A9_logiky_John_Corcorans_Applied_Logic_Flow_C hart_ Greek http://www.academia.edu/ 37842134/%CE%95%CE%A6%CE%91%CE%A1%CE%9C%CE%9F%CE%A3%CE%9 C%CE%95%CE%9D%CE%9F_%CE%9B%CE%9F%CE%93%CE%99%CE%9A%CE% 9F_%CE%94%CE%99%CE%91%CE%93%CE%A1%CE%91%CE%9C%CE%9C%CE %91_%CE%A1%CE%9F%CE%97%CE%A3 19. 2018. Logical Methodology Chart https://www.academia.edu/s/c3a3c25017/logical-methodology-chart?source=link https://www.academia.edu/34425483/Logical_Methodology_Chart Translations: Arabic, French, Persian, Russian ARABIC https://www.academia.edu/s/d71c584f42/logical-methodology-chart-arabic-draft? source=link FRENCH http://www.academia.edu/38053027/Tableau_de_M%C3%A9thodologie_Logique PERSIAN https://www.academia.edu/s/5a684179a5/logical-methodology-chart-persian-draft- %D9%86%D9%85%D9%88%D8%AF%D8%A7%D8%B1%E2%80%AC- %E2%80%AB%D8%B1%D9%88%D8%B4%E2%80%AC- %E2%80%AB%D8%B4%D9%86%D8%A7%D8%B3%DB%8C%E2%80%AC- %E2%80%AB%D9%85%D9%86%D8%B7%D9%82%DB%8C?source=link RUSSIAN https://www.academia.edu/s/92c5f137f6/logical-methodology-chart-russian?source=link https://www.academia.edu/38312375/Logical_Methodology_Chart_RUSSIAN 20. 2018. Truth-value Validity-value Chart https://www.academia.edu/s/6a35c40852/truth-value-validity-chart-blanks?source=link https://www.academia.edu/38026457/6_TRUTH- VALUE_VALIDITY_BLANKS_WORD.docx Translations: None 21. 2018. Truth-value Validity-value Aristotelian Translations: French https://www.academia.edu/38048736/TRUTH-VALUE_VALIDITY-VALUE_BARBARA.RABABAR.pdf FRENCH https://www.academia.edu/s/c1733e8c72/french-tvvc-valeur-verite-validite- aristoteliciennepdf?source=link 21. 2018. Truth-value Validity-value Equations https://www.academia.edu/38021199/TRUTH-VALUE_VALIDITY_CHART_EQUATIONS_1

36 Translations: None

22. 2019. Corcoran’s publications that interpret, criticize, explain, or build on Alfred Tarski’s theories and results. https://www.academia.edu/s/c6457b1b8c/corcoran-on-tarski-may-2016?source=link https://www.academia.edu/39022089/CORCORAN_ON_TARSKI_MAY_2019 V. Reviews. Mathematical Reviews available at MathSciNet. NB Mathematical Reviews published two volumes per year beginning in 1962. E.g., Volumes 39 and 40 are for 1970, my first year as a reviewer.

1. 1970. Beth, Evert. Mathematical Thought. An Introduction to the Philosophy of Mathematics. 1965. In Mathematical Reviews, MR0252158 (40, #5383)988–989. PDF https://www.academia.edu/28870097/ CORCORAN_ON_MATHEMATICAL_THOUGHT_a_review_of_Evert_Beth_1965_M athematical_Thought 2. 1971. Beth, Evert, and Jean Piaget. Mathematical and Psychology. In Mathematical Reviews, MR0260559 (41 #5183) 956–57. PDF https://www.academia.edu/29238498/CORCORAN_RECOMMENDS_BETH- PIAGET_1966 3. 1971. DeLong, Howard. A Profile of Mathematical Logic. In Mathematical Reviews 41, 3230. https://www.academia.edu/29270356/ CORCORAN_DISSECTS_PROFILE_OF_MATHEMATICAL_LOGIC_ 4. 1972. Quine, Willard. Philosophy of Logic. In Philosophy of Science 39, 97–99. J PDF AC PP RG https://www.academia.edu/22480000/ CORCORAN_ON_QUINE_S_PHILOSOPHY_OF_LOGIC 5. 1972. Hatcher, William. Foundations of Mathematics. In Philosophy of Science 39, 88– 90. J PDF 6. 1971. Eberle, Rolf. “Denotationless Terms and Predicates Expressive of Positive Qualities”. In Mathematical Reviews, 42, 31. 7. 1972. Reid, Constance. Hilbert (a Biography). In Philosophy of Science 39, 106–08. J PP AC RG PP https://www.academia.edu/21630913/ CORCORAN_ON_HILBERT_A_BIOGRAPHY_by_Constance_Reid 8. 1971. Resnik, Michael. Elementary Logic. Mathematical Reviews 42, 1357. 9. 1972. Nagashima, T. “A Model of the Comprehension Axiom without Negation” in Mathematical Reviews 43, 41. 10. 1971. Massey, G. Understanding Symbolic Logic, in Mathematical Reviews 43, 337–38. 11. 1972. Kreisel, G. “Principles of Proof and Ordinals Implicit in Given Concepts”, in Mathematical Reviews 44, 712–13.

37 12. 1972. Thomason, R. Symbolic Logic: an Introduction. (co-reviewer C. Lambros) Mathematical Reviews 43, 846–47. 13. 1972. Gregg, J. “Axiomatic Quasi-Natural Deduction”, in Mathematical Reviews 44, 7. 14. 1972. Lyons, J. Noam Chomsky, in Word 28, 335–38. 15. 1970. Pears, D. Ludwig Wittgenstein. Word 26, 294–97. 16. 1972. Ebbinghaus, H. “...Prdikatenlogik mit partiell definierten Pradikaten...” (co- reviewer J. Herring) Journal of Symbolic Logic 37, 617–18. J 17. 1972. Wang, H. “A Calculus of Partial Predicates, etc.” (co-reviewer J. Herring) Journal of Symbolic Logic 37, 617. 18. 1972. Gregg, J. “Two Modes of Inference”. Mathematical Reviews 44, 486. 19. 1972. Cheng, C. “Referential Involvements of Number Words”. Mathematical Reviews 44, 709. 20. 1972. Segerberg, K. “Some Modal Logics Based on a Three-Valued Logic”. Mathematical Reviews 44, 1178. 21. 1972. Woodruff, P. “Logic and Truth-Value Gaps”, Mathematical Reviews 44, 1177. 22. 1973. Pogorzelski, W. A. “On Structural Completeness of Propositional Logics”. Mathematical Reviews 46, 259. 23.J 1973. Putnam, H., Philosophy of Logic. Philosophy of Science 40, 131–33. AC PP RG https://www.academia.edu/23481702/ CORCORAN_ON_PUTNAM_S_PHILOSOPHY_OF_LOGIC 24. 1973. Frege, G. On the Foundations of Geometry. (Tr. Kluge) Philosophy and Phenomenological Research 34, 283–286 (Co-author: S. Wood). 25. 1973. Staszek, W. “On Proofs of Rejection”. Mathematical Reviews 46, 559. 26. 1973. Slupecki, J., et. al. “Theory of Rejected Propositions I”. in Mathematical Reviews 46, 5116. 27. 1973. Bolman, D. and M. Tapia. “...Unsolvability...of the Deduction Theorem”. Mathematical Reviews 46, 563. 28.J 1973. Copi, I. The Theory of Logical Types. Philosophy of Science 40, 319–21 (Co- author: J. Richards). 29.J 1974. Bolzano, B. Theory of Science (tr. George). Philosophy and Phenomenological Research 34, 282–83. 30. 1973. Frege, G. Conceptual Notations and Related Articles. Ed. and tr. T. Bynum. Philosophy of Science 40, 454–55 (Co-author: D. Levin). J 31. 1974. Ashworth, J., “Andreas Kesler and the Later Theory of Consequence” Notre Dame Journal of Formal Logic 14. Mathematical Reviews 48#8192 (Co-author: J. Gracia). 32. 1974. Faj, A. “Platonic Anticipations of Stoic Logic”. Mathematical Reviews 48#8191. 33. 1975. Ermolaeva, N. M. “Logic Akin to Wang's Calculus”. Mathematical Reviews 49#10524 (Co-author: J. Herring). 34. 1977. Goodstein, R. L. Development of Mathematical Logic in Mathematical Reviews 54#4906 (Co-author: J. Barr). 35. 1976. Crossley, J. N. What is Mathematical Logic? Philosophy of Science 43, 301–302 (Co-author: S. Shapiro). J

38 https://www.academia.edu/12618307/ Corcoran_and_Shapiro_review_What_is_Mathematical_Logic_updated_PDF 36. 1977. Jackson, D. Augustine: De Dialectica. Philosophia 13, 85–87 (Co-author: J. Gracia). 37. 1978. Putnam, H. Philosophy of Logic. Mathematical Reviews 56, #501 (Co-author: W. E b e r s b e r g e r ) . https://www.academia.edu/23203268/ CORCORAN_S_THUMBNAIL_REVIEWS_OF_OPPOSING_PHILOSOPHY_OF_LO GIC_BOOKS_PUTNAM_and_QUINE?auto=view&campaign=weekly_digest 38. 1978. Joja, A. “La doctrine de l`universel chez Aristote”. Mathematical Reviews 56, #5192 (Co-author: W. Ebersberger). 39. 1978. Hambourger, R. “A difficulty with the Frege-Russell definition of natural number”. in Mathematical Reviews 56, #8315. AC PP RG http://www.academia.edu/20235764/Corcoran_recommends_Hambourger_on_the_Frege- Russell_number_definition 40. 1978. Marshall, David. “Lukasiewicz, Leibniz, and the arithmetization of the syllogism” in Mathematical Reviews 56, #15349. 41. 1978. Rosenbloom, Paul. “Structural Models for use in psychological research” (Co- author: S. Ziewacz) in Mathematical Reviews 56, #17927. 42. 1979. Slater, B. H. “The Foundations of Logic” Mind (1972). Mathematical Reviews 57 #2867 (Co-author: W. Ebersberger). 43. 1979. Kitcher, P. “Hilbert's Epistemology”. Philosophy of Science (1976) in Mathematical Reviews 57 #2866 (Co-author: N. Goodman). 44. 1979. White, N. “What numbers are” Synthese (1974) in Mathematical Reviews. MR0465778 (57 #5667). https://www.academia.edu/s/e9c82805b5/corcoran-on-the-nature-of-number?source=link https://www.academia.edu/35578758/CORCORAN_ON_THE_NATURE_OF_NUMBER 45. 1979. Priest, G. and S. Read. “Formalization of Ockham on Supposition” Mind (1977) in Mathematical Reviews 57#27184. (Co-author: J. Swiniarski). https://www.academia.edu/27755707/CORCORAN- SWINIARSKI_RECOMMENDS_OCKHAM_AND_PRIEST-READ 46. 1979.#Benacerraf, P. “Mathematical Truth”. Journal of Philosophy 70 (1973). Mathematical Reviews 58 #4979. (Co-author: T. Nutter).

39 47. 1979. Quine, W. Philosophy of Logic (6th printing 1978). Mathematical Reviews 57 #9465. https://www.academia.edu/23203268/ CORCORAN_S_THUMBNAIL_REVIEWS_OF_OPPOSING_PHILOSOPHY_OF_LO GIC_BOOKS_PUTNAM_and_QUINE?auto=view&campaign=weekly_digest 48. 1979. Putnam, H. “What is Mathematical Truth?” Mathematical Reviews 58#126. https:// www.academia.edu/23228386/ CORCORAN_ON_PUTNAM_ON_MATHEMATICAL_TRUTH 49. 1979. Hintikka, J. and U. Remes. The Method of Analysis (1979). Mathematical Reviews MR0505178. AC PP RG https://www.academia.edu/21916667/CORCORAN_ON_METHODS_OF_ANALYSIS_ 50. 1979. Loux, M. Ockham's Theory of Terms (1974). Mathematical Reviews 58#26829. (Co-author: J. Swiniarski). https://www.academia.edu/27727121/CORCORAN- SWINIARSKI_ON_OCKHAM_S_SUMMA_LOGICAE_I 51. 1979. Ashworth, E. J. “An Early Fifteenth Century Discussion of Infinite Sets” Notre Dame Journal of Formal Logic (1977) in Mathematical Reviews 58 #21623. 52. 1979. Stevenson, L., “Frege's Two Definitions of Quantification”, Philosophical Quarterly (1973) in Mathematical Reviews 58 3198. #21362. PDF AC https:// www.academia.edu/24439638/ CORCORAN_RECOMMENDS_STEVENSON_ON_OBJECTUAL_AND_SUBSTITU TIONAL_QUANTIFICATION https://www.academia.edu/s/fb19157abe/corcoran-recommends-stevenson-on-objectual- and-substitutional-quantification?source=link 53a.J 1981. Loux, Michael J. “The Ontology of Wm. of Ockham”. 1–21 Ockham's Theory of Terms(1974). Journal of Symbolic Logic 46 667. 53b.J Loux, Michael J., “Ockham on Generality” Ibid. 23–46 in Journal of Symbolic Logic 46 (1981) 667–68. 54. Englebretsen, George, “Noncategorical Syllogisms” Notre Dame Journal of Formal Logic (1980) in Mathematical Reviews (1981) (Co-author: M. Scanlan) 81k:03014. 55. 1982. Kline, Morris, Mathematics: The Loss of Certainty (1980). Mathematical Reviews 82e:03013. PDF AC https://www.academia.edu/23841281/ CORCORAN_ON_MORRIS_KLINE_S_LOSS_OF_CERTAINTY_IN_MATHEMATIC S 56. 1982. Freddoso, A. and Schuurman Ockham's Theory of Propositions (1980). Mathematical Reviews 82b:01013. 57. 1982. Resnik, M., Frege and the Philosophy of Mathematics (1980). Mathematical Reviews 82d:03013. 58. 1980. Lear, J., Aristotle and Logical Theory (1980). Canadian Philosophical Reviews I 85–92 (Co-author: M. Scanlan). 59. 1982. Hintikka, J. “Aristotelian Induction” Revue Internationale de Philosophie 133-134 (1980) pp. 422-439 in Mathematical Reviews 82m:00016.

40 https://www.academia.edu/26232614/CORCORAN_ON_ARISTOTELIAN_INDUCTION 60. 1982. Toth, I., “Aristote et les paradoxes de Znon”. Eleutherie (1970). Mathematical Reviews 82m:01011. 61. 1982. Crowley, C., Universal Mathematics in Aristotelian-Thomistic Philosophy (1980) in Mathematical Reviews 82m:01003. 62. 1984. Freddoso, A. “Ockham's Theory of Truth Conditions” (1980). Journal of Symbolic Logic 49 306–8. J https://www.academia.edu/37613084/Corcoran_on_Ockhams_semantics 63. 1983. Hailperin, T., “Boole's Algebra Isn't ” (1981) in Mathematical Reviews 83e:01038 (Co-author: C. Jongsma). https://www.academia.edu/34991099/HAILPERINS_BOOLEAN_MATHEMATICAL_ARCHEOLOGY

64. 1983. Cocchiarella, N., “Development of Theory of Types...Russell's Early Philosophy” (1980) in Mathematical Reviews 83e:03005. PDF AC PG PP

65. 1984. Lear, J., Aristotle and Logical Theory (1980) in Mathematical Reviews 84h:03015.

66. Reprint of 57 above in Zentralblatt fr Mathematik und ihre Grenzgebiete 501 (1983) 03003. 67. 1984. Hatcher, W., Logical Foundations of Mathematics (1982) in American Scientist 72 305. 68. 1985. Giaquinto, M., “Hilbert's Philosophy of Mathematics” Brit. J. Philos. Sci. (1983) in Mathematical Reviews 85b:03008. 69. 1985. George, R., “Bolzano's Consequence, etc.” J. Philos. Logic (1983) in Mathematical Reviews 85i:03009 (Co-author: E. Galanti). 70. 1985. Brown, M., “Generalized Quantifiers...”, Notre Dame Journal of Formal Logic (1984) in Mathematical Reviews 85j:03034. 71. 1985. Porte, J., “Fifty Years of Deduction Theorems” Logic Colloquium '80 (1981) in Mathematical Reviews MR757033 (1985). https://www.academia.edu/19829981/ CORCORAN_Reviews_Portes_Fifty_Years_of_Deduction_Theorems_ 72. 1986. Motohashi, N., “Equality and Lyndon's Interpolation Theorem” Journal of Symbolic Logic (1984) in Mathematical Reviews 86f:03053. 73. 1986. Orenstein, A., “Referential and Non-referential Substitutional Quantifiers” Synthese (1984). Mathematical Reviews 86b:03009. 74. 1987. MacHale, D., George Boole His Life and Work (1985) in Mathematical Reviews 87c:01030. https://www.academia.edu/34989505/MR_MacHale_BOOLE_BIO.pdf https://www.academia.edu/s/b88d94d5a0/mr-machale-boole-biopdf?source=link 75. 1987. Fraïssé, R., “Deux relations dnombrables...quivalentes...isomorphes” Mathematical Logic and Formal Systems (1985) in Mathematical Reviews 87e:03018. 76. Almog, J., “Form and Content” Nous (1985) in Mathematical Reviews (1987) 87e:03005.

41 77. 1987. Smith, R., “Aristotle as Proof-theorist”. Philos. Nature (1984). Mathematical Reviews 87e:01003. 78. 1987. Church, A., “Russell's Theory of Identity of Propositions”. Philos. Natur. (1984) Mathematical Reviews 87h:03001. http://www.academia.edu/28891834/CORCORAN_ON_PROPOSITION_IDENTITY 79. 1987. Hook, J., “Interpretations of Many-sorted Theories”, Journal of Symbolic Logic (1985) in Mathematical Reviews 87e:03016. https://www.academia.edu/s/92ca920acc/hook-on-many-sorted-theories?source=link https://www.academia.edu/38598405/HOOK_ON_MANY-SORTED_THEORIES 80. 1987. George A., “Skolem and the Löwenheim-Skolem Theorem”, History and Philosophy of Logic (1985) in Mathematical Reviews 87j:03005. 81. 1987. Garciadiego, A., “Emergence of...paradoxes...set theory”, Historia Mathematica 12 (1985) 337-51.In Mathematical Reviews 87j:01035. AC RG PP COL https://www.academia.edu/20164467/ CORCORAN_RECOMMENDS_GARCIADIEGO_ON_PARADOXES._1987._Garciadi ego_A._Emergence_of...paradoxes...set_theory_Historia_Mathematica_1985_in_Mathem atical_Reviews_87j_01035 82. 1988. Mikenberg, I.; da Costa, N.; Chuaqui, R. “Pragmatic truth and approximation to truth” Journal of Symbolic Logic (1986), in Mathematical Reviews 88c:03004. https://www.academia.edu/s/e98bbab60f/formalizing-pragmatic-truth?source=link https://www.academia.edu/40331240/FORMALIZING_PRAGMATIC_TRUTH 83. 1988. Garciadiego, A. “On rewriting the history of the foundations of mathematics...” Historia Mathematica (1986), in Mathematical Reviews 88a:01026. 84. 1988. Livingston, E. Ethnomethodological Foundations of Mathematics (1986), in Mathematical Reviews 88b:00021. AC https://www.academia.edu/19933802/ Corcoran_reviews_Livingston_s_1986_book_The_ethnomethodological_foundations_of _mathematics_ 85. 1988. Saccheri, G. Euclides Vindicatus (1733), edited and translated by G. B. Halsted, 2nd ed. (1986), in Mathematical Reviews MR0862448. 88j:01013. AC https://www.academia.edu/11425755/Corcoran_1988_on_the_origins_of_non- Euclidean_geometry 86. 1988. Andrews, P. An Introduction to Mathematical Logic and Type Theory (1986) in Mathematical Reviews. MR0859866. https://www.academia.edu/32892480/ CORCORAN_RECOMMENDS_ANDREWS_ON_TYPE_THEORY 87. 1988. Hodes, H. “ and the ontological commitments of arithmetic” Journal of Philosophy 1984 in Mathematical Reviews 88d:03005. 88. 1988. Lambert, K. and E. Bencivenga “A free logic with simple and complex predicates” Notre Dame Journal of Formal Logic (1986) in Mathematical Reviews 88f:03019. 89. 1988. Cocchiarella, N. Logical investigations of predication theory and the problem of universals (1986). Journal of Symbolic Logic 53 991–993 (Co-author: W. Park).

42 90. 1989. Quine, W., “Peano As Logician”, History & Philosophy of Logic (1987) in Mathematical Reviews 88m:01052 (Co-author: W. Park). https://www.academia.edu/29307289/CORCORAN-PARK_ON_QUINE_S_PEANO 91. 1989. Hazen, A. “Natural Deduction And Hilbert's Epsilon Operator”, Journal of Philosophical Logic (1987) in Mathematical Reviews 89c:03013. 92. 1989. Houser, N. “Note on Reportorium” Historia Mathematica (1987) in Mathematical Reviews 89c:01031. 93. 1989. Mendelson, E. Introduction to Mathematical Logic 3rd ed. (1987) in Journal of Symbolic Logic 54, 618–619 (Co-author: Woosuk Park). J 94. 1990. Delessert, A. Introduction la logique (1988) in Mathematical Reviews 90e:03001 (Co-author: James Gasser). 95. 1990. Cleary, J. Aristotle on...Priority (1988) in Mathematical Reviews 90j:01008. 96. 1990. Iwakuma, Y. “Instantiae...twelfth century...argumentation” Argumentation 1 (1987) 437–453 in Mathematical Reviews 92c:03002 (Co-author: W. Park). 97. 1991. Tarski, A. Collected Papers, vol. 1 (1986) edited by Steven Givant and Ralph McKenzie, in Mathematical Reviews 91h:01101. AC RG PP https://www.academia.edu/19712281/ CORCORAN_REVIEWS_THE_4_VOLUMES_OF_TARSKI_S_COLLECTED_PAPER S 98. 1991. Tarski, A. Collected Papers vol. 2 (1986) edited by Steven Givant and Ralph McKenzie, in Mathematical Reviews 91h:01102. AC RG PP 99. 1991. Tarski, A. Collected Papers vol. 3 (1986) edited by Steven Givant and Ralph McKenzie, in Mathematical Reviews 91h:01103. AC RG PP 100. 1991. Tarski, A. Collected Papers, vol. 4 (1986) edited by Steven Givant and Ralph McKenzie, in Mathematical Reviews 91h:01104. AC RG PP 101. 1992. Bell, D. “How Russellian was Frege?” Mind (1990), in Mathematical Reviews MR1054158 (92f:03002). https://www.academia.edu/s/54e02bc205/corcoran-on-russellian-singular-terms? source=link https://www.academia.edu/39764277/ CORCORAN_ON_RUSSELLIAN_SINGULAR_TERM 102. 1992. Quine, W. Pursuit of Truth (1990) in Mathematical Reviews 92c:01012. https://www.academia.edu/29312475/CORCORAN_ON_QUINE_S_PURSUIT 103. 1992. Houser, N. “The Schroeder-Peirce Correspondence” Modern Logic (1990/1) in Mathematical Reviews 92i:01019 (Co-author: M. Scanlan). 104. 1993. Cocchiarella, N. “Conceptual realism versus Quine, etc.” Synthese (1992) in Mathematical Reviews 93c:03004. 105. 1993. Givant, S. “A portrait of Alfred Tarski” Mathematical Intelligencer (1991) in Mathematical Reviews 93a:01046. 106. 1994. Anellis, I. “Forty years of unnatural natural deduction...” Modern Logic (1991) in Mathematical Reviews 94m:03004a (Co-author: R. Rudnicki).

43 107. 1994. Isles, D. “What evidence is there that 2^65536 is a number?” Notre Dame Journal of Formal Logic (1992) in Mathematical Reviews 94b:03014. 108. 1994. Oberdan, T. “The concept of truth in Carnap's Logical Syntax of Language” Synthese (1992) in Mathematical Reviews 94a:03005. 109. 1994. Borga, H. and Palladino, D. “Logic and foundations of mathematics in Peano's School” Modern Logic 1992 in Mathematical Reviews 94b:03012 (Co-author: S. Nambiar). https://www.academia.edu/20335667/ CORCORAN_AND_NAMBIAR_ON_PEANO_S_SCHOOL Italian translation by Mauro Allegranza [forthcoming] 110. 2004. Weiss, B. 2002. Michael Dummett. Princeton: Princeton UP. Essays in Philosophy. Vol. 5 No. 2 June 2004. https://www.academia.edu/24820391/CORCORAN_ON_WEISS_S_DUMMETT 111. 2006. Review of: Shapiro, S. 2005. “Categories, Structures, and the Frege-Hilbert controversy: the Status of Meta-mathematics”. Philosophia Mathematica (III) 13: 61–77. MR2134659 (2006f:00005). 112. 2008. Review of: Honderich, T. Ed. 2005. The Oxford Companion to Philosophy.2nd ed. Oxford: Oxford University Press. 2005. History and Philosophy of Logic.29: 291–2. https://www.academia.edu/37971066/OXFORD_COMPANION_TO_PHILOSOPHY 113. 2008. Review of: Goldstein, R. Incompleteness: The Proof and Paradox of Kurt Gödel. New York, W.W. Norton and Company. 2005. Mathematical Reviews. MR2303406 (2008i:03003) (Co-author: Amanda Hicks) https://www.academia.edu/25246109/CORCORAN- HICKS_ON_GOLDSTEIN_S_G%C3%96DEL 114. 2008. Review of: Brady, G. From Peirce to Skolem. A neglected chapter in the history of logic. Amsterdam: Elsevier. Bulletin of Symbolic Logic. 14 (2008) 541–544. http://www.math.ucla.edu/~asl/bsl/1404/1404-003.ps. 115. 2009. Review of: Nolt, J. 2008 Truth as an Epistemic Ideal. Journal of Philosophical Logic. 37: 203–237. Mathematical Reviews. MR2398883 (2009f:00006). 116. 2009. Review of Gold, B. and R. Simons. 2008. Proof and other Dilemmas: Mathematics and Philosophy. Washington DC: Mathematical Association of America. Mathematical Reviews. MR2435289 https://www.academia.edu/27754594/CORCORAN_BEMOANS_GOLD-SIMONS 117. 2011. Review of: Sinaceur, H. 2009. Tarski’s practice and philosophy: between formalism and pragmatism. In Sten Lindström, Erik Palmgren, Krister Segerberg, and Viggo Stoltenberg-Hansen, Eds. Logicism, intuitionism, and formalism: What Has Become of Them? pp. 357–396. Dordrecht: Springer. Mathematical Reviews. MR2509665 (2011b03006). https://www.academia.edu/8864169/ MATHEMATICAL_REVIEWS_Review_of_Benis_Sinaceur_Hourya._2009._Tarski_s_p ractice_and_philosophy_between_formalism_and_pragmatism

44 118. 2011. Review of Skura, T. A Refutation Theory. Logica Universalis 3 (2009), 293–302. Mathematical Reviews. MR2559398. 119. 2012. Review of Horsten, L. The Tarskian turn: deflationism and axiomatic truth, MIT Press, Cambridge, MA, 2011. Mathematical Reviews. MR2809606 (2012i:03001). https://www.academia.edu/16354717/ Review_of_Horsten_L._The_Tarskian_turn_deflationism_and_axiomatic_truth_MIT_Pre ss_Cambridge_MA_2011._Mathematical_Reviews._MR2809606 Also see: https://www.academia.edu/8863812/CORCORAN- MASOUD_REVIEW_LEON_HORSTEN_The_Tarskian_Turn_Deflationism_and_Axiomatic_Tr uth_Cambridge_MA_MIT_Press_2011._xii_165_pp._35.00._ISBN_978-0-262-01586-8 120. 2013. Review of Peckhaus, V. The mathematical origins of nineteenth-century algebra of logic. The development of modern logic, 159–195, Oxford Univ. Press, Oxford, 2009. Mathematical Reviews. MR2895606. https://www.academia.edu/29300821/CORCORAN- NAMBIAR_ON_PARADIGM_SHIFTS_IN_LOGIC 121. 2013. Review of Macbeth, D. Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. Mathematical Reviews MR 2935338 AC PP RG https://www.academia.edu/11343268/Corcoran_reviews_a_Synthese_paper_by_Macbeth 122. 2014. Review of Boute, R. Boute, “How to calculate proofs”, Notices Amer. Math. Soc. 60 (2013), no. 2, 173-191. Mathematical Reviews. MR3060023. AC PP RG https://www.academia.edu/19914087/ Corcoran_reviews_Boute_s_2013_paper_How_to_calculate_proofs_ 123. 2014. Review of Horsten, L. The Tarskian turn: deflationism and axiomatic truth, MIT Press, Cambridge, MA, 2011. History and Philosophy of Logic.35: 308–313. [Online 10 April] (Co-author: Hassan Masoud) https://www.academia.edu/10004980/ HPL_review_of_Horstens_2011_THE_TARSKIAN_TURN 124. 2014 Review of: Zhmud, L. Pythagoras and the early Pythagoreans. Translated from the 1994 Russian original by Kevin Windle and Rosh Ireland. Oxford University Press, Oxford, 2012. Mathematical Reviews. MR 3137566. https://www.academia.edu/28966013/ CORCORAN_ON_PYTHAGORAS_Review_of_Zhmuds._Pythagoras_and_the_early_Pytha goreans 125. 2015 Review of: Hodesdon, K. “Mathematical representation: playing a role”. Philosophical Studies (2014) 168:769–782. Mathematical Reviews. MR 3176431. https://www.academia.edu/11573800/Review- essay_Corcoran_reviews_a_recent_structuralism_paper 126. 2016 Review of Hodes, Harold T., “Why ramify?”, Notre Dame Journal of Formal Logic 56 (2015) 379–415 Mathematical Reviews. MR3337386. AC PP RG https://www.academia.edu/22888354/ CORCORAN_ON_TYPE_THEORY_PRINTED_VERSION_030616

45 127. 2016 Review of Smith, Sheldon R., “Incomplete understanding of concepts: the case of the derivative”. Mind 124 (2015), no. 496, 1163—1199. Mathematical Reviews. MR3420929. AC https://www.academia.edu/31030433/CORCORAN_ON_DERIVATIVES.REPRINT 128. 2017 Review of Paseau, Alexander, “Knowledge of mathematics without proof”, British J. Philos. Sci. 66 (2015), no. 4, 775—799. Mathematical Reviews. MR3427518. AC https://www.academia.edu/32866068/CORCORAN_ON_MATHEMATICAL_COGNITION https://www.academia.edu/s/8b322ff151/corcoran-on-mathematical- cognition?source=link 129. 2017. Review of Wagner, Roi, Making and breaking mathematical sense. Histories and philosophies of mathematical practice. Princeton UP, Princeton NJ, 2017 MR3585691 https://www.academia.edu/35504572/ CORCORAN_ON_NEW_MATHEMATICAL_PHILOSOPHY https://www.academia.edu/s/ 63b867be0e/corcoran-on-new-mathematical-philosophy?source=link 130. 2018. Review of Joray, Pierre, “A completed system for Robin Smith's incomplete ecthetic syllogistic”, Notre Dame J. Form. Log. 58 (2017), no. 3, 329–342. Mathematical Reviews. MR3681098 (Co-reviewer: Kevin Tracy) https://www.academia.edu/s/b942e2bddf/corcoran-tracy-on-aristotles-ecthesis?source=link

131. 2019. Review of Rini, Adriane, “Aristotle’s logic”, The history of philosophical and formal logic from Aristotle to Tarski, Bloomsbury (2017), Mathematical Reviews. MR3726681 (Co-reviewer: Kevin Tracy) https://www.academia.edu/38089076/MR_RINI_REVIEW_3726681.pdf https://www.academia.edu/s/56761ae7a0/mr-rini-review-3726681pdf?source=link

132. 2019. Review of Cellucci, Carlo, "Definition in mathematics", European Journal of Philosophy of Science, (2018) 8: 605-629, Mathematical Reviews. MR3852338 https://www.academia.edu/s/ec39924d56/corcoran-on-definition-in-mathematics? source=link https://www.academia.edu/40084249/ CORCORAN_ON_DEFINITION_IN_MATHEMATICS

VI. Refereeing 1. Archiv für Geschichte der Philosophie 2. Bulletin of Symbolic Logic. 3. History and Philosophy of Logic 4. Journal of Logic and Computation 5. Journal of Philosophy 6. Journal of Symbolic Logic 7. Notre Dame Journal of Formal Logic 8. Philosophy & Phenomenological Research 9. Theoria

46 10. Tópicos, Revista de Filosofía END

47