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_JO HN_CORCORAN_and_GEORGE_WEAVER 3. 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. PDF RG AC PP https://www.academia.edu/19842045/ Discourse_Grammars_and_the_Structure_of_Mathematical_Reasoning_I_Mathematical_ Reasoning_and_Stratification_of_Language 4. 1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. PDF AC RG PP 1 https://www.academia.edu/20947028/ Discourse_Grammars_and_the_Structure_of_Mathematical_Reasoning_II_The_Nature_ of_a_Correct_Theory_of_Proof_and_Its_Value 5. 1971. Discourse Grammars and the Structure of Mathematical Reasoning III: Two Theories of Proof, Journal of Structural Learning 3, #3, 1–24. PDF AC https://www.academia.edu/21589676/Part_III_of_Discourse_grammars_Two_Theories_of_Proof_ 6. 1971. Notes on a Semantic Analysis of Variable Binding Term Operators (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). RG AC https://www.academia.edu/s/d797eb2871/notes-on-a-semantic-analysis-of-variable- binding-term-operators?source=link https://www.academia.edu/19988287/ Notes_on_a_Semantic_Analysis_of_Variable_Binding_Term_Operators 7. 1972. Variable Binding Term Operators, (Co-authors Wm. Hatcher, John Herring) Zeitschrift fr mathematische Logik und Grundlagen der Mathematik 18, 177–82. MR0305970 (46 #5098) Reprinted 2006. 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_Grun dlagen_der_Mathematik_18_177_82._MR0305970_46_5098_Reprint_2006._Mathemati cal_Logic_Quarterly.18_177_182.R 8. 1972. Conceptual Structure of Classical Logic, Philosophy & Phenomenological Research 33, 25–47. J PDF AC PP RG https://www.academia.edu/24482343/Conceptual_Structure_of_Classical_Logic 9. 1974. Logical Consequence in 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 https://www.academia.edu/13925814/ A_note_concerning_definitional_equivalence_not_ontological_reducibility_ 35. 1981. A note on categoricity and completeness, History and Philosophy of Logic 2, 113– 19. PDF AC RG PP 4 https://www.academia.edu/23139778/Corcoran_on_categoricity_and_completeness_ 36. 1982. Reprinting of 19 in A. Menne and N. Offenberger, Zur modernen Deutung der Aristotelischen Logik, Georg Olms Verlag, Hildesheim, Vol. 1, 98–104 37. 1982. Reprinting of 27 in A. Menne and N. Offenberger, Zur modernen Deutung der Aristotelischen Logik, Georg Olms Verlag, Hildesheim, Vol. 1, 105–110. 38. 1982. Critical Notice: Contemporary Relevance of Ancient Logical Theory (Co-author: M. Scanlan), Philosophical Quarterly 32, 76–86. PDF J RG AC PP https:// www.academia.edu/8842326/ Contemporary_Relevance_of_Ancient_Logical_Theory_1982_John_Corcoran_and_Mic hael_Scanlan 39. 1983. Editor's introduction to the revised edition. Logic, Semantics, Metamathematics by Alfred Tarski, translated by J. H. Woodger,