Semantik och logik. Semantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet
|
|
- Gerd Åberg
- för 7 år sedan
- Visningar:
Transkript
1 emantik och logik emantik: Föreläsning 3 Lingvistik: 729G08 HT 2012 IKK, Linköpings universitet 1
2 Dagens föreläsning aeed 2009, kap.4 Introduktion till formell semantik Betydelse i sammansatta satser Betydelserelationer mellan satser: Logisk inferens (entailment) Presupposition 2
3 Formell semantik anningsvillkorssemantik Relationer mellan satser Formalisering Koppling till satslogik atsens betydelse = satsens sanningsvillkor (vad krävs för att satsen ska vara sann?) Det centrala är satsens sanningsvärde Abstrakt analys 3
4 Logik och sanning a. Om det snöar, så jublar barnen. b. Det snöar. c. Barnen jublar. Giltig slutledning a. Om det snöar, så jublar barnen. b. Barnen jublar. c. Det snöar. Ogiltig slutledning 4
5 Logik och sanning anningsvillkor: Hur måste världen vara beskaffad för att satsen ska vara sann? anningsvärde: Är satsen sann () eller falsk (F)? Vi behöver alltså inte veta hur det faktiskt förhåller sig, utan vi för ett logiskt resonemang kring vad som händer med sanningsvärdet utifrån olika tänkta situationer. 5
6 Analytiska och syntetiska satser atser Analytiska (Truth of reason) yntetiska (Truth of fact) Alltid sanna Alltid falska anna Falska 6
7 Analytiska och syntetiska satser Exempel på analytiska satser (atser där sanningsvärdet kan utläsas från begreppsrelationer och den språkliga formen) Boys will be boys. Tautologi (alltid sann) Hon bröt benet igår, men är inte skadad. Kontradiktion (alltid falsk) Analytiska satser: ofta triviala. yntetiska satser: samband med verkligheten. 7
8 Betydelserelationer i sammansatta satser atslogiska konnektiver: logiska funktionsord i molekylära satser. Negation Negation Konjunktion inte och Inklusiv disjunktion eller V Exklusiv disjunktion eller Ve Materiell implikation Ekvivalens om... så... om och endast om (omm) 8
9 anningsvillkor anningstabeller och tänkbara kombinationer p: Det är fest ikväll. q: Lena är på väg. p F F q F F 9
10 anningsvillkor Negation p: Det är fest ikväll. p: Det är inte fest ikväll. p B p F F F F F F 10
11 anningsvillkor Konjunktion p: Det är fest ikväll. q: Lena är på väg. p q: Det är fest ikväll och Lena är på väg. p q p p q F F F F F F F F F 11
12 anningsvillkor Inkluderande disjunktion p: Vi ses idag. q: Vi ses imorgon. p V q: Vi ses idag eller imorgon. p q p p q p V q F F F F F F F F F F 12
13 anningsvillkor Exkluderande disjunktion p: Du cyklar hit. q: Jag hämtar dig med bilen. p Ve q: Du cyklar hit eller jag hämtar dig med bilen. p q p p q p V q p Ve q F F F F F F F F F F F F 13
14 anningsvillkor Materiell implikation p: Lena kommer på festen. q: Jag kommer på festen. p q: Om Lena kommer på festen så kommer jag. p q p p q p V q p Ve q p q F F F F F F F F F F F F F 14
15 anningsvillkor Ekvivalens p: Jag kommer på festen. q: Lena kommer på festen. p q: Jag kommer på festen om och endast om Lena kommer. p q p p q p V q p Ve q p q p q F F F F F F F F F F F F F F F 15
16 anningsvillkor Är följande sats sann? Om hästar är blå så är grisar rosa. p q p q F F p. Hästar är blå. q. Grisar är rosa. F F F anningsvillkoren visar vad konnektiven uttrycker rent satslogiskt. Intuitivt märkliga konstruktioner blir i vissa fall möjliga. Delar av den betydelse som vi i dagligt språkbruk tillskriver en viss konstruktion går ibland förlorad. 16
17 Betydelserelationer mellan satser Några exempel (anpassade från aeed 2009): p. Han mördade kejsaren. q. Kejsaren är död. p innefattar q. Logisk inferens (entailment) p. Jag ångrar att jag åt din smörgås. q. Jag åt din smörgås. p förutsätter q. Presupposition 17
18 Logisk inferens (entailment) p. Han mördade kejsaren. q. Kejsaren är död. A sentence p entails a sentence q when the truth of the first (p) guarantees the truth of the second (q), and the falsity of the second (q) guarantees the falsity of the first (p). aeed 2009, s. 99 p F F eller F q eller F F 18
19 Logisk inferens (entailment) Innefattar (1) påståendena nedan eller inte? 1. Poliserna körde de snabba bilarna. a) Poliserna ville köra snabba bilar. b) Poliserna körde. c) Någon körde snabba bilar. d) Några snabba bilar kördes av någon. e) Poliserna körde snabbt. f) Några människor körde bilar. g) Polischefen körde en snabb bil. (Exempel anpassat från Reimer 2010, s ). 19
20 Logisk inferens (entailment) Vad är det som gör att vi vet att p innefattar q? a. Jag flög till Umeå idag. b. Jag reste idag. Lexikala kopplingar (t.ex. hyponymi) a. Han byggde det här huset. b. Det här huset byggdes av honom. yntaktiska kopplingar (t.ex. aktiv och passiv) 20
21 Presupposition Vad förutsätter följande satser? a) Det var Columbus som upptäckte Amerika. b) Hon var glad att hon tackat nej. c) Kanske kommer brädspel att bli populära igen. d) Presidenten har lämnat byggnaden. (Exempel anpassat från Reimer 2010, s.204) 21
22 Presupposition p. Jag ångrar att jag åt din smörgås. q. Jag åt din smörgås. p F eller F q 22
23 Logisk inferens eller presupposition? a. tadens borgmästare var på besök igår. b. taden har en borgmästare. Vid negation av (a) finns fortfarande en koppling till (b). Presupposition a. Jag träffade min far igår. b. Jag träffade någon igår. Vid negation av (a) finns inte längre någon koppling till (b). Logisk inferens 23
24 Presupposition yntaktiska triggers (t.ex.) a. Det som gjorde mig ledsen var b. Något gjorde mig ledsen. atsklyvning (cleft constructions) a. Han lärde sig gå innan du. b. Du lärde dig gå. Komparativa bisatser 24
25 Presupposition Lexikala triggers (t.ex.) a. ara gav mig en julklapp. b. ara existerar. Namn a. Jag ångrar att jag åt din smörgås. b. Jag åt din smörgås. Faktiva verb a. Jag slutade just röka. b. Tidigare var jag rökare. Change of state verbs 25
26 Presupposition Problem med semantisk, sanningsbaserad analys a. The King of France is bald. b. There is a King of France. (Exempel från Russel se aeed 2009, s.105) p F eller F q? ( v F) F 26
27 Presupposition Problem med semantisk, sanningsbaserad analys (forts.) a. Det var Harry som Alice älskade. b. Alice älskade någon. c. Det var Alice som älskade Harry. d. Någon älskade Harry. (a) och (c) innehåller samma proposition, men presuppositionen i (b) respektive (d) är inte densamma. Ett alternativ: Pragmatisk, interaktionell analys 27
28 Källor aeed, J. (2009) emantics. Oxford: Blackwell. Dahlström, M. (1999) pråklig betydelse. En introduktion till semantik och pragmatik. Lund: tudentlitteratur. Reimer, N. (2010) Introducing emantics. Cambridge: Cambridge University Press. 28
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 merSanning 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 merVad är semantik? LITE OM SEMANTIK I DATORLINGVISTIKEN. Språkteknologi semantik. Frågesbesvarande
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
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 merPredikat = Vad händer? Vad gör någon eller något? Tänk på att är och har också är predikat
Predikat = Vad händer? Vad gör någon eller något? Tänk på att är och har också är predikat Subjekt =Vem, vilka eller vad gör predikatet? Tänk på att ordet det är ett subjekt (1) Ta ut predikat och subjekt
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 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 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 merSemantik 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 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 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 merLÄSFÖRSTÅELSE PROVKAPITEL. Katarina Neiman Hedensjö
LÄSFÖRSTÅELSE PROVKAPITEL Katarina Neiman Hedensjö Hej! Cirkus Ungefär och Cirkus Exakt Det är första veckan på sommarlovet och Julia ska gå i cirkusskola. Julia älskar allt som har med cirkus att göra.
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 merEnergi & Miljötema Inrikting So - Kravmärkt
Energi & Miljötema Inrikting So - Kravmärkt 21/5 2010 Sofie Roxå 9b Handledare Torgny Roxå Mentor Fredrik Alven 1 Innehållsförteckning Inledning s. 3 Bakgrund s. 3 Syfte s. 3 Hypotes s. 3 Metod s. 4 Resultat
Läs merVad ä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 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 mer3:an på en skola som heter Dalaskolan. Jag. har en bästa vän som heter Jesper. Han och. jag älskar att åka gokart och att spela på
Bill Den Magiska Dörren Kapitel 1 Hej! jag heter Max. Jag är 9år. Jag går i 3:an på en skola som heter Dalaskolan. Jag har en bästa vän som heter Jesper. Han och jag älskar att åka gokart och att spela
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 merPerfekt! Linda Eklund 6 b. Kullen
Perfekt! Om alla hade mat Om alla hade kläder Om det inte skulle vara krig då skulle allt vara ra Om alla skulle ha vänner Om alla hade allt då skulle världen vara perfekt Linda Eklund 6 b Kullen Det finns
Läs merKapitel 1 - skolstart
Den Magiska Dörren Kapitel 1 - skolstart Hej! Jag heter Morfis Morrson. Jag är 10 år och går på Morfis skolan. Mitt hår är ljusblont och jag har blågröna ögon. Jag är ungefär 140 cm. Mina intressen är
Läs merSyftet med en personlig handlingsplan
Syftet med en personlig handlingsplan Gör idéerna konkreta Ger dig något att hålla dig till mellan mötena Skapar tillförlitlighet i utvecklingen Hjälper dig att fokusera på några områden Påminnelse om
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 merFördjupningsarbete i samband med Steg 3 hösten 2010 skrivet av Maria Jansson
Fördjupningsarbete i samband med Steg 3 hösten 2010 skrivet av Maria Jansson Innehållsförteckning Inledning... 3 Presentation... 3 Resultat... 9 Diskussion... 9 Sammanfattning... 9 Källförteckning... 10
Läs merUppdrag: Huset. Fundera på: Vilka delar i ditt hus samverkar för att elen ska fungera?
Uppdrag: Huset Praktiskt arbete: (Krav) Göra en skiss över ditt hus. Bygga en modell av ett hus i en kartong med minst två rum. Koppla minst tre lampor och två strömbrytare till ditt hus. Visa både parallellkoppling
Läs merELEV- HANDLEDNING (Ansökan via webben) www.orebro.se/gymnasieantagningen
ELEV- HANDLEDNING (Ansökan via webben) www.orebro.se/gymnasieantagningen Gymnasieantagningen i Örebro län På Gymnasieantagningens hemsida www.orebro.se/gymnasieantagningen hittar du information om vad
Läs mer7. SAMHÄLLSORIENTERING ÅK 5
7. SAMHÄLLSORIENTERING ÅK 5 7.2. Elevhäfte 2 7.2.1. Livsfrågor Eva och Micke går båda i 5:an. De träffas ofta efter skolan och lyssnar på musik eller gör hemläxan tillsammans. Ibland funderar de på frågor
Läs mer912 Läsförståelse och matematik behöver man lära sig läsa matematik?
912 Läsförståelse och matematik behöver man lära sig läsa matematik? Med utgångspunkt från min egen forskning kring läsförståelse av matematiska texter kommer jag att diskutera olika aspekter av läsning
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 merVärldshandel och industrialisering
Pedagogisk planering i historia: Världshandel och industrialisering I vår moderna värld finns många som är rika och många som är fattiga. Flera orsaker finns till detta, men många av dem ligger långt tillbaka
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 merJämförelse länder - Seminarium
Jämförelse länder - Seminarium På seminariet ska du presentera dina länder. Du ska börja med att presentera grundläggande fakta om länderna, t.ex. vilken sorts produkter de exporterar & importerar (är
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 merVi skall skriva uppsats
Vi skall skriva uppsats E n vacker dag får du höra att du skall skriva uppsats. I den här texten får du veta vad en uppsats är, vad den skall innehålla och hur den bör se ut. En uppsats är en text som
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 merUtbildningsplan för arrangörer
Utbildningsplan för arrangörer Tävlingsorganisation Ett lyckat arrangemang kräver en god organisation och mycket planering. Att veta vem som gör vad och när är inte bara lugnande utan förhindrar även att
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 merDiskussionsfrågor till version 1 och 2
Diskussionsfrågor till version 1 och 2 Version 1 Tillgång till internet i hemmet A. Vilken åldersgrupp har haft den största ökningen av tillgång till internet under perioden? B. Kan man med hjälp av de
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 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 merÖde ön Jag befinner mig mitt ute på Indiska Oceanen. Det är min tredje vecka till sjöss och allt har varit lugnt och gått enligt planerna. Tills nu.
Öde ön Jag befinner mig mitt ute på Indiska Oceanen. Det är min tredje vecka till sjöss och allt har varit lugnt och gått enligt planerna. Tills nu. Det blåser storm och regnet smattrar mot det gungande
Läs merFormell 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 merKap. 7 Logik och boolesk algebra
Ka. 7 Logik och boolesk algebra Satslogik Fem logiska konnektiv: ej, och, eller, om-så, omm Begre: sats, sanningsvärde, sanningsvärdestabell tautologi, kontradiktion Egenskaer: Räkneregler för satslogik
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 merManual för BPSD registret. Version 6 / 2013 06 17
Manual för BPSD registret Version 6 / 2013 06 17 Logga in Logga in till registret överst till höger på hemsidan. (Observera att du hittar testdatabasen längre ner på hemsidan) Fyll i ditt personliga användarnamn
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 merSkriva B gammalt nationellt prov
Skriva B gammalt nationellt prov Skriva B.wma Då fortsätter vi skrivträningen. Detta avsnitt handlar om att anpassa sin text till en särskild situation, en speciell texttyp och särskilda läsare. Nu ska
Läs merSveriges Trafikskolors Riksförbund Film om körkort för nysvenskar Speakertext - Svensk
Sveriges Trafikskolors Riksförbund Film om körkort för nysvenskar Speakertext - Svensk Vägen till svenskt körkort Funderar du på att skaffa svenskt körkort för personbil? I den här filmen får du reda på
Läs merFTEA12: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 merUtsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section
Föreläsning 1 Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section 1.1-1.3 i kursboken Definition En utsaga (proposition) är ett
Läs merNedan finns lite bilder från min utbytes tid,
Mitt Utbyte I Prag För ungefär ett år sedan blev jag intresserad av att prova på något nytt, att åka på utbyte. Jag var nyfiken över hur det känns att bo utomlands och fast jag har rest mycket så kändes
Läs merKRITISKT 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 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 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 merSid. 87-99 i boken Rekrytering. Författare Annica Galfvensjö, Jure Förlag
Sid. 87-99 i boken Rekrytering Författare Annica Galfvensjö, Jure Förlag Nedan finner du en intervjuguide med förslag på frågor som du kan använda under intervjun. Det är många frågor så välj de du tycker
Läs merSatslogik grundläggande definitioner 3. Satslogik. Uppgift 1. Satslogikens syntax (välformade formler) Satslogikens semantik (tolkningar)
Satslogik grundläggande definitioner Satslogikens syntax (välformade formler) Satslogikens semantik (tolkningar) Modeller, logisk konsekvens och ekvivalens Några notationella förenklingar Kompletta mängder
Läs merAllemansrätten på lätt svenska ERIK LINDVALL/FOLIO
Allemansrätten på lätt svenska ERIK LINDVALL/FOLIO Inte störa inte förstöra är huvudregeln i allemansrätten. Allemansrätten är en fantastisk möjlighet för alla att röra sig fritt i naturen. Naturen betyder
Läs merMamma Angelica: Vi saknar henne och vill att hon kommer hem. 1 av 5 2015-11-05 08:43. Textstorlek:
Textstorlek: Johanssons dotter Nathalie har förts utomlands av sin pappa. har även tre barn tillsammans med Andreas Iversen. PERNILLA WAHLMAN Mamma : Vi saknar henne vill hon kommer hem SUNDSVALL. Nästan
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 merP-02/03 säsongen 2016
P-02/03 säsongen 2016 AGENDA DU ÄR VÄRDEFULL IDROTTENS VÄRDEGRUND LAGANDA = VI TILLSAMMANS VINNARE I LÄNGDEN DU ÄR VÄRDEFULL 1. VARFÖR ÄR VI TRÄNARE & VARFÖR SPELAR NI FOTBOLL? (grupperna skriver varsin
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 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 merTräning i bevisföring
KTHs Matematiska Cirkel Träning i bevisföring Andreas Enblom Institutionen för matematik, 2005 Finansierat av Marianne och Marcus Wallenbergs Stiftelse 1 Mängdlära Här kommer fyra tips på hur man visar
Läs merEn dag såg jag ett brev sticka ut från den magiska dörren. Det var skrivet så här:
Den magiska dörren Kapitel 1 Hej Hej! Jag heter Lina. Jag har svart hår, jag är lång och jag har en hörselaparat som är vit. Jag har blåa ögon. Min skola heter Kyrkmons skola. Min skola är grön och brun.
Läs merLisa besöker pappa i fängelset.
Lisa besöker pappa i fängelset. Hej, jag heter Lisa. Vet du vart jag ska i dag? Jag ska besöka min pappa. Jag är väldigt glad för det men oroar mig också. För, vet du vad? Min pappa sitter i fängelse.
Läs merOMX-KRÖNIKAN Mån 22 sept 2014 Skrivet av Per Stolt
Diagram källa: INFRONT (10 min-diagram) OMX-KRÖNIKAN Mån 22 sept 2014 Skrivet av Per Stolt God Morgon! 08:53 OMX-INDEX (1421,48): OMX nådde målkursen 1425 så när som på en knapp punkt OMX steg upp genom
Läs mer4-3 Vinklar Namn: Inledning. Vad är en vinkel?
4-3 Vinklar Namn: Inledning I det här kapitlet skall du lära dig allt om vinklar: spetsiga, trubbiga och räta vinklar. Och inte minst hur man mäter vinklar. Att mäta vinklar och sträckor är grundläggande
Läs mer4 nödsamtal. SOS-operatören trycker nu på en knapp för att få fram telefonnummer och adress till telefonen pojken ringer från.
4 nödsamtal 1) Hjälp, farmor har ramlat! - SOS 112. Vad har inträffat? - Det är farmor, hon har ramlat! - Ja, hur är det med farmor då? - Hon svarar inte. - Andas hon? - Ja, jag tror det. - Hur ligger
Läs merANTOLOGI. Tolv texter. tusen tankar. Sammanställd av Eva Bergqvist, Kerstin Johansson och Ann Ohlsson Ax BONNIER UTBILDNING
ANTOLOGI Tolv texter tusen tankar Sammanställd av Eva Bergqvist, Kerstin Johansson och Ann Ohlsson Ax BONNIER UTBILDNING Innehåll Inledning 5 Tusen kvinnor och en sorg Björn Ranelid 6 Prinsessan av Burundi
Läs merIdag. Hur vet vi att vår databas är tillräckligt bra?
Idag Hur vet vi att vår databas är tillräckligt bra? Vad är ett beroende? Vad gör man om det blivit fel? Vad är en normalform? Hur når man de olika normalformerna? DD1370 (Föreläsning 6) Databasteknik
Läs merNär du som vårdpersonal vill ta del av information som finns hos en annan vårdgivare krävs det att:
1 (6) Sammanhållen journalföring information till dig som möter patienter Detta är ett kunskapsunderlag om sammanhållen journalföring för dig som arbetar i vården. Underlaget innehåller en kort beskrivning
Läs merFrån min. klass INGER BJÖRNELOO
Från min klass INGER BJÖRNELOO Vi har nu följt Inger Björneloos klass under två år. Klassen börjar i höst på sitt sista lågstadieår, åk 3. Denna årgång av NÄMNAREN kommer att följa upp vad de gör och hur
Läs merDen magiska dörren. kapitel 1
Den magiska dörren. kapitel 1 Jag är 13 år och går i Oxford. och Jonatan var min kompis han var också 13 år och gick i Oxford. båda körde motocross jag hade en KTM 60 sx och Jonatan hade också en KTM 60
Läs merKritiskt tänkande HTXF04:3 FTEB05. Grundläggande semantik I
Kritiskt tänkande HTXF04:3 FTEB05 Grundläggande semantik I Lite grundläggande språkfilosofi När vi ska diskutera hur premisser (och slutsatser) kan tolkas och vilka problem som då kan uppkomma, är det
Läs merWebb-bidrag. Sök bidrag på webben www.solvesborg.se. Gäller från 2015-01-01
Sök bidrag på webben www.solvesborg.se Gäller från 2015-01-01 Innehåll Kontaktperson Fritids- och turismkontoret Sölvesborg kommun Inledning Följande bidrag går att söka på webben Logga in Dokumenthantering
Läs merSammanfattning på lättläst svenska
Sammanfattning på lättläst svenska Utredningen skulle utreda och lämna förslag i vissa frågor som handlar om svenskt medborgarskap. Svenskt medborgarskap i dag Vissa personer blir svenska medborgare när
Läs merNågra frågor om dina känslor nu och tidigare
Några frågor om dina känslor nu och tidigare Avsikten med detta formulär är att ge en detaljerad bild både av hur du i allmänhet brukar må och hur du mår för tillfället (de senaste -4 dagarna). Formuläret
Läs merVad är WordPress? Medlemmar
Vad är WordPress? WordPress är ett publiceringsverktyg som används för att kunna ändra och uppdatera innehåll på en webbplats. Varje gång ni är inloggad på er nya webbplats så använder ni er av detta verktyg,
Läs merBedömningsuppgift i geografi och svenska (se kraven och bedömning för svenska längre ned)
Bedömningsuppgift i geografi och svenska (se kraven och bedömning för svenska längre ned) Du ska skriva en faktatext om en världsdel. Frågorna du ska utgå ifrån i din inledning är: 1. Hur påverkar klimatet
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 merKiwiböckerna metod och begrepp
Kiwiböckerna metod och begrepp kiwiböckerna nyckeln till livslångt lärande Läsa för, tillsammans med och självständigt. Grunden för läsinlärning är att läsa för barnet, tillsammans med barnet och vara
Läs merVÄRDERINGSÖVNINGAR. Vad är Svenskt?
VÄRDERINGSÖVNINGAR Vad är Svenskt? Typ av övning: Avstamp till diskussion. Övningen belyser hur svårt det är att säga vad som är svenskt och att normen vad som anses vara svenskt ändras med tiden och utifrån
Läs merJÄMFÖRA LÄNDER TEMA LÄRARHANDLEDNING FRÅN UTRIKESPOLITISKA INSTITUTET
LÄRARHANDLEDNING FRÅN UTRIKESPOLITISKA INSTITUTET TEMA JÄMFÖRA LÄNDER Beställ mer material på vår hemsida eller via info@ui.se, Telefon: 08-511 768 05, Fax: 08-511 768 99 JÄMFÖRA LÄNDER Målgrupp: Årskurs
Läs merDin första arbetsdag
feriejobb 2016 Din första arbetsdag Det första du behöver göra är att ringa din kontaktperson. Tänk på att ringa under kontorstid (8:00-15:30). Presentera dig och förklara att du blivit tilldelad feriearbete
Läs merEnkätresultat för elever i år 2 i Nösnäsgymnasiet 2 i Stenungsund våren 2014
Enkätresultat för elever i år 2 i Nösnäsgymnasiet 2 i Stenungsund våren 2014 Antal elever: 47 Antal svarande: 40 Svarsfrekvens: 85% Klasser: 12BAa, 12BAb, 12LL Skolenkäten Skolenkäten går ut en gång per
Läs merAtt se med Guds ögon!
Att se med Guds ögon! Av: Johannes Djerf Vad är det första du ser när du går ut genom ytterdörren på morgonen? Vad skulle du säga om du gick ut genom dörren och möttes av människor som stod redo att döda
Läs merSENIORERNAS HUS LÖDERUPSGÅRDEN. Ystads kommuns mötesplats för seniorer SOMMARENS PROGRAM
SENIORERNAS HUS LÖDERUPSGÅRDEN Ystads kommuns mötesplats för seniorer SOMMARENS PROGRAM Hej alla seniorer. Först vill jag tacka alla för att ni var så många som var med och gjorde invigningen av Seniorernas
Läs merVad vill jag bli, och vad vill jag ha gjort?
Vad vill jag bli, och vad vill jag ha gjort? Mitt liv och framtidsdrömmar som fotbollsspelare!!! Namn:. Syfte med detta dokument (föräldrasnack) Om vi ska klara av våra uppsatta mål, så är det endast möjligt
Läs merEnkätresultat för elever i år 2 i Praktiska Skövde i Praktiska Sverige AB hösten 2014
Enkätresultat för elever i år 2 i Praktiska Skövde i Praktiska Sverige AB hösten 2014 Antal elever: 18 Antal svarande: 13 Svarsfrekvens: 72% Klasser: År 2 Skolenkäten Skolenkäten går ut en gång per termin
Läs merEnkätresultat för elever i år 2 i Mega Musik gymnasium hösten 2014. Antal elever: 47 Antal svarande: 46 Svarsfrekvens: 98% Klasser: MM13
Enkätresultat för elever i år 2 i Mega Musik gymnasium hösten 2014 Antal elever: 47 Antal svarande: 46 Svarsfrekvens: 98% Klasser: MM13 Skolenkäten Skolenkäten går ut en gång per termin till de skolor
Läs merKrigsreportage inbo rdeskriget i Bosnien
Krigsreportage inbo rdeskriget i Bosnien Under vecka 2-7 kommer vi att jobba med krigsreportage. Dels kommer vi att fördjupa oss i och lära oss mer om texttypen reportage och hur man skriver en sådan text
Läs merMorgonsamling till lågstadier
Morgonsamling till lågstadier Röda Korset är en världsomfattande organisation, vars huvudsyfte är att hjälpa människor i nöd. Organisationens verksamhet baserar sig på principer, som ger organisationen
Läs merPlanering - LPP Fjällen år 5 ht-16
Planering - LPP Fjällen år 5 ht-16 Under en månads tid kommer du att få lära dig mer om livet i de svenska fjällen, vilka djur och växter som trivs där samt vilka ekosystemstjänster som är tillgängliga.
Läs merPredikan Lyssna! 1 maj 2016
Predikan Lyssna! 1 maj 2016 Idag är det bönsöndagen en söndag då vi påminns om den fantastiska möjlighet vi har att prata med Gud och att lyssna till honom!! Och det är just det som den tredje vanan i
Läs merBarn berättar om relationer
Barn berättar om relationer 300 Min kollega Hemrik Elmer från Stockholm har en kompis som samlar på barns tankar och jag tyckte de var så tänkvärda att de bör få få en större allmänhet. Frågorna rör relationer
Läs merSvenska som andraspråk, år 8
1 (6) 2006-03-09 Svenska som andraspråk, år 8 Mål för betyget Godkänd Läser och förstår böcker på ca. 100 sidor eller mer. Läser och förstår svårare böcker. Kan läsa och följa instruktioner Förstår innehållet
Läs merLedamöternas erfarenheter från funktionshinderråden i Stockholms stad en enkätundersökning från mandatperioden 2011-2014
Ledamöternas erfarenheter från funktionshinderråden i Stockholms stad en enkätundersökning från mandatperioden 2011-2014 HSO Stockholms stad Innehåll Inledning Syfte... 3 Sammanfattande punkter från resultatet.
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 merVäga paket och jämföra priser
strävorna 2AC 3AC Väga paket och jämföra priser begrepp rutinuppgifter tal geometri Avsikt och matematikinnehåll Den huvudsakliga avsikten med denna aktivitet är att ge elever möjlighet att utveckla grundläggande
Läs merÖ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