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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Verbala och fysiska kränkningar vanligast

Verbala och fysiska kränkningar vanligast 1 (6) Verbala och fysiska kränkningar vanligast De vanligaste orsakerna bakom anmälningar om kränkande behandling till Skolinspektionen eller BEO är verbala och fysiska kränkningar. Det visar den fördjupade

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

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

MA2047 Algebra och diskret matematik

MA2047 Algebra och diskret matematik MA2047 Algebra och diskret matematik Något om logik och mängdlära Mikael Hindgren 5 september 2018 Utsagor Utsaga = Påstående som har sanningsvärde Utsagan kan vara sann (S) eller falsk (F) öppen eller

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

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

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

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

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

8-4 Ekvationer. Namn:..

8-4 Ekvationer. Namn:.. 8-4 Ekvationer. Namn:.. Inledning Kalle är 1,3 gånger så gammal som Pelle, och tillsammans är de 27,6 år. Hur gamla är Kalle och Pelle? Klarar du att lösa den uppgiften direkt? Inte så enkelt! Ofta resulterar

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 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

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

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

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

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

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

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

Lärande. Värdegrund. Mitt namn: Min födelsedag: Reflektion. Min familj: Mina intressen: Mina kamrater: Övrigt: Vad tycker jag om fritids?

Lärande. Värdegrund. Mitt namn: Min födelsedag: Reflektion. Min familj: Mina intressen: Mina kamrater: Övrigt: Vad tycker jag om fritids? Genom att utmana barn till att successivt vidga och fördjupa sina kunskaper om sig själva, och sin omvärld samt ta tillvara deras nyfikenhet, företagsamhet och lust att lära stimuleras barns allsidiga

Läs mer

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

FÖRELÄSNING 3 ANDERS MÄRAK LEFFLER IDA/HCS 729G06 Logik FÖRELÄSNING 3 ANDERS MÄRAK LEFFLER IDA/HCS 160208 Idag C-regeln, informell (och formell) inledning till predikatlogik (Bevis kommer senare.) 2 3 Vår (Snöfritt Cykla) (Vår Snöfritt) Cykla Lätt

Läs mer

Sanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden.

Sanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden. MATEMATISK LOGIK Matematisk logik formaliserar korrekta resonemang och definierar formellt bindeord (konnektiv) mellan påståenden (utsagor, satser) I matematisk logik betraktar vi påståenden som antingen

Läs mer

Besöksnöjdhetsenkät avdelningen för Områdesutveckling vt 2016, SoF Innerstaden, barn, 2015 års resultat i blått

Besöksnöjdhetsenkät avdelningen för Områdesutveckling vt 2016, SoF Innerstaden, barn, 2015 års resultat i blått Besöksnöjdhetsenkät avdelningen för Områdesutveckling vt 2016, SoF Innerstaden, barn, 2015 års resultat i blått Påståenden (1 = stämmer sämst och 4 = stämmer bäst), 2015 års resultat i blått 1 De som jobbar

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

Vem flyttar till vem? Könsskillnader i flyttavstånd till pars första gemensamma bostad

Vem flyttar till vem? Könsskillnader i flyttavstånd till pars första gemensamma bostad Vem flyttar till vem? Könsskillnader i flyttavstånd till pars första gemensamma bostad Maria Brandén* Karen Haandrikman** * Demografiska avdelningen, Stockholms universitet ** Kulturgeografiska institutionen,

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

90 03 20 1952 f.n häktet Örebro. Överklagad dom: Svea Hovrätts dom av den 1 september 2014 i mål nr B 8076-13

90 03 20 1952 f.n häktet Örebro. Överklagad dom: Svea Hovrätts dom av den 1 september 2014 i mål nr B 8076-13 1 Till Högsta Domstolen Klagande: Ombud Motpart: Peter Lahdo 90 03 20 1952 f.n häktet Örebro Advokat Nils Uggla, Box 3098, 103 61 Stockholm, Tel: 08-20 59 00. Riksåklagaren Överklagad dom: Svea Hovrätts

Läs mer

Om semantisk följd och bevis

Om semantisk följd och bevis Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om semantisk följd och bevis Logik handlar bla om studiet av korrekta slutledningar, dvs frågan om när det är riktigt

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

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

FTEA21:3 Spr akfilosofi F orel asning I Martin J onsson

FTEA21:3 Spr akfilosofi F orel asning I Martin J onsson FTEA21:3 Språkfilosofi Föreläsning I Martin Jönsson Att lära Varför Frege varken tror att ett ords mening är dess referens eller något mentalt. Freges egen teori om mening Tre semantiska principer Kompositionalitetsprincipen,

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

1.5 Vad är sannolikheten för att ett slumpvis draget spelkort ska vara femma eller lägre eller knekt, dam, kung eller äss?

1.5 Vad är sannolikheten för att ett slumpvis draget spelkort ska vara femma eller lägre eller knekt, dam, kung eller äss? 1 ÖVNINGAR I INDUKTIV LOGIK 1.1 En tärning kastas. Ange sannolikheten för att antalet ögon är a) 3 b) inte 3 c) 3 eller 5 d) jämnt e) mindre än 4 f) jämnt och mindre än 4 g) jämnt eller mindre än 4 h)

Läs mer

KART- LÄGGNING. Ej verkställda beslut och domar enligt LSS och SoL. Handikappomsorg. Årsskiftet 2005/06. ISSN 1400-0792 Dnr.

