Парадокс кучи: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Отклонено последнее 1 изменение (91.77.175.102): зачем?
Потому что в русской википедии надо соблюдать правила русского языка, в том числе и для деепричастий
Строка 4: Строка 4:
Формулировка парадокса основана на базисной [[Предпосылка|предпосылке]], согласно которой одно зёрнышко не образует кучи, и [[Индуктивное умозаключение|индуктивной]] предпосылке, по которой добавление одного зернышка к совокупности, кучей не являющейся, несущественно для образования кучи. При принятии этих предпосылок никакая совокупность из сколь угодно большого количества зёрен не будет образовывать кучи, что противоречит представлению о существовании кучи из зёрен.
Формулировка парадокса основана на базисной [[Предпосылка|предпосылке]], согласно которой одно зёрнышко не образует кучи, и [[Индуктивное умозаключение|индуктивной]] предпосылке, по которой добавление одного зернышка к совокупности, кучей не являющейся, несущественно для образования кучи. При принятии этих предпосылок никакая совокупность из сколь угодно большого количества зёрен не будет образовывать кучи, что противоречит представлению о существовании кучи из зёрен.


Известно множество вариаций в формулировке парадокса, кроме позитивной (<cite>«если к одному зерну добавлять по зёрнышку, то в какой момент образуется куча?»)<cite>{{Sfn|НФЭ|2010}}, встречается и негативная формулировка: <cite>«удаляя из кучи в 1 млн зёрен по одному зёрнышку, с какого момента она перестаёт быть кучей?»</cite><ref>{{книга|автор=Sorensen, Roy A.|заглавие=A Companion to Metaphysics|часть=sorites argument|ссылка часть=http://books.google.com/books?id=i7PG-Vk824UC&pg=PA565|год=2009|издательство=[[John Wiley & Sons]]|isbn=978-1-4051-5298-3|страницы=565}}</ref>. Парадокс используется как одно из обоснований рассмотрения [[Нечёткая логика|нечёткой логики]]<ref>{{книга|автор=Bergmann, Merrie|заглавие=An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems|ссылка=http://books.google.com/books?id=zEwNfoAZEGoC&pg=PA3|год=2008|издательство=[[Издательство Кембриджского университета|Cambridge University Press]]|isbn=978-0-521-88128-9|страница=3}}</ref>.
Известно множество вариаций в формулировке парадокса, кроме позитивной (<cite>«если к одному зерну добавлять по зёрнышку, то в какой момент образуется куча?»)<cite>{{Sfn|НФЭ|2010}}, встречается и негативная формулировка: <cite>«Если удалять из кучи в 1 млн зёрен по одному зёрнышку, с какого момента она перестаёт быть кучей?»</cite><ref>{{книга|автор=Sorensen, Roy A.|заглавие=A Companion to Metaphysics|часть=sorites argument|ссылка часть=http://books.google.com/books?id=i7PG-Vk824UC&pg=PA565|год=2009|издательство=[[John Wiley & Sons]]|isbn=978-1-4051-5298-3|страницы=565}}</ref>. Парадокс используется как одно из обоснований рассмотрения [[Нечёткая логика|нечёткой логики]]<ref>{{книга|автор=Bergmann, Merrie|заглавие=An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems|ссылка=http://books.google.com/books?id=zEwNfoAZEGoC&pg=PA3|год=2008|издательство=[[Издательство Кембриджского университета|Cambridge University Press]]|isbn=978-0-521-88128-9|страница=3}}</ref>.


== Примечания ==
== Примечания ==

Версия от 11:32, 14 декабря 2014

Парадокс кучи («Куча») — логический парадокс, сформулированный Евбулидом из Милета (IV век до н. э.)[1], связанный с неопределённостью (англ. vagueness) предиката «быть кучей»[2].

Формулировка парадокса основана на базисной предпосылке, согласно которой одно зёрнышко не образует кучи, и индуктивной предпосылке, по которой добавление одного зернышка к совокупности, кучей не являющейся, несущественно для образования кучи. При принятии этих предпосылок никакая совокупность из сколь угодно большого количества зёрен не будет образовывать кучи, что противоречит представлению о существовании кучи из зёрен.

Известно множество вариаций в формулировке парадокса, кроме позитивной («если к одному зерну добавлять по зёрнышку, то в какой момент образуется куча?»)[3], встречается и негативная формулировка: «Если удалять из кучи в 1 млн зёрен по одному зёрнышку, с какого момента она перестаёт быть кучей?»[4]. Парадокс используется как одно из обоснований рассмотрения нечёткой логики[5].

Примечания

  1. Кондаков, 1971, «Куча», с. 235.
  2. Баркер, 2009.
  3. НФЭ, 2010.
  4. Sorensen, Roy A. sorites argument // A Companion to Metaphysics. — John Wiley & Sons, 2009. — С. 565. — ISBN 978-1-4051-5298-3.
  5. Bergmann, Merrie. An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. — Cambridge University Press, 2008. — ISBN 978-0-521-88128-9.

Литература