Category Archives: Visualization

All Liar, No Paradox • Discussion 2

Re: Laws of Form • James Bowery • John Mingers Dear James, John, et al. The questions arising in the present discussion take us back to the question of what we are using logical values like and for, which takes … Continue reading

Posted in Bertrand Russell, C.S. Peirce, Epimenides, Laws of Form, Liar Paradox, Logic, Logical Graphs, Mathematics, Paradox, Pragmatics, Rhetoric, Semantics, Semiositis, Semiotics, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

All Liar, No Paradox • Discussion 1

Re: Laws of Form • John Mingers JM: Several people have referred recently to the idea that Laws of Form, and particularly Chapter 11 with imaginary logical values, provides an answer to the problems Russell found in Principia Mathematica leading to … Continue reading

Posted in Bertrand Russell, C.S. Peirce, Epimenides, Laws of Form, Liar Paradox, Logic, Logical Graphs, Mathematics, Paradox, Pragmatics, Rhetoric, Semantics, Semiositis, Semiotics, Sign Relations, Spencer Brown, Syntax, Visualization | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

Logical Graphs, Iconicity, Interpretation • Discussion 2

Re: Logical Graphs, Iconicity, Interpretation • 2 Re: Laws of Form • John Mingers JM: The quote you have given does not match the standard Peircean trichotomy of icon, index, symbol.  See this quote from [CP 4.447 …] Dear John, I … 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

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

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments