u perspek - Filozofski fakultet u Splitu

Belnap i Perloff [9] (str. 182)
Kanonski oblik imperativa Budi na palubi u zoru! izrečenog
kormilaru je
[Kormilar stit : Kormilar je na palubi u zoru] .
U skladu s tezom (str. 179) « ...rečenica q je izraz djelatništva
za α ako i samo ako se q može parafrazirati kao [α stit: q]»
imperativ bi se prikazivao [αstit : [αstit: q]], ali takvu
formalizaciju autori ne daju. Razlozi leže u činjenici da rečenični
komplement prikazu oblika imperativa ne mora uvijek biti izraz
djelatništva, npr. imperativ ’Kreni nasuprot vjetru!’ upućen
kormilaru može se formalizirati i kao
[Kormilar stit : Kormilar je usmjerio brod nasuprot vjetru]
ikao
[Kormilar stit : Brod je usmjeren nasuprot vjetru]
Ovakva stit parafraza za imperative istovjetna je parafrazi
za izjavne rečenice o djelatništvu, tako da bi kanonični oblik
za ’Kormilar je usmjerio brod prema vjetru’ bio istovjetan gore
navedenim oblicima.
Istinitosna vrijednost stit-rečenica odre ¯dujesenatemelju
višestrukog istinosnog vrednovanja u strukturi stabla. Stablo, ili
«granajuće vrijeme» sadrži niz točaka (trenutaka) povezanih tako
da za svaku točku postoji samo jedna staza koja vodi unatrag
(svaka točka ima samo jednu povijest) i više staza koje vode
naprijed.
Definicija 2.1 Rečenica [α stit: q] istinita je u trenutku m u
odnosu na bilo koju povijest koja prolazi kroz m akko
1. postoji prethodna ’točka izbora’ m0
2. postoji mogući izbor u izbornom skupu za α u m0 takav da za
svaki trenutak m 0 koji je iznad (iza) m vrijedi da je q istinito
u m 0 u svakoj povijesti koja prolazi kroz m 0
123