#peirceslaw — Public Fediverse posts

Survey of Animated Logical Graphs • 7
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

Please follow the above link for the full set of resources.
Articles and blog series on the core ideas are linked below.

Beginnings —

Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/

Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2023/09/01/logical-graphs-formal-development-a/

Elements —

Logic Syllabus
• https://oeis.org/wiki/Logic_Syllabus

Logical Graphs
• https://oeis.org/wiki/Logical_Graphs

Minimal Negation Operators
• https://oeis.org/wiki/Minimal_negation_operator

Propositional Equation Reasoning Systems
• https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems

Examples —

Peirce's Law
• https://inquiryintoinquiry.com/2023/10/18/peirces-law-a/
• https://oeis.org/wiki/Peirce%27s_law

Praeclarum Theorema
• https://inquiryintoinquiry.com/2023/10/05/praeclarum-theorema-a/
• https://oeis.org/wiki/Logical_Graphs#Praeclarum_theorema

Proof Animations
• https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations

Excursions —

Cactus Language
• https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview

Futures Of Logical Graphs
• https://oeis.org/wiki/Futures_Of_Logical_Graphs

Applications —

Applications of a Propositional Calculator • Constraint Satisfaction Problems
• https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems

Exploratory Qualitative Analysis of Sequential Observation Data
• https://oeis.org/wiki/User:Jon_Awbrey/Exploratory_Qualitative_Analysis_of_Sequential_Observation_Data

Differential Analytic Turing Automata
• https://oeis.org/wiki/Differential_Analytic_Turing_Automata_%E2%80%A2_Overview

Survey of Theme One Program
• https://inquiryintoinquiry.com/2024/02/26/survey-of-theme-one-program-6/

#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
#CactusSyntax #MinimalNegationOperator #PeircesLaw #TuringAutomata

Logic Syllabus • 3
• https://inquiryintoinquiry.com/logic-syllabus/

Logical Concepts
• https://oeis.org/wiki/Logic_Syllabus#Logical_concepts

Ampheck • https://oeis.org/wiki/Ampheck
Boolean Domain • https://oeis.org/wiki/Boolean_domain
Boolean Function • https://oeis.org/wiki/Boolean_function
Boolean-Valued Function • https://oeis.org/wiki/Boolean-valued_function
Differential Logic • https://oeis.org/wiki/Differential_logic
Logical Graph • https://oeis.org/wiki/Logical_Graphs
Minimal Negation Operator • https://oeis.org/wiki/Minimal_negation_operator
Multigrade Operator • https://oeis.org/wiki/Multigrade_operator
Parametric Operator • https://oeis.org/wiki/Parametric_operator
Peirce's Law • https://oeis.org/wiki/Peirce%27s_law
Propositional Calculus • https://oeis.org/wiki/Propositional_calculus
Sole Sufficient Operator • https://oeis.org/wiki/Sole_sufficient_operator
Truth Table • https://oeis.org/wiki/Truth_table
Universe of Discourse • https://oeis.org/wiki/Universe_of_discourse
Zeroth Order Logic • https://oeis.org/wiki/Zeroth_order_logic

#Logic #LogicSyllabus #Ampheck #BooleanDomain #BooleanFunction #BooleanValuedFunction
#DifferentialLogic #LogicalGraph #MinimalNegationOperator #MultigradeOperator
#ParametricOperator #PeircesLaw #PropositionalCalculus #SoleSufficientOperator
#TruthTable #UniverseOfDiscourse #ZerothOrderLogic

@DavisSmith @philosophy

For that my (classical) favorites are #PeircesLaw and #Leibniz's #PraeclarumTheorema.

Here's how they look in a variant of #Peirce's #AlphaGraphs.

• https://inquiryintoinquiry.com/2008/10/06/peirces-law/

• https://inquiryintoinquiry.com/2008/10/05/praeclarum-theorema/