u perspek - Filozofski fakultet u Splitu
u perspek - Filozofski fakultet u Splitu
u perspek - Filozofski fakultet u Splitu
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
(u dijelu jezika pod razmatranjem) tako da je svaka rečenica<br />
ili prihvaćena ili neprihvatljiva. No, treća zamisao, zamisao<br />
o osporivoj konkluziji jest ona koja traži uvo ¯denje dodatnih<br />
pojmova. Konkluzija koja u nekom smislu slijedi iz premisa<br />
iako se može osporiti dodatnim premisama mora na neki način<br />
biti povezana upravo s onim premisama koje nju opravdavaju.<br />
Takvu konkluziju možemo nazvati konkluzijom neodvojivom<br />
od njezinih osnova. U okviru sustava eliminativne dinamične<br />
semantike za jezik L!·¡ takva konkluzija mora biti rečenica<br />
posebne vrste. Naime, niti jedna me ¯du rečenicama jezika<br />
L!·¡ ne može preuzeti ulogu neodvojive ili osporive konkluzije.<br />
Razlog tome jest u činjenici da se prihvaćenost rečenice iz<br />
jezika L!·¡ naslje ¯duje tijekom obnavljanja (tvrdnja 3.11). Ako<br />
je riječ orečenicama koje uklanjaju situacije, onda će one ostati<br />
prihvaćene u svim stanjima koja verificiraju sve premise. Stoga<br />
ulogu osporive konkluzije može preuzeti samo neka rečenica koja<br />
ili nije eliminativna ili nije isključivo eliminativna. 8 Izgleda<br />
da u prirodnom jeziku nalazimo takve rečenice, rečenice koje<br />
ne mijenjaju informacijsko stanje već izvješćuju o njemu, koje<br />
opisuju a ne uklanjaju «fragmentarne slike iz galerije».<br />
U sljedećim ćemo odlomcima uvesti rečenice-provjere u<br />
imperativnom modusu. Zbog svojstva neperzistentnosti one se<br />
u okviru eliminativne semantike pojavljuju kao dobri kandidati<br />
za ulogu osporive konkluzije.<br />
4.1 Proširenje jezika L!·¡ na L¦!·¡<br />
Za svrhu otvaranja prostora ne-perzistentnim rečenicama, jezik<br />
L!·¡ proširit ćemo s dvije nove vrste rečenica koje neće biti<br />
rečenice-promjene većrečenice-provjere.<br />
Sintaksa. Nizϕ simbola rečenica je u jeziku L¦!·¡ akko ϕ∈<br />
L!·¡, ili ϕ = ¦·ψ ili ϕ = ¦!ψ,gdjeψ ∈ LD.<br />
Semantika za rečenice-provjere. Semantika rečenica jezika<br />
L¦!·¡ jednaka je semantici za L!·¡ (str. 26) uz dodatak definicija<br />
za rečenice-provjere. Pored već uvedenog skupa F završnih<br />
8<br />
Takve rečenice koje kombiniraju promjenu i provjeru uvodimo kasnije (str.<br />
77 i 88).<br />
59
Change language