Axiom
From Logic
(Difference between revisions)
| Line 1: | Line 1: | ||
In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated or, in some cases even demonstratable in theory, but considered to be either self-evident, or at the least required for a system to work. Therefore, its truth is taken for granted, and serves as a starting point for deducing and inferring other (theory dependent) truths. | In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated or, in some cases even demonstratable in theory, but considered to be either self-evident, or at the least required for a system to work. Therefore, its truth is taken for granted, and serves as a starting point for deducing and inferring other (theory dependent) truths. | ||
| - | In some cases, an axiom is defended through [retortion]. | + | In some cases, an axiom is defended through [[retortion]]. |
Current revision as of 13:53, 21 June 2009
In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated or, in some cases even demonstratable in theory, but considered to be either self-evident, or at the least required for a system to work. Therefore, its truth is taken for granted, and serves as a starting point for deducing and inferring other (theory dependent) truths.
In some cases, an axiom is defended through retortion.
