Functional Logic • Inquiry and Analogy • 5

Inquiry and Analogy • Aristotle’s “Paradigm” • Reasoning by Analogy

Aristotle examines the subject of analogical inference or “reasoning by example” under the heading of the Greek word παραδειγμα, from which comes the English word paradigm.  In its original sense the word suggests a kind of “side‑show”, or a parallel comparison of cases.

We have an Example (παραδειγμα, or analogy) when the major extreme is shown to be applicable to the middle term by means of a term similar to the third.  It must be known both that the middle applies to the third term and that the first applies to the term similar to the third.

E.g., let A be “bad”, B “to make war on neighbors”, C “Athens against Thebes”, and D “Thebes against Phocis”.  Then if we require to prove that war against Thebes is bad, we must be satisfied that war against neighbors is bad.  Evidence of this can be drawn from similar examples, e.g., that war by Thebes against Phocis is bad.  Then since war against neighbors is bad, and war against Thebes is against neighbors, it is evident that war against Thebes is bad.

Aristotle, “Prior Analytics” 2.24, Hugh Tredennick (trans.)

Figure 6 shows the logical relationships involved in Aristotle’s example of analogy.

Resources

• Logic Syllabus
• Boolean Function
• Boolean-Valued Function
• Logical Conjunction
• Minimal Negation Operator
• Functional Logic • Part 1 • Part 2 • Part 3
• Cactus Language • Part 1 • Part 2 • Part 3 • References • Document History

cc: FB | Peirce Matters • Laws of Form • Mathstodon • Ontolog • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

#Abduction #Analogy #Argument #Aristotle #CSPeirce #Constraint #Deduction #Determination #DiagrammaticReasoning #Diagrams #DifferentialLogic #FunctionalLogic #Hypothesis #Indication #Induction #Inference #Information #Inquiry #Logic #LogicOfScience #Mathematics #PragmaticSemioticInformation #ProbableReasoning #PropositionalCalculus #Propositions #Reasoning #Retroduction #Semiotics #SignRelations #Syllogism #TriadicRelations #Visualization

Systems of Interpretation • 1
• https://inquiryintoinquiry.com/2023/05/05/systems-of-interpretation-1-2/

Questions have arisen about the different styles of diagrams and figures used to represent triadic sign relations in Peircean semiotics. What do they mean? Which style is best? Among the most popular pictures some use geometric triangles while others use the three‑pronged graphs Peirce used in his logical graphs to represent triadic relations.

Diagrams and figures, like any signs, can serve to communicate the intended interpretants and thus to coordinate the conduct of interpreters toward the intended objects — but only in communities of interpretation where the conventions of interpretation are understood. Conventions of interpretation are by comparison far more difficult to communicate.

That brings us to the first question we have to ask about the possibility of communication in this area, namely, what conventions of interpretation are needed to make sense of these diagrams, figures, and graphs?

#Peirce #Logic #LogicalGraphs #RelationTheory #Semiotics #Semiosis
#DiagrammaticReasoning #InterpretiveFrameworks #ObjectiveFrameworks
#SystemsOfInterpretation #SignRelations #TriadicRelations #Visualization