Differences

This shows you the differences between two versions of the page.

--- public:t_720_atai:atai-20:knowledge_representation [2020/10/06 14:54] – [Symbols, Models, Syntax] thorisson
+++ public:t_720_atai:atai-20:knowledge_representation [2024/04/29 13:33] (current) – external edit 127.0.0.1
@@ Line 102: / Line 102: @@
 |  What It Is  | The establishment of axioms for the world and applying logic to these.    |
 |  Depends On  | Semantic closure.   |
-|  But The World Is Non-Axiomatic !  | Yes. But there is no way to apply logic unless we hypothesize some pseudo-axioms. The only difference between this and mathematics is that in science we must accept that the so-called "laws" of physics may be only conditionally correct (or possibly even completely incorrect, in light of our goal of figuring out the "ultimate" truth about how the universe works).     |
+|  But The World Is Non-Axiomatic !  | \\ Yes. But there is no way to apply logic unless we hypothesize some pseudo-axioms. The only difference between this and mathematics is that in science we must accept that the so-called "laws" of physics may be only conditionally correct (or possibly even completely incorrect, in light of our goal of figuring out the "ultimate" truth about how the universe works).     |
 |  Deduction  | Results of two statements that logically are necessarily true. \\ //Example: If it's true that all swans are white, and Joe is a swan, then Joe must be white//.    |
 |  Abduction  | Reasoning from conclusions to causes. \\ //Example: If the light is on, and it was off just a minute ago, someone must have flipped the switch//.     |