(March 19, 2017 at 9:09 am)LastPoet Wrote: #1: only propositions hold a logic value (true or false). Interrogations e.g. are not propositions.
#2: a proposition both true AND false is always false (no contradiction)
#3: a proposition that is true OR false is always true. ( the excluded middle)
After that you only need to make the construct.
You should try to discipline your thoughts by these 3 axioms. These are the laws of thought. The basis of logic.
Slightly different are the three logical absolutes proposed by Aristotle (in order: law of identity, law of non-contradiction, law of excluded middle):
1. X is X.
2. X cannot be both true and false.
3. X can only be true or false.
Your logical absolutes are correct, but I like these better based on their simplicity.
Without any of these axioms, logic is completely useless.
"Faith is the excuse people give when they have no evidence."
- Matt Dillahunty.
- Matt Dillahunty.