This commit is contained in:
Miloslav Ciz 2025-07-29 14:54:27 +02:00
parent 531fb64cc1
commit 12f160ddce
17 changed files with 2025 additions and 1996 deletions

View file

@ -27,6 +27,8 @@ We don't know if our logic is always correct or not, we only know it's useful to
- There can probably exist different systems of logic, similar to our own.
- Trying to use many different systems of logic together however won't help, in the end any merger is just a new logic with its own flaws.
DIGRESSION: Can we in fact be sure that our logic has limitations if arrived at this conclusion using this exact, potentially faulty logic? Indeed not, here we meet the ultimate uncertainty, eventually we cannot be sure of absolutely ANYTHING. By stating we are "sure" of anything here we merely mean we are "as sure as we can ever be" about anything, which nonetheless doesn't imply absolute certainty.
Let's now poke a bit on specific examples of different logic systems, demonstrated by a table:
| logic | values | correct? |
@ -47,6 +49,7 @@ The *logic* column lists a selection of possible logic systems (correct or not),
- [math](math.md)
- [philosophy](philosophy.md)
- [mindfuck](mindfuck.md)
- [epistemology](epistemology.md)
- [knowability](knowability.md)
- [science](science.md)