u perspek - Filozofski fakultet u Splitu

(modela). Rezultirajuće stanje ne smije biti granično (F tip).
Evolucija kognitivno-motivacijskih stanja započinje s početnim,
minimalnim stanjem u kojem ni jedna obavijest ili cilj nije
usvojen, a eventualno okončava s graničnim stanjem koje je
čvrsta točka za bilo koju rečenicu. U praktičnoj logici ne
možemo dopustiti načelo slično načelu — ex falso quodlibet.
Naime, tipična konkluzija je modalna Fiat rečenica, dok je
rečenica koja korespondira namjeri ili činu nerelativizirana.
Zbog toga, prihvaćajući modalni Fiat za konkluziju moramo
dopustiti mogućnost njegovog uzdizanja do razine neovisnog
cilja. U rezultirajućem stanju ne samo da konkluzija Fiat(¦ϕ)
mora biti prihvaćena, već i Fiat(ϕ) mora biti prihvatljiv.
Isticanje uvjeta za oblikovanje namjere leži izvan dosega logike.
Definicija valajnosti praktičnog zaključka ističe tri njegova
obilježja: 1.nemonotoničnost, putem pozivanja na početno
stanje, 2.relevantnost, putem isključivanja graničnih stanja, i
3.sadržavanje, putem poistovjećivanja rezultantnog stanja sa
stanjem u kojem je konkluzija prihvaćena.
Definicija 4.35 Valjanost praktičnog zaključka:
ili
((ϕ 1 ∧ ... ∧ ϕ n) , dakle ψ)
akko
([φ 1] ... [φ n]0=σ ∧ σ/∈F∧[ψ] σ = σ)
((ϕ 1 ∧ ... ∧ ϕ n) ,dakleψ)
akko
([φ 1] ... [φ n]0 /∈ F ∧ [ψ]([φ 1] ... [φ n] σ) =[φ 1] ... [φ n]0)
Dokaz. Valjanost praktičnog modus-a ponens-a.
267