u perspek - Filozofski fakultet u Splitu

prima facie osnovu za (C) S treba učiniti X.
Wallace [81]
Ako X vjeruje [zna] da (p implicira q), onda to da X
namjerava p implicira da X namjerava q.
Castańeda [20]
Netko želi postići x. x se neće postići osim ako se ne
učini y. Zatosey mora učiniti.
Von Wright [84]
S druge strane, sustavi s eksplicitnom semantikom najčešće
ne opravdavaju načelo praktičnog silogizma: 9
Valjan?
Segerberg [73]
(!δp ∧ [δp] q) →!δq NE
Belnap, Perloff, Horty [9][51]
([α dstit: p] ∧ ¤(p → q)) → [αdstit: q] NE
Cross [28]
(4(p) ∧ (p → q)) →4q NE
Chellas [24]
(!p ∧ ¡ (p → q)) →!q DA
Kenny [57]
[Fiat(p) ∧ Est(p → q)] → Fiat(q) NE
Fulda [39]
((p → s) ∧ (p → q)) → (q → s) NE
L!·¡
!p; ¡(p → q) ²ut!q NE
L¦!·¡
!p; ¡(p → q) ²0−ut ¦ ∗ !q DA
Različiti rezultati proizlaze iz razlika u semantičkom modeliranju
imperativa. Promotren sa stajališta na kojem počiva naša analiza,
«praktični silogizam» ima nepotpune premise (definicije 3.5 i
9 Neka važnija obilježja spomenutih formalno semantičkih sustava kratko
su skicirana u primjedbi na stranici 68.
64