Kieli merkitys ja logiikka

Samankaltaiset tiedostot
Kieli merkitys ja logiikka. Luento 6: Merkitys ja kieli

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

Tiedon esittäminen ja päättely. Kognitiivinen mallintaminen I. Merkitys. Merkitys. Kognitiivinen mallintaminen I, kevät /13/07

Kognitiiivinenmallintaminen1. Tiedon esittäminen, logiikkaa

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka. 4: Luovuus, assosiationismi. Luovuus ja assosiationismi. Kielen luovuus. Descartes ja dualismi

Predikaattilogiikkaa

Kieli merkitys ja logiikka

Pikapaketti logiikkaan

Logiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.

Kieli merkitys ja logiikka

LOGIIKKA johdantoa

Tieteenfilosofia 2/4. Heikki J. Koskinen, FT, Dos. Helsingin yliopisto / Suomen Akatemia

Verbin valenssi määrää, minkälaisia argumentteja ja komplementteja verbi odottaa saavansa millaisissa lauseissa verbi voi esiintyä.

FI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan:

Loogiset konnektiivit

Ilpo Halonen Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2

Insinöörimatematiikka A


Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Monimutkaiset ongelmat. Monimutkaiset ongelmat

Kieli merkitys ja logiikka

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet )

811120P Diskreetit rakenteet

811120P Diskreetit rakenteet

Luonnolliset vs. muodolliset kielet

Kieli merkitys ja logiikka. Johdanto. Kurssin sisältö. Luento 1: Johdanto. Kirjasta. Kieli, merkitys ja logiikka, HY, kevät Saara Huhmarniemi 1

Kieli merkitys ja logiikka

Predikaattilogiikan malli-teoreettinen semantiikka

3. Semantiikka ja pragmatiikka

8. Kieliopit ja kielet 1 / 22

T Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

8. Kieliopit ja kielet

Logiikka 1/5 Sisältö ESITIEDOT:

3. Predikaattilogiikka

2. Minkä joukon määrittelee kaava P 0 (x 0 ) P 1 (x 0 ) mallissa M = ({0, 1, 2, 3}, P M 0, P M 1 ), kun P M 0 = {0, 1} ja P M 1 = {1, 2}?

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos...

Lauselogiikka Tautologia

Kieli merkitys ja logiikka

Kieli merkitys ja logiikka

T Kevät 2009 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (Predikaattilogiikka )

Diskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1

1 Logiikkaa. 1.1 Logiikan symbolit

Kieli merkitys ja logiikka

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Roosa Niemi. Riippuvuuslogiikkaa

Lausekkeiden rakenteesta (osa 2) & omistusliitteistä

FORMAALI SYSTEEMI (in Nutshell): aakkosto: alkeismerkkien joukko kieliopin määräämä syntaksi: sallittujen merkkijonojen rakenne, formaali kuvaus

Kieli merkitys ja logiikka

T Kevät 2006 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

Kieli merkitys ja logiikka

Esimerkkimodaalilogiikkoja

Ratkaisu: (b) A = x 0 (R(x 0 ) x 1 ( Q(x 1 ) (S(x 0, x 1 ) S(x 1, x 1 )))).

Rekursiiviset tyypit

815338A Ohjelmointikielten periaatteet Harjoitus 2 vastaukset

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Heidi Luukkonen. Sahlqvistin kaavat

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi

811120P Diskreetit rakenteet

815338A Ohjelmointikielten periaatteet

Yhdyssana suomen kielessä ja puheessa

FILOSOFIAN KUOHUVAT VUODET KATSAUS 1900-LUVUN ALUN FILOSOFIAAN SIRKKU IKONEN

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011

Propositiot: Propositiot ovat väitelauseita. Totuusfunktiot antavat niille totuusarvon T tai E.

T kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut

Johdatus logiikkaan 2

Opintomoniste logiikan ja joukko-opin perusteista

Todistus: Aiemmin esitetyn mukaan jos A ja A ovat rekursiivisesti lueteltavia, niin A on rekursiivinen.

PROPOSITIOLOGIIKAN RIITTÄMÄTTÖMYYS

Ehrenfeuchtin ja Fraïssén peli

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

Kieli merkitys ja logiikka. Johdanto. Materiaali. Kurssin sisältö. Kirjasta. Kieli, merkitys ja logiikka, kevät Saara Huhmarniemi 1

Käyttöliittymä. Ihmisen ja tuotteen välinen rajapinta. ei rajoitu pelkästään tietokoneisiin

Kirjoita käyttäen propositiosymboleita, konnektiiveja ja sulkeita propositiologiikan lauseiksi:

Äärellisten mallien teoria

MS-A0402 Diskreetin matematiikan perusteet

Perinnöllinen informaatio ja geneettinen koodi.

Tässä lehdessä pääset kertaamaan Lohdutus-jakson asioita.

Säännölliset kielet. Sisällys. Säännölliset kielet. Säännölliset operaattorit. Säännölliset kielet

Asiakaspalvelun ymmärrettävyys. Sanasto ja kieli julkisissa palveluissa Ulla Tiililä

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

Lausuminen kertoo sanojen määrän

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

Muodolliset kieliopit

Konnektiivit. On myös huomattava, että vain joillakin luonnollisen kielen konnektiiveilla on vastineensa lauselogiikassa.

Lukualueiden laajentamisesta

Filosofian historia: 1900-luku

Automaatit. Muodolliset kielet

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 16. marraskuuta 2015

Kesälukio 2000 PK2 Tauluharjoituksia I Mallivastaukset

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

2. Olio-ohjelmoinnin perusteita 2.1

Kieli merkitys ja logiikka. 2: Helpot ja monimutkaiset. Luento 2. Tieto kielestä. Tieto kielestä. Kieli, merkitys ja logiikka, HY, kevät 2010

5/20: Algoritmirakenteita III

TIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 8. maaliskuuta 2012

LUKU II HOMOLOGIA-ALGEBRAA. 1. Joukko-oppia

Ratkaisu. Ensimmäinen kuten P Q, toinen kuten P Q. Kolmas kuten P (Q R):

Transkriptio:

Luento 7 Kieli merkitys ja logiikka Luennot 7 ja 8: sivut 237-274 Luento 7: Merkitys ja kieli Merkitys ja kieli Merkitys ja kieli Kompositionaalisuus Propositiologiikka Kieli ja tulkinta Predikaattilogiikka Kysymykset Merkityksen luonne Miten ihminen hahmottaa maailman: käsitteet/ajatukset/ideat? Mitä näistä pystytään formalisoimaan siten että muodostuu eksplisiittinen ja ennustava teoria Merkityksen yhteys kieleen Merkityksen yhteys maailmaan Miten ihmisen hahmottama merkitys liittyy maailmaan? Miten ei? Miten merkitys lokalisoituu aivoihin? Miten merkityksen oppiminen tapahtuu Miten kielen ja merkityksen yhteys opitaan? Kuinka paljon on synnynnäistä? Maailman hahmottaminen ja evoluutio Saara Huhmarniemi 1

