Welcome to the homepage of
John Corcoran
John Corcoran

. Contact Information
. AOC & Sample Publications
. Curriculum Vitae
. Courses
Contact me
via email

Complete List of Publications:
(Last updated March 2010)

I. Articles  .  II. Abstracts  .  III. Books (editor)  .  IV. Miscellaneous  .  V. Reviews

 PDF requires free Acrobat Reader software.

I. Articles:
MR indicates review in Mathematical Reviews available at MathSciNet (login required).  J indicates available at JSTOR (with online link, login required).  G indicates available at Google by entering John Corcoran plus the complete title (with online link).

  1. J Three Logical Theories, Philosophy of Science 36 (1969) 153-77.
  2. Logical Consequence in Modal Logic: Natural Deduction in S5 (co-author G. Weaver), Notre Dame Journal of Formal Logic 10 (1969) 370-84
  3. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and the Stratification of Language, Journal of Structural Learning 3 (1971) #1, 55-74.
  4. 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 (1971) #2, 1-16.
  5. Discourse Grammars and the Structure of Mathematical Reasoning III: Two Theories of Proof, Journal of Structural Learning 3 (1971) #3, 1-24.
  6. Notes on a Semantic Analysis of Variable Binding Term Operators (co-author John Herring), Logique et Analyse 55 (1971) 646-57. MR46#6989.
  7. Variable Binding Term Operators, (co-authors Wm. Hatcher, John Herring) Zeitschrift für mathematische Logik und Grundlagen der Mathematik 18 (1972) 177-82. MR46#5098.
  8. J Conceptual Structure of Classical Logic, Philosophy & Phenomenological Research 33 (1972) 25-47.
  9. Logical Consequence in Modal Logic: Some Semantic Systems for S4 (co-author G. Weaver), Notre Dame Journal of Formal Logic 15 (1974) 370-78. MR50#4253.
  10. Revision of 3 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon and Breach Science Publishers, New York (1976). MR56#15263.
  11. Revision of 4 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon and Breach Science Publishers, New York (1976). MR56#15264.
  12. Revision of 5 in Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon and Breach Science Publishers, New York (1976). MR56#15265.
  13. Strange Arguments, Notre Dame Journal of Formal Logic 13 (1972) 206-210. MR45#6567.
  14. J Discussion: The Switches "Piaradox" (co-author Susan Wood) Philosophy & Phenomenological Research 34 (1973) 102-108.
  15. Harris on the Structures of Language, in Transformationelle Analyse ed. Senta Plötz, Athenäum Verlag, Frankfurt, (1972), 275-292.
  16. Revised version of 3 reprinted in Transformationelle Analyse, (ibid.), 459- 476.
  17. J Completeness of an Ancient Logic, Journal of Symbolic Logic 37 (1972) 696- 702. MR47#6435.
  18. A Mathematical Model of Aristotle's Syllogistic, Archiv für Geschichte der Philosophie 55 (1973) 191-219. MR56#2776.
  19. J Aristotelian Syllogisms: Valid arguments or true generalized conditionals?, Mind 83 (1974) 278-81, MR58 (1979) #27178.
  20. Gaps between logical theory and mathematical practice, in Methodological Unity of Science, ed. Mario Bunge, Reidel Publishing Co., Dordrecht (1973) 23-50.
  21. Weak and Strong Completeness in Sentential Logic, Logique et Analyse 59/60 (1972) 429-34. MR49#2245.
  22. Meanings of Implication, Dialogos 9 (1973) 59-76. MR95c:03019.
  23. Aristotle's Natural Deduction System, in Ancient Logic and Its Modern Interpretations, ed. John Corcoran, Dordrecht (1974) 85-132. MR58#16077.
  24. Remarks on Stoic Deduction, ibid. 169-181. MR58#4970.
  25. Future Research on Ancient Theories of Communication and Reasoning, ibid. 185-187. MR58#4971.
  26. J String Theory (co-authors W. Frank, M. Maloney), Journal of Symbolic Logic 39 (1974) 625-37. MR53#2622.
  27. Aristotle on the Underlying Logics of Sciences, 5th International Congress of Logic, Methodology, and Philosophy of Science (1975) XII 11-12.
  28. An Ancient Generic Theory (with L. Mohler) ibid., XII 37-38.
  29. Crossley on Mathematical Logic (review article with S. Shapiro) Philosophia 8 (1978) 79-94.
  30. Identity Logics (with S. Ziewacz) Notre Dame Journal of Formal Logic 20 (1979) 777-84.
  31. Logical Structures of Ockham's Theory of Supposition (with J. Swiniarski), Franciscan Studies 38 (1978) 161-83.
  32. Categoricity, History and Philosophy of Logic I (1980) 187-207. MR82j:03034.
  33. Boole's Criteria of Validity and Invalidity (with S. Wood) Notre Dame Journal of Formal Logic 21 (1980) 609-39. MR81j:03003.
  34. Reprinting of 19 in A. Menne and N. Offenberger, Zur modernen Deutung der Aristotelischen Logik, Georg Olms Verlag, Hildesheim, 1982, Vol. 1, 98-104.
  35. Reprinting of 27 in A. Menne and N. Offenberger, Zur modernen Deutung der Aristotelischen Logik, Georg Olms Verlag, Hildesheim, 1982, Vol. 1, 105-110.
  36. J Critical Notice: Contemporary Relevance of Ancient Logical Theory (with M. Scanlan), Philosophical Quarterly 32 (1982) 76-86.
  37. Editor's introduction to the revised edition. Logic, Semantics, Metamathematics by Alfred Tarski, translated by J. H. Woodger, Hackett Publishing Company, Indianapolis, 1983, xv-xxvii. MR85e:01065.
  38. Essay Review of Smith 1982 Correspondence Without Communication, History and Philosophy of Logic 7 (1986) 65-75.
  39. Alfred Tarski's "What are Logical Notions?" (edited and introduced), History and Philosophy of Logic 7 (1986) 143-154. MR88b:03010.
  40. Argumentations and Logic, Argumentation 3 (1989) 17-43. MR91b:03006.
  41. Significados de la Implicacion, Agora 5 (1985) 279-294. Spanish translation by J. M. Sagüillo of article 22.
  42. Second Order Logic, Proceedings of the 1986 University Inference Conference, edited by D. Moates and R. Butrick, Athens, Ohio (1987) 7-31.
  43. Estrutura Conceitual Na Logica Classica, Boletim da Sociedade Paranaense de Matematica 9 (1988) 77-118. Portuguese translation by Elizabeth T. Gasparim of revised version of article 8. MR90i:03003.
  44. Ensayo-Resenas: Introduciendo La Logica Matematica, Mathesis X (1988) 133-150. Spanish translation by A. Garciadiego of revised version of article 29.
  45. The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37-40.
  46. The Inseparability of Logic and Ethics, (slightly enlarged version of article 45) in Building a World Community, ed. P. Kurtz and M. Bunge, Buffalo (1989) 177-185.
  47. Reprinting of 44, Boletim da Sociedade Paranaense de Matematica 10 (1989), 31-49.
  48. El Nacimiento De La Logica (The Birth of Logic) Agora 11/2(1992) 67-78, Spanish translation by J.M. Saguillo of expanded and revised version of an unpublished English paper distributed to members by the Society for Ancient Greek Philosophy in March 1992.
  49. The Founding of Logic Ancient Philosophy 14(1994) 9-24.
  50. Unprovability and undefinability International Colloquium on Kurt Gödel, edited by D. Mieville, Neuchatel (1992) 37-65. MR 94h:03019.
  51. Updated and slightly revised version of "Meanings of Implication", article 22 above, in A Philosophical Companion to First Order Logic, ed. R. Hughes, Hackett Publishing Company, Indianapolis, 1993, 85-100. MR95c:03019.
  52. Editor's Introduction to the second edition. Introduction to Logic by M. Cohen and E. Nagel, Hackett Publishing Co., Indianapolis (1993), pages xvii-xlvi. MR94h:03002.
  53. Argumentaciones y lógica, Agora 13/1 (1994) 27-55. Translation by R. Fernandez and J. Sagüillo of revised and expanded version of article 40.
  54. Information recovery problems, Theoria 10 (1995) September 55-78.
  55. Semantic arithmetic: a preface, Agora 14/1 (1995) 149-156.
  56. Information-theoretic logic, in Truth in Perspective edited by C. Martínez, U. Rivas, L. Villegas-Forero, Ashgate Publishing Limited, Aldershot, England (1998) 113-135.
  57. Reprinting of "Categoricity", article 32 above, in The Limits of Logic, edited by S. Shapiro, Dartmouth Publishing Company, Aldershot, England (1996) 241-262, MR82j:03034.
  58. 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 (1996) 143-154, MR88b:03010.
  59. 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 (1998) 70-75.
  60. Information-theoretic logic and transformation-theoretic logic, in Fragments in Science, edited by M. Ram, World Scientific Publishing Company, River Edge, New Jersey (1999) 25-35.
  61. Indemonstrabilidad e indefinibilidad, Mathesis XX (2000) XXX-XXX. Translation of revised version of article 50 above, by J. Sagüillo.
  62. Critical thinking and pedagogical license Manuscrito XXII (1999) 109-116.
  63. Reprinting of "Boole's Criteria", article 33 above, in A Boole Anthology, edited by J. Gasser, Kluwer Publishing Company, Dordrecht, Holland (2000) 101-128.
  64. Introduction. George Boole's The Laws of Thought. Buffalo: Prometheus Books (2003). Reviewed: J. van Evra in Philosophy in Review.24 (2004) 167-169.
  65. Aristotle's Prior Analytics and Boole's Laws of Thought. History and Philosophy of Logic 24 (2003) 261-288.
  66. 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 (2004) 14-20.
  67. G Schema. Stanford Encyclopedia of Philosophy. 28 May 2004.
  68. The Principle of Wholistic Reference. Manuscrito 27 (2004) 159-71.
  69. Wholistic Reference, Truth-Values, Universe of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand. Manuscrito 28 (2005) 143-167.
  70. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA, 2006.
  71. History of Logic, Boolean Period. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA, 2006.
  72. J Schemata: the Concept of Schema in the History of Logic. Bulletin of Symbolic Logic. 12 (2006) 219-40.
  73. C. I. Lewis: History and Philosophy of Logic. Transactions of the C. S. Peirce Society. Forthcoming.

  74. 2007. Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski. Eds. C. Martínez et al.Current Issues in Logic / Temas Actuales de Lógica. Imprenta Univeridade Santiago de Compostela (University of Santiago de Compostela Press). PDF Reviewed BSL 14

    (2008) 271-2.

  75. 2006e. An Essay on Knowledge and Belief. The International Journal of Decision Ethics. II.2, 125-144. PDF

  76. 2008. Meanings of Form. Manuscrito 31, 223-266.

  77. 2009. Aristotle's Demonstrative Logic. History and Philosophy of Logic.  30 (2009) 1–20. PDF

  78. Corcoran, J. 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. PDF

                 

  79. 2009. Reprinting of “The Principle of Wholistic Reference” previously in Manuscrito 27 (2004) 159-71. To appear in the Special Thirtieth Anniversary Volume of that journal. PDF

  80. 2009. Aristotle’s Logic at the University of Buffalo’s Department of Philosophy. Ideas y Valores: Revista Colombiana de Filosofía 58 (2009) (to appear). PDF

  81. 2010. Peter Hare on the Proposition. Transactions of the C. S. Peirce Society. (to appear). PDF

