Julia Knight"Journal of Logic", John R. Steel, Martin Stokhof, Anne Sjerp Troelstra, Alasdair Urquhart, Moshe Y. Vardi, Dan Christensen list of failures of Logic, stupid in logic, -not even recognize Either..Or..Or..Both is a standing Contradiction.
On Wednesday, July 14, 2021 at 9:44:17 PM UTC-5, Dan Christensen wrote:
> WARNING TO STUDENTS: Don't be a victim of

Partial List of the World's Crackpot Logicians-- should be in a college Abnormal-Psychology department, not Logic//

Peter Bruce Andrews, Lennart Aqvist, Henk Barendregt, John Lane Bell, Nuel Belnap,
Paul Benacerraf, Jean Paul Van Bendegem, Johan van Benthem, Jean-Yves Beziau,
Andrea Bonomi, Nicolas Bourbaki (a group of logic fumblers), Alan Richard Bundy, Gregory Chaitin,
Jack Copeland, John Corcoran, Dirk van Dalen, Martin Davis, Michael A.E. Dummett, John Etchemendy, Hartry Field, Kit Fine, Melvin Fitting, Matthew Foreman, Michael Fourman,
Harvey Friedman, Dov Gabbay, L.T.F. Gamut (group of logic fumblers), Sol Garfunkel, Jean-Yves Girard, Siegfried Gottwald, Jeroen Groenendijk, Susan Haack, Leo Harrington, William Alvin Howard,
Ronald Jensen, Dick de Jongh, David Kaplan, Alexander S. Kechris, Howard Jerome Keisler, Julia Knight "Journal of Logic",
Robert Kowalski, Georg Kreisel, Saul Kripke, Kenneth Kunen, Karel Lambert, Penelope Maddy,
David Makinson, Isaac Malitz, Gary R. Mar, Donald A. Martin, Per Martin-Lof,Yiannis N. Moschovakis, Jeff Paris, Charles Parsons, Solomon Passy, Lorenzo Pena, Dag Prawitz,
Graham Priest, Michael O. Rabin, Gerald Sacks, Dana Scott, Stewart Shapiro, Theodore Slaman,
Robert M. Solovay, John R. Steel, Martin Stokhof, Anne Sjerp Troelstra, Alasdair Urquhart,
Moshe Y. Vardi, W. Hugh Woodin, John Woods

Now I should include the authors of Logic textbooks for they, more than most, perpetuate and crank the error filled logic, the Horrible Error of 2 OR 1 = 3 with 2 AND 1 = 1, that is forced down the throats of young students, making them cripples of ever thinking straight and clearly.

Many of these authors have passed away but their error filled books are a scourge to modern education

George Boole, William Jevons, Bertrand Russell, Kurt Godel, Rudolf Carnap,
Ludwig Wittgenstein, Willard Quine, Alfred North Whitehead, Irving Copi, Michael Withey,
Patrick Hurley, Harry J Gensler, David Kelley, Jesse Bollinger, Theodore Sider,
David Barker-Plummer, I. C. Robledo, John Nolt, Peter Smith, Stan Baronett, Jim Holt,
Virginia Klenk, David Agler, Susanne K. Langer, Gary M. Hardegree, Raymond M. Smullyan,
John Venn, William Gustason, Richmond H. Thomason,

All of them are clowns of logic, although they have interest in logic, none are past a baby stage understanding of what Logic is. They are all worse than the fool George Boole. All of them are a disgrace to the subject we call Logic. All of them are in the same boat as George Boole-- catching pneumonia and then having his wife douse him in bed with cold freezing water and taking cold showers-- thinking that combatting pneumonia is done by getting colder.

All of the above listed should never be allowed to teach their nonsense and pollute the minds of youngsters with their crazy 9 OR 5 = 14 with 9 AND 5 = 4, all because a crazy Boole with Jevons in the 1800s thought that OR was TTTF and AND was TFFF. Boole and Jevons had them reversed and turned around backwards, making OR as add and AND as subtract. All because a true logician has more than a microgram brain of Logic in his head, and realizes that if you had a string of statements, say 10 statements and if just one single statement of those ten is true, makes the entire set of 10 to be true also, regardless of the truth value of the other 9 statements. Said in a different manner, if you have a truth of a single statement, and, no matter how you surround that single statement with 9 other statements, regardless of their truth value, because of the truth of the one statement makes the combined all 10 statements have a true value.