Merkitys ja kieli Merkityksen osat Musiikki ja kieli: rytmi, sävelkorkeus, fraasit primitiiviset elementit laajemmat kokonaisuudet sama hermojärjestelmä liike Musiikilla on yleensä kuulijalleen jokin merkitys yhdistyy kokemuksiin, muistoihin, ajatuksiin, mielikuviin, tunteisiin.. Tällaisten kokemusten ja vaikutelmien tuottaminen on usein myös kielen tavoitteena Musiikin ja kielen ero: Kielelliset ilmaukset voivat viitata kielen itsensä ulkopuoliseen todellisuuteen, kuten maailman olioihin Pekkaan ja Merjaan. Lauseen kirjaimellinen merkitys tai perusmerkitys kertoo, mihin asiaan, ilmiöön tai tapahtumaan lause viittaa. lauseen perusmerkitys voidaan päätellä yksiselitteisesti riippumatta puhujasta ja olosuhteista, joissa ko. ilmaus lausutaan Puhujan merkitys: Voitko ojentaa tuon kynän? Konteksti Koirani ajoi kissan talon alle. kenen koira? onko kyseessä tietty kissa tai tietty talo ym. ajanhetki johon mennyt aikamuoto suhteutetaan Merkityksen osat Semantiikka leksikon ja kieliopin yhteys perusmerkitykseen Pragmatiikka perusmerkityksen yhteys lauseen käyttöön ja puhujan merkitys Perusmerkitys Merkitysteoria jakaantuu kahteen komponenttiin: primitiivisten ilmausten merkitys sanat tai oikeastaan morfeemit monimutkaisten ilmausten merkitys lauseet ja lausekeet Koirani ajoi kissan talon alle. Primitiiviset ilmaisut koira, -ni, ajaa, (imperfekti), kissa, -n, talo, -n, alla, (-e) Tapa, jolla primitiiviset ilmaisut yhdistetään Koirani ajoi kissan talon alle. Kissani ajoi talon koiran alle. Saara Huhmarniemi 2

Sanat ja viittaaminen Nimeäminen Sana Pekka viittaa suoraan maailmassa olevaan olioon Pekka. Lisäksi voimme kategorisoida olioita luokkiin, tämä perustuu käsitteiden käytölle. Pekka on ihminen. Sana ihminen viittaa kaikkien ihmisten joukkoon. Pekka on ihminen tarkoittaa, että Pekka kuuluu joukkoon, joka muodostuu kaikista ihmisistä. Kompositionaalisuus Esimerkiksi termin "ruskea lehmä" merkitys määräytyy termien "ruskea" ja "lehmä" merkitysten perusteella: RUSKEA_LEHMÄ(x) jos ja vain jos LEHMÄ(x) ja RUSKEA(x) Isolla kirjoitettu LEHMÄ tarkoittaa sanan lehmä merkitystä. Predikaattilogiikassa LEHMÄ(x) tarkoittaa, että x kuuluu käsitteen LEHMÄ ilmaisemaan joukkoon. Säännöllä voidaan tuottaa merkitys äärettömälle ilmaisujoukolle. Kompositionaalisuus Kompositionaalisuus "ruskea lehmä" syntaktinen sääntö, joka yhdistää AP:n nominipääsanaansa (yksinkertaisesti: [A N]) semanttinen sääntö, joka vastaa loogista ja funktiota. Tässä esimerkissä syntaktinen ja semanttinen sääntö yhdistyvät. Tämä ominaisuus, että kielellä ja maailmalla on hyvin samanlainen rakenne on muotoiltu kompositionaalisuus-periaatteeksi. Kompositionaalisuus Monimutkaisen (kompleksisen) ilmauksen merkitys on sen osien merkitysten ja niiden yhdistämiseen käytetyn syntaktisen säännön funktio. (Frege) Gottlob Frege (1848-1925), Alfred Tarski (1901/2-83), Richard Montague (1930-71).. Lisäksi: merkitykseen ei vaikuta mikään muu seikka. Esimerkiksi konnektiivien (ja, tai, jos-niin, että, jotta,..) semantiikka voidaan kuvata kompositionaalisesti. Saara Huhmarniemi 3

