PUBLICATIONS OF JOHN CORCORAN With links

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 Logic: 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_JOHN_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. Mathematical Logic 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_Grundlagen_der_Mathematik_18_177_82._MR0305970_46_5098_Reprint_2006._Mathematical_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 Modal Logic 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 Aristotle'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 Syllogisms: 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 Logics 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 Philosophy of Logic 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 h t t p s : / / w w w . a c a d e m i a . e d u / 1 3 9 2 5 8 1 4 /

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_Michael_Scanlan

39. 1983. Editor's introduction to the revised edition. Logic, Semantics, Metamathematics by Alfred Tarski, 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 Inference

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: Arabic, 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

h t t p s : / / w w w . a c a d e m i a . e d u / 2 5 0 3 5 7 2 7 /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

h t t p s : / / w w w . a c a d e m i a . e d u / 8 8 5 0 1 3 9 /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 h t t p s : / / w w w . a c a d e m i a . e d u /

19564839/1995._Semantic_Arithmetic_a_Preface_Agora_14_1_149_156._P_R_http_minerva.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 Alonzo Church 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

h t t p s : / / w w w . a c a d e m i a . e d u / 9 6 8 0 5 5 1 / 1 9 9 9 . _ I n f o r m a t i o n -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

h t t p s : / / w w w . a c a d e m i a . e d u / 9 2 7 3 1 5 4 /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. h t t p s : / / w w w . a c a d e m i a . e d u / 3 2 3 6 7 6 0 4 /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%CE%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. George Boole’s The Laws of Thought. 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 Prior Analytics 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 Ontology: 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. History of Logic, 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_and_Tarski._Eds._C._Mart%C3%ADnez_et_al._Current_Topics_in_Logic_and_Analytic_Philosophy_Temas_Actuales_de_L%C3%B3gica_y_Filosof%C3%ADa_Anal%C3%ADtica._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_MEANINGS_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_English_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_translation_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_Corcoran_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_every_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_Philosophical_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_entre_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_opinion._The_Road_to_Universal_Logic._Vol._I._A._Buchsbaum_and_A._Koslow_Editors._Springer._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_1972_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_Consequence-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_Pensamiento_cr%C3%ADtico_y_licencia_pedag%C3%B3gica._Jes%C3%BAs_Jasso_M%C3%A9ndez._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_

106. 2018. Talazumiat almantiq wal'akhlaq, تلازمیة المنطق والأخلاق Arabic translation of “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_minerva.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%CE%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, Philosopher'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 h t t p s : / / w w w . a c a d e m i a . e d u / 3 0 2 1 9 3 1 3 /

Semantic_omega_properties_and_mathematical_induction 23a. 1997. Corrected reprinting previous abstract, Bulletin of Symbolic Logic 3, 280. J G PDF h t t p s : / / w w w . a c a d e m i a . e d u / 3 0 2 1 9 3 1 3 /

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 h t t p s : / / w w w . a c a d e m i a . e d u / 2 9 1 3 5 8 8 6 /

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 h t t p s : / / w w w . a c a d e m i a . e d u / 3 0 2 2 5 6 1 9 /

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 h t t p s : / / w w w . a c a d e m i a . e d u / 1 0 6 5 4 3 6 3 /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_PROPOSITIONS

43. 2006. Complete enumerative inductions. Bulletin of Symbolic Logic. 12, 165–66. J PDF h t t p s : / / w w w . a c a d e m i a . e d u / 1 2 8 1 5 4 8 8 /

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_Symbolic_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_PORTUGUESE20190706_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_Logic._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 syllogism. 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_Anthony_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._Coauthor_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_131

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) h t t p s : / /www.academia . edu /28509285 /Se l f - r e fu t i ng_p ropos i t i ons_se l f -

sustaining_propositions 144. 2014. Meanings of hypothesis. Bulletin of Symbolic Logic. 20 (2014) 248–9. (Coauthors:

Matt LaVine and Justin Legault) AC RG PP h t t p s : / / w w w . a c a d e m i a . e d u / 1 1 7 4 3 8 7 5 /

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_Logic._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]

h t tps : / /www.academia .edu /29755668/Absence_of_argument -deduc t ion-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 . h t t p s : / / w w w . a c a d e m i a . e d u / 3 8 6 7 6 2 5 6 /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)

h t t p : / / w w w . a c a d e m i a . e d u / 2 9 1 9 4 0 7 7 /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 Computer Science and Engineering, edited by A. Ralston, Reinhold and Van Nostrand, NY, 1992 (Co-author: M. Scanlan).