TOP OF PAGE

II. Abstracts:
J indicates available at JSTOR (login required).

  1. Generative Structure of Logics, Journal of Symbolic Logic 28 (1963) 300.
  2. Primitive Bases for Propositional Logics, Journal of Symbolic Logic 30 (1965) 269.
  3. Logical Consequence in Modal Logic (with G. Weaver), Journal of Symbolic Logic 32 (1967) 441-42.
  4. Logical Consequence in Modal Logic: Natural Deduction in S5, (with G. Weaver) Journal of Symbolic Logic 33 (1968) 639.
  5. A Semantic Definition of Definition, Journal of Symbolic Logic 36 (1971) 366-67.
  6. Variable Binding Term Operators (with W. Hatcher and J. Herring), Notices of American Mathematical Society 18 (1971) 662.
  7. Aristotle's Natural Deduction System, Journal of Symbolic Logic, 37 (1972) 437.
  8. Weak and Strong Completeness in Sentential Logics, Journal of Symbolic Logic, 37 (1972) 780.
  9. Axiomatic Foundations of Syntax (with W. Frank and M. Maloney), Journal of Symbolic Logic, 39 (1974) 395.
  10. Categoricity, Journal of Symbolic Logic, 46 (1981) 681.
  11. Validity and Invalidity: Boole's Criteria (with S. Wood), Journal of Symbolic Logic 44 (1979) 662.
  12. J Ockham's Syllogistic Semantics, Journal of Symbolic Logic 46 (1981) 197-198.
  13. Definitional Equivalence: Mutual Interpretability, Journal of Symbolic Logic 46 (1981) 430.
  14. Definitional Equivalence, Mutual Interpretability, and Elongations, Journal of Symbolic Logic 48 (1983) 516-17.
  15. Deduction and Reduction: two proof-theoretic processes in Prior Analytics I, Journal of Symbolic Logic, 48 (1983) 906.
  16. Categoricity, Zentralblatt für Mathematik und ihre Grenzgebiete 504 (1983) 23-24.
  17. Sound & Complete Rules of Definition, Journal of Symbolic Logic, 52 (1987) 312-313.
  18. Three Rules of Distribution: One Counterexample, Journal of Symbolic Logic 52 (1987) 886-7.
  19. Undefinability Tests and the Erlanger Programm: Historical Remarks, International Congress of Mathematicians (1986) Berkeley, CA., 339.
  20. Tarski on Logical Notions, Journal of Symbolic Logic 53 (1988) 1291.
  21. The Inseparability of Logic and Ethics, Philosopher's Index.
  22. Logical Methodology: Aristotle and Tarski, Journal of Symbolic Logic 57 (1992) 374.
  23. G Semantic omega properties and mathematical induction, Bulletin of Symbolic Logic 2 (1996) 468.
    23a. G Corrected reprinting of the previous abstract, Bulletin of Symbolic Logic 3 (1997) 280.
  24. Semantic arithmetic The Philosopher's Index 30 (1996) 160.
  25. G Teaching categoricity of arithmetic. Bulletin of Symbolic Logic 3 (1997) 395.
  26. G Mathematical induction and specific-case semantic omega properties. Bulletin of Symbolic Logic 4 (1998) 220-221.
  27. G Numerically qualified omega completeness. Bulletin of Symbolic Logic 4 (1998) 456-457.
  28. Was Aristotle the first mathematical logician? Abstracts of Papers Presented to the American Mathematical Society 19 (1998)19.
  29. G The logical form of quantifier phrases: quantifier-sortal-variable, Bulletin of Symbolic Logic 5(1999)418-419.
  30. G Self-defeating and self-fulfilling propositions, Bulletin of Symbolic Logic 6(2000)111.
  31. G What are logical relations? Bulletin of Symbolic Logic 7(2001)105-106.
  32. Omega arguments in the 1931 Gödel formalism. Bulletin of Symbolic Logic 7(2001)435.
  33. Boole's elimination-summation problem: an overlooked breakthrough.(With S. Nambiar) Bulletin of Symbolic Logic 7(2001)137.
  34. Fertile postulate sets. Bulletin of Symbolic Logic 10(2004) 276-277.
  35. Aristotle's Prior Analytics and Boole's Laws of Thought. International Conference on Ancient and Medieval Philosophy: Conference Abstracts. 2003,8 New York: Fordham University
  36. Comparing Aristotle's Prior Analytics and Boole's Laws of Thought. Bulletin of Symbolic Logic 10(2004)289.
  37. First-order Logical Form. Bulletin of Symbolic Logic 10(2004) 445.
  38. J Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117.
  39. J Boole's Solutions Fallacy. Bulletin of Symbolic Logic 11(2005) 305.
  40. J Counterexamples and Proexamples. Bulletin of Symbolic Logic 11(2005) 460.
  41. Lección Doutoral. The Philosopher's Index 38 (2004) ??.
  42. J Logically Equivalent False Universal Propositions with Different Counterexample Sets. Bulletin of Symbolic Logic. 11 (2005) 554-5.
  43. J Complete enumerative inductions. Bulletin of Symbolic Logic. TBA
  44. J Meanings of Inference, Deduction, and Derivation. Bulletin of Symbolic Logic. 12 (2006) 353-354.
  45. J Revisiting Boole's Principle of Wholistic Reference. Bulletin of Symbolic Logic. TBA
  46. J Schemata. Bulletin of Symbolic Logic. TBA
  47. J Existential Import. Bulletin of Symbolic Logic. TBA

  48. 2007. Different Counterexample Sets for Logically Equivalent Propositions. Bulletin of Symbolic Logic. 13, 294. J PDF

  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.
  53. Aristotle’s Many-sorted Logic. Bulletin of Symbolic Logic. 14 (2008) 155-6. J PDF
  54. Subregular Tetrahedra. Bulletin of Symbolic Logic. 14 (2008) 411. J PDF
  55. An Information-Theoretic Approach to First-Order Logic. Bulletin of Symbolic Logic. 14 (2008) 415–6. J PDF
  56. Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication. Bulletin of Symbolic Logic. 14 (2008) 435–436. J PDF
  57. Disbelief Logic Complements Belief Logic. Bulletin of Symbolic Logic. 14 (2008) 436.  (with Wagner Sanz) J PDF
  58. Alternative Constituent Format. Bulletin of Symbolic Logic. 15 (2009)133.  J PDF
  59. Defining ‘Logical’ for Properties and Relations of First-order. Bulletin of Symbolic Logic. 15 (2009) 339. J PDF
  60. Agent and Premise Implication. Bulletin of Symbolic Logic. 15 (2009) 235.   (Coauthor: Kenneth Barber). J PDF
  61. Ambiguity: Lexical and Structural. Bulletin of Symbolic Logic. 15 (2009) 235-6.
  62. Aristotle’s Independence Proofs. Bulletin of Symbolic Logic. 15 (2009) 244–5. (Coauthor: George Boger).
  63. Self-denying and self-affirming statements. Bulletin of Symbolic Logic. 15 (2009) 244.
  64. Premise-Conclusion Arguments. Bulletin of Symbolic Logic. (Coauthor: Joaquin Miller). (to appear)
  65. Aristotle’s Evasive Invalidity Omissions. Bulletin of Symbolic Logic. (Coauthor: Kevin Tracy). (to appear)
  66. What is a proof? Bulletin of Symbolic Logic. (Coauthor: José Miguel Sagüillo). (to appear)
  67. Consequence/consequent necessity. Bulletin of Symbolic Logic. (to appear)
  68. Aristotle’s Direct Deductions: Metatheorems. Bulletin of Symbolic Logic. (with N. da Costa and L. Dos Santos). (to appear)
  69. Paradox and Antinomy. Bulletin of Symbolic Logic. (with G.Boger). (to appear)  
  70. Defining ‘Logical’ in First-order Metalogic. Bulletin of Symbolic Logic. (to appear)
  71. Stating and Misstating Implications and Consequence (with G.Boger). (to appear)  
  72. The Proposition: a Historical Survey. Bulletin of Symbolic Logic.  (to appear)  
  73. Allegations of the Impossibility of Counter-model Independence Proofs. (with L. Jacuzzo) Bulletin of Symbolic Logic.  (to appear)
  74. Aristotle’s Underlying Logic: A Three-hour Tutorial. Bulletin of Symbolic Logic. 15 (2009) 335.