KART- LÄGGNING. Ej verkställda beslut och domar enligt LSS och SoL. Handikappomsorg. Årsskiftet 2005/06. ISSN 1400-0792 Dnr. KART- LÄGGNING ISSN 1400-0792 Dnr. 701-762-2006 Ej verkställda beslut och domar enligt LSS och SoL Handikappomsorg Årsskiftet 2005/06 SAMMANFATTNING Under året som gått har antalet beslut och domar som

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

VAD TYCKER DE ÄLDRE OM ÄLDREOMSORGEN? - SÄRSKILT BOENDE I HÖGANÄS KOMMUN 2013

VAD TYCKER DE ÄLDRE OM ÄLDREOMSORGEN? - SÄRSKILT BOENDE I HÖGANÄS KOMMUN 2013 SÄRSKILT BOENDE - 2013 1 (13) VAD TYCKER DE ÄLDRE OM ÄLDREOMSORGEN? Vad tycker de äldre om äldreomsorgen är en rikstäckande undersökning av äldres uppfattning om kvaliteten i hemtjänst och äldreboenden.

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

Övning: Dilemmafrågor

Övning: Dilemmafrågor Övning: Dilemmafrågor Placera föräldrarna i grupper med ca 6-7 st/grupp. Läs upp ett dilemma i taget och låt föräldrarna resonera kring tänkbara lösningar. Varje fråga kan även visas på OH/ppt samtidigt,

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

ETIK & MORAL. Vad är etik? Vad är moral?

ETIK & MORAL. Vad är etik? Vad är moral? ETIK OCH MORAL Är det någonsin rätt att döda? Är två liv mer värt en ett? Får man göra skillnad på män och kvinnor? Är skitsnack ok? Räknas en vit lögn fortfarande som en lögn? Vem är mest värd i världen?

Läs mer

Hur gör vi Luleå till en bättre stad för unga?

Hur gör vi Luleå till en bättre stad för unga? Hur gör vi Luleå till en bättre stad för unga? En rapport utifrån de öppna frågorna i LUPP-enkäten (Lokal Uppföljning Av Ungdomspolitiken), som besvarades av unga i Luleå i åk 8 och år 2 på gymnasiet ht

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

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

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

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

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

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

Antal svarande i kommunen 32 Andel svarande i kommunen, procent 43 Kategorier ångest? Mycket dåligt Totalt Nej. Någorlunda. Mycket gott.

Antal svarande i kommunen 32 Andel svarande i kommunen, procent 43 Kategorier ångest? Mycket dåligt Totalt Nej. Någorlunda. Mycket gott. Resultat för särskilt boende 203, per kön, åldersgrupp, hälsotillstånd, 863 Hällefors F Hur bedömer du ditt allmänna hälsotillstånd? F2 Har du besvär av ängslan, oro eller ångest? gott gott Någorlunda

Läs mer

Kunskap = sann, berättigad tro (Platon) Om en person P s har en bit kunskap K så måste alltså: Lite kunskaps- och vetenskapsteori

Kunskap = sann, berättigad tro (Platon) Om en person P s har en bit kunskap K så måste alltså: Lite kunskaps- och vetenskapsteori Lite kunskaps- och vetenskapsteori Empiriska metoder: kvalitativa och kvantitativa Experiment och fältstudier Människor och etik 1 Kunskap = sann, berättigad tro (Platon) Om en person P s har en bit kunskap

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

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

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

Föreläsning 5. Deduktion

Föreläsning 5. Deduktion Föreläsning 5 Deduktion Hur ett deduktivt system fungerar Komponenter - Vokabulär Ett deduktivt system använder ett visst slags språk som kan kallas för systemets vokabulär. I mindre formella fall är kanske

Läs mer

Bondestenåldern. 4200 år före Kristus - 1800 år före Kristus

Bondestenåldern. 4200 år före Kristus - 1800 år före Kristus Bondestenåldern 4200 år före Kristus - 1800 år före Kristus Människorna blev fler och fler. Man kom på ett nytt sätt att skaffa mat. Om man sådde frön från vilda växter i jorden och väntade till våren,

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

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

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

8. Moralpsykologi. Några klargöranden:

8. Moralpsykologi. Några klargöranden: 8. Moralpsykologi Några klargöranden: Det är vanligt att uttrycka MI/ME-debatten i termer av moraliska övertygelser (eller omdömen ), men detta är för generellt. MI är endast rimlig om den begränsas till

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

Allmänheten om rörlighet och trygghet på arbetsmarknaden

Allmänheten om rörlighet och trygghet på arbetsmarknaden Novus Opinion Allmänheten om rörlighet och trygghet på arbetsmarknaden Rapport från opinionsundersökning oktober 2009 Arne Modig 2009-11-04 1 Allmänheten om rörlighet och trygghet på arbetsmarknaden I

Läs mer

Fakta om Malala Yousafzai

Fakta om Malala Yousafzai SIDAN 1 Lärarmaterial Klicka HÄR för att skriva ut arbetsmaterialet. VAD HANDLAR BOKEN OM? Boken handlar om Malala, den yngsta någonsin som har fått Nobels fredspris. I boken får vi veta hur Malala vuxit

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

Naturhistoriska museet

Naturhistoriska museet Vår Stockholmsresa! Medeltidsmuseet På torsdagen var vi på Medeltidsmuseet. Där fick vi gå själva och kolla på dem sakerna som fanns där. Vi såg en uppstoppad häst, skelett från medeltiden, gamla kläder

Läs mer