7. Alfred Tarski, A Companion to Metaphysics, 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 h t t p s : / / w w w . a c a d e m i a . e d u / 1 0 3 9 6 3 4 7 /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

h t t p : / / w w w . a c a d e m i a . e d u / 3 6 8 1 5 0 5 4 /APPLIED_LOGIC_FLOW_CHART_word_doc_to_translate_ Translations: Czech, Greek C z e c h h t t p : / / w w w . a c a d e m i a . e d u / 3 6 8 1 5 9 3 6 /CZECH_Diagram_aplikovan%C3%A9_logiky_John_Corcorans_Applied_Logic_Flow_Chart_ Greek h t t p : / / w w w . a c a d e m i a . e d u /37842134/%CE%95%CE%A6%CE%91%CE%A1%CE%9C%CE%9F%CE%A3%CE%9C%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

h t t p s : / / w w w . a c a d e m i a . e d u / 2 8 8 7 0 0 9 7 /CORCORAN_ON_MATHEMATICAL_THOUGHT_a_review_of_Evert_Beth_1965_Mathematical_Thought

2. 1971. Beth, Evert, and Jean Piaget. Mathematical Epistemology 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.

h t t p s : / / w w w . a c a d e m i a . e d u / 2 9 2 7 0 3 5 6 /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

h t t p s : / / w w w . a c a d e m i a . e d u / 2 2 4 8 0 0 0 0 /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

h t t p s : / / w w w . a c a d e m i a . e d u / 2 3 4 8 1 7 0 2 /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

h t t p s : / / w w w . a c a d e m i a . e d u / 1 2 6 1 8 3 0 7 /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 ) . h t t p s : / / w w w . a c a d e m i a . e d u / 2 3 2 0 3 2 6 8 /CORCORAN_S_THUMBNAIL_REVIEWS_OF_OPPOSING_PHILOSOPHY_OF_LOGIC_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). h t t p s : / / w w w . a c a d e m i a . e d u / 2 7 7 5 5 7 0 7 / C O R C O R A N -

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_LOGIC_BOOKS_PUTNAM_and_QUINE?auto=view&campaign=weekly_digest

48. 1979. Putnam, H. “What is Mathematical Truth?” Mathematical Reviews 58#126. https://w w w . a c a d e m i a . e d u / 2 3 2 2 8 3 8 6 /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). h t t p s : / / w w w . a c a d e m i a . e d u / 2 7 7 2 7 1 2 1 / C O R C O R A N -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_SUBSTITUTIONAL_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

h t t p s : / / w w w . a c a d e m i a . e d u / 2 3 8 4 1 2 8 1 /CORCORAN_ON_MORRIS_KLINE_S_LOSS_OF_CERTAINTY_IN_MATHEMATICS

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 Boolean Algebra” (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).

h t t p s : / / w w w . a c a d e m i a . e d u / 1 9 8 2 9 9 8 1 /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

h t t p s : / / w w w . a c a d e m i a . e d u / 2 0 1 6 4 4 6 7 /CORCORAN_RECOMMENDS_GARCIADIEGO_ON_PARADOXES._1987._Garciadiego_A._Emergence_of...paradoxes...set_theory_Historia_Mathematica_1985_in_Mathematical_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

h t t p s : / / w w w . a c a d e m i a . e d u / 1 9 9 3 3 8 0 2 /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.

h t t p s : / / w w w . a c a d e m i a . e d u / 3 2 8 9 2 4 8 0 /CORCORAN_RECOMMENDS_ANDREWS_ON_TYPE_THEORY

87. 1988. Hodes, H. “Logicism 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 h t t p s : / / w w w . a c a d e m i a . e d u / 1 9 7 1 2 2 8 1 /

CORCORAN_REVIEWS_THE_4_VOLUMES_OF_TARSKI_S_COLLECTED_PAPERS

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 h t t p s : / / w w w . a c a d e m i a . e d u / 3 9 7 6 4 2 7 7 /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).

h t t p s : / / w w w . a c a d e m i a . e d u / 2 0 3 3 5 6 6 7 /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_practice_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_Press_Cambridge_MA_2011._Mathematical_Reviews._MR2809606 Also see: https://www.academia.edu/8863812/CORCORAN-MASOUD_REVIEW_LEON_HORSTEN_The_Tarskian_Turn_Deflationism_and_Axiomatic_Truth_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_Pythagoreans

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