Logik och modaliteter

Storlek: px
Starta visningen från sidan:

Download "Logik och modaliteter"

Transkript

1 Modallogik Introduktionsföreläsning HT 2015

2 Formalia

3 Förkunskaper etc. Logik: vetenskapen som studerar argument med avseende på (formell) giltighet. Logiska formella språk: Syntax grammatiska regler för vad som räknas som formler; Semantik en specifikation av vad vi (för det aktuella språket) menar med en modell (tolkning, struktur,... ) samt en formell sanningsdefinition.

4 Definitionen av sanning (via definitionen av satisfiering) är semantisk till sin natur den relaterar språket till världen. Härledningsreglerna är däremot definierade rent syntaktiskt. De refererar till utseendet hos formlerna, och inte till deras mening. Logisk konsekvens: Γ ϕ ϕ är sann i alla modeller till Γ. Härledbarhet: Γ ϕ Det finns en härledning av ϕ som inte är beroende av några premisser utöver Γ. Hur förhåller sig dessa två relationer till varandra?

5 Sundhet Av ett lyckat bevissystem vill vi väl åtminstone kräva att det inte leder oss fel. I de fall vi kan bevisa ett påstående från en premissmängd med hjälp av reglerna så vill vi förstås att det följer också i semantisk mening, dvs att om premisserna är sanna så är slutsatsen också sann. Tekniskt sett är det egenskapen sundhet hos härledningssystemet: Om Γ ϕ så Γ ϕ. Med specialfallet att alla logiska teorem är logiska sanningar: Om ϕ så ϕ.

6 Fullständighet Men för att verkligen fånga konsekvensbegreppet med vårt härledningssystem så sätter vi vanligen också upp ett annat mål; vi vill dessutom kunna producera en härledning för varje giltigt argument! Så närhelst någonting följer från en premissmängd så kan vi visa det med en formell härledning. Detta är egenskapen fullständighet hos härledningssystemet: Om Γ ϕ så Γ ϕ. Med specialfallet att alla logiska sanningar är logiska teorem: Om ϕ så ϕ.

7 Faktum Första ordningens logik (även med identitet) är fullständig, det vill säga: det finns härledningssystem (t.ex. system för naturlig deduktion) som är sunda och fullständiga. Detta innebär (som specialfall) att det finns en mekanisk metod att generera mängden av logiska sanningar. (Mängden av logiska sanningar är rekursivt enumerabel.) Observera att det inte innebär att FOL är avgörbar. Det finns i själva verket ingen mekanisk metod som generellt kan besvara frågan Är ϕ en logisk sanning? (Satslogiken däremot är förstås avgörbar, via tex sanningsvärdestabeller.)

8 Vad är modallogik?

9 Ingång 1: satsoperatorer En satsoperator bildar en ny sats från en eller flera satser. Grundläggande logik hanterar operatorer i stil med: inte och eller... Det typiska för dessa är att de är sanningsfunktionella. Sanningsvärdet hos hela satsen bestäms entydigt av sanningsvärdena hos delsatserna.

10 Satsoperatorer forts. Pär tror att... är också en satsoperator, men är uppenbarligen inte sanningsfunktionell. Sanningsvärdet hos Pär tror att det regnar kan visserligen påverkas av huruvida det regnar eller inte, men bestäms inte entydigt av detta. Motsvarande gäller operatorer som Kajsa vet att Det är nödvändigt att Det är moraliskt önskvärt att Det har någon gång varit sant att Det är bevisbart i teorin T att... och många fler

11 Satsoperatorer forts. Vad är modallogik? Svar nr 1. Modallogik är logiken (eller snarare logikerna) för icke sanningsfunktionella satsoperatorer.

12 Ingång 2: strikt implikation Det problematiska förhållandet mellan materiell implikation och vanliga om-så-satser kan exemplifieras av tautologierna: ( A (A B)) (A (B A)) ((A B) (B A)) Bekymmer som dessa fick C.I. Lewis att inleda 1900-talets modallogiska arbete. Jfr också Om du går mot röd gubbe så blir du bötfälld.

