Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| public:t-713-mers:mers-23:empirical-reasoning-1 [2024/04/29 13:33] – external edit 127.0.0.1 | public:t-713-mers:mers-23:empirical-reasoning-1 [2024/08/20 12:20] (current) – [Empirical Reasoning vs. Mathematical Reasoning] thorisson |
|---|
| | Analogy | Complete \\ (always, due to complete knowledge of data and semantics). | Defeasible \\ (always, due to With incomplete data and semantics). | | | 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>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. ||| | | <sup>3</sup> By 'complete' is meant that the output of a reasoning process leaves nothing unprocessed. ||| |
