Scybernethics - Toward a second-order enactive rationality² >>> https://scybernethics.org (work in progress)
Thémas
Logicisme (réduction des vérités de l’arithmétique aux vérités logiques (supposées objectives))

Propositional Calculus (or Boolean algebra)

Attachments

Binarisme (de fait, technologisant)
Computationalisme (propositionnel, règle) - « penser, c’est calculer » (Hobbes) (machine formelle + "symbole")
Formalisme (aspect culturellement dominant, désigné, état) / processuel)
Logicisme (réduction des vérités de l’arithmétique aux vérités logiques (supposées objectives))
Logique mathématique traditionnelle - Ecole Formaliste
Philosophie Dualiste, Analytique, Positive , Réaliste, Réductioniste et Formaliste linguistique (propositionnelle)

Booléen <--> Monotones et Linéairement Séparable
Brown thus extends the Boolean algebra to include the evaluations true, false, meaningless, and imaginary for statements.
Brown's system is intended to generalize traditional Boolean algebra to deal with multi-valued logic
ET = "X" (multiplication)
La logique devient à la fois symbolique et mathématique (le calcul des propositions peux s'effectuer à partir d'une struture algébrique (cf. Segal, these, p1c2.pdf, p9/72)
Marks of Distinction - The Logo of Formal Formulations
Ordinary Boolean algebra deals with ordinary statements and non-numerical equations, which define our reasoning processes ....
Spencer Brown's calculus and a comparison of his work with traditional Boolean algebra - Simres

Algorithmes - Algorythmes - Logic Design
code "Binaire" inventé par F. Bacon
Conceptualisation sémantique comme négation (d'un tout-unité-contexte-moi-vide-mystère) <--> concentration attentionnelle --> complémentarité-antagonisme bidim rabattu sur monodim, et contextuelle [soto, bouddhisme] - passage intermédiaire
Ebauche d'une arithmétique binaire par Leibniz, fin 1670s
Logique des fonctions d'activation - PDP 1 p 423
Ordinateurs - machine "universelle"
Shannon Claude E.- Théorie mathématique de la Communication (de l'Information ...) avec Warren Weaver
Spencer-Brown George - Laws of Form & Calculus of Indications (1969)
The Church-Turing Thesis - "computability" or "effective calculability" (description parfaite d'une action <=> programme d'ordinateur)