TOP OF PAGE

III. Books (editor):

Ancient Logic and Its Modern Interpretations, Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, Reidel Publishing Co., Dordrecht (1974). MR52#13303.

Tarski, A., Logic, Semantics, Metamathematics, revised edition with new introduction by J. Corcoran, Hackett Publishing Company, Indianapolis (1983) originally published by Oxford University Press, Oxford (1956). MR85e:01065.

Cohen, M. and Nagel, E. An Introduction to Logic, second edition, revised with an 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.

Boole, G. 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.

TOP OF PAGE

IV. Miscellaneous:

  1. 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, 3.
  5. A newspaper article on logic as a field of study, The Reporter, April 6, 1978, 4.
  6. A note concerning definitional equivalence, History and Philosophy of Logic 1 (1980) 231-34. MR83j:01002.
  7. A note on categoricity and completeness, History and Philosophy of Logic 2 (1981) 113-19.
  8. Alonzo Church, Encyclopedia of Computer Science and Engineering, edited by A. Ralston, Reinhold and Van Nostrand, NY, 1992 (with M. Scanlan).
  9. Alfred Tarski, A Companion to Metaphysics, eds. J. Kim & E. Sosa, Blackwell, London, 1994, 487-489.
  10. 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.
  11. Twenty-six philosophical dictionary entries (13 new, some revised from 1995, some reprinted from 1995): 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.
  12. 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.
  13. Contributions to Foundations of Mathematics. FOM Digest: 1. Synonymity, Vol. 15, Issue 18, 3/16/2004. 2. Mill on Aristotle and Euclid, Vol. 15, Issue 20, 3/26/2004. 3. Boole on Aristotle on Euclid, Vol. 16, Issue 9, 4/12/2004. 4. Boole and the Empty Set, Vol.19, Issue 1, 7/1/2004. 5. Axiom Schemata, 7/12/2004. 6. Intuitionist Names for Formalists, Vol. 21, Issue 20, 9/30/2004. 7. First-Order Logic with Identity, Individual Constants and Function Constants. Vol. 24, Issue 4, 12/3/04. 8. More on first-order logic with operation constants. Vol. 24, Issue 6 12/5/2004. 9. Aristotle, Boole, and Peirce on "Some Ecks is not a Wye".Vol.24, Issue 12, 12/13/04. 10. Boole's Contributions to Analysis. Vol. 25, Issue 6, 1/11/05. 11. Alleged Quote from Hilbert. Vol. 28, Issue 9. 12. Frege on Self-evidence, Vol. 29, Issue 8, 5/10/2005. 13. Buffalo Logic Colloquium 2005-6 Thirty-Sixth Year: Summer Announcement, Vol.30, Issue 2. 6/4/2005.14. Buffalo Logic Colloquium 2005-6 Thirty-Sixth Year: First Fall Announcement, Vol.33, Issue 8. 9/10/2005. 15. Alonzo Church on the Ontological Status of Women and Abstract Entities. Vol. 33, Issue 12. 9/17/2005. 16. Type-Occurrence-Token. Vol. 33, Issue 17. 9/17/2005. 17. Buffalo Logic Colloquium 2005-6 Fourth Fall Announcement. Vol. 34, Issue 10. 10/12/2005. 18. The Law of Excluded Middle. Vol. 34, Issue 16. 10/16/2005. 19. Gödel's Explanation of Incompleteness. Vol. 34, Issue 21. 10/21/2005. 20. Buffalo Logic Colloquium 2005-6 Sixth Fall Announcement. Vol. 35, Issue 8. 11/12/05. 21. Pointless Geometry. FOM Digest, Vol. 35, Issue 21. 11/28/05. 22. Noble Lies. FOM Digest, Vol. 36, Issue 9. 12/11/05. 23. Consequent Equivalence Theorems. FOM Digest, Vol. 40, Issue 7. 4/4/06.24. FOM Counterexample Theorems. FOM Digest, Vol. 40, Issue 15. 4/9/06. 25. Existential Import. . FOM Digest, Vol. 40, Issue 18. 4/12/06.
    http://www.cs.nyu.edu/mailman/listinfo/fom
  14. 2008. Remembering Peter Hare 1935-2008. Philosophy Now.  Issue 66 March/April 2008. Pages 50-2. Co-authors: T. Madigan and A. Razin. PDF
  15. 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.

