🇳🇱
> Dear Dr. Freemo: I am starting to comprehend and understand the lucidity of your written statements before me.This seems so abstract, this seems to be the abstract study of propositions and statements, to me, this seems to be more of a mathematical operational model
Yes it is a bit abstract... in fact the formal term as you hint at is "prepositional logic"... and in fact specifically "First order prepositional logic". Its very similar to logic in computer programs... it doesnt care if they conclusion is true, only that it satisfies the rules :)
Math is little more than formalized logic so yea it is a mathematical model, but as with much of math this was bore out from philosophy... In philosophy it deals closely with the idea of Ontologies, which has also been formalized in math (ontologies are the vocabulary we use to describe prepositional logic).
> So if I am correct, we are drawing inferences from relationships, which allows us to make assumptions, I would think that our own biases could contaminate and alter the results in seeking the truth.
In formal logic biases can not pollute the system in how you reason about it but may pollute the system in terms of the axioms you bring (which is outside the logic itself and harps back to my point)... Let me give an example.
Only animals have horns.(axiom)
All unicorns have horns. (axiom)
All things with horns can stab you in the face. (axiom)
Therefore all unicorns are animals and can stab you in the face. (inference, an act of making the implicit explicit)
This is perfectly valid logic, even though unicorns dont actually exist the logic above is valid. It in no way deals with truth and only deals with extracting the implicit out of the explicit.
