Tag Archives: Analogy

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

Charles Sanders Peirce, George Spencer Brown, and Me • 16

Posted on January 15, 2022 by Jon Awbrey

Re: Conceptual Graphs • Gary Zhu GZ: I’m quite confused on why people are interested in Laws of Form. What is LOF trying to do? Is it just rewriting logic or is there something more fundamental. e.g. a universal algebraic … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 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

The Difference That Makes A Difference That Peirce Makes • 33

Posted on October 20, 2021 by Jon Awbrey

Re: Ontolog Forum • William Frank William Frank asked a question about propositional attitudes and presuppositions. WF: Are there any formal languages, such as Common Logic, that adequately represent statements about propositions — statements from which, in natural reasoning, one can … Continue reading →

Posted in Analogy, Bertrand Russell, C.S. Peirce, Dyadic Relations, Fixation of Belief, Information, Information = Comprehension × Extension, Inquiry, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Mathematics, Pragmatic Maxim, Pragmatism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , | Leave a comment

Charles Sanders Peirce, George Spencer Brown, and Me • 15

Posted on February 5, 2021 by Jon Awbrey

Re: C.S. Peirce, Spencer Brown, and Me • 11 Re: Ontolog Forum • Michael DeBellis MDB: I’ve just started taking Peirce seriously in the last year or so and some of his more complex ideas still aren’t completely clear to … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 14

Posted on January 31, 2021 by Jon Awbrey

Re: C.S. Peirce, Spencer Brown, and Me • 11 Re: Laws of Form • Dirk Baecker DB: Watzlawick’s request for a pragmatic calculus of communication up to now was never appropriately answered.  W. Barnett Pearce and Vernon E. Cronen (Communication, … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 13

Posted on January 26, 2021 by Jon Awbrey

Re: Laws of Form • Dirk Baecker DB: I guess you know Fernando Zalamea’s work on Peirce.  He thinks that all of GSB’s important ideas are already in Peirce’s Existential Graphs. I think he may be right, but then there … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 12

Posted on January 25, 2021 by Jon Awbrey

Re: Laws of Form • Dirk Baecker DB: Thanks to James Bowery for inviting me to this group.  Maybe it is not exactly what I am looking for, since I am interested in a sociological reading of LoF.  Which means … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Charles Sanders Peirce, George Spencer Brown, and Me • 11

Posted on January 18, 2021 by Jon Awbrey

There’s a new Laws of Form group in town.  James Bowery et al. have just revived the earlier group on a new platform and everything looks pretty handy so far.  There’s an honest-to-goodness 60s vibe about it for me since … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments