Vad är semantik? LITE OM SEMANTIK I DATORLINGVISTIKEN. Språkteknologi semantik. Frågesbesvarande

Save this PDF as:
 WORD  PNG  TXT  JPG

Storlek: px
Starta visningen från sidan:

Download "Vad är semantik? LITE OM SEMANTIK I DATORLINGVISTIKEN. Språkteknologi semantik. Frågesbesvarande"

Transkript

1 LITE OM SEMANTIK I DATORLINGVISTIKEN (FORMELL SEMANTIK) Vad är semantik? Form (abstrakt struktur): grammatik Innehåll (betydelse): semantik Användning: pragmatik/diskurs Mats Dahllöf Språkteknologisk motivation Frågeställningar Grundläggande idéer 1 2 Språkteknologi semantik översättning innehållsklassifikation dokumentsökning kunskapsformalisering data mining frågebesvarande system dialogsystem Frågesbesvarande Efter Linnés död bodde hans änka Sara Lisa permanent på Hammarby till sin död Gården fanns i familjens ägo tills 1879 då staten köpte Hammarby med Uppsala universitet som förvaltare. [Bakgrund: L dog Förutsatt: Inga ägarskiften efter 1879.] Var Linné gift? Vem bodde på Hammarby 1804? Vem ägde Hammarby 1850? Vem äger Hammarby idag? resonerande - förståelse 3 4

2 Logik & semantik Logisk slutledning (inferens): premisser - slutsats Om premisserna alla är sanna, så måste slutsatsen vara sann. Exempel: Alla botaniker beundrar Linné. Pelle är inte en botaniker. INTE EN LOGISK SLUTLEDNING: Alla botaniker beundrar Linné. Pelle är inte en botaniker. Logik & semantik II Logisk slutledning. Exempel: Ingen beundrar Linné. Pelle beundrar inte Celsius. Någon beundrar varken Linné eller Celsius. Pelle är inte botaniker. INTE EN LOGISK SLUTLEDNING: Pelle beundrar inte Celsius. Pelle beundrar inte någon. (övergeneralisering) 5 6 Pragmatisk slutledning NYHETSNOTIS (påhittad) Två bilar krockade igår på E4. Den ene föraren blev lindrigt skadad. De materiella skadorna var betydande. SLUTSATS : Ingen dog i olyckan. Följer ej logiskt, utan pragmatiskt, utifrån principer om kommunikation. Normalt i samtal/text: Säg det viktiga före det mindre viktiga! Pragmatisk slutledning II Den utpekade terroristledaren Usama bin Ladin tros befinna sig inom ett 70 kvadratkilometer stort område 13 mil öster om Kandahar i södra Afghanistan. Brittiska och amerikanska soldater har landsatts i området, uppger brittiska medier. (SvD ) Slutsatser : Osäkerhet i flera fall. Underförstått motiv: Soldaterna söker UbL. Underförstådd exklusion: Uteslutande brittiska och amerikanska soldater. 7 8

3 Naturligt språk Rika uttrycksmöjligheter Bland dem som Pelle beundrar finns inte Linné. Linné är inte en av dem Pelle beundrar. Pelle är inte någon Linnébeundrare. Linné är inte föremål för Pelles beundran. Naturligt språk Flertydighet strukturell flertydighet gröna äpplen och päron apelsiner och citroner från Italien Han slog mannen med hammaren. Alla lingvister kan två språk. lexikal flertydighet kurs ben svin förlägga häftig 9 10 Aristoteles logik 4 typer av utsagor Alla A är B. (A) Någon A är B. (I) Syllogism Mönster för korrekt slutledning från två premisser Exempel: Ingen A är B. (E) Någon A är inte B. (O) Alla människor är dödliga. (A-typ) Alla botaniker är människor. (A-typ) Alla botaniker är dödliga. (A-typ) ( Barbara A-A-A kallas denna.) A, E, I, O systematiken m n X Y Alla X är Y. (A) Ingen X är Y. (E) m är tom n är tom Någon X är Y. (I) Någon X är inte Y. (O) n är inte tom m är inte tom 11 12

4 Modern logik & semantik Frege (1879) idag predikatlogik Alla A är B. alla-x [om A(x) så B(x)] x A x B x Någon A är B. inte alla-x [om A(x) så inte B(x)] x A x B x Ingen A är B. alla-x [om A(x) så inte B(x)] x A x B x Någon A är inte B. inte alla-x [om A(x) så B(x)] x A x B x Slutledning/predikatlogik Alla botaniker beundrar Linné. Pelle är inte botaniker. x B 1 x B 2 x l B 2 p l B 1 p l: Linné (individ) p: Pelle (individ) B 1 : botaniker (egenskap 1-ställig) B 2 : beundrar (relation 2-ställig beundrare/beundrad) Principer Satser har ett sanningsvärde, sann eller falsk. (materiell) implikation P Q P Q sann sann sann sann falsk falsk falsk sann sann falsk falsk sann negation P P sann falsk falsk sann Mekanisk slutledning x B 1 x B 2 x l (1, premiss) B 2 p l (2, premiss) Instantiering av (1) [x blir p, bort]: (det som gäller alla gäller även Pelle): B 1 p B 2 p l (3) Generell princip ( modus tollens ): Ur P Q och Q följer P Modus tollens på (3) och (2) ger: B 1 p Bevis som kan produceras/kollas av en maskin! 15 16