Tehtävä Yhdyssanat Tarkastele ilmaisuja, miten kompositionaalisuus näkyy niissä? punainen pyörä kerrostalo talossa talon edessä Pekan auto Yhdyssanojen merkitys on tyypillisesti eronnut osien merkityksestä: kuorma-auto, puutarhakeinu, roudarinteippi, mäkihyppy,... Uusien yhdyssanojen muodostaminen on kuitenkin kompositionaalinen prosessi: kahvikuppi, murokuppi, posliinikuppi, lasikuppi, juomakuppi,.. karhukuppi, televisiokuppi, surukuppi, lautaskuppi, aineettomuuskuppi, uimiskuppi Idiomit Kompositionaalisuus ja syntaksi Idiomit ovat kielen ilmaisuja, joiden merkitystä ei voi suoraan johtaa osien merkityksistä. potkaista tyhjää käydä täysillä Jotkut idiomeista vakiintuvat kieleen, toiset ovat jopa kertakäyttöisiä. ei ole kaikki kotona ei ole kaikki inkkarit kanootissa ei ole kaikki murot kulhossa Idiomit ovat sanankaltaisia yksiköitä eivätkä hajoa lauseessa Uusia lauseita voidaan muodostaa produktiivisesti mutta miten nämä kaikki uudet lauseet ymmärretään? semantiikan ja syntaksin sääntöjen suhde vanha kissa, Pekan äiti, juosta hiljaa, ajaa autoa, mennä uimaan Voimme vaihtaa sanoja ylläolevissa lausekkeissa ja silti ymmärtää lausekkeen merkityksen. Montaguen mukaan syntaksi ja semantiikka ovat homomorfisessa suhteessa keskenään. Jokaista syntaktista operaatiota vastaa jokin semanttinen operaatio. Kielioppi on merkityksen "peilikuva". Saara Huhmarniemi 4

Lause ja propositio Lause, lausuma ja propositio Sama merkityssisältö ilmaistaan eri kielissä eri tavoin: Pekka ei ostanut olutta. Pekka didn t buy beer. Пекка не купил пива. Lauseet ilmaisevat saman proposition. Lauseen propositionaalinen sisältö voi jossain tilanteessa olla esimerkiksi: PEKKA LÄHTEE KOTIIN Lauseen propositionaalinen sisältö voidaan esittää propositiologiikan avulla: Propositiot ovat merkityksiä, joiden todenmukaisuutta voidaan arvioida. Proposition ilmaisemaa asiantilaa voidaan verrata tilanteeseen maailmassa: Pekka ei lähde kotiin. Se on totta. Ei, se ei ole totta. Propositiolle voidaan antaa totuusarvo. Alfred Tarski 1930: Lause Lumi on valkoista jos ja jos vain X, missä X=lumi on valkoista. Tässä X on lauseen metakielinen kuvaus. Propositiot ovat lauseiden merkityssisältöjä. Propositiot ovat propositionaalisten asenteiden kohteita: jotakin, mitä voidaan uskoa, väittää jne. Propositiologiikka Propositiologiikka käsittelee lauseiden merkitystä. Peruslausetta kutsutaan atomilauseeksi, jota merkitään symbolilla p 0, p 1, p 2,... Monimutkaisempia lauseita voidaan rakentaa loogisten operaattoreiden eli konnektiivien avulla. luonnollisessa kielessä: ei, ja, tai, jos...niin... Propositiologiikka Konnektiivit kuvaavat kielen ilmausten välisiä suhteita. Atomilauseista voidaan niiden avulla muodostaa monimutkaisempia ilmaisuja: Pekka rakastaa Merjaa ja Merja rakastaa Juhaa. Pekka rakastaa Merjaa tai Pekka rakastaa Minnaa. Jos Pekka keittää kahvia niin kahvi valmistuu ajoissa. Saara Huhmarniemi 5

Propositiologiikka Propositiologiikka Merkitään: p 0 = Pekka rakastaa Merjaa p 1 = Merja rakastaa Juhaa. Merkitään: p 0 = Pekka keittää kahvia. p 1 = Kahvi valmistuu ajoissa. Pekka rakastaa Merjaa tai Pekka rakastaa Minnaa. Pekka ei keitä kahvia. Tehtävä Propositioiden totuusarvot Mitkä ovat atomilauseet seuraavissa lauseissa? Miten konnektiiveja voi käyttää niissä? Juna ei tule ajoissa. Jos juna tulee ajoissa niin minä ehdin kokoukseen. Juna tulee ajoissa tai meidät viedään linja-autoilla. Istun linja-autossa ja mietin päivän tapahtumia. Pekka ei matkusta junalla. Jos Pekka ei lähde elokuviin niin minä en lähde elokuviin. Propositioiden totuusarvot voidaan määrittää totuustaulujen avulla. P Q P Q 1 1 1 1 0 0 0 1 0 0 0 0 P Q PQ Q$ 1 1 1 1 0 0 0 1 1 0 0 1 Saara Huhmarniemi 6

