u perspek - Filozofski fakultet u Splitu

Jedan primjer.
Primjer 5.1 Formalizirajmo sljedeći praktični zaključak. Premise:
(P1) Uvedi Plutona unutra! (P2) Fido i Pluton ne mogu biti na
istom mjestu. Konkluzija: (K1) Možda bi trebalo Fida izvesti
vani! Neka ’P ’ stoji za ’Pluton je unutra’ i ’F ’za’Fidoje
unutra’. Dobivamo sljedeći valjani prima facie zaključak:
! P P ; ¬ ¡ (F ∧ P ) ²0−ut 4! P ¬F .
Primjer 5.2 Konkluzija (K1) iz prethodnog zaključka može se
osporiti dodavanjem premise (P3) Fido je vani.
! P P ; ¬ ¡ (F ∧ P ); ·¬F 20−ut 4! P ¬F .
Primjer 5.3 Premise: (P1) Uvedi Plutona unutra! (P2) Fido
i Pluton ne mogu biti na istom mjestu. i (P3) Fido je vani.
omogućuju novu prima facie konkluziju (K2) Ostavi Fida vani!
! P P ; ¬ ¡ (F ∧ P ); ·¬F ²0−ut! O ¬F .
Primjer 5.4 Konkluzija (K2) iz prethodnog zaključka može se
osporiti dodavanjem premise (P4) Nije moguće Fida uvesti
unutra.
! P P ; ¬ ¡ (F ∧ P ); ·¬F ; ¡¬F 20−ut! O ¬F .
5.1.3 Neperzistentne rečenice
U jeziku L¬!¦!·¡ nalazimo dvije vrste neperzistentnih rečenica.
Pored proširenja vrsta rečenica-provjera koje smo uveli u
sustavu L¦!·¡ (str. 59), ovdje još nalazimo vrste rečenica koje
kombiniraju provjeru i promjenu (njihovi modalni elementi su:
! P i ! O , te njihove negacije).
80