u perspek - Filozofski fakultet u Splitu
u perspek - Filozofski fakultet u Splitu
u perspek - Filozofski fakultet u Splitu
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
izgubila položaj temeljne semantičke vrijednosti, ali nije zadržala<br />
položaj vrhovne semantičke vrijednosti. Prvu tvrdnju autor<br />
dokazuje reducirajući dinamični pojam slijeda na statični u<br />
logici pitanja, drugu rekonstruirajući razvoj formalne semantike<br />
pomoću hijerarhije interpretacija.<br />
Autor analizira nekoliko važnijih dinamičnih formalno<br />
semantičkih sustava razvijenih u devedesetim godinama, ponajviše<br />
u okviru nizozemske logičke škole, i pokazuje da<br />
se ti sustavi mogu podjeliti na relacijske i funkcionalne.<br />
Autor tako ¯der analizira varijante dinamičnog pojma slijeda i<br />
pokazuje na primjerima njihova razlikovna svojstva u odnosu<br />
na statični pojam slijeda. Posebnu pažnju autor posvećuje<br />
Groenendijkovom ispitivanju logičkih odnosa izme ¯du upitnih i<br />
izjavnih rečenica i predlaže poboljšanja u odredbi logičke veze na<br />
koju mislimo kada tvrdimo da je neka izjavna rečenica odgovor<br />
na postavljeno pitanje. Autor zaključuje da je okvir dinamične<br />
formalne semantike primjeren za analizu praktičnog zaključka<br />
jer se dinamična semantika pokazala uspješnom u objašnjavanju<br />
logičkih odnosa izme ¯du rečenica s različitim modusom, jer ona<br />
nudi raspon pojmova o slijedu i jer dopušta različite kognitivne<br />
akcije kao semantičke vrijednosti rečenica. Upravo analiza<br />
praktičnog zaključivanja traži takav bogati semantički okvir.<br />
Glavni dio rada obuhvaća semantičku karakterizaciju propozicijske<br />
praktične logike. Autor najprije daje jednostavno tehničko<br />
rješenje za utvr ¯divanje valjanosti zaključaka u asertoričnoj<br />
propozicijskoj logici pomoću «eliminacijske tablice». Daljnja<br />
nadogradnja tog tehničkog rješenja omogućit će utvr ¯d ivanje<br />
valjanosti praktičnog zaključka na način da se problem valjanosti<br />
za asertoričnu propozicijsku logiku obuhvati u tom rješenju, ali i<br />
da se proširi na praktičnu propozicijsku logiku.<br />
Pod nazivom praktične logike pojavljuje se i logika propozicijskih<br />
stavova i logika imperativa. Autor objedinjuje obje logike<br />
polazeći od poistovjećivanja propozicijskog stava s modelom<br />
koji verificira rečenicu u odgovarajućem logičkom modusu.<br />
Opravdanje za takvo tehničko poistovjećenje autor pronalazi u<br />
literaturi naslućenom paralelizmu izme ¯du intencionalnih stanja,<br />
želja i vjerovanja, i logičkih modusa, imperativa i indikativa.<br />
277
Change language