Tulkintafunktio Predikaattilogiikkaa Primitiivisten ilmaisujen merkitys ei ole kompositionaalinen. Pekka on ihminen. Nimeäminen Käsitteet Primitiivisen ilmaisun merkitys yhdistetään ilmaisuun tulkintafunktion avulla. Tulkintafunktio µ yhdistää ilmaisun kielenulkoiseen olioon tai asiaan, johon se viittaa. µ(pekka) tarkoittaa siis tiettyä Pekkaa maailmassa. Käsitteitä käytetään kategorioina: µ(ihminen) tarkoittaa ihmisten kategoriaa. µ(pekka) µ(ihminen) Termiä joka ilmaisee käsitteen tai kategorian kutsutaan predikaatiksi. Pekka on ihminen. Kun tunnemme lauseen subjektin ja predikaatin voimme määrittää lauseen totuuden kompositionaalisesti. Olkoon a vakiosymboli ja P predikaatti. Lause P(a) on tosi jos ja vain jos µ(a) µ(p) Syntaktinen sääntö P a vastaa maailmassa relaatiota a P. Relaatiot Muuttujat Predikaattien lisäksi predikaattilogiikassa voidaan ilmaista relaatioita eli suhteita. Merja on lyhyempi kuin Tanja L(Merja,Tanja) Relaatioita voidaan kutsua monipaikkaisiksi predikaateiksi. Relaatio, jossa on kaksi paikkaa, kutsutaan kaksipaikkaiseksi predikaatiksi. Yleisesti n-paikkainen predikaatti tai relaatio Pekka syö leipää Relaatio syöjän ja syömisen kohteen välillä Yleisesti predikaattia tai relaatiota voidaan merkitä P(x) tai R(x,y). x on ihminen: Ihminen(x) x on lyhyempi kuin y: Lyhyempi(x,y) relaatiosymbolit: R, L, I, Lyhyempi, Ihminen, Syö yksilövakiot: a, b, Pekka, Merja muuttujat: x, y, z,.. Saara Huhmarniemi 7

Relaatiot Relaatiot Etsi näistä lauseista predikaatit ja relaatiot sekä niiden argumentit Pekka rakastaa Merjaa. Pekka antoi kirjan Merjalle. Merja on vaaleatukkainen. punainen polkupyörä punainen tai vihreä polkupyörä punainen polkupyörä pieni punainen talo punainen tai vihreä polkupyörä punainen(x) polkupyörä(x) pieni(x) punainen(x) talo(x) (punainen(x) vihreä(x)) polkupyörä(x) Kvanttorit Eksistentiaaliväite Aina koira ei viittaa ominaisuuteen koira. koira jahtasi kissaa a dog chased a cat Viitataan esimerkiksi yhteen olioon, joka kuuluu koirien kategoriaan. koira ei ole erisnimi, se ei viittaa suoraan. eräs koira a dog Ranskan nykyinen kuningas on kalju Russell: lauseen subjektipositiossa nominilausekkeet sisältävät eksistentiaaliväitteen: on olemassa x siten että x on Ranskan nykyinen kuningas ja x on kalju (x) ranskan_nyk_kuningas(x) kalju(x) (x) koira(x) Saara Huhmarniemi 8

Predikaattilogiikka Predikaattilogiikan aakkosto: konnektiivit:, kvanttorit:, relaatiosymbolit: R, L, I, Lyhyempi, Ihminen, Syö yksilövakiot: a, b, Pekka, Merja muuttujat: x, y, z,.. identiteettisymboli = funktiosymbolit: f 1, f 2, f 3 sulkeet: (, ) Saara Huhmarniemi 9