Truth course
From Huben's Wiki
| Line 75: | Line 75: | ||
***symbolic logic | ***symbolic logic | ||
***proof is computation (string transformation) | ***proof is computation (string transformation) | ||
| − | **Venn diagram of reasoning: | + | ***many other logics |
| + | **Venn diagram of reasoning [[File:VennReasoning.jpeg|100px|thumb|right|Venn diagram of reasoning]] | ||
| + | ***No real-world premises are true: all break down at some point. | ||
| + | ***Examples of invalid real-world assumptions (premises): | ||
| + | **# The sky is blue. | ||
| + | **# The sun rises in the East. | ||
| + | **# All swans are white. | ||
| + | ***Many of our methods of reasoning are heuristic (usually valid guesses), not logically valid. | ||
**science: difference between truth and honesty, lack of perfect proof | **science: difference between truth and honesty, lack of perfect proof | ||
***a search for reliable knowledge | ***a search for reliable knowledge | ||
