-
41Aristotle's Prior Analytics and Boole's Laws of ThoughtHistory and Philosophy of Logic 24 (4): 261-288. 2003.Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many othe…Read more
-
35Deductions and Reductions Decoding Syllogistic MnemonicsEntelekya Logico-Metaphysical Review 2 (1): 5-39. 2018.The syllogistic mnemonic known by its first two words Barbara Celarent introduced a constellation of terminology still used today. This concatenation of nineteen words in four lines of verse made its stunning and almost unprecedented appearance around the beginning of the thirteenth century, before or during the lifetimes of the logicians William of Sherwood and Peter of Spain, both of whom owe it their lasting places of honor in the history of syllogistic. The mnemonic, including the theory or …Read more
-
34Book Review:The Theory of Logical Types Irving M. Copi (review)Philosophy of Science 40 (2): 319-. 1973.
-
34Book Review:Conceptual Notation and Related Articles Gottlob Frege, Terrell Ward Bynum (review)Philosophy of Science 40 (3): 454-. 1973.
-
33Aristotle’s Prototype Rule-Based Underlying LogicLogica Universalis 12 (1-2): 9-35. 2018.This expository paper on Aristotle’s prototype underlying logic is intended for a broad audience that includes non-specialists. It requires as background a discussion of Aristotle’s demonstrative logic. Demonstrative logic or apodictics is the study of demonstration as opposed to persuasion. It is the subject of Aristotle’s two-volume Analytics, as its first sentence says. Many of Aristotle’s examples are geometrical. A typical geometrical demonstration requires a theorem that is to be demonstra…Read more
-
30The Tarskian Turn: Deflationism and Axiomatic Truth (review)History and Philosophy of Logic 35 (3): 308-313. 2014.This brief, largely expository book—hereafter TT—blends history and philosophy of logic with contemporary mathematical logic. Page 3 says it “is about the relation between formal theories of truth...
-
30Logical Structures of Ockham's Theory of SuppositionFranciscan Studies 38 (1): 161-183. 1978.This exposition of ockham's theory of (common, Personal) supposition involves the logical form of the four descent/ascent conditions and the logical relations of these with the three main modes of supposition. Central theses: each condition is a one-Way entailment, Each mode is a truth-Functional combination of conditions, Two of the three modes are not even coextensive with the two-Way entailments commonly taken as their definitions. Ockham's idea of "the singulars" of a general proposition is …Read more
-
29Nino B. Cocchiarella. Logical investigations of predication theory and the problem of universals. Indices, no. 2. Bibliopolis, Naples1986, also distributed by Humanities Press, Atlantic Highlands, N.J., 265 pp (review)Journal of Symbolic Logic 53 (3): 991-993. 1988.
-
28Michael J. Loux. The ontology of William of Ockham. Ockham's theory of terms, Part I of the Summa logicae, translated and introduced by Michael J. Loux, University of Notre Dame Press, Notre Dame and London1974, pp. 1–21. - Michael J. Loux. Ockham on generality. Ockham's theory of terms, Part I of the Summa logicae, translated and introduced by Michael J. Loux, University of Notre Dame Press, Notre Dame and London1974, pp. 23–46 (review)Journal of Symbolic Logic 46 (3): 667-668. 1981.
-
27Review: Elliott Mendelson, Introduction to Mathematical Logic (review)Journal of Symbolic Logic 54 (2): 618-619. 1989.
-
25On the Foundations of Geometry and Formal Theories of ArithmeticPhilosophy and Phenomenological Research 34 (2): 283-286. 1973.
-
24Logical Investigations of Predication Theory and the Problem of UniversalsJournal of Symbolic Logic 53 (3): 991-993. 1988.
-
19The Logical Form of Quantifier Phrases: Quantifier-sortalvariableBulletin of Symbolic Logic 5 418-419. 1999.
-
19Wang Hao. The calculus of partial predicates and its extension to set theory I. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 283–288 (review)Journal of Symbolic Logic 37 (3): 617-617. 1972.
-
19From Peirce to Skolem. A Neglected Chapter in the History of LogicBulletin of Symbolic Logic 14 (4): 541-544. 2008.
-
18Book Review:Foundations of Mathematics William S. Hatcher (review)Philosophy of Science 39 (1): 88-. 1972.
-
18Information Recovery ProblemsTheoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (3): 55-78. 1995.An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and pr…Read more
Buffalo, New York, United States of America
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |