Category Archives: Logic

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

Logical Graphs, Iconicity, Interpretation • Discussion 1

Re: Logical Graphs, Iconicity, Interpretation • 1 Re: Laws of Form • John Mingers JM: I’m impressed that you have read Ricoeur — my impression is that Americans don’t have much time for Continental philosophy (a huge generalisation of course). … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

C.S. Peirce • Algebra of Logic ∫ Philosophy of Notation • 2

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs (cont.) I have taken pains to make my distinction of icons, indices, and tokens clear, in order … Continue reading

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 1 Comment

C.S. Peirce • Algebra of Logic ∫ Philosophy of Notation • 1

Selection from C.S. Peirce, “On the Algebra of Logic : A Contribution to the Philosophy of Notation” (1885) §1.  Three Kinds Of Signs Any character or proposition either concerns one subject, two subjects, or a plurality of subjects.  For example, … Continue reading

Posted in Algebra of Logic, C.S. Peirce, Deduction, Diagrammatic Reasoning, Icon Index Symbol, Logic, Logic of Relatives, Mathematics, Philosophy of Notation, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , | 1 Comment

Semiotics, Semiosis, Sign Relations • Discussion 19

Normative science rests largely on phenomenology and on mathematics; metaphysics on phenomenology and on normative science. ❧ Charles Sanders Peirce • Collected Papers, CP 1.186 (1903) Syllabus • Classification of Sciences (CP 1.180–202, G-1903-2b) Re: Peirce List • John Sowa JS: … Continue reading

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 1 Comment

Logical Graphs, Iconicity, Interpretation • 2

In the first place there are likenesses or copies — such as statues, pictures, emblems, hieroglyphics, and the like.  Such representations stand for their objects only so far as they have an actual resemblance to them — that is agree … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Logical Graphs, Iconicity, Interpretation • 1

If exegesis raised a hermeneutic problem, that is, a problem of interpretation, it is because every reading of a text always takes place within a community, a tradition, or a living current of thought, all of which display presuppositions and … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments

Minimal Negation Operators • Discussion 2

Re: Minimal Negation Operators • (1) • (2) • (3) • (4) Re: Peirce List (1) (2) (3) • Jerry Chandler JC: As a chemist, CSP often inscended hyle terminology into his logical corpse as he sought to extend the 15–17th … Continue reading

Posted in Amphecks, Animata, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 1 Comment