#minimalnegationoperators — Public Fediverse posts

Reflective Interpretive Frameworks • Incident 2
• https://inquiryintoinquiry.com/2026/08/27/reflective-interpretive-frameworks-incident-2/

Re: Terence Tao • Modular Arithmetic Challenge
• https://terrytao.wordpress.com/2026/06/08/modular-arithmetic-challenge/
• https://competition.sair.foundation/competitions/modular-arithmetic-challenge/overview

The Modular Arithmetic Challenge asks a simple question:

• Can a neural network learn to do modular multiplication efficiently?

Incidental Reflection 1 —

There are alternative models of neural networks which do not depend on threshold neurons and endlessly fiddling with weights.

Incidental Reflection 2 —

The series of three blog posts linked below present a case study comparing two ways of handling a classic example from the Parallel Distributed Processing paradigm, namely, the “Jets and Sharks” database problem, first taking up the original treatment by McClelland and Rumelhart and then proceeding according to a program I developed for propositional logic modeling. The latter method makes use of ideas from Grossberg's competition‑cooperation and winner‑take‑all dynamics, but is purely propositional‑logic based, involving no extraneous weights.

Theme One Program • Jets and Sharks
(1) https://inquiryintoinquiry.com/2024/06/20/theme-one-program-jets-and-sharks-1-a/
(2) https://inquiryintoinquiry.com/2024/06/22/theme-one-program-jets-and-sharks-2-a/
(3) https://inquiryintoinquiry.com/2024/06/23/theme-one-program-jets-and-sharks-3-a/

Resources —

Survey of Theme One Program
• https://inquiryintoinquiry.com/2025/05/06/survey-of-theme-one-program-7/

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

#Peirce #HigherOrderSignRelations #Inquiry #InquiryIntoInquiry #Logic #Mathematics
#Recursion #Reflection #RelationTheory #Semiotics #SignRelations #TriadicRelations
#PropositionalModels #MinimalNegationOperators #DifferentialAnalyticTuringAutomata
#CactusGraphs #CactusLanguage #DifferentialLogic #NeuralNetworks #SequenceLearning

Differential Logic • The Logic of Change and Difference
• https://inquiryintoinquiry.com/2023/08/22/differential-logic-%ce%b1/

Differential logic is the logic of variation — the logic of change and difference.

Differential logic is the component of logic whose object is the description of variation, for example, the aspects of change, difference, distribution, and diversity, in universes of discourse subject to qualitative logical description. In its formalization, differential logic treats the principles governing the use of a “differential logical calculus”, in other words, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

A simple case of a differential logical calculus is furnished by a differential propositional calculus. This augments ordinary propositional calculus in the same way the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.

Resources —

Differential Logic
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview
• Part 1 ( https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1 )
• Part 2 ( https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2 )
• Part 3 ( https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3 )

Differential Propositional Calculus
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview
• Part 1 ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1 )
• Part 2 ( https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2 )

Differential Logic and Dynamic Systems
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview
• Part 1 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_1 )
• Part 2 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_2 )
• Part 3 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3 )
• Part 4 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_4 )
• Part 5 ( https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_5 )

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DiscreteDynamicalSystems
#Leibniz #BooleanFunctions #BooleanDifferenceCalculus #QualitativeDynamics
#DifferentialPropositions #MinimalNegationOperators #NeuralNetworkSystems

#DifferentialPropositionalCalculus • 5.3
• https://inquiryintoinquiry.com/2020/02/29/differential-propositional-calculus-5/

At the top of Figure 8 is the #VennDiagram for the #LinearProposition of rank 3, which may be expressed by any one of the following 3 forms:

\[\texttt{(}p\texttt{,(}q\texttt{,}r\texttt{))}, \quad \texttt{((}p\texttt{,}q\texttt{),}r\texttt{)}, \quad p+q+r.\]

\(\text{Figure 8.1. Rank 3 Linear}\, f : \mathbb{B}^3 \to \mathbb{B}\)
• https://inquiryintoinquiry.files.wordpress.com/2020/02/venn-diagram-e280a2-p-q-r-e280a2-p-q-r.jpg

#Logic #LogicalGraphs
#PaintedAndRootedCacti
#MinimalNegationOperators