User:Boris Tsirelson/Sandbox1: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
imported>Boris Tsirelson
No edit summary
Line 1: Line 1:
===Consistent or inconsistent===
:Line: a length without breadth or thickness
 
::Length: linear extent in space
If a theory states that 2+2=5, it is a paradox but not yet a contradiction. By "paradox" people may mean
:::Linear: along a line(!)
*a contradiction;
:::Extent: a range of locations
*an apparent contradiction;
::::Location: point or extent(!) in space
*something counterintuitive;
:::Space: unlimited expanse in which everything is located(!)
*something surprising;
*something ironic;
etc. In contrast, a contradiction (in a mathematical theory) is, by definition, a pair of theorems (of the given theory) such that one is the negation of the other. Thus, two theorems
: <math>2+2=4,</math>
: <math>2+2=5</math>
are still not a contradiction. Two theorems
: <math>2+2=4,</math>
: <math>2+2\ne4</math>
are a contradiction.
 
If a contradiction exists in a given theory, this theory is called inconsistent. Otherwise, if no contradiction exist (rather than merely not found for now), the theory is called consistent.
 
For a mathematician, an inconsistent theory is completely useless. Some philosophers disagree:
 
<blockquote>Superstitious dread and veneration by mathematicians in face of a contradiction (Ludwig Wittgenstein)</blockquote>
 
But a mathematician insists: an inconsistent theory is completely useless, since ''all'' statements (in the given language) are theorems! The reason is, proof by contradiction.
No matter which statement ''X'' is in question, we always can prove ''X'' as follows:
* Assume that ''X'' is false;
* ... (put the contradiction here);
* the assumption leads to a contradiction, thus ''X'' is true.
It is tempting to object that the contradiction has nothing in common with the assumption and therefore cannot invalidate it. However, the rules of formal logic do not demand that the contradiction has something in common with the assumption. Some attempts to change these rules were made (so-called "relevance logic", or "relevant logic"), but with little success. It is always possible to obfuscate the proof of the contradiction, making it seemingly entangled with ''X''. We have no formal criterion able to unmask any possible fictitious participation of ''X'' in the proof of the contradiction.
 
-------------------------------------------
 
[http://en.wikipedia.org/wiki/Strict_conditional wp:Strict conditional]
 
[http://en.wikipedia.org/wiki/Paradoxes_of_material_implication wp:Paradoxes of material implication]
 
[http://en.wikipedia.org/wiki/Relevance_logic wp:Relevance logic]

Revision as of 07:58, 14 June 2010

Line: a length without breadth or thickness
Length: linear extent in space
Linear: along a line(!)
Extent: a range of locations
Location: point or extent(!) in space
Space: unlimited expanse in which everything is located(!)
Retrieved from "https://citizendium.org/wiki/index.php?title=User:Boris_Tsirelson/Sandbox1&oldid=628428"