Vad är semantik? LITE OM SEMANTIK I DATORLINGVISTIKEN. Språkteknologi semantik. Frågesbesvarande
|
|
- Sandra Åberg
- för 8 år sedan
- Visningar:
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 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 merLogik 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 merSemantik 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 merSemantik 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 merSemantik 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 mer7, 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 merGenerellt 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 merSemantik 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 merSemantik 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 merSemantik 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 merDatorlingvistisk 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 merMATEMATIKENS 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 merGrundlä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 merKommunikation. 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 merSemantik 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 merDD1350 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 merETIK 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 mer2 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 merTommy 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 merLogisk 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 merAvslutning. 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 merLogik: 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 merFlera 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 merSamuel 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 merDD1350 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 merQuine. 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 merK3 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 merFTEA12: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 merINSTUTITIONEN 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 merGrice 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 merKritiskt 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 merAnmä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 merEn 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 merSemantik 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 merTommy 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 merVerbala 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 merNå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 merSammanstä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 merMA2047 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 merVä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 merVå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 merVarfö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 merSEXUELLA Ö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 mer2. (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 mer8-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 merBildrutans 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 merFormell 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 mer8 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 merSUBSTANTIV 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 mer7, 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 mer4 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 merMELISSA 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 merSÄ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 merLexikal 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 merLä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 merFÖ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 merSanningsvä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 merBesö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 merFö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 merVem 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 merKiVa 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 mer90 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 merOm 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 merargumenterar 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 merViktiga 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 merFTEA21: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 merLiten 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 mer1.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 merKART- 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 merwww.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 merVAD 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 merSammanstä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 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 merEn 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 merETIK & 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 merHur 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 merNATIONELLT 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 merSemantik 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 merMats 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 merGaussiska 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 merLogik 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 merAvslutning. 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 merAntal 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 merKunskap = 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 merSemantik 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 merAnnie 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 mer7. 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 merFö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 merBondestenå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 merIntroduktion 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 merMATEMATIKENS 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 merANDREAS 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 mer8. 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 merLingvistik 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 merAllmä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 merFakta 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 merLingvistik 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 merAnteckningar 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 mer729G06 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 merNaturhistoriska 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