The stupid microgram brain of Boole and Jevons in the subject of Logic (witness their history with pneumonia) is not a Logic at all, for it leads to the incredibly stupid formulation that 3 AND 2 = 1 with 3 OR 2 = 5. Yes, those two logical idiots Boole and Jevons and every idiot of Logic since those two, have thought the truth table of AND was TFFF, when according to a real true logical person-- you need just 1 true statement to make a compound statements as a whole be true. So the true true truth table of AND was TTTF. And this makes sense in the above idiots of Logic with their OR, so confused were those idiots that they combined a "or" with an "and" and generated a "inclusive or" of TTTF. I mean what clowns are these? Who think that OR has to be compounded or a composite of "and", with "or" forming the idiot idea of an "inclusive or" and, not even realizing that you no longer have a primitive-connector. The true truth table of OR is exclusive and is FTTF, which is subtraction in mathematics.

Inclusive OR, INCLUSIVE OR, is the invention of an idiot of logic, pure slab of bonehead worthless bonehead of Logic, for the "inclusive or" is a village idiot mind that stacks together the OR and the AND all into one idiotic product of Either ,,Or,, Or Both. Not an accident waiting to happen in Logic, a multiple chain collision on the expressway is the Either Or Or Both. It is not a primitive logical Connector that the 4 primitive logic Connectors need to be, no, the Either Or Or Both is already a fool's built compound connector pretending to be primitive connector. A village idiot of the 1800s like George Boole and his compatriot Jevons would not have enough of a logical mind to see that Either Or Or Both is a compound piece of worthless nonsense. Even a 8 year old can see that Either Or Or Both is a compounded piece of crap and has no business of being in Logic primitive connectors.

To be in Logic, you need a Logical Mind to even do logic, and to come up with a SELF CONTRADICTION in terms like it is updown or it is overeasy-hard, is the same as Inclusive-Or, a term and idea that is a self-contradiction. Logic is about staying away from contradiction. And here, starting with Boole and Jevons, they built their logic on a Contradiction of the inclusive-or. It would be like at the Olympics in the 100 meter dash, at the sound of the gun, a runner, instead of going forwards, goes backwards in running step in the dash, not to the finish line but to oblivion running backwards.

So, please stop torturing the brains and minds of our young students just because you are a clown of microgram brain of logic. And throw out all the OLD LOGIC textbooks for they are not learning or teaching but brainwashing by polluting moneygrubs, more concerned over money flow than what is the truth of logic.

#1 first comes Logic-- think straight and clear which many math professors are deaf dumb and blind to

My corrections of Old Logic have a history that dates before 1993, sometime around 1991, I realized the Euclid proof of infinitude of primes was illogical, sadly sadly wrong, in that the newly formed number by "multiply the lot and add 1" was necessarily a new prime in the indirect proof method. So that my history of fixing Old Logic starts in 1991, but comes to a synthesis of correcting all four of the connectors of Equal/not, And, Or, If->Then, by 2015.

History of AP Logic starts with 1991 and culminates with New Logic that replaces Old Logic by 2015. Old Logic is like comparing a flat earth theory to a true round earth theory.

Before you do Mathematics, you need to be able to think correctly, straight and clear. Unfortunately schools across the world do not teach proper true Logic. They teach a mish mash gaggle of error filled garbage and call it Logic.

The 4 connectors of Logic are:

1) Equal (equivalence) plus Not (negation) where the two are combined as one
2) And (conjunction)
3) Or (exclusive or) (disjunction)
4) Implication

New Logic

EQUAL/NOT table:
T = T = T
T = not F = T
F = not T = T
F = F = T

Equality must start or begin logic because in the other connectors, we
cannot say a result equals something if we do not have equality built
already. Now to build equality, it is unary in that T=T and F =F. So
we need another unary connector to make equality a binary. Negation is
that other connector and when we combine the two we have the above
table.

Equality combined with Negation allows us to proceed to build the
other three logic connectors.

Now, unfortunately, Logic must start with equality allied with
negation and in math what this connector as binary connector ends up
being-- is multiplication for math. One would think that the first
connector of Logic that must be covered is the connector that ends up
being addition of math, not multiplication. But maybe we can find a
philosophy-logic answer as to why Logic starts with equal/not and is
multiplication rather than addition. That explanation is of course the Space in which the Logic operators govern, and the full space is area, so that is multiplication. And we see that in a geometry diagram

T T

T T where all four small squares are T valued making a 4 square

While addition is and with a Space like this

T T

T F and we have just 3 of the 4 smaller squares covered by addition.

Here you we have one truth table equal/not whose endresult is 4 trues and now we move on to AND as addition.

New Logic
AND
T & T = T
T & F = T
F & T = T
F & F = F