13 Strikt implikation, forts För att bättre formalisera det normalspråkliga om införde Lewis en ny satsoperator, som var tänkt att uttrycka något slags nödvändig förbindelse mellan A och B. Strikt implikation studerades inledningsvis med helt axiomatiska metoder, alltså bevissystem för satser innehållande. (A B) definierades också som (A B), där är en möjlighetsoperator. Så modallogik i början av 1900-talet var ett syntaktiskt studium av olika implikationsbegrepp.

14 Ingång 3: modaliteter En propositions sanningsvärde kan ha många olika modi Aletiska, temporala, epistemiska, doxastiska, deontiska, mfl modaliteter Sådana begrepp har haft och har ett stort filosofiskt intresse... och de förekommer förstås i argument som vi kan vilja värdera med avseende på giltighet. Så ur denna synvinkel kan modallogik beskrivas som genuint filosofisk, till skillnad från matematisk, logik (Därmed inte sagt att detta i allmänhet är en rimlig dikotomi.)

15 Möjliga världar Enligt en gammal uppfattning från Leibniz så finns, utöver den aktualiserade världen, ett helt multiversum av möjliga världar. En proposition är möjlig om den är sann i minst en möjlig värld. En proposition är nödvändig om den är sann i alla möjliga världar. (Notera släktskapet med existens- respektive allkvantifikation.)

16 Kripkesemantik Den rena Lebnizianska idén lämpar sig inte för det allmänna studiet av modaliteter. Bl a så kan inte olika världar ha olika möjligheter. Ett modernare synsätt är att satser har sanningsvärden i situationer, och till varje situation hör en mängd andra situationer som är dess alternativ. Situationerna brukar kallas punkter, noder eller möjliga världar. Multiversum är en riktad graf av noder med en eller flera tillgänglighetsrelationer.

17 Kripkesemantik, forts Så vi får följande definitioner: A är sann i en punkt om A är sann i alla tillgängliga punkter. A är sann i en punkt om A är sann i minst en tillgänglig punkt. Om vi vill kan vi införa (A B) genom definitionen (A B). Övning: kolla att A är ekvivalent med A och att denna nya definition av stämmer överens med den tidigare (A B).

18 Exempel Detta argument är giltigt. (P1) (p q) (P2) p (S) q Antag att P1 och P2 är sanna i en punkt. Då är (enl P2) p sann i alla tillgängliga punkter. Och eftersom (p q) (enl P1) är sann i alla tillgängliga punkter följer att q också är det. Vilket betyder att q är sann i punkten vi startade i.

19 Ett exempel till Detta argument är ogiltigt. (P) (p q) (S) ( p q) (Om vi inte ställer särskilda krav på tillgänglighetsrelationen.) Att premissen är sann innebär ju bara att för varje tillgänglig punkt måste någon av p eller q vara sann. Inte att en av p/q fungerar för varje val av punkt.

20 Notera! Modallogiken började med möjlighet/nödvändighet, men slutar absolut inte där! Vi kan variera semantiken (och få olika modala begrepp) genom att lägga olika krav på egenskaper hos tillgänglighetsrelationerna. Dessutom kan man utöka det modallogiska språket på flera sätt, och därmed öka uttryckskraften.

21 Ytterligare ett (modernt) perspektiv Modallogik är en klass av språk som lämpar sig väl för att beskriva (vissa aspekter av) relationella strukturer. Modallogiska språk demonstrerar en fin balans mellan enkelhet, elegans, uttryckskraft och trevliga metalogiska egenskaper (som fullständighet, avgörbarhet etc).

22 Slut för idag... och tack för idag.

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium. v. 2.0, den 29/ III. Metalogik 17-19

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium. v. 2.0, den 29/ III. Metalogik 17-19 Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium IV v. 2.0, den 29/4 2013 III. Metalogik 17-19 Modeller för satslogiken 18.1 Vi har tidigare sagt att en modell är en tolkning av en teori

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

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

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

Lite om bevis i matematiken

