Category Archives: Logic

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

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

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

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

Animated Logical Graphs • 53

Much of the work I do on the C.S. Peirce/Spencer Brown approach to “mathematical hypostases underlying logic” now goes under the heading of Animated Logical Graphs.  There’s a Survey of related resources I update from time to time at the … 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

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

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

Sign Relations, Triadic Relations, Relation Theory • Discussion 5

Re: Cybernetics • Cliff Joslyn Re: Sign Relations, Triadic Relations, Relation Theory • Discussion (3) (4) Dear Cliff, I’m still collecting my wits from the mind-numbing events of the past two weeks so I’ll copy your last remarks here and … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | Leave a comment

Icon Index Symbol • 20

Questions Concerning Certain Faculties Claimed For Signs Re: FB | Semiotics, Books, Links, News • Jon Awbrey • Dalibor Lošťák JA: Icon, Index, Symbol and all other classifications are ideal types abstracted from concrete signs and there are no pure … Continue reading

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Icon Index Symbol • 19

Questions Concerning Certain Faculties Claimed For Signs Re: Peirce List • Steven Skaggs SS: As far as visual semiotics is concerned, it is helpful to think of a “terrain” or map of a semantic mode territory in which of icon-index-symbol form … Continue reading

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Icon Index Symbol • 18

Questions Concerning Certain Faculties Claimed For Signs Re: FB | Semiotics, Books, Links, News • Muntadher Almahdawi Another one of those recurring questions just came up in a Facebook group devoted to Semiotics and I thought it would be useful … Continue reading

Posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Riffs and Rotes • Happy New Year 2021

Apart from their abstract beauty, Riffs and Rotes are structures I discovered while playing around with Gödel numberings of graphs and digraphs.  To my way of thinking they bear a deep connection to the mathematical infrastructure of logic.  Here are … Continue reading

Posted in Algebra, Combinatorics, Graph Theory, Group Theory, Logic, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , , | Leave a comment

Sign Relations, Triadic Relations, Relation Theory • Discussion 4

Re: Previous Post Re: Cybernetics • Cliff Joslyn Dear Cliff, Many thanks for your thoughtful reply.  I copied a transcript to my blog to take up first thing next year.  Here’s hoping we all have a better one! Regards, Jon CJ: … Continue reading

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | 2 Comments