Browna, Frank Markham (Author)
History and Philosophy of Logic
Volume: 31, no. 4
Issue: 4
Pages: 337-348
In 1952, Quine showed that the problem of reducing a propositional formula to a simplest normal equivalent can be solved in two steps, viz., (i) express the given formula, F, equivalently as the disjunction of all its prime implicants, and (ii) find all non-redundant disjunctions of the latter that are equivalent to F (Quine 1952 ). However, it seems not generally known that an ingenious form of the same two-step process was published by Hugh McColl in 1878.
...MoreDescription On the work of Hugh McColl and similar work in the 20th century by Willard Quine.
Similar Citations
Article
Kraal, Anders;
(2013)
The Emergence of Logical Formalization in the Philosophy of Religion: Genesis, Crisis, and Rehabilitation
(/isis/citation/CBB001213917/)
Article
Hintikka, Jaakko;
(2012)
Which Mathematical Logic is the Logic of Mathematics?
(/isis/citation/CBB001214120/)
Article
Centrone, Stefania;
(2012)
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre
(/isis/citation/CBB001210996/)
Book
Greg Frost-Arnold;
(2013)
Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science
(/isis/citation/CBB416944911/)
Book
Føllesdal, Dagfinn;
(2001)
Philosophy of Quine; V. 5: Logic, Modality and Philosophy of Mathematics
(/isis/citation/CBB000102007/)
Thesis
Frost-Arnold, Gregory G.;
(2006)
Carnap, Tarski, and Quine's Year Together: Logic, Mathematics, and Science
(/isis/citation/CBB001560950/)
Article
Henri Wagner;
(2019)
Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem
(/isis/citation/CBB360374445/)
Article
Olaf L. Mueller;
(2016)
Prismatic Equivalence – A New Case of Underdetermination: Goethe vs. Newton on the Prism Experiments
(/isis/citation/CBB847582954/)
Chapter
Edward C. Halper;
(2017)
Aristotle’s Scientific Method
(/isis/citation/CBB181543613/)
Chapter
James G. Lennox;
(2015)
Aristotle’s Posterior Analytics and the Aristotelian Problemata
(/isis/citation/CBB098988673/)
Chapter
Marco Zingano;
(2017)
Ways of Proving in Aristotle
(/isis/citation/CBB121521437/)
Book
William Wians;
Ron Polansky;
(2017)
Reading Aristotle
(/isis/citation/CBB704223552/)
Article
Lupacchini, Rossella;
(2014)
Hilbert's Axiomatics as “Symbolic Form”?
(/isis/citation/CBB001213908/)
Article
Majer, Ulrich;
(2014)
The “Axiomatic Method” and Its Constitutive Role in Physics
(/isis/citation/CBB001213910/)
Article
Okasha, Samir;
(2000)
Van Fraassen's critique of inference to the best explanation
(/isis/citation/CBB000110797/)
Book
Simonton, Dean Keith;
(2004)
Creativity in Science: Chance, Logic, Genius, and Zeitgeist
(/isis/citation/CBB000470709/)
Article
S. N. Venugopalan Nair;
Darshan Shankar;
(2016)
Knowledge Generation in Āyurveda: Methodological Aspects
(/isis/citation/CBB204824703/)
Article
Elodie Cassan;
(2021)
Introduction: Logic and Methodology in the Early Modern Period
(/isis/citation/CBB647911806/)
Book
Parrini, Paolo;
Salmon, Wesley C.;
Salmon, Merrilee H.;
(2003)
Logical Empiricism: Historical and Contemporary Perspectives
(/isis/citation/CBB001213664/)
Article
Rajan Gurukkal;
(2016)
An Introductory Outline of Knowledge Production in Pre-Colonial India
(/isis/citation/CBB095195617/)
Be the first to comment!