Books
The Cartesian Semantics of the Port Royal Logic, New York, Oxford: Routledge , 2020.
Themes in
Neoplatonic and Aristotelian Logic: Order, Negation and Abstraction, London: Ashgate Publisher, 2004.
Formal Semantics.
Orlando: Academic Press, 1987.
Articles in
Academic Journals:
“Extension in The Port Royal Logic,” South
American Journal of Logic, 2017, advanced access http://www.sa-logic.org/aaccess/john-martin-extension-in-the-port-royal-logic.pdf
“The Port Royal Logic,” Internet
Encyclopedia of Philosophy, 2017, http://www.iep.utm.edu/portroyl/
“Privative Negation in The Port Royal
Logic,” Review of Symbolic Logic, Volume 9, Issue 4 (Sept. 19, 2016), pp. 664-685,
available at http://dx.doi.org/10.1017/S175502031600023X
“The Transcendentalist Deduction
of Goodness from Beauty,” in Richard Hall, ed., Johnathan Edwards and, the
Environment, The Relevance
of the Thought of Johnnathan Edwards to Our Current
Environmental and Ecological Concerns. (Lewiston, N.Y.: Edwin Mellen Press, 2016), pp. 57-85.
“The Structure of Ideas in The Port Royal Logic,” The
Journal of Applied Logic, 19 (2016), pp. 1-19.
“A Note on ‘Distributive Terms, Truth, and The
Port Royal Logic,” History and Philosophy of
Logic, 18 Feb., 2016, pp. 1-2.
http://dx.doi.org/10.1080/01445340.2015.1138045
“Distributive Terms, Truth, and The Port Royal Logic,” History and Philosophy of Logi Jan. 17, 2013, pp. 133-154c, .
“Malebranche’s Neoplatonic Semantic Theory”, The International Journal of the Platonic Tradition, 8 (2014), pp. 33-71.
"Existential Commitment and the Cartesian
Semantics of the Port Royal Logic, " in
Jean-Yves Beziau, ed., The Square of
Opposition, A general Framework for Cognition (Peter Lang, pub; 2012), pp. 61-97.
“Existential Import in Cartesian Semantics,” History andPhilosophy of Logic,
32:3 (2011), pp. 211-239.
“The Transcendentalist Deduction
of Goodness from Beauty” to appear in Richard Hall (ed.) Johnathan Edwards and the Environment (Mellen Press, fortcoming).
With John Franco, “A History of Satisfiability” (book chapter) in Armin Biere, Marijn Heule,
Hans van Maaren, and Toby Walsh, eds., Handbook of Satisfiability, IOS
Press, 2009, in Frontiers in Artificial
Intelligence and Applications, vol. 185.
“The Lover of the Beautiful and
the Good: Platonic Foundations of Aesthetic and Moral Value”, Synthese, vol 164:1, Novermber 2008, pp.
31-51,
“All Brutes are Subhuman: Aristotle and Ockham
on Privative Negation”, Synthese, 134 (2003), 429-461.
"Lukasiewicz'
Many-Valued Logic and Neoplatonic Scalar Modality," History and Philosophy of Logic, 23
(2002), 95-120.
“Proclus the Logician,” in Alexamder Hall, ed. Categories, and What Is Beyond, Cambridge Scholars Press, 2012; reprint of Proceedings of the Society for Medieval Logic and Metaphysics, 2 (2002) Department of Philosophy, Fordham University (http://www.fordham.edu/gsas/phil/klima/SMLM/index.htm)
“Proclus and the
Neoplatonic Syllogistic”, Journal of Philosophical Logic 30 (2001), 187-240.
"Aristotle's Natural Deduction
Reconsidered," History and Philosophy
of Logic, 18 (1997), 1-15.
"Should Logic Satisfy the
Humanities Requirement," Teaching
Philosophy, 19:4 (1996), 385-396.
"Existence, Negation, and
Abstraction in the Neoplatonic Hierarchy," History and Philosophy of Logic, 16 (1995), 169-196.
"Order Theoretic Properties of
Holistic Ethical Theories," Environmental
Ethics 13:3 (1991), 215-234.
"A Tense Logic for
Boethius", History and Philosophy of
Logic, 10 (1989), 203-212.
"Some Formal Properties of
Indirect Semantics", Theoretical Linguistics,
(l985), l-32.
"The Semantics of Frege's Grundgesetze", History and Philosophy of Logic, 5 (l984),
l43-l76.
"Epistemic Semantics for
Classical and Intuitionistic Logic", Notre
Dame Journal of Formal Logic, 25 (l984), l05-ll6.
"Negation, Ambiguity, and the
Identity Test", Journal of Semantics,
l (l982), 25l-274.
"The Role of Negation in Presupposition Theory", Proceedings of the Twelfth International Symposium on Multiple-Valued
Logic, Paris, May, l982 (Institute for Electrical and Electronic
Engineers [hereafter, I.E.E.E.], l982).
"Facts and Events as Semantic Constructs", Theoretical Linguistics, 8 (l98l),
259-285.
"The Emergent Nature of Coherence and the Possibility of Truth-
functional Logic", Proceedings of the
Tenth International Symposium on Multiple-Valued Logic, Northwestern
University, June, l980 (I.E.E.E., l980).
"Some Misconceptions in the Critique of Semantic
Presupposition", Theoretical
Linguistics, 6 (l979), 235-82. Previously published by the Indiana
University Linguistics Club, Bloomington, IN.
"Montague's Methodology", Semantikos, 3 (l979), 4l-54.
Previously published by the Indiana University Linguistics Club, Bloomington,
IN.
"The Concept of the Irreplaceable", Environmental Ethics, l (l979), 3l-48.
"A Fregean
Interpretation of the Quantifiers", Logique et Analyse, 20 (l977), l22- l28.
"An Axiomatization of Herzberger's Two-Dimentional
Presuppositional Semantics", Notre Dame Journal of Formal Logic, l8
(l977), 378-382.
"Many-Valued Logic, Classical Logic, and the Horizontal",Proceedings of the Seventh
International Symposium on Multiple-Valued Logic, University of
North Carolina, May, l977 (I.E.E.E., l977).
"The Rehabilitation of Nature", Teaching Philosophy, l:3 (l976), 253-258.
"Classical Indeterminacy, Many-Valued Logic, and Supervaluations",
Proceedings of the Sixth International
Symposium on Multiple- Valued Logic, Utah State University, May,
l976 (I.E.E.E., l976).
"Facts and the Semantics of Gerunds", Journal of Philosophical Logic, 4 (l975),
439-454.
"A Many-Valued Semantics for Category Mistakes", Synthese, 3l (l975), 63-83.
"A Syntactic Characterization of Kleene's Strong Connectives with
Two Designated Values", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik,
2l (l975), l8l-l84.
"Karttunen on Possibility", Linguistic Inquiry, 4 (l975), 339-34l.
Reviews
W. K. Clifford and "The Ethics of Belief
" Timothy J. Madigan (London: Cambridge Scholars
Publishing 2009), 202 pages. Review entitled “You Ought to Ground Morality in
Reason,” in ProtoSociology (2012), 4 pp.
http://www.protosociology.de/Reviews/ProtoSociology-R-Martin-Madigan.pdf
"The Disputation," by Jenny Reeks, Teaching Philosophy, 16 (1993), 374-375.
Intensional Logic, Inre Ruzsa, History and Philosophy of Logic, 14
(1993), 246-248.
The Situation in Logic,
Jon Barwise, History
and Philosophy of Logic, 10 (1991), 132-134.
"The Logicworks," Rob R. Brady, Journal of Symbolic Logic, 55 (1990),
368-370.
Environment and Ethics-A New Zealand
Contribution, John Howell, ed., and Environmental Ethics: Philosophy and Policy
Perspectives, Philip P. Hanson, ed., Environmental Ethics, 10 (1988), 357-362.
Frege's Puzzle, Nathan
Salmon, in "History and Philosophy of Logic" , 8 (1987), 245-253.
Philosophers Look at Science Fiction,
Nicholas D. Smith, ed.; The Intersection of
Science Fiction and Philosophy, Robert E. Myers, ed.; and Philosophy and Science Fiction, Michael
Philips, Teaching Philosophy, 9
(l986), 280-l.
Philosophy of Economics
by C. Dyke, Teaching Philosophy,
6 (l983), 84-86.
Philosophy and Economic Theory by Frank Hahn and Martin Hollis, Teaching Philosophy, 4 (l980), 495-497.