Lite om bevis i matematiken Matematik, KTH Bengt Ek februari 2013 Material till kursen SF1662, Diskret matematik för CL1: Lite om bevis i matematiken Inledning Bevis är centrala i all matematik Utan (exakta definitioner och) bevis

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

Formell logik Kapitel 3 och 4. Robin Stenwall Lunds universitet

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

Läs mer

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

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

Läs mer

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

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

Satslogik grundläggande definitioner 3. Satslogik. Uppgift 1. Satslogikens syntax (välformade formler) Satslogikens semantik (tolkningar)

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

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

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

Läs mer

Moralfilosofi. Föreläsning 3

Moralfilosofi. Föreläsning 3 Moralfilosofi Föreläsning 3 Om minimiuppfattningens två krav är logiska krav så måste de ingå (på ett eller annat vis) i alla moralteorier (en teori som står i strid med dessa krav skulle inte kunna räknas

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

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Kapitel 3: Bevissystem, Hilbertsystem Henrik Björklund Umeå universitet 8. september, 2014 Bevissystem och Hilbertsystem Teorier och deduktionsproblemet Axiomscheman

Läs mer

Filosofisk Logik. föreläsningsanteckningar/kompendium (FTEA21:4) v. 2.0, den 5/ Kompakthet och Löwenheim-skolemsatsen

Filosofisk Logik. föreläsningsanteckningar/kompendium (FTEA21:4) v. 2.0, den 5/ Kompakthet och Löwenheim-skolemsatsen Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium VI v. 2.0, den 5/5 2014 Kompakthet och Löwenheim-skolemsatsen 19.6-19.7 Närhelst vi har en mängd satser i FOL som inte är självmotsägande

Läs mer

Logik och bevisteknik lite extra teori

Logik och bevisteknik lite extra teori Logik och bevisteknik lite extra teori Inger Sigstam 2011-04-26 1 Satslogik (eng: propositional logic) 1.1 Språket Alfabetet består av följande symboler: satssymbolerna p 0, p 1, p 2,.... konnektiverna,,,,.

Läs mer

Logik för datavetare DVK:Log Tisdagen 28 oktober 2014. Institutionen för dataoch systemvetenskap David Sundgren

Logik för datavetare DVK:Log Tisdagen 28 oktober 2014. Institutionen för dataoch systemvetenskap David Sundgren Institutionen för dataoch systemvetenskap David Sundgren Logik för datavetare DVK:Log Tisdagen 28 oktober 2014 Skrivtid: 9 00-13 00. Inga hjälpmedel utom formelsamlingen på nästa sida är tillåtna. För

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 2013 1 Inledning 2 Satslogik Inledning Satslogiska uttryck Resonemang och härledningar

Läs mer

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

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

Läs mer

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

Formell logik Kapitel 7 och 8. Robin Stenwall Lunds universitet

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

Läs mer

Logik I. Åsa Hirvonen Helsingfors universitet. Våren 2013

Logik I. Åsa Hirvonen Helsingfors universitet. Våren 2013 Logik I Åsa Hirvonen Helsingfors universitet Våren 2013 Inledning Logik är läran om härledning. Med hjälp av logiken kan vi säga när ett resonemang är korrekt och när det inte är det. För att kunna studera

Läs mer

Första ordningens logik

Första ordningens logik Första ordningens logik Christian Bennet Christian Bennet, februari 2013 Detta verk är licensierat under en Creative Commons Erkännande- Ickekommersiell-IngaBearbetningar 3.0 Unported license. För att

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

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Kapitel 6: Binära beslutsdiagram (BDD) Henrik Björklund Umeå universitet 22. september, 2014 Binära beslutsdiagram Binära beslutsdiagram (Binary decision diagrams, BDDs)

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

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

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

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

Läs mer

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

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

Läs mer

Formell logik Föreläsning 1. Robin Stenwall

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

Läs mer

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

Konsistens, Inkonsistens och Strikt Implikation i Aletisk-Deontisk Logik

Konsistens, Inkonsistens och Strikt Implikation i Aletisk-Deontisk Logik Konsistens, Inkonsistens och Strikt Implikation i Aletisk-Deontisk Logik Daniel Rönnedal Abstrakt Aletisk-deontisk logik är en typ av bimodallogik som innehåller två typer av modala operatorer: aletiska

Läs mer

K2 Något om modeller, kompakthetssatsen

K2 Något om modeller, kompakthetssatsen KTH Matematik Bengt Ek Maj 2005 Kompletteringsmaterial till kursen 5B1928 Logik för D1: K2 Något om modeller, kompakthetssatsen Vi skall presentera ett enkelt (om man känner till sundhets- och fullständighetssatsen

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

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

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

Läs mer

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

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

Formell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet

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

Läs mer

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

Kunskap. Evidens och argument. Kunskap. Goda skäl. Goda skäl. Två typer av argument a) deduktiva. b) induktiva

