Differences

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

--- public:t-713-mers:mers-23:empirical-reasoning-1 [2023/10/20 14:44] – [Empirical Reasoning vs. Mathematical Reasoning] thorisson
+++ public:t-713-mers:mers-23:empirical-reasoning-1 [2024/08/20 12:20] (current) – [Empirical Reasoning vs. Mathematical Reasoning] thorisson
@@ Line 55: / Line 55: @@
 |  Analogy  |  Complete \\ (always, due to complete knowledge of data and semantics).  |  Defeasible \\ (always, due to With incomplete data and semantics).   |
 | |||
-| <sup>1</sup> By 'defeasible' is meant that it //may// be found to be incorrect, at any time, given additional data.  |||
+| <sup>1</sup> By 'defeasible' is meant that it //may// be found to be incorrect, at any time, given additional data, reconsideration of background assumptions or discovery of logic errors.  |||
 | <sup>2</sup> By 'safe' is meant that the output of a reasoning process is provably correct and can be trusted.  |||
 | <sup>3</sup> By 'complete' is meant that the output of a reasoning process leaves nothing unprocessed.  |||