Ганк (мереология) - Википедия - Gunk (mereology)

Жылы мереология, ауданы философиялық логика, термин ганк оның бөліктері одан әрі тиісті бөліктері бар кез-келген бүтінге қолданылады. Яғни мылтық заты бөлінбейтін етіп жасалынбайды атомдар немесе қарапайым. Партиялық өтпелі болғандықтан, ганктың кез-келген бөлігі өзі ганк болып табылады.

Егер өлшемді нысандар әрдайым қарапайым болса, онда мылтықты нысанда нүктелік өлшемді бөліктер болмайды. Ганк туралы әдеттегі есептер, мысалы Альфред Тарски 1929 ж., үш өлшемді зеңбірек нысандарында бір өлшемді қисықтар немесе екі өлшемді беттер тәрізді басқа деградацияланған бөліктер болмайды. (Сондай-ақ қараңыз) Уайтхедтің нүктесіз геометриясы.)

Ганк - бұл материалдық объектілердің құрамын есепке алу үшін маңызды сынақ ісі: мысалы, Тед Сидер дау шығарды Питер ван Инваген есебі композиция, өйткені ганк мүмкіндігіне сәйкес келмейді. Сидердің дәлелі ван Инвагендікінен гөрі қарапайым көзқарасқа қатысты: мереологиялық нигилизм, тек материалдық қарапайымдар бар деген көзқарас. Егер нигилизм болса міндетті түрде шындық, онда ганк мүмкін емес. Бірақ, Сидердің пікірінше, ганк ойлауға болатын және мүмкін болатындықтан, нигилизм жалған, ең жақсы жағдайда шартты шындық.

Тарихында Ганк маңызды рөл атқарды топология[1] физикалық өзгеріске, байланысқа және құрылымға қатысты соңғы пікірталастарда ғарыш. Кеңістіктің құрамы мен материалдық объектілердің құрамы байланысты ыдыстар- материалдық объектіні паналай алатын кеңістік аймақтары. (Ыдыс-аяқ терминін Ричард Картрайт енгізген (Картрайт 1975).) Егер кеңістік мылтық болса, ыдыс мылтық, содан кейін материалдық зат мылтық болуы мүмкін деп ойлау орынды сияқты.

Бұл термин алғаш рет қолданылған Дэвид Льюис оның жұмысында Сабақтардың бөліктері (1991). Дин В.Зиммерман атомсыз ганктың мүмкіндігін қорғайды (1996б). Сондай-ақ, Хад Хадсонды (2007) қараңыз.

Тарих

Айтуға болады, материалдық ганк туралы пікірталастар Аристотельге дейін және Анаксагорға дейін созылады, және Окхэм Уильям, Рене Декарт және Альфред Тарский сияқты ойшылдарды қамтиды.[2][3] Алайда ганк туралы алғашқы заманауи ескертулер А.Н. Уайтхед пен Бертран Расселдің, кейінірек Дэвид Льюистің жазбаларында кездеседі.[3] Генк ойлау элементтері Зенонның белгілі көптік парадокстарында кездеседі. Зенон егер уақыттың дискреттік жылдамдықтары сияқты нәрселер болған болса, онда заттар ешқашан уақыт бойынша қозғала алмайды деп тұжырымдады. Аристотельдің Зенон парадокстарын шешуіне уақыт ұзақтығы жоқ инстанциялардан емес, уақытша ұсақ уақыт аралықтарынан жасалады деген ой жатады. Уақыттың кез-келген интервалын кішігірім және кіші аралықтарға бөлуге болады, бұл кейбір артықшылықты шексіз инстанциялар жиынтығында аяқталмайды.[4] Басқаша айтқанда, қозғалыс мүмкін, өйткені уақыт тапқыр. Метафизикада салыстырмалы түрде кең таралған позиция болғанына қарамастан, Кантордың сандық және теңдестірілмейтін шексіз түпнұсқалықтар арасындағы айырмашылықты анықтағаннан кейін және Адольф Грюнбаумның математикалық еңбегінен кейін ганк теориясы кеңістіктің топологиясына қажетті балама ретінде қарастырылмады. ұпай.[3] Питер Рупер мен Фрэнк Арнтцениус сияқты ғалымдардың ғарыштық уақыт топологиясындағы соңғы математикалық жұмыстары зеңбіректі ғарыш уақыты физикамен айналысуға болатын негіз бола ма деген мәселені қайта қозғады.[4][5]

