Гунк (мереология)
В мереологии , области метафизики , термин «ганк» применяется к любому целому, все части которого имеют дополнительные собственные части. То есть грязный объект не состоит из неделимых атомов или простых веществ . Поскольку частичность транзитивна , любая часть мусора сама по себе является мусором. Этот термин впервые был использован Дэвидом Льюисом в его работе «Части классов» (1991). [1] в котором он задумался о возможности «безатомного мусора», [2] которое более поздние авторы сократили до «мусор». Дин В. Циммерман защищает возможность безатомного мусора. [3]
Если объекты точечного размера всегда просты, то грубый объект не имеет частей точечного размера и может быть лучше всего описан с помощью такого подхода, как бесточечная геометрия Уайтхеда . Согласно обычным отчетам о джанк, таким как Альфред Тарский в 1929 году, [4] Трехмерные неуклюжие объекты также не имеют других вырожденных частей в форме одномерных кривых или двумерных поверхностей.
Ганк является важным проверочным примером для объяснений состава материальных объектов: например, Тед Сайдер бросил вызов теории Питера ван Инвагена о композиции, поскольку она несовместима с возможностью существования мусора. Аргумент Сидера также применим к более простой точке зрения, чем точка зрения ван Инвагена: мереологическому нигилизму , точке зрения, согласно которой существуют только материальные простые вещи. Если нигилизм обязательно истинен , то мусор невозможен. Но, как утверждает Сайдер, поскольку мусор одновременно мыслим и возможен, нигилизм является ложным или, в лучшем случае, условной истиной. [5]
Ганк также сыграл важную роль в истории топологии. [6] в недавних дебатах, касающихся изменений, контактов и структуры физического пространства . Состав пространства и состав материальных объектов связаны вместилищами — областями пространства, в которых может находиться материальный объект. (Термин «сосуды» был придуман Ричардом Картрайтом .) [7] Кажется разумным предположить, что если пространство является мусорным, то и сосуд будет мусорным, а затем материальный объект, возможно, будет мусорным.
История
[ редактировать ]Можно утверждать, что дискуссии о материальном мусоре восходят, по крайней мере, к Аристотелю и, возможно, еще к Анаксагору , и включают таких мыслителей, как Уильям Оккам , Рене Декарт и Альфред Тарский. [5] [8] Однако первые современные упоминания о ганке встречаются в трудах А. Н. Уайтхеда и Бертрана Рассела , а позже и в трудах Дэвида Льюиса. [8] Элементы мусорной мысли присутствуют в . знаменитых парадоксах множественности Зенона Зенон утверждал, что если бы существовали такие вещи, как дискретные моменты времени, то объекты никогда не могли бы перемещаться во времени. Решение Аристотелем парадоксов Зенона включает идею о том, что время состоит не из мгновений без длительности, а из все более меньших временных интервалов. Каждый интервал времени можно разделить на все меньшие и меньшие интервалы, никогда не заканчиваясь каким-то привилегированным набором мгновений без длительности. [9] Другими словами, движение возможно, потому что время нестабильно. Несмотря на то, что это была относительно распространенная позиция в метафизике , после открытия Кантором различия между счетными и неисчислимыми бесконечными мощностями и математических работ Адольфа Грюнбаума, теория ганка больше не рассматривалась как необходимая альтернатива топологии пространства, созданной закончились баллы. [8] Недавние математические работы по топологии пространства-времени таких ученых, как Питер Ропер и Фрэнк Арцениус, вновь открыли вопрос о том, является ли «грязное пространство-время» подходящей основой для занятий физикой . [9] [10]
Вероятно, самая влиятельная формулировка теории «мусорного пространства-времени» принадлежит А. Н. Уайтхеду в его основополагающей работе «Процесс и реальность» . [11] Уайтхед утверждает, что в пространстве не существует точечных областей и что каждая область пространства имеет некоторую трехмерную протяженность. Согласно концепции пространства-времени Уайтхеда, точки, линии, плоскости и другие менее трехмерные объекты создаются с помощью метода «обширной абстракции», в котором точки, линии и плоскости отождествляются с бесконечно сходящимися абстрактными множествами. вложенных расширенных регионов. [11]
Невозможно с мереологическим нигилизмом.
[ редактировать ]Тед Сайдер утверждал, что даже сама возможность мусора подрывает другую позицию — мереологического нигилизма . [5] Аргументация Сайдера такова:
- Нигилизм либо обязательно истинен, либо обязательно ложен.
- Ганк метафизически возможен.
- Если мусор метафизически возможен, то нигилизм не обязательно верен.
- Следовательно, нигилизм обязательно ложен.
Этот аргумент зависит только от того, возможен ли вообще мусор, а не от того, является ли реальный мир мусорным или нет. Сайдер защищает предпосылку № 1, ссылаясь на тот факт, что, поскольку нигилизм является метафизическим тезисом, он по необходимости должен быть истинным или ложным. [5] В защиту предпосылки №2 Сайдер утверждает, что, поскольку мир мусора возможен; то есть, если мы можем представить себе мусорный мир без какого-либо внутреннего противоречия, мусор должен быть возможен. Посылка №3 вытекает из понимания необходимости и возможности, вытекающего из понимания возможной семантики мира. Проще говоря, предложение P обязательно ложно тогда и только тогда, когда оно ложно во всех возможных мирах, и если предложение P возможно, оно истинно по крайней мере в одном возможном мире. Таким образом, если предложение возможно, то оно не обязательно ложно, поскольку оно не ложно во всех возможных мирах. Заключение № 4 дедуктивно следует из других посылок.
Аргумент Сайдера верен, поэтому большинство стратегий сопротивления этому аргументу сосредоточены на отрицании одной или нескольких его предпосылок. Стратегии, отрицающие пункт 1, получили название «защита на случай непредвиденных обстоятельств». Отрицатели № 1 говорят, что факты, определяющие состав объектов, не являются необходимыми фактами, а могут различаться в разных возможных мирах. Таким образом, нигилизм является условным фактом, и возможность мусора не подрывает возможность нигилизма. Это стратегия, одобренная Кэмероном. [12] и Миллер. [13]
Альтернативно, можно отрицать пункт 2 и говорить, что мусор метафизически невозможен. Большинство стратегий, идущих по этому пути, отрицают пункт 2, поскольку отрицают другую относительно распространенную интуицию: представимость влечет за собой метафизическую возможность. Хотя этот метафизический принцип восходит, по крайней мере, к работам Декарта, недавние работы таких философов, как Маркус [14] и Рока-Ройес [15] вызвал некоторые сомнения в надежности представимости как руководства к метафизическим возможностям. Более того, собственные аргументы Сайдера в защиту № 1, кажется, подрывают этот аргумент: мусор также является метафизическим тезисом, поэтому кажется, что (как и № 1) он также должен быть либо обязательно истинным, либо обязательно ложным. Этот аргумент сработал бы только в том случае, если бы вся эта чушь была обязательно правдой, но это было бы равносильно задаванию вопросов.
См. также
[ редактировать ]- Мереология
- Мереологический нигилизм
- Мереологический эссенциализм
- Пердурантизм
- Эндурантизм
- Мереотопология
Ссылки
[ редактировать ]- ^ Гиберман, Дэниел; Центр философской документации (2020). «Что нужно, чтобы быть крутым» . Мысль: Философский журнал . 9 (1): 51–57. дои : 10.1002/tht3.442 . ISSN 2161-2234 .
- ^ Льюис, Дэвид К. (1991). Части занятий . Оксфорд: Блэквелл. ISBN 978-0-631-17655-8 .
- ^ Циммерман, Дин В. (1996). «Могут ли протяженные объекты быть сделаны из простых частей? Аргумент в пользу «безатомной ерунды» » . Философия и феноменологические исследования . 56 (1): 1–29. дои : 10.2307/2108463 . ISSN 0031-8205 .
- ^ Тарский, Альфред; Коркоран, Джон (1983). «Основы геометрии твердого тела». Логика, семантика, метаматематика: статьи с 1923 по 1938 год (2-е изд., Под ред. и введение под ред. Джона Коркорана). Индианаполис, Индиана: Хакетт. ISBN 978-0-915144-76-1 .
- ^ Jump up to: а б с д Сайдер, Теодор (1993). «Ван Инваген и возможность ганка». Анализ . 53 (4): 285–259. дои : 10.2307/3328252 . JSTOR 3328252 .
- ^ Циммерман, декан (редактор) Оксфордские исследования по метафизике: Том 4 (Oup Oxford 2008) Арцениус, Фрэнк «Гунк, топология и мера»
- ^ Чисхолм, Родерик М.; Лерер, Кейт, ред. (1975). Анализ и метафизика: очерки в честь Р. М. Чизхолма . Серия философских исследований по философии; т. 4. Дордрехт, Голландия; Бостон: Паб D. Reidel. Ко, стр. 157–171. ISBN 978-90-277-0571-6 .
- ^ Jump up to: а б с Циммерман, Дин (1996). «Могут ли расширенные объекты быть сделаны из простых частей?: Аргумент в пользу «безатомного мусора» ». Философия и феноменологические исследования . 56 (1): 1–29. дои : 10.2307/2108463 . JSTOR 2108463 .
- ^ Jump up to: а б Арцениус, Франк (2011). «Ганк, топология и мера». Логика, математика, философия, винтажный энтузиазм (PDF) . Серия Западного Онтарио по философии науки. Том. 75. стр. 327–343. дои : 10.1007/978-94-007-0214-1_16 . ISBN 978-94-007-0213-4 .
- ^ Ропер, Питер (1997). «Региональная топология». Журнал философской логики . 26 (3): 251–309. дои : 10.1023/а:1017904631349 . S2CID 20680298 .
- ^ Jump up to: а б Уайтхед, Альфред Норт (1978) [1927]. Процесс и реальность . Нью-Йорк, штат Нью-Йорк: Свободная пресса. ISBN 978-0-02-934580-1 .
- ^ Кэмерон, Росс (2007). «Непредвиденность композиции». Философские исследования . 136 : 99–121. дои : 10.1007/s11098-007-9144-6 . S2CID 170144586 .
- ^ Миллер, Кристи (2010). «Экзистенциальный квантификатор, состав и непредвиденность». Эркеннтнис . 73 (2): 211–235. дои : 10.1007/s10670-010-9250-2 . S2CID 120042042 .
- ^ Маркус, Эрик (2004). «Почему зомби немыслимы». Австралазийский философский журнал . 82 (3): 477–490. CiteSeerX 10.1.1.188.9979 . дои : 10.1080/713659880 . S2CID 523774 .
- ^ Рока-Ройес, Соня (2010). «Представимость и модальное знание De Re». Нус . 45 : 22–49. CiteSeerX 10.1.1.170.8738 . дои : 10.1111/j.1468-0068.2010.00757.x .
Дальнейшее чтение
[ редактировать ]- Хадсон, Хад (март 2007 г.). «Просты и гадости» . Философский компас . 2 (2): 291–302. дои : 10.1111/j.1747-9991.2007.00068.x . ISSN 1747-9991 .
- Льюис, Дэвид, 1970. «Номиналистическая теория множеств», Noûs 4, стр. 225–40. JSTOR 2214424
- Циммерман, Дин В., 1996. «Неделимые части и протяженные объекты: некоторые философские эпизоды из предыстории топологии». Монист 79 (1). 148–180. JSTOR 27903469