Přeskočit na obsah

Paradox hromady

Z Wikipedie, otevřené encyklopedie

Paradox hromady (nebo také sorites paradox, zkráceně sorites; z řec. σωρειτης) je označení pro skupinu paradoxů (zahrnující např. původní Eubúlidovy paradoxy hromady a holohlavého) vycházejících z vágnosti použitých termínů. Vágní termíny nemají přesně vymezené použití, takže není možné jednoznačně určit, v jakých případech je aplikace termínu správná a v jakých již nikoli. Sorites paradox využívá tuto nemožnost určení přesné hranice aplikovatelnosti termínu. Paradox hromady lze formulovat následovně:

Ke vzniku dochází díky vlastnosti vágních termínů známé jako tolerance. U precizních termínů je jednoznačně určena jejich oblast aplikovatelnosti, takže i když dojde k nepatrné změně týkající se rysů určujících aplikovatelnost termínu, může vlivem této malé změny dojít ke změně aplikovatelosti termínu. Pokud například přičteme k celému číslu 0,000001, nebude již výsledkem celé číslo. Vágní termíny oproti tomu takto drobné změny „tolerují“ – nechceme tvrdit, že přidáním jediného zrnka písku k něčemu, co není hromada, najednou hromada vznikne.

Sorites paradoxy je možné formulovat ve dvou komplementárních variantách. Zatímco v první je cílem paradoxu ukázat, že daný vágní termín je aplikovatelný na všechny relevantní objekty, cílem druhé varianty je ukázat, že vágní termín není aplikovatelný na žádný relevantní objekt.

Sorites polysylogismus

[editovat | editovat zdroj]

Tato varianta paradoxu je charakteristická zřetězením mnoha premis do podoby jednoho dlouhého argumentu majícího podobu jako v příkladu v úvodu, formálně pak:

Tento tzv. sorites polysylogismus je možné rozložit na jeho konstitutivní části mající podobu zřetězení mnoha instancí modu ponens:

Matematická indukce

[editovat | editovat zdroj]

Předchozí variantu paradoxu je možné velmi výrazně zkrátit s využitím matematické indukce. Tímto se celý paradox zkrátí na dvě premisy a závěr:

Demarkační varianta

[editovat | editovat zdroj]

Tato varianta paradoxu vychází z matematicko-induktivní varianty a vzniká negací jejího závěru. Demarkační (line-drawing) varianta paradoxu vychází z premisy, že vágní termín, v závislosti na variantě paradoxu, buď není aplikovatelný na všechny objekty, nebo je aplikovatelný alespoň na nějaké. Pokud ale toto přijmeme, pak je nutné uznat existenci nějaké ostré hranice vymezující aplikovatelnost vágního termínu.

Spojitá varianta

[editovat | editovat zdroj]

Zatímco předchozí tři varianty paradoxu je možné považovat za diskrétní v tom slova smyslu, že vždy postupují po jednotlivých krocích, Colyvan a Weber[1] předložili argument, který je podle nich variantou sorites paradoxu a je spojitý – neobsahuje tedy žádné jednotlivé kroky. Tento argument ale napadá Rizza právě z toho důvodu, že postrádá jakékoli kroky, přičemž ty se zdají být pro formulaci sorites paradoxů podstatné.

Přístupy k řešení paradoxu

[editovat | editovat zdroj]

Popření paradoxu

[editovat | editovat zdroj]

Podle některých filosofů (např. Russella[2] a Quina[3]) vzniká paradox díky aplikaci logiky na přirozený jazyk, což je ale neadekvátní způsob použití logiky. Logika umí pracovat pouze s precizními termíny a sorites paradox vzniká díky tomu, že se precizní nástroj snažíme použít na vágní přirozený jazyk.

Epistemicismus

[editovat | editovat zdroj]

Epistemicismus je názor, jehož proponenti sice tvrdí, že existuje ostré vymezení aplikovatelnosti všech vágních termínů, ale je principiálně nemožné zjistit, kde se tato hranice nachází. Podle Williamsona[4] není člověk dostatečně kognitivně vybavený, aby mohl rozlišit mezi velmi podobnými případy – například mezi hlavou s 258 a hlavou 259 vlasy. I kdybychom věděli, že minimální počet vlasů potřebný pro to, abychom nebyli holohlaví, je 259, stejně bychom nemohli o někom prohlásit s jistotou, jestli je nebo není holohlavý.

Vícehodnotové přístupy

[editovat | editovat zdroj]

Přístup založený na aplikaci vícehodnotových logik je založený na myšlence, že objekty, na než jsou vágní termíny aplikovatelné, je možné rozdělit do tří skupiny – objekty, na něž je vágní termín aplikovatelný, objekty, na něž aplikovatelný není, a na objekty u nichž není jasné, jestli na ně termín může být aplikován. Tomuto rozdělení objektů by měla odpovídat i logika obsahující 3 pravdivostní hodnoty. Jednotliví proponenti tohoto přístupu (např. Tye[5] nebo Halldén[6]) se od sebe liší především druhem aplikované logiky.