5 Semantik sanning Att veta vad en sats betyder är att veta hur världen måste vara beskaffad för att satsen skall vara sann. Betydelse är sanningsvillkor. Andra uttrycks betydelse analyseras i termer av deras bidrag till satsbetydelser. Semantisk analys Översättning av naturligt språk till logisk formalism underlättar/möjliggör resonerande. Sats > Naturligt språk semantisk analys > formel Logisk formalism Kompositionalitet (Freges princip) I naturligt språk: varje sammansatt uttrycks betydelse skall kunna gå att räkna ut utifrån delarnas betydelser (och kombinationssätt) Lexikal semantik Struktur inom lexikala begrepp. Definition av änka: X är/var en änka vid tidpunkten t om och endast om X är en kvinna och det existerade en person Y, sådan att Y var gift med X vid tidpunkten u och Y dog vid tidpunkten u och u t (u kommer före t). Lexikala relationer Synonymi pojke, gosse, kille, grabb flicka, tös, tjej sak, pryl, grej pengar, kosing, stålar, medel Hyponymi människa överordnat man, kvinna, kille, tjej hund överordnat tax, boxer, schäfer musik överordnat jazz, hip-hop, schlager fordon överordnat bil, cykel, moped 19 20

6 Lexikala relationer Typer av motsatser Artmotsats inomhus - utomhus levande - död djur - växt Gradmotsats stor - liten fattig - rik vacker - ful snäll - elak 21 Lexikala relationer Polysemi Flera betydelser hos samma ord ben extremitet leg möbel- leg skelett- bone tak inner- ceiling ytter- roof färg egenskap colour materiell paint politisk colour 22 Lexikala relationer Flera ord en form: homonymi får ur lock (löser sig med grammatik) bok (löser sig ibland med grammatik) ask lapp (liknar polysemi mer) 23

FTEA12:2 Filosofisk metod. Att värdera argumentation I

FTEA12:2 Filosofisk metod. Att värdera argumentation I FTEA12:2 Filosofisk metod Att värdera argumentation I Dagens upplägg 1. Några generella saker att tänka på vid utvärdering av argument. 2. Grundläggande språkfilosofi. 3. Specifika problem vid utvärdering:

Läs mer

Logik och semantik. Mats Dahllöf, Plan. Semantik och pragmatik