Kunskap. Evidens och argument. Kunskap. Goda skäl. Goda skäl. Två typer av argument a) deduktiva. b) induktiva Kunskap Evidens och argument Sören Häggqvist Stockholms universitet Den s k klassiska definitionen: Kunskap är sann, välgrundad tro. Ekvivalent: S vet att p om och endast om p S tror att p S har goda skäl

Läs mer

Tal till Solomon Feferman

Tal till Solomon Feferman Ur: Filosofisk tidskrift, 2004, nr 1. Dag Westerståhl Tal till Solomon Feferman (Nedanstående text utgör det tal som Dag Westerståhl höll på Musikaliska Akademien i oktober 2003, i samband med att Feferman

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

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

FIO 02 filosofi och språk.notebook August 13, Deltagarna skall vara öppna 'open minded', lyssna och vara beredda på att omvärdera sin åsikt.

FIO 02 filosofi och språk.notebook August 13, Deltagarna skall vara öppna 'open minded', lyssna och vara beredda på att omvärdera sin åsikt. Filosofi och språk Filosofiska samtal kräver följande Deltagarna skall vara öppna 'open minded', lyssna och vara beredda på att omvärdera sin åsikt. Vara kritisk (alltså granskande) till sig själv och

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

DD1350 Logik för dataloger

DD1350 Logik för dataloger DD1350 Logik för dataloger Fö 8 Axiomatiseringar 1 Modeller och bevisbarhet Sedan tidigare vet vi att: Om en formel Φ är valid (sann i alla modeller) så finns det ett bevis för Φ i naturlig deduktion.

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

A B A B A B S S S S S F F S F S F S F F F F

A B A B A B S S S S S F F S F S F S F F F F Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 17. Logik När man utför matematiska resonemang så har man alltid vissa logiska spelregler att förhålla

Läs mer

Kap. 7 Logik och boolesk algebra

Kap. 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 mer

Moralfilosofi. Föreläsning 4

Moralfilosofi. Föreläsning 4 Moralfilosofi Föreläsning 4 Subjektivism & emotivism Enligt Rachels så är grundtanken bakom etisk subjektivism att våra moraliska åsikter grundar sig på våra känslor Samt att det inte finns någonting sådant

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

Moralfilosofi. Föreläsning 4

Moralfilosofi. Föreläsning 4 Moralfilosofi Föreläsning 4 Subjektivism & emotivism Enligt Rachels så är grundtanken bakom etisk subjektivism att våra moraliska åsikter grundar sig på våra känslor Samt att det inte finns någonting sådant

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

Moralfilosofi. Föreläsning 5

Moralfilosofi. Föreläsning 5 Moralfilosofi Föreläsning 5 Naturalism Naturalism Form av kognitivism Naturalismen säger att värdesatser är påståenden om empiriska fakta Värdeomdömen kan (i princip) testas empiriskt och vara sanna eller

Läs mer

7. Om argumentet är induktivt: Är premisserna relevanta/adekvata för slutsatsen?

7. Om argumentet är induktivt: Är premisserna relevanta/adekvata för slutsatsen? FTEA12:2 Föreläsning 4 Att värdera en argumentation II Inledning Förra gången konstaterade vi att argumentationsutvärdering involverar flera olika steg. Den som ska värdera en argumentation behöver åtminstone

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

Subjektivism & emotivism

Subjektivism & emotivism Subjektivism & emotivism Föreläsning 4 Enligt Rachels så är grundtanken bakom etisk subjektivism att våra moraliska åsikter grundar sig på våra känslor Samt att det inte finns någonting sådant som objektivt

Läs mer

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 5: Deduktion

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 5: Deduktion KRITISKT TÄNKANDE I VÄRDEFRÅGOR 5: Deduktion Deduktivt resonerande DEL 1 Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be as it isn t, it ain t. That s logic.

Läs mer

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

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

Läs mer

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Christian Gottlieb Gymnasieskolans matematik med akademiska ögon Induktion Dag 2. Explicita formler och rekursionsformler. Dag mötte vi flera talföljder,

Läs mer

Introduktion till predikatlogik. Jörgen Sjögren

Introduktion till predikatlogik. Jörgen Sjögren Introduktion till predikatlogik Jörgen Sjögren Högskolan i Skövde Institutionen för naturvetenskap 2002 - 1 - Förord Det som följer på dessa dryga hundra sidor är ett av otaliga försök som gjorts att presentera

Läs mer

F. Drewes Datavetenskapens grunder, VT02. Lite logik

F. Drewes Datavetenskapens grunder, VT02. Lite logik F Drewes 2002-05-23 Datavetenskapens grunder, VT02 Lite logik Den här texten är en sammanfattning av logikdelen i kursen Datavetenskapens grunder Den handlar om satslogik och predikatlogik, några av deras

Läs mer

Logik en introduktion. Christian Bennet Björn Haglund Dag Westerståhl

Logik en introduktion. Christian Bennet Björn Haglund Dag Westerståhl Logik en introduktion Christian Bennet Björn Haglund Dag Westerståhl 1980 Innehåll I Satslogik 3 1 Inledning till satslogiken 4 A Satser...................................... 4 B Satsoperationer.................................

Läs mer

MS-A0409 Grundkurs i diskret matematik I

MS-A0409 Grundkurs i diskret matematik I MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 04 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 04 / 45 Mängder och logik Relationer

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

6. Kvasirealism. Slutledningen igen:

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

Läs mer

Föreläsningar. Gruppövning, grupp A: Måndag 26/ sal 318 Gruppövning, grupp B: Måndag 26/ sal 318

Föreläsningar. Gruppövning, grupp A: Måndag 26/ sal 318 Gruppövning, grupp B: Måndag 26/ sal 318 Föreläsningar 1. Onsdag 14/11 13-15 sal 203 2. Torsdag 15/11 13-15 sal 203 3. Måndag 19/11 13-15 sal 203 4. Tisdag 20/11 13-15 sal 203 5. Onsdag 21/11 13-15 sal 203 6. Torsdag 22/11 13-15 sal 203 Gruppövning,

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

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

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

Läs mer

:1) Vid ett besök på Knarrön (där ju var och en antingen är kung (och

:1) Vid ett besök på Knarrön (där ju var och en antingen är kung (och KTH Matematik B.Ek SF1642 LOGIK för D och IT, övningarna vt08 Exempel från gamla tentor (i 5B1928) Ö1, kungar och narrar 23.5-01:1a) Det är marknadsdag på Knarrön och många invånare från den närbelägna

Läs mer

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

FTEA21:3 Spr akfilosofi F orel asning V Martin J onsson FTEA21:3 Språkfilosofi Föreläsning V Martin Jönsson Att lära Hur Davidson s teori ser ut, varför han förespråkar den och vad det finns för problem med den. M. Jönsson (Lund University) Språkfilosofi 1

Läs mer

Robin Stenwall Lunds universitet

Robin Stenwall Lunds universitet Robin Stenwall Lunds universitet Vik$gt a) tänka på Innehållet i kursen formell logik förutsätts vara inhämtat (repetera om du är osäker). I allmänhet gäller att kursinnehållet, som ska instuderas på relativt

Läs mer

Kritiskt tänkande HTXF04:3 FTEB05. Utvärdering av argument

Kritiskt tänkande HTXF04:3 FTEB05. Utvärdering av argument Kritiskt tänkande HTXF04:3 FTEB05 Utvärdering av argument Utvärdering av argument Två allmänna strategier Felslutsmetoden: Man försöker hitta felslut, formella och informella, från en lista över vanliga

Läs mer

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar v , den 2/

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar v , den 2/ Filosofisk Logik (FTEA21:4) föreläsningsanteckningar v. 2.1.1, den 2/12 2014 Filosofiska institutionen, Lunds Universitet staffan.angere@fil.lu.se C. Metalogik Kap. 17-19 Modeller för satslogiken 18.1

Läs mer

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

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

Läs mer

FORSKNINGSMETODIK OCH VETENSKAPSTEORI FÖR SPRÅKVETARE: FORMELLA METODER

FORSKNINGSMETODIK OCH VETENSKAPSTEORI FÖR SPRÅKVETARE: FORMELLA METODER Mats Dahllöf, Institutionen för lingvistik, Uppsala universitet 2002-02-28 FORSKNINGSMETODIK OCH VETENSKAPSTEORI FÖR SPRÅKVETARE: FORMELLA METODER I. FORMELL METOD att arbeta vetenskapligt med formella

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

Övningshäfte 3: Funktioner och relationer

Övningshäfte 3: Funktioner och relationer GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2014 INLEDANDE ALGEBRA Övningshäfte 3: Funktioner och relationer Övning H Syftet är att utforska ett av matematikens viktigaste begrepp: funktionen. Du har

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, lära oss

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 Explorativ övning 1 LMA100 vt 2003 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

Läs mer

Utformning av resultatdiskussion

Utformning av resultatdiskussion Utformning av resultatdiskussion Den vetenskapliga textens retorik Argumentera i text utforma diskussionskapitlet En praktisk argumentationsmodell Avdelningen för fackspråk och kommunikation God professionell

Läs mer

Grundläggande logik och modellteori

Grundläggande logik och modellteori Grundläggande logik och modellteori Kapitel 8: Predikatlogik Henrik Björklund Umeå universitet 2. oktober, 2014 Första ordningens predikatlogik Signaturer och termer Första ordningens predikatlogik Formler

Läs mer

ETIK VT2013. Moraliskt språkbruk

ETIK VT2013. Moraliskt språkbruk ETIK VT2013 Moraliskt språkbruk DELKURSENS STRUKTUR Moralisk Kunskap (epistemologi) Relativism och Emotivism Moraliskt språkbruk (semantik) Moralisk verklighet (ontologi) Meta-etisk frågestund - skicka

Läs mer

KUNSKAP är målet med filosofiska argument, inte (i första hand) att övertyga.

KUNSKAP är målet med filosofiska argument, inte (i första hand) att övertyga. FTEA11: 2 Filosofisk metod Föreläsning 1 Grundläggande argumentationsanalys I Vad innebär det att filosofera? Att filosofera innebär till stor del att ställa frågor (närmare bestämt filosofiska frågor).

Läs mer

9. Predikatlogik och mängdlära

9. Predikatlogik och mängdlära Objektorienterad modellering och diskreta strukturer 9. Predikatlogik och mängdlära Sven Gestegård Robertz Datavetenskap, LTH 2014 Rekaputilation Vi har talat om satslogik naturlig härledning predikatlogik

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

2. Kulturrelativism. KR har flera problematiska konsekvenser:

2. Kulturrelativism. KR har flera problematiska konsekvenser: 2. Kulturrelativism KR har flera problematiska konsekvenser: Ingen samhällelig praxis kan fördömas moraliskt, oavsett hur avskyvärd vi finner den. T.ex. slaveri. Vi kan inte heller meningsfullt kritisera

Läs mer

John Perrys invändning mot konsekvensargumentet

John Perrys invändning mot konsekvensargumentet Ur: Filosofisk tidskrift, 2008, nr 4. Maria Svedberg John Perrys invändning mot konsekvensargumentet Är handlingsfrihet förenlig med determinism? Peter van Inwagens konsekvensargument ska visa att om determinismen

Läs mer

1. Öppna frågans argument

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

Läs mer

Lektion 8: Konstruktion av semantiska tablåer för PTL-formler

Lektion 8: Konstruktion av semantiska tablåer för PTL-formler Lektion 8: Konstruktion av semantiska tablåer för PTL-formler Till denna lektion hör uppgift 2, 6 och 0 i lärobokens avsnitt.6 (sid. 255). Lös uppgift 2 genom att konstruera en semantisk tablå. Följande

Läs mer

A. MENING OCH SANNINSGVÄRDE HOS IDENTITETSPÅSTÅENDE. Freges utgångspunkt: mening och meningsfullhet hos identitetspåståenden

A. MENING OCH SANNINSGVÄRDE HOS IDENTITETSPÅSTÅENDE. Freges utgångspunkt: mening och meningsfullhet hos identitetspåståenden II. FREGE A. MENING OCH SANNINSGVÄRDE HOS IDENTITETSPÅSTÅENDE Freges utgångspunkt: mening och meningsfullhet hos identitetspåståenden antag att namn A står för objekt a och namn B står för objekt b antag

Läs mer

Robin Stenwall Lunds universitet

Robin Stenwall Lunds universitet Robin Stenwall Lunds universitet Vik$gt a) tänka på Innehållet i kursen formell logik förutsätts vara inhämtat (repetera om du är osäker). I allmänhet gäller att kursinnehållet, som ska instuderas på relativt

