Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset
maailmankuvausprotokolla-sivulta:
(?x (prop a ?x name (val "Paul")) (at a ?x (pl (?y (at a ^sender (pl ?y))))))
eli "x jonka nimi on 'Paul' ja joka on paikassa jossa puhuja on".
Ylläoleva lause muuten on kirjoitettu upotetussa (epälineaarisessa, asymmetrisessä) muodossa, joka vastaa jonkin verran funktionaalista perinnettä mutta taistelee predikaattilogiikan perinteitä vastaan. Linearisoitu muoto olisi:
(?x (prop a ?x name (val "Paul")) (at a ?x (pl ?y)) (at a ^sender (pl ?y)))
eli "x jonka nimi on 'Paul' ja joka on paikassa y ja puhuja on paikassa y".
Minä pidän enemmän upotetusta muodosta, koska luonnollisella kielellä on yleensä jokin suunta: ensin määritetään asia ja sitten sanotaan siitä jotain. Logiikka hämärtää tämän relevanssille tärkeän "order of evaluation"in tavalla, josta en pidä. Logiikka on muutenkin heikoilla relevanssin ja teema-reema-rakenteiden kanssa, ja linearisoinnin tuoma reduktio heikentää logiikan ilmaisuvoimaa entisestään tällä saralla.
Jos haluaa yksinkertaistaa upotettua merkintää, oikea tapa on mielestäni käyttää lyhennemerkintää relatiivilauseelle samaan tapaan, kuin joissain funktionaalisissa kielissä on lyhenne anonyymeille funktioille:
((prop a ? name (val "Paul")) (at a ? (pl ((at a ^sender (pl ?))))))
Tähän mennessä olemme puhuneet linearisoinnista vain relatiivilauseen sisällä. Mutta predikaattilogiikka menee vieläkin pidemmälle ja linearisoi relatiivilauseetkin. Tämä tarkoittaa, että "suuri punainen koira tynnyrissä haukkuu Hilbertille" muunnetaan muotoon "On olemassa x, y ja z siten, että x on suuri ja x on punainen ja y on tynnyri ja x sijaitsee y:ssä ja z:n nimi on Hilbert ja x haukkuu z:lle". Virkkeeseen siis ilmaantuu hirmuinen määrä turhia muuttujia ja väitteitä, jotka eivät oikeasti ole väitteitä vaan vain rajaavat diskurssia. (Näin menetetään samalla puheessa tärkeä esioletetun ja väitetyn ero.)