u perspek - Filozofski fakultet u Splitu

Definicija 2.8 Istinitost u situaciji. Neka je ϕ rečenica iz jezika
LD inekajew ∈ ℘D situacija.
· Atomarni slučaj. Pretpostavimo da je ϕ propozicijsko slovo p.
Onda je ϕ istinito u situaciji w akko p ∈ w.
· Negacija. Pretpostavimo da ϕ jest ¬ψ. Onda je ϕ istinito u
situaciji w akko nije tako da je ϕ istinito u situaciji w.
· Konjunkcija. Pretpostavimo da ϕ jest ψ ∧ θ. Onda je ϕ istinito
u situaciji w akko su i ψ i θ istiniti u situaciji w.
· Disjunkcija. Pretpostavimo da ϕ jest ψ ∨ θ. Ondajeϕ istinito
u situaciji w akko je ili ψ istinito u situaciji w ili je θ istinito u
situaciji w ili i jedno i drugo.
· Kondicional. Pretpostavimo da ϕ jest ψ → θ. Onda je ϕ
istinito u situaciji w akko ili ψ nije istinito u situaciji w ili je θ
istinito u situaciji w ili i jedno i drugo.
· Bikondicional. Pretpostavimo da ϕ jest ψ ↔ θ. Onda je ϕ
istinito u situaciji w akko su ili i ψ i θ istiniti u situaciji w ili ni
ψ ni θ nisu istiniti u situaciji w.
Zatvrdnjudajeϕ istinito u situaciju w koristit ćemo zapis
w ² ϕ.
Definicija 2.9 Intenzija radikala ϕ ∈ LD u odnosu na skup
situacija X. ZaX ⊆ W ,
kϕk X = {w ∈ X | w ² ϕ} .
Definicija 2.10 Značenje rečenice ϕ iz jezika L!·¡ je jednomjesna
funkcija čija je domena Σ i čiji je rang Σ. Osnovne
rečenične funkcije:
Nužnost
· hα, γi [¡ϕ] =hkϕk α , kϕk γ i
28