Läs mer

Övningshäfte 6: 2. Alla formler är inte oberoende av varandra. Försök att härleda ett par av de formler du fann ur några av de övriga.

Övningshäfte 6: 2. Alla formler är inte oberoende av varandra. Försök att härleda ett par av de formler du fann ur några av de övriga. GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2005 MATEMATISK BASKURS Övningshäfte 6: Syftet med övningen är att utforska strukturen hos talsystemen under addition respektive multiplikation samt sambandet

Läs mer

Objektivitet. Är vetenskapen objektiv? Vad betyder objektivitet

Objektivitet. Är vetenskapen objektiv? Vad betyder objektivitet Objektivitet Är vetenskapen objektiv? Vad betyder objektivitet Utgångspunkt Objektivitet och sanning: Är våra påståenden och tankar objektiva? I så fall handlar de om något som finns i världen om existerande

Läs mer

Formell logik Kapitel 5 och 6. Robin Stenwall Lunds universitet

Formell logik Kapitel 5 och 6. Robin Stenwall Lunds universitet Formell logik Kapitel 5 och 6 Robin Stenwall Lunds universitet Kapitel 5 Bevismetoder för boolesk logik Visa att en sats är en tautologisk konsekvens av en mängd premisser! Lösning: sanningstabellmetoden

Läs mer

Diodorus Cronus Mästerargument: Några Reflektioner

Diodorus Cronus Mästerargument: Några Reflektioner Diodorus Cronus Mästerargument: Några Reflektioner Daniel Rönnedal Abstrakt Det sägs att den gamla grekiska tänkaren Diodorus Cronus argumenterade för uppfattningen att någonting är möjligt endast om det

Läs mer

TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter

TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter TATM79: Föreläsning 1 Notation, ekvationer, polynom och olikheter Johan Thim 15 augusti 2015 1 Vanliga symboler Lite logik Implikation: P Q. Detta betyder att om P är sant så är Q sant. Utläses P medför

Läs mer

Föreläsningsanteckningar och övningar till logik mängdlära

Föreläsningsanteckningar och övningar till logik mängdlära Inledande matematisk analys tma970, 010, logik, mängdlära Föreläsningsanteckningar och övningar till logik mängdlära Dessa öreläsningsanteckningar kompletterar mycket kortattat kap 0 och appendix B i Persson/Böiers,

Läs mer