Мүмкін, зеңбірек уақытының теориясының ең ықпалды тұжырымдамасы А.Н. Уайтхед өзінің негізгі жұмысында айтылған шығар Процесс және шындық.[6] Уайтхед кеңістіктің нүктелік аймақтары жоқ және кез-келген кеңістіктің үш өлшемді кеңеюі бар екенін айтады. Ғарыш уақытының Уайтхеад тұжырымдамасы шеңберінде нүктелер, түзулер, жазықтықтар және басқа үш өлшемді емес объектілер «кең абстракция» әдісінен құрылады, онда нүктелер, түзулер мен жазықтықтар шексіз жақындасатын дерексіз жиындармен анықталады. кеңейтілген аймақтардың.[6]

Ганктың мүмкіндігі

Көптеген адамдар, мысалы Тед Сидер (1993), тіпті ганк мүмкіндігі басқа позицияны бұзады деп сендірді мереологиялық нигилизм.[2] Сидердің дәлелі келесідей:

  1. Нигилизм міндетті түрде шын немесе міндетті түрде жалған.
  2. Ганк метафизикалық тұрғыдан мүмкін.
  3. Егер ганк метафизикалық мүмкін болса, онда нигилизм міндетті түрде ақиқат емес.
  4. Сондықтан нигилизм міндетті түрде жалған болып табылады.

Бұл аргумент қызықты, өйткені тек ганктың мүмкін екендігіне немесе мүмкін еместігіне байланысты, ал шын әлемнің мылтық болған-болмағаны емес. Сидер 1) нигилизм метафизикалық тезис болғандықтан, ол қажеттіліктің ақиқат немесе жалған болуы керек екендігіне жүгіну арқылы қорғайды.[2] 2) қорғаныс кезінде Сидер әлемді ойлауға болатындықтан; яғни біз қарулы әлемді ішкі қайшылықсыз елестете аламыз, ганк мүмкін болуы керек. 3) қажеттілік пен мүмкіндікті түсінуден, мүмкін әлемдік семантиканы түсінуден туындайды. Қарапайым тілмен айтқанда, P ұсынысы барлық жалған әлемде жалған болған жағдайда міндетті түрде жалған болып табылады, ал егер P ұсынысы мүмкін болса, кем дегенде бір мүмкін әлемде ол шындыққа сәйкес келеді. Осылайша, егер ұсыныс мүмкін болса, онда ол міндетті түрде жалған емес, өйткені барлық мүмкін әлемдерде бұл жалған емес. 4) басқа үй-жайлардан дедуктивті түрде жүреді.

Сидердің дәлелі орынды, сондықтан дауға қарсы тұрудың көптеген стратегиялары оның бір немесе бірнеше үй-жайларын жоққа шығаруға бағытталған. 1) жоққа шығаратын стратегиялар «төтенше жағдайлардан қорғану» деп аталды. 1) жоққа шығарушылар объектілердің құрамын анықтайтын фактілер қажетті фактілер емес, әр түрлі мүмкін әлемдерде әр түрлі болуы мүмкін дейді. Осылайша, нигилизм - бұл шартты жағдай, ал ганк мүмкіндігі нигилизм мүмкіндігін жоққа шығармайды. Бұл Кэмерон (2007) және Миллер (2010) мақұлдаған стратегия.[7][8]

Сонымен қатар, 2) жоққа шығаруға болады және ганк метафизикалық тұрғыдан мүмкін емес деп айтуға болады. Осы бағытта жүретін стратегиялардың көпшілігі 2) басқа салыстырмалы түрде кездесетін интуицияны жоққа шығарудың арқасында жоққа шығарады: бұл ойлау метафизикалық мүмкіндікті тудырады. Бұл метафизикалық қағида кем дегенде Декарттың еңбектерінен бастау алғанымен, Маркус (2004) және Рока-Ройес (2010) сияқты философтардың соңғы еңбектері метафизикалық мүмкіндікке басшылық ретінде ойлау қабілеттілігінің сенімділігіне біраз күмән келтірді.[9][10] Сонымен қатар, Сидердің 1) қорғаудағы өз дәлелдері дәлелді бұзатын сияқты. Ганк сонымен қатар метафизикалық тезис болып табылады, сондықтан (1 сияқты) ол міндетті түрде шын немесе жалған болуы керек сияқты. Дәлел тек шындық болған жағдайда ғана жұмыс істейтін болады, бірақ бұл сұрақ қоюға тең келеді.

