Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
22
Aporieontologiisytuacji.Część1.Problemylogikiiontologiisytuacji
sell.Wtedyteządanegojęzykaniebędzieformuła(@),azdaniazoperatoremj
typu
j(a)=a
będziemyczytać:
$x§y{{[aÙ(y=a)]«x=y}Ùx=a}.
Zdanietojestlogicznierównoważnezdaniua,aleniemożnauznać,żema
onotakisamkorelat,jakzdanie
$x§y{{[bÙ(y=a)]«x=y}Ùx=a}.
Niemawzwiązkuztymprzejściaanalogicznegodotego,którenastępowało
międzyzdaniem(2)i(3)wargumenciezprocy.
Podsumowując:wontologiisytuacjitrzebapodaćkryteriumidentyczności
korelatówontologicznychformuł,czyliprzyjąćpewnąwersjęwarunku(*).Nie
możetobyćwersja(*1),gdyżjestonawsposóboczywistyrównoważnaAF.Inne
postacietegowarunkusądoprzyjęcia,oilewsamymjęzykuJnietkwiąjakieś
ukrytezałożeniadotyczącedziałaniastałychlogicznych.
Okazujesięwięcostatecznie,żeproblemyontologiisytuacjizAFpowstają
nlokalnien-nastykuwarunku(*)iwłasnościstałychlogicznych,aniesązasad-
niczymiproblemamitejteorii.
20Reprezentacjapojęciasytuacji
Zasadnicząkwestią,doktórejmusiustosunkowaćsięontologiasytuacjijest
problemkryteriówidentycznościsytuacji.Dopewnegostopniazostajeonroz-
wiązanynapoziomiestrukturylogicznejzdań-ijestformułowanyzapomocą
różnychwersjiwarunku(*),wyrażonychwkategoriachlogicznejimaterialnej
równoważnościzdań.Warunkitakiedotycząjednakwsposóbnietrywialnyzdań
złożonych(zawierającychstałelogiczne)lubzdańzpredykatemidentyczności.
Otwartąpozostawiająnatomiastkwestię,jakiesąkryteriaidentycznościzdań
prostych,acosięztymwiąże-nailejednoznaczniestrukturazdaniawyznacza
strukturęsytuacjibędącejjejkorelatemiwjakisposóbsytuacjetakieopisywać.
Problemtenniepojawiałsięwlogiceniefregowskiejijejinterpretacjach(ukła-
dachsemantycznych),ponieważbyłatoprzedewszystkimlogikazdaniowa.
Ogólnierzeczujmując,mamypewnenaturalneintuicjedotyczącetego,czym
sąsytuacje,jakiezdaniaodnosząsiędotychsamychsytuacjiijakijestzwiązek
międzysytuacjamiaprzedmiotami.Nawetjeśliteprzedteoretycznezałożenianie
sądokońcaprecyzyjne,toto,czysąspełnionestanowijednozpodstawowych
kryteriówocenydanejteoriisytuacji.
Intuicjetemożnawyrażaćnadwasposoby.