Category Archives: Inference

Inquiry and Analogy • Comparison of the Analyses The next two Figures will be of use when we turn to comparing the three types of inference as they appear in the respective analyses of Aristotle and Peirce. Types of Reasoning … Continue reading →

Inquiry and Analogy • Three Types of Reasoning Types of Reasoning in C.S. Peirce Peirce gives one of his earliest treatments of the three types of reasoning in his Harvard Lectures of 1865 “On the Logic of Science”.  There he … Continue reading →

Inquiry and Analogy • Three Types of Reasoning Types of Reasoning in Aristotle Figure 1 gives a quick overview of traditional terminology I’ll have occasion to refer to as discussion proceeds. Resources Logic Syllabus Boolean Function Boolean-Valued Function Logical Conjunction … Continue reading →

Functional Logic • Inquiry and Analogy This report discusses C.S. Peirce’s treatment of analogy, placing it in relation to his overall theory of inquiry.  We begin by introducing three basic types of reasoning Peirce adopted from classical logic.  In Peirce’s analysis … Continue reading →

Inquiry and Analogy • Generalized Umpire Operators To get a better handle on the space of higher order propositions and continue developing our functional approach to quantification theory, we’ll need a number of specialized tools.  To begin, we define a … Continue reading →

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Table 21 provides a thumbnail sketch of the relationships discussed in this section. Resources Logic Syllabus Boolean Function Boolean-Valued Function Logical Conjunction Minimal Negation Operator Introduction to Inquiry … Continue reading →

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Reflection is turning a topic over in various aspects and in various lights so that nothing significant about it shall be overlooked — almost as one might turn … Continue reading →

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Last time we took up a fourfold scheme of quantified propositional forms traditionally known as a “Square of Opposition”, relating it to a quartet of higher order propositions … Continue reading →

Inquiry and Analogy • Application of Higher Order Propositions to Quantification Theory Our excursion into the expanding landscape of higher order propositions has come round to the point where we can begin to open up new perspectives on quantificational logic. … Continue reading →