Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Aporieontologiisytuacji.Przedmowa
9
nowaniezinterpretacjisystemówlogikisytuacji,wszczególnościlogikiniefre-
gowskiej,jakonlogikiuprawdziwiaczyn.Sytuacjejakokorelatysemantycznezdań
należyraczejpojmowaćjakosądylogiczne,noematy(wsensieEdmundaHusser-
la)lubczystointencjonalnestanyrzeczy(wsensieRomanaIngardena).
MieczysławOmyłaprzedstawiawartykuleDeskrypcjewlogiceniefregowskiej
zasadylogikiniefregowskiejjakologikisytuacjiorazwykazuje,żewsystemieWHQ
(jesttonajsilniejszysystemSuszkizzakresuniefregowskiejlogikipierwszegorzę-
du),rozszerzonymoidentycznościowąwersjęaksjomatudlaoperatoradeskryp-
cyjnego,możnawyprowadzićtezęodwuelementowościdziedzinysytuacji(czyli
pewnąwersjęaksjomatuFregego).Autorponadtowykazuje,żesłabsza(zapisana
wpostacizwykłejrównoważności)wersjaaksjomatudlaoperatoradeskrypcyjne-
gonieprowadzidotakichtrudności.
PracaautoratychsłówFilozoficznepodstawylogikisytuacjijestwielowątko-
wymstudiumpojęciasytuacjilogicznej,obejmującymanalizęzasadontologiisy-
tuacjiilogikisytuacji,zaryssystemulogikisytuacjijakoekstensjonalnejlogiki
trzeciegorzędu,atakżeanalizępodstawowychtrudności,związanychzkonstrukcją
izastosowaniamitejlogiki.
WartykuleOpocieszeniu,jakiedająstanyrzeczyPawełGarbaczwskazujena
pewneużytecznezastosowaniateoriistanówrzeczyRomanaIngardenawanali-
ziepojęciaartefaktu,umiejscowionejwkontekściewspółczesnychkoncepcji
ontologiiinżynieryjnej.GłównąteząAutorajestprzekonanie,żetzw.funkcje
artefaktówsączystointencjonalnymistanamirzeczy.
WrozprawieSądyisytuacjejakowartościsemantycznezdańTadeuszCiecier-
skiuznajeużytecznośćkategoriisytuacjiwfilozofiiorazrozważakwestię,czypo-
jęcietomoże,takjakkategoriasądu,pełnićrolęuniwersalnej(tj.określonejna
całymzbiorzezdań)wartościsemantycznejzdań.Konkluzjetychrozważańsą
zasadniczonegatywne.Autorwskazujemiędzyinnyminaintuicyjnetrudności
związanezteząokorelacjiniektórychtypówzdań-wszczególnościzdańzłożo-
nychizdańanalitycznych-zobiektywnymisytuacjami.
JanuszKaczmarekprzedstawiawpracyOntologiasądówistanówrzeczywstruk-
turachPTS,CSiUpewnąformalnąteorięsądówistanówrzeczy,zgodnązzasa-
dą,żekażdezdaniewyrażapewiensąd,choćniekażdezdanieopisujestanrzeczy.
Głównymzadaniemtejteoriijestwyjaśnienieróżnicystrukturorazontologicz-
nychisemantycznychstatusówmiędzytymikategoriami.
Wszystkiezamieszczonewtomiepracesąpublikowaneporazpierwszy.Praca
zostaławykonanawramachgrantuMNiSWnrN10102932/2985.
AndrzejBiłat
