Logic and Truth
- Aristotelian logic is bimodal. There is true and false.
- Given sentences, you can show that the set of sentences
are consistent or inconsistent.
- Given sentences you can derive new sentences, and show things
are true.
- So, given the sentence if A then B, and A, you can say B is true.
- If A is good lecturer and B is have white shoes, is the statement
I have white shoes true?
- Am I a good lecturer?
- Are my shoes white?
- In reality, the system (FOPL and the sentences) is self-contained.
Reference beyond the system is not clear.
- There are lots of other logics.
- While true and false are useful concepts, in reality they are fuzzy.
