#minimalnegationoperator — Public Fediverse posts on home.social

Jon Awbrey @[email protected] · 2024-04-05 · 17:00 UTC

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

#turingautomata #peirceslaw #minimalnegationoperator #cactussyntax #propositionalcalculus #booleanfunctions

Jon Awbrey @[email protected] · 2023-06-20 · 11:30 UTC

Functional Logic • Inquiry and Analogy • Preliminaries
• https://inquiryintoinquiry.com/2023/06/20/functional-logic-inquiry-and-analogy-preliminaries-2/

Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy

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 programs of logical inference which develop through stages of these three types, though normally in different orders.

Note on notation. The discussion to follow uses logical conjunctions, expressed in the form of concatenated tuples \(e_1 \ldots e_k,\) and minimal negation operations, expressed in the form of bracketed tuples \(\texttt{(} e_1 \texttt{,} \ldots \texttt{,} e_k \texttt{)},\) as the principal expression-forming operations of a calculus for boolean-valued functions, that is, for propositions. The expressions of this calculus parse into data structures whose underlying graphs are called “cacti” by graph theorists. Hence the name “cactus language” for this dialect of propositional calculus.

Resources —

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

Boolean Function
• https://oeis.org/wiki/Boolean_function

Boolean-Valued Function
• https://oeis.org/wiki/Boolean-valued_function

Logical Conjunction
• https://oeis.org/wiki/Logical_conjunction

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

#Peirce #Logic #Abduction #Deduction #Induction #Analogy #Inquiry
#BooleanFunction #LogicalConjunction #MinimalNegationOperator
#LogicalGraph #CactusLanguage #PropositionalCalculus

#propositionalcalculus #cactuslanguage #logicalgraph #minimalnegationoperator #logicalconjunction #booleanfunction

Jon Awbrey @[email protected] · 2023-06-02 · 17:48 UTC

Logic Syllabus • Discussion 1
• https://inquiryintoinquiry.com/2023/06/02/logic-syllabus-discussion-1/

Re: Logic Syllabus ( https://inquiryintoinquiry.com/logic-syllabus/ )
Re: Laws of Form ( https://groups.io/g/lawsofform/topic/logic_syllabus/99218507 )
Re: John Mingers ( https://groups.io/g/lawsofform/message/2326 )

JM: ❝In a previous post you mentioned the minimal negation operator. Is there also the converse of this, i.e. an operator which is true when exactly one of its arguments is true? Or is this just XOR?❞

Yes, the “just one true” operator is a very handy tool. We discussed it earlier under the headings of “genus and species relations” or “radio button logic”. Viewed in the form of a venn diagram it describes a partition of the universe of discourse into mutually exclusive and exhaustive regions.

Reading \(\texttt{(} x_1 \texttt{,} \ldots \texttt{,} x_m \texttt{)}\) to mean just one of \(x_1, \ldots, x_m\) is false, the form \(\texttt{((} x_1 \texttt{),} \ldots \texttt{,(} x_m \texttt{))}\) means just one of \(x_1, \ldots, x_m\) is true.

For two logical variables, though, the cases “condense” or “degenerate” and saying “just one true” is the same thing as saying “just one false”.

\[\texttt{((} x_1 \texttt{),(} x_2 \texttt{))} = \texttt{(} x_1 \texttt{,} x_2 \texttt{)} = x_1 + x_2 = \mathrm{xor} (x_1, x_2).\]

There's more information on the following pages.

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

Genus, Species, Pie Charts, Radio Buttons
• https://inquiryintoinquiry.com/2021/11/10/genus-species-pie-charts-radio-buttons-1/

Related Discussions
• https://inquiryintoinquiry.com/?s=Radio+Buttons

#Logic #LogicSyllabus #BooleanDomain #BooleanFunction #BooleanValuedFunction
#Peirce #LogicalGraph #MinimalNegationOperator #ExclusiveDisjunction #XOR
#CactusLanguage #PropositionalCalculus #RadioButtonLogic #TruthTable