u perspek - Filozofski fakultet u Splitu

osporiva može se modelirati pomoću ideje o minimalnom stanju
za neki skup rečenica. «Intenzije radikala» koresponidiraju
količini njihova informacijskog sadržaja.
Primjedba 4.3 Količina informacijskog sadržaja rečenice ϕ
veća ¯ je od količine informacijskog sadržaja rečenice ψ akko
¯
¯kϕk W ¯ ¯
¯ ¯
¯ 6= 0 i ¯kϕk W ¯ ¯
¯ ¯
¯ < ¯kψk W ¯ ¯. Tautologije nemaju
¯informacijskog
sadržaja jer ne isključuju niti jednu situaciju,
¯
¯k>k W ¯ = |W |. Kontradikcije tako ¯der nemaju informacijskog
¯
sadržaja jer isključuju sve situacije, ¯k⊥k W ¯ =0. Izme¯du tih
¯
dvaju krajnjih položaja nalaze se kontingencije κ, 0 < ¯kκk W ¯ <
|W |. Me¯du kontigencijama poseban položaj imaju one koje su
obzirom na neki popis D propozicijskih slova «potpune». Neka
¯je
W = ℘D, rečenica κ je «potpuna» u odnosu na D akko
¯
¯kκk W ¯ =1. «Potpuna» rečenica κ razdjeljuje rečenice jezika
LD izgra ¯denog¯nad alfabetom D tako da za svaku rečenicu
¯
ϕ ∈ LD vrijedi ¯kκ ∧ ϕk W ¯ ¯
¯ ¯
¯ =1akko ¯kκ ∧¬ϕk W ¯ =0(što se
rutinski može dokazati koristeći definicije 2.8 i 2.9). U metafori,
«potpunoj» se rečenici «ništa ne može dodati ni oduzeti«.
U okviru eliminativne dinamičke semantike ideja o mogućnosti
valjanog zaključka s osoporivom konkluzijom može biti modelirana
pomoću odnosa izme ¯du premisa i konluzije koji se
ostavaruje u minimalnom stanju koje verificira premise. U
skupu stanja koja verificiraju rečeniceizskupaT (definicija
3.10) postoji minimalno stanje za T (korolarij 3.5) σ minT takvo
da za bilo koje drugo stanje σ 0 6= σ minT koje verificira sve
rečenice iz T postoji rečenicakojajeprihvaćena u σ 0 , ali koja nije
prihvaćena u σ minT . Pretpostavimo da ’prima facie posljedica’
označava odnos konkluzije κ ipremisaT u kojemu je konkluzija
κ prihvatljiva u svjetlu premisa T , ali je možda neprihvatljiva u
odnosu na prošireni skup premisa T 0 (T ⊂ T 0 ). Budući da po
korolariju 3.5 vrijedi σ minT = 0[T ], slijedi da bismo pojam
prima facie posljedice mogli eksplicirati (i) koristeći, s jedne
62