Әдебиеттер тізімі

  1. ^ Циммерман, декан (редактор) Метафизикадағы Оксфордты зерттеу: 4 том (Оуп Оксфорд 2008) Арнтзениус, Франк «Ганк, топология және өлшем»
  2. ^ а б c Сидер, Теодор (1993). «Ван Инваген және Ганктің мүмкіндігі». Талдау. 53 (4): 285–259. дои:10.2307/3328252. JSTOR  3328252.
  3. ^ а б c Циммерман, декан (1996). «Қарапайым бөліктерден кеңейтілген нысандарды жасауға бола ма?» «Атомсыз Ганк» үшін аргумент"". Философия және феноменологиялық зерттеулер. 56 (1): 1–29. дои:10.2307/2108463. JSTOR  2108463.
  4. ^ а б Арнтзениус, Франк (2011). Ганк, топология және өлшем. Ғылым философиясындағы Батыс Онтарио сериясы. 75. 327–343 бб. дои:10.1007/978-94-007-0214-1_16. ISBN  978-94-007-0213-4.
  5. ^ Roeper, Peter (1997). «Аймақтық топология». Философиялық логика журналы. 26 (3): 251–309. дои:10.1023 / а: 1017904631349.
  6. ^ а б Уайтхед, Альфред Норт (1978) [1927]. Процесс және шындық. Нью-Йорк, Нью-Йорк: Еркін баспасөз. ISBN  978-0-02-934580-1.
  7. ^ Кэмерон, Росс (2007). «Композицияның күтпегендігі». Философиялық зерттеулер. 136: 99–121. дои:10.1007 / s11098-007-9144-6.
  8. ^ Миллер, Кристи (2010). «Болмыстық Quanitifier, құрамы және күтпеген жағдай». Еркеннтнис. 73 (2): 211–235. дои:10.1007 / s10670-010-9250-2.
  9. ^ Маркус, Эрик (2004). «Неліктен зомбиді елестетуге болмайды». Австралия Философия журналы. 82 (3): 477–490. CiteSeerX  10.1.1.188.9979. дои:10.1080/713659880.
  10. ^ Roca-Royes, Sonia (2010). «Ойлау қабілеті және De Re Modal білім». Ноус. 45: 22–49. CiteSeerX  10.1.1.170.8738. дои:10.1111 / j.1468-0068.2010.00757.x.
  • Картрайт, Ричард, 1975, «Шашылған нысандар», жылы Кит Лерер, ред., Талдау және метафизика (Дордрехт: Рейдель, 1975), 153–171 бб. Қайта басылды Философиялық очерктер, 171–186 бб.
  • Худ Хадсон, 2007. «Қарапайым және Ганк», Философия компасы 2 (2), 291-302 бб. дои:10.1111 / j.1747-9991.2007.00068.x
  • Льюис, Дэвид, 1970. «Номиналистік жиынтық теориясы», Жоқ 4, 225-40 беттер. JSTOR  2214424
  • Льюис, Дэвид, 1991 ж. Сабақтардың бөліктері, Кембридж: Базиль Блэквелл.
  • Сидер, Тед, 1993. «Ван Инваген және Ганк мүмкіндігі», Талдау. 53(4): 285-289. дои:10.1093 / талдаулар / 53.4.285, JSTOR  3328252
  • Тарский, Альфред, 1929. «Қатты денелер геометриясының негіздері».
  • Циммерман, Дин В., 1996а. «Бөлінбейтін бөліктер және кеңейтілген нысандар: топологияның тарихынан алынған кейбір философиялық эпизодтар.» Монист 79(1). 148–180. JSTOR  27903469
  • Циммерман, Дин В., 1996б. «Қарапайым бөліктерден кеңейтілген нысандарды жасауға бола ма?» Атомсыз Ганк «үшін аргумент», Философия және феноменологиялық зерттеулер 56: 1-29. JSTOR  2108463