u perspek - Filozofski fakultet u Splitu

Benthem opisuje s dvo-razinskom logičkom arhitekturom:
−−−−→
načini
Booleova Relacijska
© iskazi postupci ª
algebra algebra
←−−−−−−−
projekcije
Načini prenose standardne propozicije P k postupcima
koji imaju te propozicije za svoj informacijski sadržaj, npr.
’učini da vrijedi P ’ ili ’provjeri vrijedi li P ’. U suprotnom
smjeru, projekcije daju svakom postupku R standardnu propoziciju
koja bilježi neku bitnu crtu njegova djelovanja,
poput operatora čvrste točke koji opisuje ona stanja u kojima
je R već zadovoljen ili poput slike mogućih učinaka
akcije R u teoriji skupova.
van Benthem [12] (str. 12)
Dinamična semantika nije ’negacija’ statične. Radije, dinamična
semantika nadogra ¯duje statičnu postižući veću teorijsku
snagu. Promatranje rečenica kao akcija zahtijeva statičnu
semantiku pomoću koje se definira učinak akcije.
3.2 Propozicijska dinamična logika
3.2.1 Jezik propozicijske dinamične logike
Propozicijska dinamična logika je svojevrsna ’dvorazinska’
logika. U njezinoj sintaksi nalazimo dvije vrste izraza:
propozicije i programe. U skladu s time i semantika je dvojaka
jer je zadana s prijelazima stanja i samim stanjima.
Definicija 3.1 Sintaksa dinamične propozicijske logike:
· Propozicijski atomi p, q, r, ... su propozicije.
· Ako su ϕ i ψ propozicije, onda su ¬ϕ, ϕ ∧ ψ propozicije.
130