u perspek - Filozofski fakultet u Splitu

3. postoji trenutak m ∗ koji je iznad m i koji leži na stazi povijesti
koja prolazi kroz m0 takav da q nije istinit u m ∗ uodnosuna
barem jednu stazu povijesti koja prolazi kroz m ∗ .
Formalna semantika stit-rečenica pokazuje da rečenica koja
izražava djelatništvo uključuje tvrdnju da je javljanje nekog
stanja opisanog u deklarativnom komplementu u djelatnikovoj
moći (tj. pripada svim povijestima u barem jednoj particiji
izbornog skupa) i tvrdnju da se to stanje ne javlja nužno
(postoji barem jedna takva povijest). Ovako odre ¯deno značenje
iskaza djelatništva potvr ¯duje da je indeterminizam ontološka
pretpostavka u razumijevanju čina. Iako se ne možemo posve
složiti s pripisivanjem jednakog oblika i iskazima djelatništva i
imperativima, ipak neke logičke osobitosti imperativa vidljive su
u semantici stit rečenica. Primijenimo Belnap/Perloff definiciju
i ispitajmo povlači li [α stit: p ∧ q] rečenicu [αstit: q].
Odgovor je Ne, što je lako vidljivo iz protuprimjera. Neka je
izborni skup Cm0 α = {{h1} , {h2}}, nekavrijedim0 < m1,
m0 < m2, i neka vrednovanje v takvo da m1/h1 ∈ v (p),
m1/h1 ∈ v (q), m2/h2 ∈ v (p), m2/h2 /∈ v (q). Tadajeslučaj
da
ali
m1/h ² [α stit: p ∧ q]
m1/h 2 [α stit: q]
Prema tome, ne možemo implikacijske veze imperativa
reducirati na implikacijske veze njihova propozicijskog sadržaja.
Daljnje distinkcije u stit logici uvode Horty i Belnap
[51] razlikujući iskaz postignuća, iskaz o izvršenom činu —
achievement stit, skraćeno astit iiskaznamjere—deliberative
stit,skraćeno dstit.
Definicija 2.2 Vremenski okvir hStablo,