Category Archives: Inquiry

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

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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Functional Logic • Inquiry and Analogy • Preliminaries

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 both inquiry and analogy are complex … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

The Difference That Makes A Difference That Peirce Makes • 33

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

Theme One Program • Discussion 5

Re: Peirce List • Jerry Chandler JC: This post [Theme One Program • Motivation 1] is so muddled that I gave up on a meaningful scientific interpretation of it. Dear Jerry, Thanks for the response. I heartily agree with the … Continue reading

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Semiotics, Visualization | Tagged , , , , , , , , , , , , , | 1 Comment

Theme One Program • Discussion 4

I’ve been going back and looking again at the problems and questions which nudged me into the computational sphere as a way of building our human capacities for inquiry, learning, and reasoning. One critical issue, you might even say bifurcation … Continue reading

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Semiotics, Visualization | Tagged , , , , , , , , , , , , , | 1 Comment

Conceptual Barriers • 4

Re: Conceptual Barriers • (1) • (2) • (3) Re: Peirce List • John Sowa • Gary Richmond • Robert Marty Dear Robert, I believe you have pointed to the crux of the matter. When I arrived on the campus … Continue reading

Posted in Artificial Intelligence, C.P. Snow, C.S. Peirce, Conceptual Barriers, Conceptual Integration, Constraint, Indication, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Pragmatic Semiotic Information, Scholarship of Integration, Semiotics, Sign Relations, Systems Theory, Two Cultures, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , | Leave a comment

Relations & Their Relatives • Discussion 23

Re: Ontolog Forum • Roberto Rovetto • Alex Shkotin Having lost my concentration to another round of home reconstruction disruption, let me loop back to the texts from Roberto and Alex which drew me into this discussion last week. RR: … Continue reading

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Differential Logic • Comment 7

Re: John Baez • Cyclic Identity for Partial Derivatives • Maxwell’s Relations (1) (2) (3) Much fun can be had by trying to do differentials and partial differentials over the boolean domain instead of the reals I took a first whack … Continue reading

Posted in Adaptive Systems, Amphecks, Belief Systems, Boole, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Differential Logic, Discrete Dynamics, Fixation of Belief, Gradient Descent, Graph Theory, Hill Climbing, Hologrammautomaton, Inquiry, Inquiry Driven Systems, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Optimization, Painted Cacti, Peirce, Propositional Calculus, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Comments Off on Differential Logic • Comment 7

Relations & Their Relatives • Discussion 22

Re: Ontolog Forum • Roberto Rovetto (1) (2) RR: What’s your view on: When to create a greater-than-binary relation rather than a binary relation? Consider:  You want to represent some information, statement, or knowledge, without necessarily being forced to limit … Continue reading

Posted in C.S. Peirce, Category Theory, Control, Cybernetics, Dyadic Relations, Information, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiosis, Semiotics, Sign Relations, Systems Theory, Triadic Relations | Tagged , , , , , , , , , , , , , , , , | 4 Comments

Inquiry Into Inquiry • Discussion 3

Re: Peirce List • (1) (2) Re: Inquiry Into Inquiry • Discussion 2 The fact most neglected about the Neglected Argument is its character as an abductive argument, a “Holy Guess” if you will to believe, and as such the … Continue reading

Posted in Anthem, Balance, Inquiry | Tagged , , | 1 Comment