TEACHING TRUE LOGIC // Logic textbook
by Archimedes Plutonium
This is AP's #366th published book of science published on Internet, Plutonium-Atom-Universe,
PAU newsgroup is this.
https://groups.google.com/forum/?hl=en#!forum/plutonium-atom-universe
Author's Note: Far and away, this book has become my most difficult book to write, considering all the time it took for me to assemble it. Most of 2025 was in writing this textbook. The difficulty stems from the fact that I am revising the whole of the science Logic. Whereas in the other sciences that I write about are contributions and not full scale total revision of the science itself. And that task of revision requires coherent and consistent flow of logic thought, from beginning to end. As if every page is a step in a proof of mathematics. I could have written 40 new books of science in the amount of time it took me to write just this one textbook. And still I see myself going back on future dates, many many times just to fix this book.
I have another dilemma to solve in writing this textbook. I want to write a logic textbook without speaking of the mistakes made in the past on logic. Without mentioning that Old Logic messed up here, there, and almost everywhere and often was wrong on everything they did in logic. I would like to write a textbook on Logic saying directly-- this is the true truth-table of AND of OR, of Not-Equal, of If-->Then without mentioning the mistakes of the past made by Old Logic. For students that are young need not be bothered by past mistakes, and deserve to learn just what is ___true___. Let students with their young minds learn the truth about the world, and if they are interested in the past, they can explore it on their own time. A teacher should not waste the time of students by showing mistakes of the past. With this in mind, I am thinking that once I complete this textbook that is full of discussion on what Old Logic got wrong. I am thinking of rewriting this textbook and teaching the same subject with no mention of past mistakes, and no mention of "Old Logic". And leave it up to the Colleges and Universities to decide which of these two textbooks to teach to their classroom, is it Logic #366 showing past mistakes, or is it the #367 of Pure True Logic. Then of course, the 2nd year of college university logic is the textbook of Advanced Logic #368.
Preface: My #366 book, a textbook sorely needed since I keep telling students of science to take 2 years of College logic to help them think straight and clear throughout their lives. No point in taking logic from books that are saturated full of error. So, it is up to me to write the world's first correct Logic textbook, worthy of teaching in colleges and universities. It is not surprising that no-one with a Logical mind has come along until AP, to write the textbook of Logic.
This textbook is the first Logic textbook written by a person who has a logical mind-brain.
For decades now I increasingly encouraged all colleges and universities across the world to force science majors to mandatorily have to take 2 years of college Logic in order to help these scientists think straight and think clearly, at least that was the hope. But I had a huge problem with this requirement. No-one before me had a correct textbook of Logic which was mostly free of error and mistakes. The Boole and Jevons logic which I learned from while in college-- myself-- has all 4 of the simple Logic connectors in gross error.
You see, no-one with a logical mind has ever written a logic textbook. So how could I insist on a college and university requirement of all science majors to have 2 years of college logic, when no logic textbook free of gross errors and mistakes, exists? To remedy that dilemma, I write this Logic textbook and another on Advanced Logic.
Note to Teachers:: Try to make the tests be that of fill-in the blank as some examples are given in the chapters below. I feel that fill-in the blank tests can be further learning for students and teachers alike instead of the multiple choice test or the essay writing tests.
Cover picture: The Logic Syllogism-- All Matter is made up of the 114 chemical elements. The Universe is matter, hence the Universe is one single chemical element Atom that forms an Atom Totality. Plutonium fits the numbers of math and physics the best.
---------------------------------
Table of Contents
---------------------------------
Part 1, What is Logic?
1) Prospectus of books to write in near future.
2) What is Logic in the first place?
3) How do we start Logic-- first with a definition of logic and then the connectors of logic in logical order.
4) What is the physics concept of True and of False?
5) The Logic Truth Tables in detail.
6) The AP Principle of Well Defining a concept.
Part 2, A short brief history of Logic.
7) Logic, formally starts in Ancient Greek time, along with deductive mathematics.
8) The first computer by Babbage influences Logic, and the Boole + Jevons mistakes.
Part 3, The Mechanics of Logic.
9) The 6 simple connectors of Logic.
10) Using mathematics to guide Logic.
11) What is Truth, and how does truth relate to Logic?
12) Existential quantifier.
13) Not-Equal connector.
14) AND connector.
15) OR connector.
16) If-->Then connector.
17) Universal quantifier.
18) Best understanding of "nothing or zero" in both math and logic.
19) The Size & Mechanics of the Logic Argument in New Logic.
Part 4, The Logic Argument starting with Syllogism and moving to more complicated Arguments.
20) The Syllogism is the most simple of argument.
21) More complicated arguments.
Part 5, The Rules of Inference corrected and renamed Laws of Inference.
22) Laws of Inference for Equal-Not, AND, OR, If-->Then.
23) Laws of Inference for Existential and Universal Quantifiers.
Part 6, Scientific Method is Logic.
24) Mathematical-Induction and where does UG, UI, EG, EI, fit in?
25) The Scientific Method is Logic in practice.
Part 7, The Atomic Theory.
26) The most exquisite Logic argument of all time-- the Atomic theory.
Part 8, Proof that God exists, but it is a Science God.
27) Proof is quite simple and shows us the superpower each and every day.
28) Our mission is to make a permanent colony on Europa before year 3025.
Part 9, Uniqueness, Consistency, Completeness and the biggest mistake of all in Old Logic.
29) Where does Universal Generalization UG, Universal Instantiation UI, Existential Generalization EG, Existential Instantiation EI, fit in?
30) Summing up all of Logic in uniqueness, consistency, completeness by the Scientific Method.
31) Biggest mistake of all in Old Logic.
Part 10, Many examples of Logic Fallacies, which in mathematics would simply be called mistakes.
32) Many examples of Logic Fallacies
Part 11, How Logic easily improves our lives.
33) Improving your life with applying Logic.
34) Applying Logic to our modern ever increasing digital world so you can be safer and more secure.
-------------
Text
-------------
Part 1, What is Logic?
1) Prospectus of books to write in near future.
The first sentence of this textbook should concern itself with "What is Logic"??? Why am I here studying logic?
I have been preaching for over decades now that people wanting a degree in college in science, should be required to take 2 years of college logic to earn that degree. For Logic is the science that helps you think straight and think clearly--- at least that is the hope.
I often refer to the two textbooks of Logic I used at University of Cincinnati 1968-1972, one by Copi, Introduction to Logic, 4th edition and one by Thomason, Symbolic Logic An Introduction, 1970.
Copi is straight-on with his first sentences.
"...this we do affirm-- that if truth is to be sought in every division of Philosophy, we must, before all else, possess trustworthy principles and methods for the discernment of truth. Now the Logical branch is that which includes the theory of criteria and of proofs; so it is with this that we ought to make our beginnings." -- (Sextus Empiricus, an ancient Greek physician)
1.1 What is Logic?
Logic is the study of the methods and principles used to distinguish good (correct) from bad (incorrect) reasoning. (Copi, 1972).
Thomason's Symbolic Logic does not start where I expect him to start.
1 Uninterpreted Syntax of a Logical System
1. This section has to do with some rules of constructing certain strings of symbols called formulas, and for manipulating these formulas to build arrays called proofs. (Thomason, 1970).
AP writes: sadly, Thomason should have started where Copi started and all textbooks of Logic. Tell the student or reader--- What is Logic.
I start this book with my definition of Logic.
Logic is the science that helps one better to think straight and to think clearly, especially needed by scientists.
A batch of books to write, most important are two logic textbooks for the World has ___no logic textbook mostly free of errors____, at least almost free of errors. Instead,,,, by year 2025 massive errors in all college logic textbooks that I can see as far as the eyes can see, where all 4 of the simple logic connectors, the very most simple logic connectors are all in ruinous gross error.
The history of this textbook-- 1st year college Logic was based on a batch of books I began to write in year 2025.
#350 Geometry
#365 Calculus
#366 Logic
#367 Pure True Logic
#368 Advanced Logic
#369 Advanced Geometry
#370 Physics electricity
#371 Plutonium Atom Totality, 10th edition
#372 Improving the Scientific Method
#373 Thermodynamics Corrected
#374 Philosophical-Physics--- not only what is the purpose of life, but the purpose of physics
#372 book of science for AP--- Improving the Scientific Method by Archimedes Plutonium
I am going to need to add the Scientific Method as a part of my two textbooks on Logic, and also making it the subject of a separate book, #372.
--- quoting what I wrote in my #365 book Calculus ---
Chapter 1, An introduction of what this book is about.
...For decades now, I have been excoriating the fact that no college or university in the world has a correct teaching program for the subject of Logic. No college or university as of 2025 can teach two years of college Logic with the correct truth tables of the 4 most simple Logic connectors of Equal-Not, AND, OR, If--> Then. Every college and university across the world teach Error filled logic of Boole and Jevons for they have all 4 connectors wrong. So, how could AP tell all science majors to take 2 years of college logic, when no college or university on Earth has a correct Logic textbook? This series along with math and physics textbooks is needed. I start with this Calculus textbook for the AP series #365 through #373 are school textbooks that replace error filled textbooks in colleges and universities across the globe of Earth.
#350 Geometry
#365 Calculus
#366 Logic
#367 Pure True Logic
#368 Advanced Logic
#369 Advanced Geometry
#370 Physics electricity
#371 Plutonium Atom Totality, 10th edition
#372 Improving the Scientific Method
#373 Thermodynamics Corrected
--- end quoting what I wrote in my #365 book Calculus---
The date that I started in earnest to write this logic textbook is April of 2025, but I found out long time ago that writing a science textbook is the most difficult book to write, for it requires so much order and coordination, and giving out exercise problems. I found out that I could likely write 10 books of regular science in the time it takes me to write one textbook of science.
Archimedes Plutonium Apr 15, 2025, 1:37:23 AM to Plutonium Atom Universe newsgroup.
In recent years I ran into a big, big problem. I was telling professors of physics and mathematics that they lacked training in Logic in college and insisted that all science students take the prerequisite of 2 years of college Logic to help them think straight and clear.
But here is the problem, no Logic textbook except the books AP wrote have correct Logic. So how can you teach college students Logic for 2 years if no textbook on Logic has correct Logic.
In the past 7 years I wrote these books on Logic-- 13 books, but no textbook to use in classroom. And that is the purpose of this book.
1Suspend all College Classes in Logic, until they Fix their Errors 1Suspend all College Classes in Logic, until they Fix their Errors.JPG 2Correcting Reductio Ad Absurdum 2Correcting Reductio Ad Absurdum.JPG 3DeMorgan 3DeMorgan.JPG 4Pragmatism 4Pragmatism.JPG 169Consistency 169Consistency.JPG 172Occam.JPG 172OccamR 188Language->eq 188Language.jpg 199paradoxes 199paradoxes.jpg 231AllAtoms 231AllAtoms.jpg 300Unification philosophy.jpg 300Unificationphilosophy 318math-subset-logic 328Lowenheim 348Feynman's Atomic theory
I write this textbook on Logic for the 1st year College Logic course.
And given time, later in 2025 or probably more likely 2026 since this book is so time consuming, write Advanced Logic, for the 2nd year of College Logic required of all science students before graduating.
2) What is Logic in the first place?
Short and simple, Logic is the science of ideas and what future actions we take based on those ideas, and what ideas are true.
In Logic we examine ideas and manipulate ideas and focus and concentrate on ideas. We write ideas out and often label them with a p,q,r,s, etc. When you hear or see the words "Symbolic Logic" that means instead of writing out the idea in full, we just give them a label like p,q,r,s, etc.
Examples of various Ideas in Logic
----------------------------------------------
I woke up today and saw the Winter Solstice at 4:50 PM from my south window.
On 20 December 2025, I had 12 hours of sleep.
I am 17 years old today, 20 December 2025.
The temperature in my living room is 20 degrees Celsius around 70 degrees Fahrenheit.
I am a female going to High School.
I feel sad, depressed upon not being invited to the Party to dance and sing.
Let me label the above six ideas with Symbols as would be done in Symbolic Logic and analyze them each briefly.
A = (I woke up on 20 December 2025 and saw the Winter Solstice at 4:50 PM from my south window.)
B = (On 20 December 2025, I had 12 hours of sleep.)
C = (I am 17 years old today, 20 December 2025.)
D = (The temperature in my living room is 20 degrees Celsius around 70 degrees Fahrenheit.)
E = (I am a female going to High School.)
F = (I feel happy and full of glee, upon not being invited to the Party to dance and sing.)
In logic we usually label in Symbols with P, Q, R, S rather than start with A, B, C, but that is only common practice. You can label your idea with any letter of the alphabet you want, capital or not capital letters. Much the same as what goes on in algebra math A+B = C, or 5x = 35 and solve for x.
In math we have numbers to operate upon such as 2+5 = unknown. In Logic, we have something similar in that from the above list of statements: statement A AND statement B = a truth value.
So in math we have 2+5 = 7. What is the truth value of A AND B from the statements above? Statement A is "I woke up on 20 December 2025 and saw the Winter Solstice at 4:50 PM from my south window" which is true. Also, statement B is "On 20 December 2025, I had 12 hours of sleep" which is also true.
So when we connect A AND B in the joining together.
I woke up on 20 December 2025 and saw the Winter Solstice at 4:50 PM from my south window AND on 20 December 2025, I had 12 hours of sleep. That combined statement with connector AND is a true statement because both A is true and B is true.
But what about A AND C, or what about B AND E. Here we have A is true but C is false. We also have B is true but E is false. What is the joined together combined A AND C result in truth value. It is true. And the same goes for B AND E even though E is false.
How about A AND C AND E where we have 3 statements, only one of them is true? The answer is that the entire string is true if just one of the statements is true.
The reason a string of AND statements is true if just one statement is true, is that in Logic, a false statement is considered to have a truth value of zero, 0 or nothing. And so when we add in math we have 1 + 0 + 0 = 1.
There is a famous saying of how AND truth value works--- We do not throw the baby out with the bathwater. If a string of statements p, q, r, s, t, u, where only one of the statements is true, the rest all false, connected by AND, then the entire string is true.
Now with 2 statements there are 4 possible combinations for AND as connector. For statements P, Q. We could have P true Q true. We could have P true Q false. We could have P false Q true, and finally we could have both P and Q false.
In Logic we set up what is called a Truth-Table that easily lets us see the 4 possibilities for two variables P,Q.
P Q
--------------
T T
T F
F T
F F
Notice the first column is TTFF while the second column alternates with TFTF.
Whenever we have 2 variables (two statements) this pattern above gives us all the possible truth values for any given connector, such as AND connector.
In the case of A AND B above our first row covers that possibility. In the case of A AND C our second row covers that situation.
What if we took C AND F from the above which is this.
I am 17 years old today, 20 December 2025 AND I feel happy and full of glee, upon not being invited to the Party to dance and sing.
C is false because I am now 75 years old in 2025 while F is true, for I hate dancing and singing and only make a joke of myself.
Here C AND F is a joined together statement by the AND connector and follows row three above, where since F is true, the whole string is true.
Finally what if we joined together statements C AND E, both of which are false, for I am a 75 year old male. This joined statement is false for none of its statements is true and follows the fourth row above.
With two statements, two variables we form what is called a Truth Table in Logic for the connector of concern. In the above our connector was AND. And we formed all possible truth arrangements of two variables, P, Q by constructing this table.
P Q
T T
T F
F T
F F
Notice that pattern again of P being TTFF while Q being TFTF for that pattern captures all possible truth values of TT, of TF, of FT and of FF. We use the pattern over and over again for other connectors like that of OR, like that of Equal-Not, like that of If-->Then.
So let us complete the Truth Table of AND above.
P Q P AND Q
T T T
T F T
F T T
F F F
And summarize our findings. We find that AND is true whenever a single one statement of a string of statements is true. And the only time the AND connector is false is when the entire string of statements of AND have not a single true statement. We do not throw out the baby with the bathe water.
But let us now focus upon how we assign truth or falsity to a statement.
Assigning truth or falsity to a statement.
---------------------------------------------------
Short and simple, we assign truth to a statement if the statement is true in the particular science it pertains to. And a statement is false if science says it is false. Looking back at my statements from A through F
A = (I woke up on 20 December 2025 and saw the Winter Solstice at 4:50 PM from my south window.)
Science of astronomy says this is a true statement that around 20 to 21 December, the Winter Solstice takes place.
B = (On 20 December 2025, I had 12 hours of sleep.)
Science of sociology and psychology says this is true in that I am telling the truth.
C = (I am 17 years old today, 20 December 2025.)
History of AP says this statement is false and shows AP was born 1950 making him 75 years old.
D = (The temperature in my living room is 20 degrees Celsius around 70 degrees Fahrenheit.)
Science of sociology and electric bills paid show this to be false statement, in that AP's living room is likely to be no more than 15 degrees C or less than 60 degrees F.
E = (I am a female going to High School.)
Science of sociology and biology show AP was born a male, so the statement is false.
F = (I feel happy and full of glee, upon not being invited to the Party to dance and sing.)
Science of sociology and psychology and history show this to be true in that AP avoided parties of all types and had no pleasure in dancing or singing or partying.
In Logic, the truth of falsity of any statement is run through to science pertinent on the subject matter. More details on truth and falsity will come later.
Physics is the science of material objects, mass, motion, energy. Biology is the science of living objects and how living organisms behave in the environment. Logic is the science of ideas and to use language in communicating ideas and forming conclusions from those ideas. Mathematics is the science of correct use of the language of numbers-quantity and geometry figures and shapes. Just as mathematics is the correct use of numbers and figures of geometry, that Logic is the correct use of ideas and thoughts. In math we have numbers like 1,2,3,4, ... and figures of geometry like line, plane, square, rectangle, circle. In Logic we have statements of ideas and can label them as p, q, r, s, t, u, v, ... Math manipulates numbers and figures while Logic manipulates ideas as statements of a language. Sciences, logic and mathematics can be put into a diagram of subsets, where Physics is on top.
Physics
/
Chemistry
/
Astronomy, Geology
/
Biology which includes Sociology and Language
/
Logic
/
Mathematics
So Logic is the science of the correct use of ideas and reaching conclusions of those ideas communicated by a language, while in contrast, Mathematics is the science of the correct use of numbers as quantity and size and the use of geometry figures.
Both logic and math are languages. The job of Logic is correct use of ideas, while the job of math is the correct use of numbers and geometry figures. Since math is ideas of numbers and geometry, then that means Logic is a set that is larger than math and contains all of math inside of logic. We call this a "meta-language". When one language has another language inside itself, we say Logic is a meta-language of Mathematics. Logic is the larger set that has all of mathematics as a subset.
Now one may think that Logic is the Meta-language and no other set is larger than logic. That is not true. For Physics is larger than logic. Physics is the largest set of all, having all the other sciences inside of Physics and having Logic and mathematics inside of Physics. This probably sounds strange to most people to think that Physics controls Logic a language corrector. Later in this book we talk about Superdeterminism, some prefer to call it "quantum entanglement". It is a physics experiment done many times in different labs with the stunning result that the world has a superpower of an Atom Totality that controls all humans as if they are puppets, doing the wishes of the Atom Totality. When the world has something like that, means that Physics is the supreme knowledge and everything else is a subset of physics. Physics is the final metalanguage.
In logic, the science of correct use of ideas, definitions are important. And we can reduce many concepts to their primal meaning.
For example, geometry is a poor choice of term for what is really "shape".
Number is a poor choice of term for what is really "size". Some may say "quantity" but quantity is no better than "number". For example, the size of shape makes more logical sense than the quantity of shape. This is physics complamentarity, that number and geometry are complamentarity as is electric complamentarity to magnetism. So the best primal term definition for "number" is size. Numbers speak to size. Geometry speaks to form and shape.
Note: I spell the word Complimentarity of Old Physics as Complamentarity as to not confuse it with similar but confusing spellings.
Subtraction is a poor choice of term for what is really "remove". And if human history had never used the term subtraction but only used "remove" the science of mathematics would not have been encumbered by the "manifest idiocy" of negative numbers.
Physics is a good choice of a term to describe all sciences and all human thought. For that word sticks out from all other words.
Logic is a poor choice of term for what is really "the scientific method". Math is correcting numbers and geometry. Logic is correcting the use of ideas and the scientific method is the use of ideas in physics (or other sciences), for physics is based on experiments that follows the scientific method blueprint.
The Scientific Method in brief.
---------------------------------------
--- source from Internet ---
Step 1-- Make observations and ask many questions.
Step 2-- Research the subject matter and Review the literature on the subject.
Step 3-- Formulate a Hypothesis of what you think is going on.
Step 4-- Conduct Experiments pertaining to your hypothesis.
Step 5-- Collect data from the experiment/s and analyze the data.
Step 6-- Draw conclusions.
Step 7-- Publish the results.
So yes, so the teaching of Logic, 1st year in College and University is much like teaching Mathematics of its 4 operators of add, subtract, multiply, divide, and add on 2 more operators of derivative and integral to math which are reflected in 6 Connectors of Logic as Equal-Not, AND, OR, If->Then, Existential quantifier, Universal quantifier.
Math is the correct use of Quantity-Number- Size and Geometry Shape. While Logic is the correct use of ideas communicated in a Common Language.
Math is the language that Physics needs for detail and precision on quantity-size and geometry shape.
First let us do a perspective of where Logic fits into the scheme of things of Knowledge and Wisdom.
Structure of all Knowledge and Wisdom
-------------------------------------
It is good to place logic in a structural framework to compare its importance to other forms of knowledge.
The pinnacle peak of knowledge and wisdom is of course science, for it is science that brought humanity as advanced intelligent life and allowed us to walk on the Moon. Soon it will be science that allows humanity to escape the Sun gone Red Giant and live for a million years longer on Europa, a satellite of Jupiter.
And the pinnacle peak of Science is Physics.
Here is a schemata diagram listed by order of importance of what can be called the important knowledge and wisdom.
Physics
Chemistry
Astronomy
Geology
Biology
Physiology & Medicine,Psychology
Sociology includes Language, Philosophy, Religion, economics, music, art
Logic
Mathematics
All of them are a subset of Physics. The last two are Logic and Mathematics because most people can go through life without knowing either one of them, or, utilizing either logic or mathematics. Everyone every day, every second experiences the forces of physics, even if they do not know or understand the laws of physics.
What is Logic?
------------------------
Logic and mathematics are corrections and precision mechanisms for science. Highly important are both roles of Logic and mathematics.
Logic corrects and makes precise the actions taken in science experiments and in communication via language of the science in question. While Mathematics is the precision of quantity, size, and shape and figure.
Chemistry is a subset of Physics, and biology is a subset or chemistry and physics. Without physics and chemistry there would not be a biology.
Without Physics, there would not be a logic nor mathematics.
And Mathematics is a subset of Logic. By that I mean everything found true in mathematics, can be found true in Logic. Going even further, everything found true in Logic must be found in Physics in the Axiom Principle of Physics-- All is Atom and Atoms are nothing but electricity and magnetism. That means the Laws of Electromagnetism contain all the major principles and ideas of Logic, as well as mathematics.
If Logic is superior to mathematics, then everything in mathematics can be pulled out of Logic. So, let us pull out of mathematics the 6 connectors of Logic.
The 6 Connectors of Logic
-------------------------
Not-Equal
And
Or
If--> Then
There Exists
For Every
The 6 Operators of Mathematics
------------------------------------------------------
Multiplication (which is Equal-Not)
Addition (which is And)
Subtraction (which is Or)
Division (which is If-->Then)
Derivative (which is the existential quantifier)
Integral (which is the universal quantifier)
Somewhat surprising that derivative and integral of calculus math is the Existential and Universal quantifiers of Logic.
Maybe more surprising is that multiply, add, subtract, divide are algebra while derivative and integral are geometry.
Forced to start the 6 Logic Connectors with Existential quantifier and then next with Not-Equal
-----------------------------------------------------
Every logic textbook I have ever seen starts with the connector AND, and Copi, 4th edition, 1972, Introduction to Logic is no exception. He does the AND truth table on page 248, then the negation Not on page 250 and then the disjunction OR on page 251. He gets all three of them wrong for a truth table. In fact, Boole & Jevons logic have all the Connectors wrong and in error.
Every logic textbook probably start with AND connector because, mathematics starts with Addition, so they thought, probably because of Mathematical Induction yields all the integers starting with 0 and adding 1. Only AND is often called conjunction and OR often called disjunction. Not is called negation.
But in Logic, we have to start logically the 6 connectors and of those 6, the logical start is the question of Existence. No use in pondering something that does not exist. So we start with Existence. Does the idea bear existence what we call reality? Once we established if an object exists or does not exist, we then see that Not-Equal must be the second connector to be introduced. For the Not is in "not exist".
And in Logic, we have Truth tables that need equal signs, and we cannot do any operator first unless we can understand it exists or not exists and then ask what is equal. Notice also, that by combining Equal with Not we form them into a 4 row truth table of all possibilities for truth values of two variables, a TT, a TF, a FT, and a FF. If we study Equal alone we have only T=T and F=F. And we cannot have a study of T =F or F=T. So we combine Equal with Not. We escape the operators being just two-fold value truth table, and make Equal and Not be four-valued truth table operators like the others of AND, of OR, of If-->Then.
Now sometime I am going to get this correct. And it is important. You cannot have chemistry without physics. And you cannot have biology without chemistry, but you __can have__ astronomy without biology. So I need a massive repair here.
Here is a schemata diagram listed by order of importance of what can be called the important knowledge and wisdom.
Physics
Chemistry
Astronomy
Geology
Biology
Physiology & Medicine,Psychology
Sociology includes Language, Philosophy, Religion, economics, music, art
Logic
Mathematics
Now let me run through that schemata to see if logically correct. This correction is an exercise in logic itself, utilizing logic.
You cannot have chemistry without physics, and you cannot have astronomy without chemistry and physics. And you cannot have geology without astronomy. You cannot have Biology without all the fore mentioned sciences.
Is that true? You cannot have biology unless you have physics, chemistry, astronomy, geology in place?? Sounds reasonable for then you would have life coming into creation in the thinness of deep outer space. Sounds reasonable that life needs a vast array of chemicals all in on place location to form first life. What was the most heavy element essential for life?? It was beyond phosphorus, possibly manganese and iron. Both plant and animals, I cannot envision life creation without an environment of iron and all the elements before iron.
So once we have Biology in the schemata diagram we have lots of biological related sciences --- the physiology of plants and animals and medical science is part of physiology. The brain covered by psychology and were likely the meristem (root tips) in plants is plant brains.
Then we have a whole category of sciences that compose Sociology, and some people will refuse to see them as sciences, but collectively they compose the social interactions of a species of animals.
Lastly, we see the sciences of Logic and then Mathematics. You cannot have logic or math without a social animal forming logic and math.
If there were no human social animal on Earth, there would be no Logic or Mathematics on Earth.
And that corrected schemata suggests the purpose and function of Logic is more than correct the Language for clarity of ideas, but also suggests that Logic is the ___ Deductive Reasoning___ for mathematics.
A mathematics in a world without Logic is a mathematics without Deductive Reasoning.
Take for example the Pythagorean Theorem of A^2 + B^2 = C^2 of the sides of a right-triangle. The proof of a math conjecture is outside of math itself, and reaches for a new higher level of thought and thinking. That higher level is often called a meta-language. And in the case of all of mathematics--- whenever we want to do a math proof, we go outside of mathematics itself to achieve a math proof.
In fact, without any words we prove the Pythagorean Theorem in a few pictures. See the Internet or Wikipedia of the proof of the Pythagorean theorem without any words, just geometry picture diagrams.
So, we end up with the picture that Logic as a subject is that of Precision Language for correct ideas and that of being Deductive Reasoning. We are left with the picture that Mathematics is the last form of science as being Precision size-quantity (algebra) and precision geometry of shape and figure.
But we should not view the Schemata as top to bottom with Physics on top and Mathematics on bottom, instead we should view the Schemata as a full circle. A circle that comes around.
Where Physics is in the circle and to the right of physics is chemistry and to the left of physics is mathematics, coming around full circle with all the other sciences in between.
Now at this moment I am stuck on another issue--- Is multiplication of math that of Equal-Not of Logic.
I remember somewhere in Algebra, that Multiplication was very unique over addition, subtraction and division. So unique was multiplication that it played a special role in Galois Algebras.
I bring this up because Equal-Not has a truth table of TTTT. The only 4 valued truth table of all Trues. While the next one is addition as AND with truth table TTTF. AND of course is addition in Logic.
The Logical Idea here is that of the 4 out of 6 operators of Math and the 4 out of 6 connectors of Logic, that those four truth tables have to represent these four.
One True TFFF
Two True FTTF
Three True TTTF
Four True TTTT
You see Boole and Jevons never had a logical mind in the first place to create logic. For they were scatterbrained. They had OR with two different types of OR, one called inclusive-or and one called exclusive-or. They did not have a connector of TTTT.
It is multiplication as a combined Equal with Not to form TTTT.
And then there is the mess of Logic as Propositional Logic versus Predicate Logic, where the two quantifiers are made outliers to the other four connectors. Since Boole and Jevons got all 4 operators wrong and in a mess, I am certain that Propositional logic versus Predicate Logic is a mess also.
Taking one more glance at this schemata diagram to see if correct. Yes, I see no trouble in that. For you cannot have a Logic or Mathematics if a Sociology of language is not present. You cannot have a Sociology if you have no minds of psychology. And a mind of psychology cannot exist if there is no physiology.
It is a shame, pitiful shame that Boole and Jevons had no logical minds in the first place to be the fathers of modern logic, because they screwed up on all 4 of the most simple logic connectors--- Equal-Not, AND, OR, If-->Then (some call it Implies; I prefer "moves into" over that of If-->Then).
If Boole and Jevons had had a logical mind, they would have eventually come to the idea in their heads, that all 4 of the Simple Logic Connectors had to be Consistent and Complete. And by consistent OR can have only one truth table for it is hypocritical to have a inclusive Or and a different Or of exclusive. By Complete, Boole and Jevons should have seen that once they had the four simple connectors, that all possible Outcomes should be Available-- One T, Two Ts, Three Ts, and 4 Ts.
One True TFUU which is the If-->Then
Two True FTTF which is the OR
Three True TTTF which is the AND
Four True TTTT which is the Equal-Not
But Boole and Jevons did not have a Logical Mind to be creating Logic. And regrettably, that is why AP is the father of Modern Logic.
I say regrettably because poor Boole was never cut out to be the father of logic. Why he went to school to teach class in a downpour rain forgetting his umbrella and to fix his pneumonia, he and his wife thought that by getting more cold-- taking a cold bath would cure him. We cannot have a father of logic that is logically stupid in daily life living.
You see Boole and Jevons never had a logical mind in the first place to create logic. For they were scatterbrained. They had OR with two different types of OR. They did not have a connector of TTTT.
I realize that the Universal Quantifier has all truth values as being True. For every Atom, has a proton is a universal statement, and true for every Atom. While the Existential Quantifier such as There exists an Atom with only 8 protons, is true for some atoms but false for other atoms.
So, well, I cannot use the Universal Quantifier for the truth table TTTT. And so I realize the fact that only Equal-Not remains to become Multiplication. I realize also that Universal Quantifier is a form of multiplication, and then there is the multiplication of the integral of calculus. While Equal-Not is multiplication of the simple 4 operators of math --- add, subtract, divide and multiply.
So, what I am harping on here is the idea that Mathematics is all a subset of Logic, for everything in math should be gotten from Logic, and Logic of course is a subset of Physics.
So we have in mathematics, actually, 6 operators of add, subtract, divide and multiply with differentiation and integration. And we have in Logic 6 connectors of AND, OR, Implication (If-->Then), Equal-Not, Existential quantifier and Universal quantifier.
To start the truth-tables of Logic for AND, OR, Implication (If-->Then), Equal-Not, I need to start with Existential quantifier moving next into that of Equal-Not for the not-exist possibility and that equality is used in the truth tables themselves.
There is just no getting away from starting Logic with Existence and then not-exist and equality. And since AND is add, OR is subtract, Implication (If-->Then) is division, leaving me only with Equal-Not as having to be Multiplication.
As I said earlier, a hallmark of Logic is Consistency, with no contradictions. When you have truth tables of AND as TFFF in Old Logic and have OR truth table be of two different kinds, like saying there are two different kinds of subtraction in math. With the Inclusive OR as TTTF (the contradiction of saying --- either or or both --- which is like saying in mathematics --- add or subtract or both --- then of course. You can end up saying TFFF equals TTTF by a shifting of a "not" connector, making the Ts be Fs and vice versa, which ends up forming bogus rules of inference and destroys all of Logic.
This is why AP insists for the sake of consistency, that the 4 Connectors have different truth tables as such.
One has one T.
One has two Ts.
One has three Ts.
One has all four being Ts.
The inclusive OR of Old Logic was-- anti-logical, illogical. And Boole, Jevons mixed up AND with exclusive OR. They ended up having AND as subtraction with OR as addition, as used in modern day computers, are programmed with the Boole and Jevons mistake as seen by a post in sci. math, where Franz in Germany is explaining how all modern computers are running on a fake AND and a fake OR.
On Saturday, June 8, 2019 at 3:05:40 PM UTC-5, Me (Franz) wrote:
> On Saturday, June 8, 2019 at 12:02:25 AM UTC+2, Archimedes Plutonium wrote:
>
> > 1) 10 OR 4 = 14
>
> Right! Python:
>
> def OR(x, y):
> return operator.or_(x, y)
>
> print(OR(10, 4))
>
> ==> 14
>
> > 10 AND 4 = 14
>
> Nope. Python:
>
> def AND(x, y):
> return operator.and_(x, y)
>
> print(AND(10, 4))
>
> ==> 0
>
What Boole and Jevons never recognized is an old old old truth about the world we live in. If you have a series of statements to evaluate, and if one just one is true, all the rest are false, then the __overall value of that series of statements__ is itself True. As the saying goes, we do not throw out the baby in the bathe water. For some reason, the illogical minds of both Boole and Jevons never caught that reality. That the true truth table of AND is TTTF, not TFFF.
If you look at Copi's Introduction to Logic, 1972, 4th edition front inside cover he lists (9.) Addition p therefore p OR q. When any clown, or fool knows, that AND is addition.