TOP OF PAGE

V. Reviews:
MR indicates review in Mathematical Reviews available at MathSciNet (login required). J indicates available at JSTOR (with online link, login required).

  1. Beth, Evert, Mathematical Thought. An Introduction to the Philosophy of Mathematics. In Mathematical Reviews, 40 (1970), 988-89.
  2. Beth, Evert and Piaget, Jean, Mathematical Epistemology and Psychology. In Mathematical Reviews, 41 (1971), 956-57.
  3. DeLong, Howard, A Profile of Mathematical Logic. In Mathematical Reviews 41 (1971) 3230.
  4. J Quine, Willard, Philosophy of Logic. In Philosophy of Science 39 (1972) 97-99.
  5. J Hatcher, William, Foundations of Mathematics. In Philosophy of Science 39 (1972) 88-90.
  6. Eberle, Rolf, "Denotationless Terms and Predicates Expressive of Positive Qualities". In Mathematical Reviews, 42 (1971) 31.
  7. J Reid, Constance, Hilbert (a biography). In Philosophy of Science 39 (1972) 106-08.
  8. Resnik, Michael, Elementary Logic, in Mathematical Reviews 42 (1971) 1357.
  9. Nagashima, T., "A Model of the Comprehension Axiom Without Negation," in Mathematical Reviews 43 (1972) 41.
  10. Massey, G., Understanding Symbolic Logic, in Mathematical Reviews 43 (1971) 337-38.
  11. Kreisel, G., "Principles of Proof and Ordinals Implicit in Given Concepts," in Mathematical Reviews 44 (1972) 712-13.
  12. Thomason, R., Symbolic Logic: An Introduction (co-reviewer C. Lambros), in Mathematical Reviews 43 (1972) 846-47.
  13. Gregg, J. R., "Axiomatic Quasi-Natural Deduction", in Mathematical Reviews 44 (1972) 7.
  14. Lyons, J., Noam Chomsky, in Word 28 (1972) 335-38.
  15. Pears, D., Ludwig Wittgenstein, in Word 26 (1970) 294-97.
  16. Ebbinghaus, H. D., "...Pra"dikatenlogik mit partiell definierten Pradikaten..." (co-reviewer J. Herring) in Journal of Symbolic Logic 37 (1972) 617-18.
  17. Wang, H., "A Calculus of Partial Predicates, etc.", (co-reviewer J. Herring) Journal of Symbolic Logic 37 (1972) 617.
  18. Gregg, J. R., "Two Modes of Inference," Mathematical Reviews 44 (1972) 486.
  19. Cheng, C., "Referential Involvements of Number Words," in Mathematical Reviews 44 (1972) 709.
  20. Segerberg, K., "Some Modal Logics Based on a Three-Valued Logic," in Mathematical Reviews 44 (1972) 1178.
  21. Woodruff, P., "Logic and Truth-Value Gaps", in Mathematical Reviews 44 (1972) 1177.
  22. Pogorzelski, W. A., "On Structural Completeness of Propositional Logics", in Mathematical Reviews 46 (1973) 259.
  23. J Putnam, H., Philosophy of Logic, in Philosophy of Science 40 (1973) 131-33.
  24. Frege, G., On the Foundations of Geometry (tr. Kluge) in Philosophy and Phenomenological Research 34 (1973) 283-286 (with S. Wood).
  25. Staszek, W., "On Proofs of Rejection" in Mathematical Reviews 46 (1973) 559.
  26. Slupecki, J., et. al. "Theory of Rejected Propositions I", in Mathematical Reviews 46 (1973) 5116.
  27. Bolman and Tapia, "...Unsolvability...of the Deduction Theorem", in Mathematical Reviews 46 (1973) 563.
  28. J Copi, I., The Theory of Logical Types, in Philosophy of Science 40 (1973) 319-21 (with J. Richards).
  29. J Bolzano, B., Theory of Science (tr. George) in Philosophy and Phenomenological Research 34 (1974) 282-83.
  30. J Frege, G., Conceptual Notations and Related Articles (ed. and tr. Bynum) in Philosophy of Science 40 (1973) 454-55 (with D. Levin).
  31. Ashworth, J., "Andreas Kesler and the Later Theory of Consequence," Notre Dame Journal of Formal Logic 14 (1973). In Mathematical Reviews 48#8192 (with J. Gracia).
  32. Faj, A., "Platonic Anticipations of Stoic Logic" in Mathematical Reviews 48#8191.
  33. Ermolaeva, N. M., "Logic Akin to Wang's Calculus" in Mathematical Reviews 49#10524 (with J. Herring).
  34. Goodstein, R. L., Development of Mathematical Logic in Mathematical Reviews 54#4906 (with J. Barr).
  35. J Crossley, J. N., What is Mathematical Logic? in Philosophy of Science 43 (1976) 301-302 (with S. Shapiro).
  36. Jackson, D., Augustine: De Dialectica, in Philosophia 13 (1983) 85-87 (with J. Gracia).
  37. Putnam, H., Philosophy of Logic in Mathematical Reviews 56 (1978) #501 (with W. Ebersberger).
  38. Joja, A., "La doctrine de l`universel chez Aristote", in Mathematical Reviews 56 (1978) #5192 (with W. Ebersberger).
  39. Hambourger, R., "A difficulty with the Frege-Russell definition of natural number", in Mathematical Reviews 56 (1978) #8315.
  40. Marshall, David, "Lukasiewicz, Leibniz, and the arithmetization of the syllogism" in Mathematical Reviews 56 (1978) #15349.
  41. Rosenbloom, Paul, "Structural Models for use in psychological research" (with S. Ziewacz) in Mathematical Reviews 56 (1978) #17927.
  42. Slater, B. H., "The Foundations of Logic" Mind (1972) in Mathematical Reviews 57 (1979) 371 #2867 (with W. Ebersberger).
  43. Kitcher, P., "Hilbert's Epistemology", Philosophy of Science (1976) in Mathematical Reviews 57 (1979) 370 #2866 (with N. Goodman).
  44. White, N., "What numbers are" Synthese (1974) in Mathematical Reviews 57 (1979) 745. #5667.
  45. Priest, G. and S. Read, "Formalization of Ockham on Supposition" Mind (1977) in Mathematical Reviews (1979) (with J. Swiniarski) #27184.
  46. Benacerraf, P., "Mathematical Truth" Journal of Philosophy 70 (1973) in Mathematical Reviews (with T. Nutter). 58 (1979) 741 #4979.
  47. Quine, W., Philosophy of Logic (6th printing 1978) in Mathematical Reviews 57 (1979). #9465.
  48. Putnam, H., "What is Mathematical Truth", in Mathematical Reviews 58 (1979) 21 #126.
  49. Hintikka, J. and Remes, U., The Method of Analysis (1979), in Mathematical Reviews 58 (1979). 3202 #21388.
  50. Loux, M., Ockham's Theory of Terms (1974) in Mathematical Reviews 58 (1979) (with J. Swiniarski). #26829.
  51. Ashworth, E. J., "An Early Fifteenth Century Discussion of Infinite Sets" Notre Dame Journal of Formal Logic (1977) in Mathematical Reviews 58 (1979). #21623.
  52. Stevenson, L., "Frege's Two Definitions of Quantification" Philosophical Quarterly (1973) in Mathematical Reviews 58 (1979) 3198. #21362.
  53. J Loux, Michael J., "The Ontology of Wm. of Ockham" 1-21 Ockham's Theory of Terms, (1974) in Journal of Symbolic Logic 46 (1981) 667.
    53a. 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) (with M. Scanlan) 81k:03014.
  55. Kline, Morris, Mathematics: The Loss of Certainty (1980) in Mathematical Reviews (1982) 82e:03013.
  56. Freddoso and Schuurman Ockham's Theory of Propositions (1980) in Mathematical Reviews (1982) 82b:01013.
  57. Resnik, M., Frege and the Philosophy of Mathematics (1980) in Mathematical Reviews (1982) 82d:03013.
  58. Lear, J., Aristotle and Logical Theory (1980) in Canadian Philosophical Reviews I (1980) 85-92 (with M. Scanlan).
  59. Hintikka, J. "Aristotelian Induction" Rev. International Philosophy 34 (1980) in Mathematical Reviews (1982) 82m:00016.
  60. Toth, I., "Aristote et les paradoxes de Ze'non" Eleutherie (1970) in Mathematical Reviews (1982) 82m:01011.
  61. Crowley, C., Universal Mathematics in Aristotelian-Thomistic Philosophy (1980) in Mathematical Reviews (1982) 82m:01003.
  62. J Freddoso, A. "Ockham's Theory of Truth Conditions" (1980) in Journal of Symbolic Logic 49 (1984) 306-8.
  63. Hailperin, T., "Boole's Algebra Isn't Boolean Algebra" (1981) in Mathematical Reviews (1983) 83e:01038 (with C. Jongsma).
  64. Cocchiarella, N., "Development of Theory of Types... Russell's Early Philosophy" (1980) in Mathematical Reviews (1983) 83e:03005.
  65. Lear, J., Aristotle and Logical Theory (1980) in Mathematical Reviews (1984) 84h:03015.
  66. Reprint of 57 above in Zentralblatt für Mathematik und ihre Grenzgebiete 501 (1983) 03003.
  67. Hatcher, W., Logical Foundations of Mathematics (1982) in American Scientist 72 (1984) 305.
  68. Giaquinto, M., "Hilbert's Philosophy of Mathematics" Brit. J. Philos. Sci. (1983) in Mathematical Reviews (1985) 85b:03008.
  69. George, R., "Bolzano's Consequence, etc." J. Philos. Logic (1983) in Mathematical Reviews (1985) 85i:03009 (with E. Galanti).
  70. Brown, M., "Generalized Quantifiers..." Notre Dame Journal of Formal Logic (1984) in Mathematical Reviews (1985) 85j:03034.
  71. Porte, J., "Fifty Years of Deduction Theorems" Logic Colloquium '80 (1981) in Mathematical Reviews (1985) 85j:03002.
  72. Motohashi, N., "Equality and Lyndon's Interpolation Theorem" Journal of Symbolic Logic (1984) in Mathematical Reviews (1986) 86f:03053.
  73. Orenstein, A., "Referential and Non-referential Substitutional Quantifiers" Synthese (1984) in Mathematical Reviews (1986) 86b:03009.
  74. MacHale, D., George Boole His Life and Work (1985) in Mathematical Reviews (1987) 87c:01030.
  75. Fraďssé, R., "Deux relations d'enombrables... 'equivalentes... isomorphes" Mathematical Logic and Formal Systems (1985) in Mathematical Reviews (1987) 87e:03018.
  76. Almog, J., "Form and Content" Nous (1985) in Mathematical Reviews (1987) 87e:03005.
  77. Smith, R., "Aristotle as Proof-theorist", Philos. Nature. (1984) in Mathematical Reviews (1987) 87e:01003.
  78. Church, A., "Russell's Theory of Identity of Propositions", Philos. Natur. (1984) in Mathematical Reviews (1987) 87h:03001.
  79. Hook, J., "Interpretations of Many-sorted Theories", Journal of Symbolic Logic (1985) in Mathematical Reviews (1987) 87e:03016.
  80. George A., "Skolem and the Löwenheim-Skolem Theorem", History and Philosophy of Logic (1985) in Mathematical Reviews (1987) 87j:03005.
  81. Garciadiego, A., "Emergence of...paradoxes...set theory", Historia Mathematica (1985), in Mathematical Reviews (1987) 87j:01035.
  82. Mikenberg, I.; da Costa, N.; Chuaqui, R. "Pragmatic truth and approximation to truth" Journal of Symbolic Logic (1986), in Mathematical Reviews (1988) 88c:03004.
  83. Garciadiego, A. "On rewriting the history of the foundations of mathematics..." Historia Mathematica (1986), in Mathematical Reviews 88a:01026.
  84. Livingston, E. Ethnomethodological Foundations of Mathematics (1986), in Mathematical Reviews (1988) 88b:00021.
  85. Saccheri, G. Euclides Vindicatus (1733), edited and translated by G. B. Halsted, 2nd ed. (1986), in Mathematical Reviews (1988) 88j:01013.
  86. Andrews, P. An Introduction to Mathematical Logic and Type Theory (1986) in Mathematical Reviews (1988) 88g:03001.
  87. Hodes, H. "Logicism and the ontological commitments of arithmetic" Journal of Philosophy 1984 in Mathematical Reviews (1988) 88d:03005.
  88. Lambert, K. and E. Bencivenga "A free logic with simple and complex predicates" Notre Dame Journal of Formal Logic (1986) in Mathematical Reviews (1988) 88f:03019.
  89. J Cocchiarella, N. Logical investigations of predication theory and the problem of universals (1986) in Journal of Symbolic Logic 53 (1988) 991-993 (with W. Park).
  90. Quine, W., "Peano As Logician", History & Philosophy of Logic (1987) in Mathematical Reviews (1989) 88m:01052 (with W. Park).
  91. Hazen, A. "Natural Deduction And Hilbert's Epsilon Operator", Journal of Philosophical Logic (1987) in Mathematical Reviews (1989) 89c:03013.
  92. Houser, N. "Note on Reportorium" Historia Mathematica (1987) in Mathematical Reviews (1989) 89c:01031.
  93. J Mendelson, E. Introduction to Mathematical Logic 3rd ed. (1987) in Journal of Symbolic Logic 54 (1989) 618-619 (with Woosuk Park).
  94. Delessert, A. Introduction a` la logique (1988) in Mathematical Reviews (1990) 90e:03001 (with James Gasser).
  95. Cleary, J. Aristotle on...Priority (1988) in Mathematical Reviews (1990) 90j:01008.
  96. Iwakuma, Y. "Instantiae... twelfth century... argumentation" Argumentation 1 (1987) 437-453 in Mathematical Reviews (1990) 92c:03002 (with W. Park).
  97. Tarski, A. Collected Papers, vol. 1 (1986) edited by Steven Givant and Ralph McKenzie, in Mathematical Reviews (1991) 91h:01101.
  98. Tarski, A. Collected Papers vol. 2 (1986) edited by Steven Givant and Ralph McKenzie, in Mathematical Reviews (1991) 91h:01102.
  99. Tarski, A. Collected Papers vol. 3 (1986) edited by Steven Givant and Ralph McKenzie, in Mathematical Reviews (1991) 91h:01103.
  100. Tarski, A. Collected Papers, vol. 4 (1986) edited by Steven Givant and Ralph McKenzie, in Mathematical Reviews (1991) 91h:01104.
  101. Bell, D. "How Russellian was Frege?" Mind (1990), in Mathematical Reviews (1992) 92f:03002.
  102. Quine, W. Pursuit of Truth (1990) in Mathematical Reviews (1992) 92c:01012.
  103. Houser, N. "The Schroeder-Peirce Correspondence" Modern Logic (1990/1) in Mathematical Reviews (1992) 92i:01019 (with M. Scanlan).
  104. Cocchiarella, N. "Conceptual realism versus Quine, etc." Synthese (1992) in Mathematical Reviews (1993) 93c:03004.
  105. Givant, S. "A portrait of Alfred Tarski" Mathematical Intelligencer (1991) in Mathematical Reviews (1993) 93a:01046.
  106. Anellis, I. "Forty years of unnatural natural deduction..." Modern Logic (1991) in Mathematical Reviews (1994) 94m:03004a (with R. Rudnicki).
  107. Isles, D. "What evidence is there that 2^65536 is a number?" Notre Dame Journal of Formal Logic (1992) in Mathematical Reviews (1994) 94b:03014.
  108. Oberdan, T. "The concept of truth in Carnap's Logical Syntax of Language" Synthese (1992) in Mathematical Reviews (1994) 94a:03005.
  109. Borga H. and Palladino, D. "Logic and foundations of mathematics in Peano's School" Modern Logic 1992 in Mathematical Reviews (1994) 94b:03012 (with S. Nambiar).
  110. Audi, R. Ed. Cambridge Dictionary of Philosophy (1999). Online Amazon.com (February2003)
  111. Smith, C.G. 1982. The Boole-De Morgan Correspondence 1842-1864. Oxford: Oxford UP. Online Amazon.com (9- 2003).
  112. Goldfarb, W. 2003. Deductive Logic. Indianapolis: Hackett. Online Amazon.com (9-2003)
  113. Tarski, A. 1941/1995. Introduction to Logic and to the Methodology of Deductive Sciences. Trans. O. Helmer. New York: Dover. Online Amazon.com (3- 2004).with F. Nabrasa
  114. Tarski, A. 1956/1983. Logic, Semantics, Metamathematics. Indianapolis: Hackett. Online Amazon.com (3-2004) with F. Nabrasa
  115. Kazarinoff, N. 1970/2003. Ruler and the Round: Classic Problems in Geometric Constructions. New York: Dover. Online Amazon.com (3-2004) with F. Nabrasa.
  116. Gasser, J. Ed. 2000. Boole Anthology. Dordrecht: Kluwer. Online Amazon.com (4-2004) with F. Nabrasa.
  117. Weiss, B. 2002. Michael Dummett. Princeton: Princeton UP. Essays in Philosophy. Vol. 5 No. 2 June 2004. http://www.humboldt.edu/~essays/corcoranrev.html
  118. Shapiro, S. 2005. "Categories, Structures, and the Frege-Hilbert controversy: the Status of Meta-mathematics". Philosophia Mathematica (III) 13: 61-77. MR2134659 (2006f:00005).
  119. Kazarinoff, N. 1970/2003. Ruler and the Round: Classic Problems in Geometric Constructions. New York: Dover. Online Amazon.com (5-2006)
  120. 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.
  121. 2008. Review of: Goldstein, R. Incompleteness: The Proof and Paradox of Kurt Gödel. New York, W.W. Norton and Company. 2005. Mathematical Reviews. May (with Amanda Hicks)
  122. 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.
  123. 2009. Review of: Nolt, J. 2008 Truth as an Epistemic Ideal. Journal of Philosophical Logic. 37: 203-237. Mathematical Reviews. to appear.

TOP OF PAGE

November 17, 2009



Home . AOC . Publications . Curriculum Vitae . Courses
Link to University at Buffalo
Link to UB Department of Philosophy