@bblfish @hochstenbach @josd

Here's the skinny on #MinimalNegationOperators —

• https://mathstodon.xyz/@Inquiry/109806663808536523

Minimal negation operators are a family of logical operators or #BooleanFunctions \(\nu(),\ \nu(x),\ \nu(x,y),\ \nu(x,y,z),\) etc.

In the so-called #ExistentialInterpretation of the brand of #LogicalGraphs I'll be using, \(\nu(x_1, \ldots, x_k)\) says exactly one of the \(x_i\) is equal to \(0\), that is, false.

@ceperez

A mantra of mine from the 60s —

“If the medium is truly the message then the blank mind is the innate idea”

Now #Peirce was peirceptive enough to see a logical meaning in the tabula rasa, for instance, the blank sheet of paper on which we scribe our logical formulas, what he called the #SheetOfAssertion (#SA), which the #ExistentialInterpretation of his #LogicalGraphs assigns the #LogicalValue of #Truth.

I used to call that the #Zenterpretation ...

@4sphere @4sphere@kolektiva.social

Re: #ExistentialGraphs
Cf: #AnimatedLogicalGraphs
https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/

I tend to use the more generic term #LogicalGraphs because I do a lot of work at the #PropositionalCalculus level where the #LogicalDuality between #Peirce 's #ExistentialInterpretation and #EntitativeInterpretation is an important feature.