Formal logic (a.k.a. "Scalar Logic", in my jargon) deals with "the Chrysippian form", laid down by Chrysippus the Stoic (x-y).
In contrast to the syllogistic logic of Aristotle (x-y), the Stoics of ancient Greece opted that the truth-value of an utterance depends only upon the FORM, and not on the USAGE OF THE FORM BY THE SPEAKER. Chrysippus formalized this by saying, in effect, "A logic statement is a declarative form which is potentially TRUE or FALSE". (This criterion of BIVALENCY -- two-valued (True or False) -- has mistakenly been attributed to Aristotle, hence, for example, the attack of the Polish "semanticist", Count Alfred Korzybski (x-y), upon "Aristotlean logic".)
Thus, "The streets are wet" is a logical statement, which, now, is true or false. But "Are the streets wet?" is not because it is NOT IN DECLARATIVE FORM. "Women of the largest planet in the Arcturus system have three breasts" is DECLARATIVE, but NOT VERIFIABLE AS TRUE OR FALSE.
However, this form of logic suffers from two faults:
- It is limited by CHRYSIPPIAN BIVALENCY.
- It is limited by the UNIMODE criterion, accepting only THE DECLARATIVE MODE OF SPEECH.
Herein, I'll show how to create a POLYMODE-BIVALENT LOGIC. Those of you who KNOW and CARE and DARE can work out the details for a POLYMODE-MULTIVALENT LOGIC.
Setting up VECTOR LOGIC.