#368 AP science book High School Logic textbook// Logic by Archimedes Plutonium

[Archimedes Plutonium]

I think it fair to say, we can teach adolescents embarking to College or University who have an eye for becoming a scientist, engineer or teacher of science to offer them Logic in High School before they embark on that career.

Especially the fact that I insist that every scientist in order to get a degree must take 2 years of Logic in College and University.

My three Logic textbooks are these.

#366 Teaching True Logic

#367 Pure True Logic (same as #366 minus the criticism of past history mistakes)

#368 High School Logic

#369 Advanced Logic

I kept warning the readers that writing a textbook on Logic is the most difficult and grueling writing experience possible. And it has taken me more than 1 year to arrive at this point.

AP, King of Science

[Archimedes Plutonium]

Once these three textbooks are completed to a sufficient standard that meets my approval. I shall reverse the order making High School logic textbook the first, before #366 and #367.

Funny, how I had to write #366 and #367 first in order to learn that the OR needed to dissolve the Truth Tables altogether where a partial truth value is installed. Where we learn that a rigid truth table of absolute true and absolute false is crippling our ability to understand logic at all.

AP

[Archimedes Plutonium]

The aphorism that guides us on the truth table of AND is -- We do not throw the baby out with the bathwater. That is a good aphorism that we say the truth of a long statement built from AND connectors is True if just one single statement in the chain of statements is true, the rest being false.

However, when we get to the OR connector the T OR F is true but this raises the question of removing the true T and leaving behind the F false statement. So the aphorism on OR should be We do not throw out the baby and Keep the bathe water, instead, we throw out the bathe water and keep the baby.

What this does is raise the question of absolute truth and absolute falsehood, when we should have something in between-- a partial truth written as dT for partial truth.

This then fixes and straightens out OR truth table.

New Logic OR (exclusive) where we have partial truths as dT

p     q      p or q 

____________ 

T    T        F 

T    dT     T 

dT   T      T 

F    F        F 

Example: P= Earth is the 3rd planet from Sun

Q = Earth is not the 4th planet from Sun

R = Earth is the 2nd planet from Sun

P is fully true. Q is partially true and has a truth value of dT.

R is false with truth value F.

When we have a logic with truth values of Only absolute T and absolute F, we have no workable OR as connector in Logic.

[Archimedes Plutonium]

This OR correction also hauntingly and mysteriously ties into the IF-->Then connector truth table. Remember here that F-->T and F-->F receives a truth value of U for undecided, unknown, undefined. So two rows of IF--> Then are affected.

Now in OR connector, two rows need a dT rather than a absolutist F.

I resolve that issue by harkening back to arithmetic where OR is subtraction and IF-->Then is division. If division needs two rows of U, then subtraction that is OR needs two rows of dT.

AP, King of Science