Logik och semantik. Mats Dahllöf, Plan. Semantik och pragmatik Semantik och pragmatik Logik och semantik Mats Dahllöf, 2005-05-20. Plan Sanning och logik. Logik i lexikala begreppssystem. Logik i satsinnehåll. Aristotelisk logik. (En enkel typ av formalisering. För

Läs mer

Semantik och pragmatik (Serie 4)

Semantik och pragmatik (Serie 4) Semantik och pragmatik (Serie 4) Satser och logik. Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 30 Så här långt (satslogik) Konjunktion (p q): att två enklare satser båda är uppfyllda.

Läs mer

Semantik och pragmatik

Semantik och pragmatik Semantik och pragmatik OH-serie 6 http://stp.lingfil.uu.se/~matsd/uv/uv13/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Februari 2013 Tillämpningar av semantik allmänt Analys av grammatik:

Läs mer

Semantik och pragmatik (Serie 3)

Semantik och pragmatik (Serie 3) Semantik och pragmatik (Serie 3) Satser och logik. Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 37 Logik: språk tanke (Saeed kapitel 4.) Satser uttrycker (ofta) tankar. Uttrycksrikedom

Läs mer

Semantik och pragmatik (serie 5)

Semantik och pragmatik (serie 5) Semantik och pragmatik (serie 5) (Predikat)logik Mängdlära överkurs (och repetition för en del). Mats Dahllöf Institutionen för lingvistik och filologi April 2015 1 / 41 Korsning av två egenskaper E 1

Läs mer

Generellt kan vi säga att för att vi ska värdera ett argument som bra bör det uppfylla åtminstone följande kriterier:

Generellt kan vi säga att för att vi ska värdera ett argument som bra bör det uppfylla åtminstone följande kriterier: FTEA12:2 Föreläsning 3 Att värdera en argumentation I: Vad vi hittills har gjort: beaktat argumentet ur ett mer formellt perspektiv. Vi har funnit att ett argument kan vara deduktivt eller induktivt, att

Läs mer

Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf

Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik II 1 Predikatlogik, generella

Läs mer

7, Diskreta strukturer

7, Diskreta strukturer Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2015 Modeller Matematiska modeller Kontinuerliga modeller Kontinuerliga funktioner

Läs mer

Semantik och logik. Semantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet

Semantik och logik. Semantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet emantik och logik emantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet 1 Dagens föreläsning aeed 2009, kap.4 Introduktion till formell semantik Betydelse i sammansatta satser Betydelserelationer

Läs mer

Semantik och pragmatik

Semantik och pragmatik Semantik och pragmatik OH-serie 4 http://stp.lingfil.uu.se/~matsd/uv/uv12/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Om barnet har svårt att andas eller har ont i bröstet

Läs mer

Kommunikation. Språk och språkteknologier. Semiotik. Kommunikationsmodell. Saussures strukturalism. Finns betydelse? Teckenkod.

Kommunikation. Språk och språkteknologier. Semiotik. Kommunikationsmodell. Saussures strukturalism. Finns betydelse? Teckenkod. Kommunikation Språk och språkteknologier Rickard Domeij domeij@nada.kth.se Teckenkod ljud, skrift, gester, programkod... Verktyg kil, penna, tryckpress, dator... Medium lerplattor, böcker, radio, TV, internet...

Läs mer

Semantik och pragmatik

Semantik och pragmatik Semantik och pragmatik OH-serie 5 http://stp.lingfil.uu.se/~matsd/uv/uv12/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Så här långt Konjunktion (p q): att två enklare satser

Läs mer

DD1350 Logik för dataloger. Vad är logik?

DD1350 Logik för dataloger. Vad är logik? DD1350 Logik för dataloger Fö 1 - Introduktion Vad är logik? Vetenskapen som studerar hur man bör resoneraoch dra slutsatser utifrån givna påståenden (=utsagor, satser). 1 Aristoteles (384-322 f.kr) Logik

Läs mer

Grundläggande logik och modellteori (5DV102)

Grundläggande logik och modellteori (5DV102) Tentamen 2013-10-31 Grundläggande logik och modellteori (5DV102) M. Berglund och K. Markström Totalt antal uppgifter 11 Maximalt antal poäng 30 Krav för 3 i betyg 14 poäng Krav för 4 i betyg 19 poäng,

Läs mer

Tommy Färnqvist, IDA, Linköpings universitet. 2 Strukturer 2 2.1 Domäner... 2 2.2 Tolkningar... 3

Tommy Färnqvist, IDA, Linköpings universitet. 2 Strukturer 2 2.1 Domäner... 2 2.2 Tolkningar... 3 Föreläsning 2 Semantik 729G06 Logikdelen Föreläsningsanteckningar i Programmering och logik 27 januari 2014 Tommy Färnqvist, IDA, Linköpings universitet 2.1 Innehåll Innehåll 1 Lite mer syntax 1 2 Strukturer

Läs mer

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt,

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, Explorativ övning 1 MATEMATIKENS SPRÅK Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt, lära oss förstå språket. Vi skall försöka utveckla vårt matematiska språk,

Läs mer

Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1.

Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1. UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik I 1 Lite om satslogik 1.1

Läs mer

Logik: sanning, konsekvens, bevis

Logik: sanning, konsekvens, bevis Logik: sanning, konsekvens, bevis ft1100 samt lc1510 HT 2016 Giltiga argument (Premiss 1) (Premiss 2) (Slutsats) Professorn är på kontoret eller i lunchrummet Hon är inte på kontoret Professorn är i lunchrummet

Läs mer

DD1350 Logik för dataloger. Fö 2 Satslogik och Naturlig deduktion

DD1350 Logik för dataloger. Fö 2 Satslogik och Naturlig deduktion DD1350 Logik för dataloger Fö 2 Satslogik och Naturlig deduktion 1 Satslogik En sats(eller utsaga)är ett påstående som kan vara sant eller falskt. I satslogik(eng. propositionallogic) representeras sådana

Läs mer

2 Mängdlärans grundbegrepp

2 Mängdlärans grundbegrepp UPPSALA UNIVERSITET Föreläsningsanteckningar Institutionen för lingvistik och filologi Grundläggande datalogi II Mats Dahllöf http://stp.ling.uu.se/~matsd/uv/uv04/gd2/ Augusti 2004 2 Mängdlärans grundbegrepp

Läs mer

ETIK VT2011. Föreläsning 13: Relativism och emotivism

ETIK VT2011. Föreläsning 13: Relativism och emotivism ETIK VT2011 Föreläsning 13: Relativism och emotivism DELKURSENS STRUKTUR Mån 4/4: Moralisk kunskap (epistemologi) Tis 5/4: Relativism och emotivism Ons 6/4: Moraliskt språkbruk (semantik) Mån 11/4: Moralisk

Läs mer

FTEA12:2 Filosofisk Metod. Grundläggande argumentationsanalys II

FTEA12:2 Filosofisk Metod. Grundläggande argumentationsanalys II TEA12:2 ilosofisk Metod Grundläggande argumentationsanalys II Dagens upplägg 1. Kort repetition. 2. Logisk styrka: några intressanta specialfall. 3. ormalisering: översättning från naturligt språk till

Läs mer

Kritiskt tänkande HTXF04:3 FTEB05. Grundläggande semantik II

Kritiskt tänkande HTXF04:3 FTEB05. Grundläggande semantik II Kritiskt tänkande HTXF04:3 FTEB05 Grundläggande semantik II Deskriptiv vs. värderande/känslomässig mening Ords betydelser kan ha både deskriptiva och värderande/känslomässiga komponenter. Det blir tydligt

Läs mer

Quine. Det förekommer två versioner av kritiken mot analyticitet i Quines artikel.

Quine. Det förekommer två versioner av kritiken mot analyticitet i Quines artikel. Quine Den intuitiva betydelsen av analytiskt sann sats är sats som är sann enbart i kraft av sin mening. Dessa brukar ställas mot syntetiskt sanna satser som är sanna inte enbart som ett resultat av vad

Läs mer

En introduktion till predikatlogik

En introduktion till predikatlogik rasmus.blanck@gu.se FT1200, LC1510 och LGFI52 VT2017 (Premiss 1) (Premiss 2) (Slutsats) Alla människor är dödliga Sokrates är en människa Sokrates är dödlig Detta argument är intuitivt giltigt: Det finns

Läs mer

Semantik och pragmatik

Semantik och pragmatik Semantik och pragmatik OH-serie 3 http://stp.lingfil.uu.se/~matsd/uv/uv12/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Lexikal semantik/begrepp (förra gången) Vaghet kontra

Läs mer

Tommy Färnqvist, IDA, Linköpings universitet. 1 Kursadministration 1. 2 Introduktion 2 2.1 Varför logik?... 2 2.2 Satslogik... 2

Tommy Färnqvist, IDA, Linköpings universitet. 1 Kursadministration 1. 2 Introduktion 2 2.1 Varför logik?... 2 2.2 Satslogik... 2 Föreläsning 1 Syntax 729G06 Logikdelen Föreläsningsanteckningar i Programmering och logik 21 januari 2014 Tommy Färnqvist, IDA, Linköpings universitet 1.1 Innehåll Innehåll 1 Kursadministration 1 2 Introduktion

Läs mer

Avslutning. Vad? Hur? Anmärkningar inför tentan 2. Vad ska ni kunna?

Avslutning. Vad? Hur? Anmärkningar inför tentan 2. Vad ska ni kunna? Avslutning Anmärkningar inför tentan Vad ska ni kunna? Avslutning 1 Vad? Anmärkningar inför tentan 1 Att ha en bra förståelse för det som behandlades på föreläsningarna, inlämningsuppgifterna och gruppövningarna

Läs mer

Något om logik och logisk semantik

Något om logik och logisk semantik UPPSALA UNIVERSITET Semantik och pragmatik (HT 08) Institutionen för lingvistik och filologi Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv08/sempht/ Något om logik och logisk semantik 1 Språk och sanning

Läs mer

INSTUTITIONEN FÖR FILOSOFI, LINGVISTIK OCH VETENSKAPSTEORI ETIK VT-15 METAETIK EMOTIVISM OCH ERROR-TEORI

INSTUTITIONEN FÖR FILOSOFI, LINGVISTIK OCH VETENSKAPSTEORI ETIK VT-15 METAETIK EMOTIVISM OCH ERROR-TEORI ETIK VT-15 METAETIK EMOTIVISM OCH ERROR-TEORI JOHN ERIKSSON Idag Kort repetition Emotivism Error-teori Kort repetition Olika frågor: Vad betyder moraliska termer och satser? Vad gör vi när vi pratar och

Läs mer

Varför är logik viktig för datavetare?

Varför är logik viktig för datavetare? Varför är logik viktig för datavetare? 1. Datavetenskap handlar ofta om att automatisera processer som tidigare styrts av människor. Intuition, intelligens och mänskliga resonemang ersätts av beräkningar.

Läs mer

8 MODAL SATSLOGIK. omöjligt - inte omöjligt. tänkbart - inte tänkbart

8 MODAL SATSLOGIK. omöjligt - inte omöjligt. tänkbart - inte tänkbart 8 MODAL SATSLOGIK 8.1 BEGREPPEN MÖJLIG OCH NÖDVÄNDIG Att det finns en skillnad mellan att ett påstående är möjligen sant, sant och nödvändigtvis sant är uppenbart. Det är möjligen sant att Aristoteles

Läs mer

Formell logik Föreläsning 1. Robin Stenwall

Formell logik Föreläsning 1. Robin Stenwall Formell logik Föreläsning 1 Robin Stenwall Betygskriterier Mål Godkänt Väl godkänt Redogöra för grundprinciperna för härledning och översättning i sats- och predikatlogik. Utföra grundläggande översättningar

Läs mer

K3 Om andra ordningens predikatlogik

K3 Om andra ordningens predikatlogik KTH Matematik Bengt Ek Maj 2005 Kompletteringsmaterial till kursen 5B1928 Logik för D1: K3 Om andra ordningens predikatlogik Vi presenterar på dessa sidor kortfattat andra ordningens predikatlogik, vilket

Läs mer

7, Diskreta strukturer

7, Diskreta strukturer Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2013 1 Inledning 2 Satslogik Inledning Satslogiska uttryck Resonemang och härledningar

Läs mer

4 Något om logik och semantik

4 Något om logik och semantik Mats Dahllöf. http://stp.lingfil.uu.se/ matsd/uv/uv09/sempht/ 4 Något om logik och semantik Att kunna ett språk innebär att man begriper skillnaden mellan sanna och falska yttranden. Det innebär givetvis

Läs mer

Lexikal semantik. Lingvistik 1. Hanna Seppälä Uppsala universitet 1

Lexikal semantik. Lingvistik 1. Hanna Seppälä Uppsala universitet 1 Lexikal semantik Lingvistik 1 Uppsala universitet 1 Nyckelord idag Semantiska egenskaper Komponentanalys Prototypteori Relationer mellan ord Kognitiv lexikal semantik Uppsala universitet 2 Semantiska egenskaper

Läs mer

Flera kvantifierare Bevis Direkt bevis Motsägelse bevis Kontrapositivt bevis Fall bevis Induktionsprincipen. x y (x > 0) (y > 0) xy > 0 Domän D = R

Flera kvantifierare Bevis Direkt bevis Motsägelse bevis Kontrapositivt bevis Fall bevis Induktionsprincipen. x y (x > 0) (y > 0) xy > 0 Domän D = R Föreläsning Flera kvantifierare Bevis Direkt bevis Motsägelse bevis Kontrapositivt bevis Fall bevis Induktionsprincipen För att göra ett påstående av en öppen utsaga med flera variabler behövs flera kvantifierare.

Läs mer

Viktiga frågor att ställa när ett argument ska analyseras och sedan värderas:

Viktiga frågor att ställa när ett argument ska analyseras och sedan värderas: FTEA12:2 Föreläsning 2 Grundläggande argumentationsanalys II Repetition: Vid förra tillfället började vi se närmre på vad som utmärker filosofisk argumentationsanalys. Vi tittade närmre på ett arguments

Läs mer

Semantik och pragmatik (OH-serie 4)

Semantik och pragmatik (OH-serie 4) Semantik och pragmatik (OH-serie 4) Den avslutande sekvensen, ss 38 47, är allmänbildande överkurs. Mats Dahllöf Institutionen för lingvistik och filologi November 2007. Plan Sanning och logik allmänt

Läs mer

Samuel Sköldén Sanna Stadig Samantha Berglind Anna-Sofia Pehrson Seminariegrupp B1 VT-03

Samuel Sköldén Sanna Stadig Samantha Berglind Anna-Sofia Pehrson Seminariegrupp B1 VT-03 Samuel Sköldén Sanna Stadig Samantha Berglind Anna-Sofia Pehrson Seminariegrupp B1 VT-03 Bakgrund Hans Flyman var den som fick idén till det hela. Han hade varit med i Karlstads ornitologiska förening

Läs mer

Grice s samarbetsprincip

Grice s samarbetsprincip Inferenser (slutledning) i samtal Mycket av vår kommunikation sker implicit underförstått. För att förstå ett implicit budskap behövs normer för hur vi underförstår budskap. Underförstådda pragmatiska

Läs mer

7. FORMELL SATSLOGIK (SL)

7. FORMELL SATSLOGIK (SL) 7. FORMELL SATSLOGIK (SL) 7.1 VEM BEHÖVER FORMELL LOGIK? Ingen använder formell logik i det dagliga livet. Den logik vi använder, den naturliga eller intuitiva logiken, är, som vi sett, varierande och

Läs mer

En introduktion till logik

En introduktion till logik rasmus.blanck@gu.se FT1200, LC1510 och LGFI52 VT2017 Först: Tack till Martin Kaså, som gett mig tillstånd att använda och bearbeta dessa ljusbilder. Vad är logik? Slogan: Logik undersöker vilka argument

Läs mer

Semantik VT Introduktion. Dagens föreläsning. Morfem-taxonomi forts. Morfem-taxonomi. Lexikal semantik: studerar ords betydelse

Semantik VT Introduktion. Dagens föreläsning. Morfem-taxonomi forts. Morfem-taxonomi. Lexikal semantik: studerar ords betydelse Dagens föreläsning Semantik VT07 Ordbetydelse (Lexikal semantik) Stina Ericsson 1. Introduktion 2. Extensioner 3. Begrepp 4. Extensioner och begrepp - några ytterligare saker Lexikal semantik: studerar

Läs mer

Logik och kontrollstrukturer

Logik och kontrollstrukturer Logik och kontrollstrukturer Flödet av instruktioner i ett programmeringsspråk bygger vi upp med hjälp av dess kontrollstrukturer. I C har vi exemplen if, if else, while, do while. Dessutom finns switch

Läs mer

Anmärkningar om tid, förändring och motsägelse

Anmärkningar om tid, förändring och motsägelse Anmärkningar om tid, förändring och motsägelse Tero Tulenheimo Laboratoire Savoirs, Textes, Langage CNRS UFR de Philosophie, Université Lille 3 France Filosofiska föreningen Umeå universitet 23.11.2009

Läs mer

Avslutning. Vad? Hur? Anmärkningar inför tentan 2. Vad ska kunnas?

Avslutning. Vad? Hur? Anmärkningar inför tentan 2. Vad ska kunnas? Avslutning Anmärkningar inför tentan Vad ska kunnas? Avslutning 1 Vad? Anmärkningar inför tentan 1 Att ha en bra förståelse för det som behandlades på föreläsningarna och gruppövningarna räcker i princip.

Läs mer

MATEMATIKENS SPRÅK. Avsnitt 1

MATEMATIKENS SPRÅK. Avsnitt 1 Avsnitt 1 MATEMATIKENS SPRÅK Varje vetenskap, liksom varje yrke, har sitt eget språk som ofta är en blandning av vardagliga ord och speciella termer. En instruktionshandbok för ett kylskåp eller för en

Läs mer

Lingvistik II Semantik och pragmatik

Lingvistik II Semantik och pragmatik Lingvistik II Semantik och pragmatik (OH-serie 2) (Motsvarar Saeed, kap 4 & 7 4.) Mats Dahllöf Institutionen för lingvistik och filologi September 2008 Logik: språk tanke (Saeed kapitel 4.) Satser uttrycker

Läs mer

Lingvistik II. Semantik och pragmatik. (OH-serie 2) (Motsvarar Saeed, kap 4 & 7 4.)

Lingvistik II. Semantik och pragmatik. (OH-serie 2) (Motsvarar Saeed, kap 4 & 7 4.) Lingvistik II Semantik och pragmatik (OH-serie 2) (Motsvarar Saeed, kap 4 & 7 4.) Mats Dahllöf Institutionen för lingvistik och filologi September 2009 1 Logik: språk tanke (Saeed kapitel 4.) Satser uttrycker

Läs mer

Anteckningar om logik och semantik

Anteckningar om logik och semantik UPPSALA UNIVERSITET Semantik och pragmatik (VT 2012) Institutionen för lingvistik och filologi Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv12/semp/ Anteckningar om logik och semantik 1 Inledning 1.1

Läs mer

729G06 Logik FÖRELÄSNING 1 ANDERS MÄRAK LEFFLER IDA/HCS

729G06 Logik FÖRELÄSNING 1 ANDERS MÄRAK LEFFLER IDA/HCS 729G06 Logik FÖRELÄSNING 1 ANDERS MÄRAK LEFFLER IDA/HCS 160127 Vad är logik? Som ämne, område... 2 Läran om korrekta resonemang Följer slutsatserna av ens antaganden? 3 Alla hundar är djur. Alla enhörningar

Läs mer

Föreläsning 6. pseudokod problemlösning logik algoritmer

Föreläsning 6. pseudokod problemlösning logik algoritmer Föreläsning 6 pseudokod problemlösning logik algoritmer Inledning Logik är läran om korrekt resonemang att kunna dra korrekta slutledningar utifrån det man vet. Vi gör detta ständigt utan att tänka på

Läs mer

Moralisk rela+vism. moraliska omdömen u2rycker trosföreställningar Kan vara bokstavligen sanna Sanningsvärde beroende av våra uppfa2ningar

Moralisk rela+vism. moraliska omdömen u2rycker trosföreställningar Kan vara bokstavligen sanna Sanningsvärde beroende av våra uppfa2ningar Moralisk rela+vism moraliska omdömen u2rycker trosföreställningar Kan vara bokstavligen sanna Sanningsvärde beroende av våra uppfa2ningar 1.Ger moraliska omdömen u2ryck för trosföreställningar? Ja: Kogni+vism

Läs mer

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 8: Repetition

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 8: Repetition KRITISKT TÄNKANDE I VÄRDEFRÅGOR 8: Repetition TRE CENTRALA BEGREPP (i) Sanning: en egenskap som tillkommer utsagor, inte slutledningar. (ii) Logisk styrka: en egenskap som tillkommer slutledningar, inte

Läs mer

Formell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet

Formell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet Formell logik Kapitel 1 och 2 Robin Stenwall Lunds universitet Kapitel 1: Atomära satser Drömmen om ett perfekt språk fritt från vardagsspråkets mångtydighet och vaghet (jmf Leibniz, Russell, Wittgenstein,

Läs mer

Slide 1. Slide 2. Slide 3. Kunskapsteori. Propositionell kunskap. Vilka problem skall kunskapsteorin lösa?

Slide 1. Slide 2. Slide 3. Kunskapsteori. Propositionell kunskap. Vilka problem skall kunskapsteorin lösa? Slide 1 Kunskapsteori Två problem: 1) Skepticism 2) Gettiers motexempel Slide 2 Vilka problem skall kunskapsteorin lösa? Det analytiska problemet: hur skiljer sig kunskap från tro och åsikter? Avgränsningsproblemet:

Läs mer

Innehåll. Föreläsning 7. Satslogiken är för grov. Samma sak i predikatlogik: Första ordningens predikatlogik. Logik med tillämpningar

Innehåll. Föreläsning 7. Satslogiken är för grov. Samma sak i predikatlogik: Första ordningens predikatlogik. Logik med tillämpningar Innehåll Föreläsning 7 Logik med tillämpningar 99-03-01 Första ordningens predikatlogik Objekt, predikat, kvantifierare Funktioner, termer, wffs Bindning och räckvidd Tolkningar och värderingar Satisfiering,

Läs mer

SUBSTANTIV OBESTÄMD OCH BESTÄMD

SUBSTANTIV OBESTÄMD OCH BESTÄMD OBESTÄMD FORM: - en / ett plus substantivets grundform tex en flicka, ett hus Det är en flicka. Hon står vid ett hus. NÄR använder vi obestämd form av substantivet? Jo: 1. Man introducerar något (nytt).

Läs mer

Introduktion till semantik

Introduktion till semantik Introduktion till semantik Föreläsning 1 Hanna Seppälä 1 Semantik Inom semantiken undersöker man betydelser som förmedlas f via språket Hanna Seppälä 2 Vad kan man när n r man kan ett språk? fonetik (hur

Läs mer

Sammanställning av ungdomsdialog II om psykisk hälsa Hur mår du?

Sammanställning av ungdomsdialog II om psykisk hälsa Hur mår du? Sammanställning av ungdomsdialog II om psykisk hälsa Hur mår du? Under oktober månad 2013 besökte representanter från nämnden sju gymnasieskolor i Sjuhärad; Almåsgymnasiet, Jensen Gymnasium, Naturbruksgymnasiet

Läs mer

SEXUELLA ÖVERGREPP MOT FÖRSKOLEBARN:

SEXUELLA ÖVERGREPP MOT FÖRSKOLEBARN: SEXUELLA ÖVERGREPP MOT FÖRSKOLEBARN: BARNS RÄTT ATT KOMMA TILL UTTRYCK I RÄTTSLIGA SAMMANHANG Emelie Ernberg Doktorand, Göteborgs universitet emelie.ernberg@psy.gu.se Sexuella övergrepp mot förskolebarn:

Läs mer

Mats Dahllöf SPRÅKLIG BETYDELSE. En introduktion till semantik och pragmatik

Mats Dahllöf SPRÅKLIG BETYDELSE. En introduktion till semantik och pragmatik Mats Dahllöf SPRÅKLIG BETYDELSE En introduktion till semantik och pragmatik Institutionen för lingvistik och filologi 2009 (Som utgiven av Studentlitteratur 1999.) Mats Dahllöf Institutionen för lingvistik

Läs mer

FÖRELÄSNING 8 ANDERS MÄRAK LEFFLER IDA/HCS

FÖRELÄSNING 8 ANDERS MÄRAK LEFFLER IDA/HCS 729G06 Logik FÖRELÄSNING 8 ANDERS MÄRAK LEFFLER IDA/HCS 160309 Idag Sammanfattning*/uppsamling 2 Mer problemöversikt (och lite definitioner) Inte ersättning för andra föreläsningar! 3 Vad är enlogik? Syntax

Läs mer

SÄRTRYCK UR SPRÅKSKRINET TROLL SKOLÅR 1

SÄRTRYCK UR SPRÅKSKRINET TROLL SKOLÅR 1 Annika Mårtensson Marianne Billström SÄRTRYCK UR SPRÅKSKRINET TROLL SKOLÅR 1 Innehåll JAG ORDKUNSKAP Jag tankekarta 4 Meningar om mig 5 SPRÅKLÄRA Skiljetecken 6 Frågeord 7 SKRIVNING Olyckan Tänk och planera

Läs mer

Övningshäfte 1: Logik och matematikens språk

Övningshäfte 1: Logik och matematikens språk GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2014 INLEDANDE ALGEBRA Övningshäfte 1: Logik och matematikens språk Övning A Målet är att genom att lösa och diskutera några inledande uppgifter få erfarenheter

Läs mer

Föreläsning 8: Intro till Komplexitetsteori

Föreläsning 8: Intro till Komplexitetsteori Föreläsning 8: Intro till Komplexitetsteori Formalisering av rimlig tid En algoritm som har körtid O(n k ) för någon konstant k är rimligt snabb. En algoritm som har körtid Ω(c n ) för någon konstant c>1

Läs mer

1. Öppna frågans argument

1. Öppna frågans argument 1. Öppna frågans argument ÖFA i enkel form: 1. För en given term eller beskrivning N, om det gick att definiera godhet som N, så skulle följande vara en stängd fråga: x är N, men är x gott? 2. För alla

Läs mer

Världskrigen. Talmanus

Världskrigen. Talmanus Världskrigen I början av 1900-talet var det två stora krig, första och andra världskriget. Många barn hade det mycket svårt under krigen. Men de som krigade tyckte inte att de hade något ansvar för barnen

Läs mer

Formell logik Kapitel 7 och 8. Robin Stenwall Lunds universitet

Formell logik Kapitel 7 och 8. Robin Stenwall Lunds universitet Formell logik Kapitel 7 och 8 Robin Stenwall Lunds universitet Kapitel 7: Konditionalsatser Kapitlet handlar om konditionalsatser (om-så-satser) och deras logik Idag: bevismetoder för konditionalsatser,

Läs mer

6. Kvasirealism. Slutledningen igen:

6. Kvasirealism. Slutledningen igen: 6. Kvasirealism 2. Freges princip kommer in i bilden. Om meningen hos Sexköp är fel i Sverige består i att den uttrycker en attityd, då kan den bara ha den meningen när den uttrycker attityden. Men när

Läs mer

Semantik och pragmatik

Semantik och pragmatik Semantik och pragmatik OH-serie 1 http://stp.lingfil.uu.se/~matsd/uv/uv08/sempht/ Mats Dahllöf Institutionen för lingvistik och filologi Oktober 2008 (LM 1) förklara några olika sätt att definiera begreppet

Läs mer

argumenterar vi på ett logiskt giltigt vis. Schemat kallas modus ponens. Här är ett exempel på ett specifikt modus ponens argument:

argumenterar vi på ett logiskt giltigt vis. Schemat kallas modus ponens. Här är ett exempel på ett specifikt modus ponens argument: FTEA12:2 Föreläsning 5 Att värdera en argumentation III Felslut fortsättning Vid vårt senaste föreläsningstillfälle började vi så smått att tala om s.k. felslut. Under dagens föreläsning ska vi fortsätta

Läs mer

Sanning och lögnare. Rasmus Blanck VT2017. FT1200, LC1510 och LGFI52

Sanning och lögnare. Rasmus Blanck VT2017. FT1200, LC1510 och LGFI52 rasmus.blanck@gu.se FT1200, LC1510 och LGFI52 VT2017 Vad är sanning? Vi verkar använda begreppet utan större problem till vardags. Det kanske vore intressant att ha en definition: P är sann om och endast

Läs mer

2. (7) Ryck kort i spel. Djurkort. 4 Röda Djur. 4 Grå Djur

2. (7) Ryck kort i spel. Djurkort. 4 Röda Djur. 4 Grå Djur 1. (7) Att utmana sina motståndare i detta spel står alla fritt, se till att bli den förste att lägga ett ryck-kort. När alla ryck-kort har vunnits, är den person med flest ryck-kort vinnaren. Detta fartfyllda

Läs mer

DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik

DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik DD1350 Logik för dataloger Fö 7 Predikatlogikens semantik 1 Kryssprodukt av mängder Om A och B är två mängder så är deras kryssprodukt A B mängden av alla par (a,b), där a A och b B. Ex: A={1,2}, B={3,4},

Läs mer

Gaussiska primtal. Christer Kiselman. Institut Mittag-Leffler & Uppsala universitet

Gaussiska primtal. Christer Kiselman. Institut Mittag-Leffler & Uppsala universitet 195 Gaussiska primtal Christer Kiselman Institut Mittag-Leffler & Uppsala universitet 1. Beskrivning av uppgiften. De förslag som presenteras här kan behandlas på flera olika sätt. Ett första syfte är

Läs mer

Annie märker en dag att de spökar i källaren på skolan. En dag var Lena sjuk och då bakade Sanna och Annie en monstergodis till monstret och försökte

Annie märker en dag att de spökar i källaren på skolan. En dag var Lena sjuk och då bakade Sanna och Annie en monstergodis till monstret och försökte Annie märker en dag att de spökar i källaren på skolan. En dag var Lena sjuk och då bakade Sanna och Annie en monstergodis till monstret och försökte locka fram monstret. Läs för att få veta mer. EBBA

Läs mer

Semantik och pragmatik

Semantik och pragmatik Semantik och pragmatik OH-serie 3 http://stp.lingfil.uu.se/~matsd/uv/uv13/semp/ Lexikal semantik och begreppsanalys Givet ett lemma hur många begrepp eller lexem står det för? Vem/vad bestämmer innehållet

Läs mer

NATIONELLT KURSPROV I MATEMATIK KURS A VÅREN 2002. Del II

NATIONELLT KURSPROV I MATEMATIK KURS A VÅREN 2002. Del II Skolverket hänvisar generellt beträffande provmaterial till bestämmelsen om sekretess i 4 kap 3 Sekretesslagen. För detta material gäller sekretessen till och med utgången av juni månad 2002. Anvisningar

Läs mer

Värdeteori: översikt. Föreläsning 3. Bergströms taxonomi: Det karaktäristiska för värdeteorin är:

Värdeteori: översikt. Föreläsning 3. Bergströms taxonomi: Det karaktäristiska för värdeteorin är: Det karaktäristiska för värdeteorin är: Värdeteori: översikt Föreläsning 3 1. att den handlar om normer, värden och värderingar, och 2. att den studerar dessa ur just filosofisk synvinkel. Mer specifikt:

Läs mer

Bildrutans uppgift MODIG

Bildrutans uppgift MODIG Bildrutans kort Din spelfigur har knyckt en cd-skiva från en butik och har nu dåligt samvete. Din spelfigur funderar på att föra tillbaka skivan. Ge tre orsaker till att skivan borde returneras till butiken.

Läs mer

Formell logik Kapitel 3 och 4. Robin Stenwall Lunds universitet

Formell logik Kapitel 3 och 4. Robin Stenwall Lunds universitet Formell logik Kapitel 3 och 4 Robin Stenwall Lunds universitet Kapitel 3: De Booleska konnektiven Vi sade att predikaten och namnen kan variera mellan olika FOL Vi ska nu titta på några språkliga element

Läs mer

Kritiskt tänkande HTXF04:3 FTEB05. Induktiv argumentation

Kritiskt tänkande HTXF04:3 FTEB05. Induktiv argumentation Kritiskt tänkande HTXF04:3 FTEB05 Induktiv argumentation En svaghet med deduktiv argumentation Vi har sagt att de bästa argumenten är de sunda argumenten, dvs de logiskt giltiga deduktiva argument med

Läs mer

Våga Visa kultur- och musikskolor

Våga Visa kultur- och musikskolor Våga Visa kultur- och musikskolor Kundundersökning 04 Värmdö kommun Genomförd av CMA Research AB April 04 Kön Är du 37 6 34 65 39 60 3 69 0% 0% 40% 60% 0% 0% Kille Tjej Ej svar Våga Visa kultur- och musikskolor,

Läs mer

Sammanställning av ungdomsdialog I & II om psykisk hälsa Hur mår du?

Sammanställning av ungdomsdialog I & II om psykisk hälsa Hur mår du? Sammanställning av ungdomsdialog I & II om psykisk hälsa Hur mår du? Under maj och oktober månad 2013 besökte representanter från nämnden sammanlagt tolv gymnasieskolor i Sjuhärad;,, Naturbruksgymnasiet

Läs mer

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 8: Repetition

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 8: Repetition KRITISKT TÄNKANDE I VÄRDEFRÅGOR 8: Repetition TRE CENTRALA BEGREPP (i) Sanning: en egenskap som tillkommer utsagor, inte slutledningar. (ii) Logisk styrka: en egenskap som tillkommer slutledningar, inte

Läs mer

D. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2.

D. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2. Logik Vid alla matematiskt resonemang måste man vara säker på att man verkligen menar det man skriver ner på sitt papper. Därför måste man besinna hur man egentligen tänker. Den vetenskap, som sysslar

Läs mer

ANDREAS REJBRAND 2014-04-25 Matematik http://www.rejbrand.se. Numeriska serier. Andreas Rejbrand, april 2014 1/29

ANDREAS REJBRAND 2014-04-25 Matematik http://www.rejbrand.se. Numeriska serier. Andreas Rejbrand, april 2014 1/29 Numeriska serier Andreas Rejbrand, april 2014 1/29 1 Inledning Författarens erfarenhet säger att momentet med numeriska serier är ganska svårt för många studenter i inledande matematikkurser på högskolenivå.

Läs mer

Diskret matematik. Gunnar Bergström

Diskret matematik. Gunnar Bergström Diskret matematik Gunnar Bergström 20 september 2005 ii INNEHÅLL iii Innehåll 1 Logik och mängdlära 1 1.1 Satslogik........................... 1 1.1.1 Utsagor....................... 1 1.1.2 Konnektiv......................

Läs mer

www.tris.se info@tris.se HEDERSRELATERAT FÖRTRYCK OCH VÅLD BLAND UNGDOMAR MED INTELLEKTUELL FUNKTIONSNEDSÄTTNING

www.tris.se info@tris.se HEDERSRELATERAT FÖRTRYCK OCH VÅLD BLAND UNGDOMAR MED INTELLEKTUELL FUNKTIONSNEDSÄTTNING TRIS- tjejers rätt i samhället: Bildades 2002 i Uppsala Ideell organisation Partipolitiskt och religiöst obunden Arbetar förebyggande och akut mot hedersrelaterat förtryck och våld Arbetar lokalt och nationellt

Läs mer

Liten introduktion till akademiskt arbete

Liten introduktion till akademiskt arbete Högskolan Väst, Inst för ekonomi och IT, Avd för medier och design 2013-09-14 Pierre Gander, pierre.gander@hv.se Liten introduktion till akademiskt arbete Den här texten introducerar tankarna bakom akademiskt

Läs mer

Vad är det? Översikt. Innehåll. Vi behöver modeller!!! Kontinuerlig/diskret. Varför modeller??? Exempel. Statiska system

Vad är det? Översikt. Innehåll. Vi behöver modeller!!! Kontinuerlig/diskret. Varför modeller??? Exempel. Statiska system Vad är det? Översikt Discrete structure: A set of discrete elements on which certain operations are defined. Discrete implies non-continuous and therefore discrete sets include finite and countable sets

Läs mer

Semantik och Pragmatik

Semantik och Pragmatik Semantik och Pragmatik Konversationell implikatur Karin Friberg Heppin Institutionen för lingvistik och filologi Maj 2015 Inferenser (slutledning) i samtal Mycket av vår kommunikation sker implicit underförstått.

Läs mer

Den matematiska analysens grunder

Den matematiska analysens grunder KTH:s Matematiska Cirkel Den matematiska analysens grunder Katharina Heinrich Dan Petersen Institutionen för matematik, 2012 2013 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Innehåll 1 Grundläggande

Läs mer

MELISSA DELIR. Vilsen längtan hem

MELISSA DELIR. Vilsen längtan hem MELISSA DELIR Vilsen längtan hem 2005-10 år senare -2015 Idrott och hälsa lärare 3 böcker & metodmaterial, kärleken är fri, skolprojekt (kvinnojour) Föreläsningar (2009) Hemkommun (2012) Man & dotter Hälsa

Läs mer

Sanning och bedrägeri

Sanning och bedrägeri Sanning och bedrägeri En introduktion till semantik och pragmatik Elizabeth Coppock Docent, Göteborgs Universitet Ph.D., Stanford University Elizabeth Coppock (GU) Sanning och bedrägeri 1 / 23 Pippi, Annika,

Läs mer

KiVa Skola situationskartläggningen 2016 sidan 1/31. KiVa Skola situationskartläggningen 2016 sidan 2/31

KiVa Skola situationskartläggningen 2016 sidan 1/31. KiVa Skola situationskartläggningen 2016 sidan 2/31 KiVa Skola situationskartläggningen 2016 sidan 1/31 Välkommen att besvara undersökningen! Skolans användarnamn: Kartläggningslösenordet: Logga in till undersökningen KiVa Skola situationskartläggningen

Läs mer