Supervaluacionismus

[editovat | editovat zdroj]

Supervaluacionismus je přístup založený na van Fraassenově[7] supervaluační sémantice. Supervaluacionisté věří, že k tomu, aby bylo možné určit pravdivostní hodnotu výroku obsahujícího vágní termín, je zapotřebí tento termín nejdříve zostřit, resp. precizovat, přičemž takovýchto zostření může být velmi mnoho. V každém zostření je pak s vágním termínem nakládáno jako s precizním, tedy s majícím jasně vymezenou oblast aplikovatelnosti. Pravdivostní hodnota výroku se následně řídí supervaluací beroucí v úvahu všechna zostření. Pokud je výrok pravdivý ve všech zostřeních, pak je výrok superpravdivý. Pokud je výrok nepravdivý ve všech zostřeních, pak je supernepravdivý. Pokud je výrok v některých zostřeních pravdivý a v jiných nepravdivý, pak výrok nemá pravdivostní hodnotu.

Plurivaluacionismus

[editovat | editovat zdroj]

Podle plurivaluacionistů existuje množství ekvivalentních interpretací vágního jazyka, přičemž žádnou z nich není možné žádným způsobem privilegovat. Oproti supervaluacionismu, který zavádí vlastní sémantický aparát, plurivaluacionismus nic takového nedělá a je kompatibilní s více přístupy. V současné době asi nejznámější je varianta plurivaluacionismu využívající fuzzy logiku[8][9], nicméně existují i proponenti jiných verzí plurivaluacionismu[10].

Nihilismus

[editovat | editovat zdroj]

Podle tohoto přístupu[11] není paradox hromady paradoxem, ale platným argumentem ve prospěch neexistence složených věcí. Sorites je chápán jako důkaz toho, že neexistují takové věci jako hromady, stopy apod., ale pouze individuální „atomy“, z nichž jsou tyto věci složeny. Negativní forma paradoxu hromady (tj. ta, v níž se dokazuje neexistence něčeho) je chápána jako přímý důkaz neexistence složených věcí, pozitivní varianta je chápána jako nepřímý důkaz téhož.

  1. COLYVAN, Mark; WEBER, Zach. A Topological Sorites. The Journal of Philosophy [online]. 2010-06-01 [cit. 2019-02-05]. DOI: 10.5840/jphil2010107624. Dostupné online. DOI 10.5840/jphil2010107624. 
  2. RUSSELL, Bertrand. Vagueness. Australasian Journal of Philosophy. 1923, roč. 1, čís. 2, s. 84–92. Dostupné online. 
  3. QUINE, Willard V. O. What Price Bivalence?. The Journal of Philosophy [online]. 1981-02-01 [cit. 2019-02-05]. DOI: 10.2307/2025901. Dostupné online. DOI 10.2307/2025901. 
  4. WILLIAMSON, Timothy. Vagueness. New York: Routledge 1 online resource (xiii, 325 pages) s. ISBN 020301426X, ISBN 9780203014264. OCLC 70769329 
  5. TYE, Michael. Sorites Paradoxes and the Semantics of Vagueness. Philosophical Perspectives. 1994, roč. 8, s. 189. Dostupné online [cit. 2019-02-05]. ISSN 1520-8583. DOI 10.2307/2214170. 
  6. HALLDÉN, Sören. The Logic of Nonsense. Uppsala: Uppsala Universitets Arsskrift, 1949. 
  7. VAN FRAASSEN, Bas C. Singular Terms, Truth-Value Gaps, and Free Logic. The Journal of Philosophy [online]. 1966-01-01 [cit. 2019-02-07]. DOI: 10.2307/2024549. Dostupné online. DOI 10.2307/2024549. 
  8. SMITH, Nicholas J.J. Vagueness and Degrees of Truth. Oxford: Oxford University Press, 2008. Dostupné online. 
  9. BĚHOUNEK, Libor. In Which Sense Is Fuzzy Logic a Logic for Vagueness?. PRUV 2014: Logics for Reasoning About Preferences, Uncertainty, and Vagueness, (CEUR Workshop Proceedings, Volume 1205). 2014. Dostupné online. 
  10. WANG, Wen-Fang. Three-Valued Plurivaluationism: A Reply to Williamson's Criticisms on the Three-Valued Approach to the Sorites Paradox. The Philosophical Forum. 2016, roč. 47, čís. 3–4, s. 341–360. Dostupné online [cit. 2019-02-07]. ISSN 1467-9191. DOI 10.1111/phil.12127. (anglicky) 
  11. UNGER, Peter. There Are No Ordinary Things. Synthese. 1979, roč. 41, čís. 2, s. 117–154. Dostupné online. 

Externí odkazy

[editovat | editovat zdroj]