Category Archives: Retroduction

Functional Logic • Inquiry and Analogy • 4

Posted on April 24, 2022 by Jon Awbrey

Inquiry and Analogy • Aristotle’s “Apagogy” • Abductive Reasoning Peirce’s notion of abductive reasoning is derived from Aristotle’s treatment of it in the Prior Analytics.  Aristotle’s discussion begins with an example which may seem incidental but the question and its … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • 3

Posted on April 20, 2022 by Jon Awbrey

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 →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • 2

Posted on April 19, 2022 by Jon Awbrey

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 →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • 1

Posted on April 17, 2022 by Jon Awbrey

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 →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Functional Logic • Inquiry and Analogy • Preliminaries

Posted on November 14, 2021 by Jon Awbrey

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 →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Types of Reasoning in C.S. Peirce and Aristotle • 2

Posted on April 28, 2016 by Jon Awbrey

Re: Peirce List Discussion • Ben Udell • Gary Richmond Present business has kept me from following much of the recent discussion on Peirce’s three types of reasoning, but we have been down this road before and so old tunes … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Peirce, Peirce List, Philosophy, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotic Information, Semiotics, Sign Relations, Syllogism | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Types of Reasoning in C.S. Peirce and Aristotle • 1

Posted on April 26, 2016 by Jon Awbrey

Re: Peirce List Discussion In one of his earliest treatments of the three types of reasoning, from his Harvard Lectures “On the Logic of Science” (1865), Peirce gives an example that illustrates how one and the same proposition might be … Continue reading →

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Peirce, Peirce List, Philosophy, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotic Information, Semiotics, Sign Relations, Syllogism | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

What Is A Theorem That A Human May Prove It?

Posted on June 19, 2013 by Jon Awbrey

Re: Gil Kalai • Why Is Mathematics Possible? • Tim Gowers’ Take On The Matter Comment 1 To the extent that mathematics has to do with reasoning about possible existence, or inference from pure hypothesis, a line of thinking going … Continue reading →

Posted in Abduction, Analogy, Aristotle, C.S. Peirce, Conjecture, Deduction, Epistemology, Hypothesis, Induction, Inquiry, Logic, Logic of Science, Mathematics, Peirce, Proof Theory, Retroduction, Theorem Proving, Warren S. McCulloch | Tagged , , , , , , , , , , , , , , , , , | 2 Comments

C.S. Peirce • The Proper Treatment of Hypotheses

Posted on June 19, 2013 by Jon Awbrey

Selection from C.S. Peirce, “Hume On Miracles” (1901), CP 6.522–547 530.   Now the testing of a hypothesis is usually more or less costly. Not infrequently the whole life’s labor of a number of able men is required to disprove a … Continue reading →

Posted in Abduction, Hypothesis, Inquiry, Logic of Science, Peirce, References, Retroduction, Sources | Tagged , , , , , , , | 1 Comment