u perspek - Filozofski fakultet u Splitu

More documents

Recommendations

Info

1 Uvod U ovom radu izlažemo prijedlog rješenja problema valjanosti praktičnog zaključka. U prvom dijelu rada izlažemo i vrednujemo standardne pristupe k prikazu oblika praktičnog zaključka. U drugom dijelu izlažemo osnovne ideje dinamične semantike i istražujemo njezin odnos prema statičnoj semantici. U trećem dijelu povlačimo niz filozofijskih posljedica dinamičnog pristupa i dajemo osnovni okvir jedne praktične propozicijske logike koja uspješno rješava niz problema praktične logike. Dijelovi su me ¯dusobno povezani na sljedeći način. Prvi dio ocrtava problem prikaza oblika praktičnog zaključka i problem kriterija njegove valjanosti. U drugom dijelu istražujemo svojstva dinamičke formalno semantičke teorije koja se već pokazalauspješnom u razjašnjavanju logičkih odnosa izme ¯du rečenica s različitim gramatičkim, odnosno logičkim modusom. U trećem dijelu gradimo praktičnu logiku oslonjenu na glavne ideje dinamične semantike i primijenjujemo je u rješavanju problema valjanosti praktičnog zaključka. Rezultati postignuti u ovom istraživanju oblikuju jedan složeni i povezani niz. Njihov kratak pregled slijedi. Razlog zbog kojega problem valjanosti praktičnog zaključka nije bio riješen pronalazimo u prevlasti «indikativnog pristupa». Logički indikativi i logički imperativi imaju različitu semantiku, pa problem valjanosti praktičnog zaključka nije mogao biti zadovoljavajuće riješen sve dok se istinosna vrijednost promatrala kao vrhovna semantička vrijednost. Dinamična semantika značenje rečenica povezuje s promjenom koja nastaje ili može nastati na stanju subjekta koji rečenicu usvaja. Kako je repertoar promjena, za razliku od istinosnih vrijednosti, vrlo širok, dinamična semantika pokazala se uspješnom u 105
Page 1 and 2:
U PERSPEK- TIVI DINAMIČNE SEMANTIK
Page 3 and 4:
Strana za odbaciti. 3
Page 5 and 6:
Sadržaj Zahvale 7 Predgovor 9 IMPE
Page 7:
Zahvale Mnogima dugujem zahvalnost
Page 11:
IMPERATIVNA LOGIKA I DINAMIČNA SEM
Page 14 and 15:
govoreći, tumač na raspolaganju i
Page 16 and 17:
pq p q - pq p q pq p - pq q - p q -
Page 18 and 19:
akko Posljedica 0-promjena-provjera
Page 20 and 21:
0 pq p q - p∨q pq p q pq q - p∨
Page 22 and 23:
Geach [40] str. 77. Ako slijedimo p
Page 24 and 25:
24 Modalni element, radikal i seman
Page 26 and 27:
aspon mogućih aktualnih i budućih
Page 28 and 29:
Definicija 2.8 Istinitost u situaci
Page 30 and 31:
Koristeći zapis 5 «s dva radikala
Page 32 and 33:
Niz rečenica ϕ 1; ...;ϕ n iz jez
Page 34 and 35:
«Interakcija izme ¯du teorijskog
Page 36 and 37:
Primjedba 3.1 Dokazi prethodnih lem
Page 38 and 39:
članova, tj. |D| = n.Tadazasvakiw
Page 40 and 41:
Budući da wk ∈ S, onda a ∈ S.
Page 42 and 43:
42 neprihvaćena rečenica, jer ⎡
Page 44 and 45:
Dokaz. Rutinski uz primjenu tvrdnje
Page 46 and 47:
Lema 3.6 Neka je s1,...,sn tekst iz
Page 48 and 49:
stanje hα, γi da vrijedi ili hα,
Page 50 and 51:
Definicija 3.12 Stanje σ je minima
Page 52 and 53:
tradikcija. (Slično vrijedi za pre
Page 54 and 55: Tvrdnja 3.10 Rečenica ϕ je prihva
Page 57 and 58: 4 Prima facie posljedica Metafora:
Page 59 and 60: (u dijelu jezika pod razmatranjem)
Page 61 and 62: Neizvjesnost pruža prirodno stani
Page 63 and 64: strane, pojam 0-promjena-provjera p
Page 65 and 66: 3.1, i tvrdnja 3.3), tj. premise ko
Page 67 and 68: prozor’. Ako takva zapovijed ipak
Page 69: (i koji time ima istu povijest kao
Page 72 and 73: u eliminativnim sustavima obnavljan
Page 74 and 75: ϕ Razori Razori ϕ! ϕ! Očuvaj O
Page 76 and 77: Definicija 5.4 Stanje hα, γ, πi
Page 78 and 79: Definicija5.10(Negacijatvrdnjeoprav
Page 80 and 81: Jedan primjer. Primjer 5.1 Formaliz
Page 82 and 83: Po ovdje predloženom pristupu mi
Page 84 and 85: · σ £ ·ψ →! P ϕ ¤ ½ £ ¤
Page 86 and 87: Definicija 6.4 Skup M je skup trenu
Page 88 and 89: Definicija 6.15 Akosurečenice ϕ i
Page 90 and 91: · hρ, πi[! O ϕ)] = hρ, πi [·
Page 92 and 93: Primjer 6.3 ’Pošalji pismo! Ti g
Page 94 and 95: Lema 6.2 hProm,Resi [·nf(mem1(mem1
Page 96 and 97: cionalnog imperativa sljedeći: ρ
Page 98 and 99: Lema 6.5 Dokaz. Rutinski. Instanca
Page 100 and 101: disjunkcije bilo valjano, nitko ne
Page 103: VALJANOST PRAKTIČNOG ZAKLJUČKA 10
Page 107 and 108: Brown, H. N. Castańeda, R. Chishol
Page 109 and 110: naša očekivanja u pogledu konkluz
Page 111 and 112: druga premisa i konkluzija su ili n
Page 113 and 114: 2 Praktični zaključak 2.1 Otkrić
Page 115 and 116: ako se služi onim stavkom koji je
Page 117 and 118: Prevlast asertorične logike, kao p
Page 119 and 120: [62] tvrdeći da u pripisivanju int
Page 121 and 122: kod mjerenja i kod primjene propozi
Page 123 and 124: Belnap i Perloff [9] (str. 182) Kan
Page 125 and 126: ∀m1∀m2∀m3 [(m1
Page 127 and 128: Jedna razlika izme ¯du iskaza post
Page 129 and 130: 3 Dinamična semantika 3.1 Značenj
Page 131 and 132: · Atomarni programi a, b, c, ... s
Page 133 and 134: utrošak podjednak. ⎧ ⎨ u_l opi
Page 135 and 136: zadovoljiv. Pravila koja slijedimo
Page 137 and 138: Gornji iskaz ’Svaka primjena prog
Page 139 and 140: · (ϕ ∧ [π ∗ ](ϕ → [π] ϕ
Page 141 and 142: ³ = ∀y¬ (a) # ³ ³ ∧ [y/x]
Page 143 and 144: Form(Φ) ∪ Proc(Φ): · Formule F
Page 145 and 146: Glavne opcije su sljedeće: (i) re
Page 147 and 148: Primjer 3.14 U primjeru 3.13 analiz
Page 149 and 150: konzistenciju (bez modificiranja hi
Page 151 and 152: dajemo uobičajeni prijevod modalne
Page 153 and 154: Valjanost zaključka u update logic
Page 155 and 156:
zadovoljenje vezati uz isti «svije
Page 157 and 158:
np(ϕ 1; ...; ϕ n; ψ) ↔ np(ϕ 1
Page 159 and 160:
označenju dijelova i sintaktičkom
Page 161 and 162:
sa skupom svih mogućih takvih prom
Page 163 and 164:
k∀x (P (x) → Q(x))k = k∃xP (x
Page 165 and 166:
Primjer 3.17 Standardni statični p
Page 167 and 168:
promjena-promjena. Evo izvorne defi
Page 169 and 170:
tako suženom modelu parova funkcij
Page 171 and 172:
Poistovjetimo li, slično kao u DPL
Page 173 and 174:
Definicija 3.26 Kontekst. · Kontek
Page 175 and 176:
izme ¯du pitanja mogli bismo reći
Page 177 and 178:
i(ii) ⎧ ¯ ⎨ ¯ ∀ hw, vi ∈C
Page 179 and 180:
soziromdaϕ! ² ψ? pitanje prethod
Page 181 and 182:
pojmova ovlašćivanja (ϕ? ovlaš
Page 183 and 184:
4 Dinamična praktična logika 4.1
Page 185 and 186:
4.1.2 Hijerarhija interpretacija Se
Page 187 and 188:
modeli prvog reda moraju varirati d
Page 189 and 190:
iti: 1. prihvaćena i prihvatljiva,
Page 191 and 192:
im da je na tom skupu definirana re
Page 193 and 194:
daje jednostavno objašnjenje «hol
Page 195 and 196:
definira. Zato je prvo pitanje na k
Page 197 and 198:
vrijednost» iskazati pomoću kompa
Page 199 and 200:
(u smislu u kojem je predmet označ
Page 201 and 202:
Na temelju odabranih primjera iz li
Page 203 and 204:
kojega smo u 2.1 nazvali supsumiraj
Page 205 and 206:
4.1.7 Konflikt intuicija o valjnim
Page 207 and 208:
w ² p → q,aliw 2 4q (deblja crta
Page 209 and 210:
prilično dubok i da je možda pove
Page 211 and 212:
p ∈ w ) povezane putem odnosa dos
Page 213 and 214:
{p,q} G {p} {q} A ∅ Model [Fiat(p
Page 215 and 216:
elaciju dostupnosti ne tumačimo ka
Page 217 and 218:
Definicija 4.6 Semantička vrijedno
Page 219 and 220:
prihvatljivih ciljeva u smislu dovo
Page 221 and 222:
Dinamični pojmovi su bliži intuit
Page 223 and 224:
edundantna u drugom. Klasičnom poj
Page 225 and 226:
vjerovanja stanje svijeta 1 stanje
Page 227 and 228:
· Ako Vw (ϕ) =>,pišemow ² ϕ. S
Page 229 and 230:
Elementarne rečenice su Fiat(ϕ),
Page 231 and 232:
ečenice. Po statičnoj definiciji,
Page 233 and 234:
Primjedba 4.4 Prvi dio gornje defin
Page 235 and 236:
Definicija 4.29 Model σ /∈Fje pr
Page 237 and 238:
sugestije Fiat¦(p) i Fiat¦(q), do
Page 239 and 240:
No, ako postoje dodatna ograničenj
Page 241 and 242:
a a b b b a b Situacija planiranja.
Page 243 and 244:
verificiraju Fiat(ϕ ∧ ψ) i Fiat
Page 245 and 246:
onda obavijest da p jest slučaj ne
Page 247 and 248:
odnosno izme ¯du smjera slaganja i
Page 249 and 250:
4.3.4 Ciljevi i mogućnosti Postoji
Page 251 and 252:
Tvrdnja 4.10 ∀σ :[Est(ϕ)] σ/
Page 253 and 254:
U nekom smislu možemo o kondiciona
Page 255 and 256:
zadovoljenja gdje se vjeruje da je
Page 257 and 258:
Ne začu ¯duje da Cross interpreti
Page 259 and 260:
cilj ϕ nije isto što i biti u sta
Page 261 and 262:
· posebnu narav konkluzije: tipič
Page 263 and 264:
slagali o tome što je konkluzija p
Page 265 and 266:
Refleksivnost? promjena-promjena ne
Page 267 and 268:
(modela). Rezultirajuće stanje ne
Page 269 and 270:
[Fiat(¬q)] σ 2 = i σ 00 ∈F zat
Page 271 and 272:
Pravila: 1. Za svaku eliminaciju up
Page 273 and 274:
(1)Fiat(p) (2)Est¤ (p → q) Fiat
Page 275 and 276:
svijet eliminiran s test konkluzije
Page 277 and 278:
izgubila položaj temeljne semanti
Page 279 and 280:
kao prijenos poželjnosti s cilja n
Page 281:
Autor na kraju daje proširenje jed
Page 284 and 285:
language of intentionality? Logic C
Page 287 and 288:
Bibliografija [1] C.E. Alchourron.
Page 289 and 290:
action. The Journal of Philosophy.
Page 291 and 292:
[52] D. Israel, J. Perry i S. Tutiy
Page 293 and 294:
[82] R.J. Wallace. How to argue abo
Page 295 and 296:
Summary This book contains two pape
Page 297 and 298:
Kazalo imena Alchourron, C. E., 106
Page 299:
Wittgenstein, L., 23, 25, 182 von W
show all

u perspek - Filozofski fakultet u Splitu

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?