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

Relevanta dokument
FTEA21:3 Spr akfilosofi F orel asning III Martin J onsson

DONALD DAVIDSON: MENINGSTEORI

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

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

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

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

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

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

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

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

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

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

FTEA12:4 Vetenskapsteori. Realism och anti-realism

Filosofisk logik Kapitel 15. Robin Stenwall Lunds universitet

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

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

Logik och modaliteter

A. MENING OCH SANNINGSVÄRDE HOS IDENTITETSPÅSTÅENDE. antag att namn A står för objekt a och namn B står för objekt b antag att a och b är distinkta

En introduktion till logik

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

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

1. Öppna frågans argument

Semantik och pragmatik

Formell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet

Objektivitet. Är vetenskapen objektiv? Vad betyder objektivitet

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

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

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

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

Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section

Kap. 7 Logik och boolesk algebra

Motivet finns att beställa i följande storlekar

Semantik VT Introduktion. Betydelse. Dagens föreläsning. Dahllöf: Språklig betydelse - semantik och pragmatik

Sanningens paradoxer: om ändliga och oändliga lögnare

Logik: sanning, konsekvens, bevis

Filosofisk logik Kapitel 19. Robin Stenwall Lunds universitet

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

Om semantisk följd och bevis

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

Robin Stenwall Lunds universitet

Kritiskt tänkande HTXF04:3 FTEB05. Rekonstruktion av argument

LMA033/LMA515. Fredrik Lindgren. 4 september 2013

Logik och kontrollstrukturer

Primitivt rekursiva funktioner och den aritmetiska hierarkin

Tal till Solomon Feferman

FTEA12:2 Filosofisk metod. Att värdera en argumentation II

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

Quine. Ett exempel på en analytisk sann sats som ofta används, bl a i Two Dogmas är:

4. Moralisk realism och Naturalism

Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet

Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I. v. 2.0, den 24/4 2013

Bild 1. Bild 2. Bild 3. Kuhns delade epistemiska värden

Tolkning och precisering Föreläsningsanteckningar: Lingvistik delmoment Semantik

Grundläggande begrepp inom lexikal semantik. Hanna Seppälä Uppsala universitet 1

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

Formell logik Kapitel 3 och 4. Robin Stenwall Lunds universitet

Semantik och pragmatik

FTEA12:2 Filosofisk Metod. Grundläggande argumentationsanalys II

Grundläggande logik och modellteori

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

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:

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

K2 Något om modeller, kompakthetssatsen

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

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

Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen

Mängder, funktioner och naturliga tal

8. Moralpsykologi. Några klargöranden:

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

0. Meta-etik Grunderna

Lite om bevis i matematiken

Föreläsning 9: Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.

Moralfilosofi. Föreläsning 4

Föreläsning 5. Deduktion

SYNTAKTISKA FUNKTIONER (forts.) Attribut o Attribut ger ytterligare information om det som nominalfrasen refererar till.

FTEA12:4 Vetenskapsteori. Deduktiv metod - Falsifikationism -

p /\ q r DD1350 Logik för dataloger Kort repetition Fö 3 Satslogikens semantik

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

Svar och lösningar, Modul 1.

TDDA94 LINGVISTIK, 3 poäng tisdag 19 december 2000

Moralfilosofi. Föreläsning 4

FÖRELÄSNINGSANTECKNINGAR 20okt2017 IB LYCAN KAP.2 OCH KAP. 3

2 Matematisk grammatik

KTH Matematik B.Ek Lösningar tentamen 5B1928 Logik för D (och IT), 29 augusti 2007

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

6. Kvasirealism. Slutledningen igen:

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

Moralfilosofi. Föreläsning 2

Naturalism. Föreläsning Naturalismen (tolkad som en rent värdesemantisk teori) är en form av kognitivism

Logik och bevisteknik lite extra teori

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

Tekniker för storskalig parsning

Seminariefrågor om vetenskapsteori för pedagogstudenter Senast uppdaterat:

Semantik och pragmatik (Serie 4)

Det Fysiska, det Mentala och det Medvetna 2

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

Robin Stenwall Lunds universitet

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

Formell logik Kapitel 7 och 8. Robin Stenwall Lunds universitet

Subjektivism & emotivism

Transkript:

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 2 / 11

Annette springer är sann omm det Annette refererar till är medlem av det som springer denoterar. Vian springer är sann omm det Vian refererar till är medlem av det som springer denoterar. Vian hoppar är sann omm det Vian refererar till är medlem av det som hoppar denoterar. Vian hoppar och Annette springer är sann omm både det Vian refererar till är medlem av det som hoppar denoterar och det Annette refererar till är medlem av det som springer denoterar. M. Jönsson (Lund University) Språkfilosofi 1 3 / 11 Davidsons vision om hur en meningsteori skall se ut (grov skiss) Teori (axiomatisk kärna): i) Annette refererar till Annette ii) Vian refererar till Vian iii) springer denoterar alla springande entiteter iv) hoppar denoterar alla hoppande entiteter v) En substantiv-verb fras är sann omm det substantivet refererar till är medlem av det som verbet denoterar vi) En sats av form S 1 och S 2 där både S 1 och S 2 är satser är sann omm både S 1 och S 2 är sanna. Teorem:

Davidsons forskningsprogram Davidson utgår från följande plausibla villkor: (K)* En meningsteori för ett visst språk L (t.ex. Svenska) måste beskriva hur meningen hos de oändligt många satserna i L beror på meningen hos satsernas delar. Det enda sättet vi kan göra detta på är att med logikens metoder definiera sanningsvillkoren för satser rekursivt. En sats mening är därför dess sanningsvillkor. Solen skiner är sann omm solen skiner. Månen är rund är sann omm månen är rund....... En av de främsta företrädarna för den här traditionen idag är Emma Borg i t.ex. Minimal Semantics (2004) och Pursuing Meaning (2013). M. Jönsson (Lund University) Språkfilosofi 1 4 / 11

1. Ett problem för en naiv referensteori Meningen hos varje ord eller annan syntaktisk enhet (inklusive konkatenering) är dess referens. Problem: Det kan inte uppstå någon satsmening utöver meningen hos delarna (en variant av Bradleys regress). Solen Skiner. Meningen hos termerna Meningen hos 1a ordningens konkatenering Meningen hos 2a ordningens konkatenering... M. Jönsson (Lund University) Språkfilosofi 1 5 / 11

2. En Referensteori Teori (axiomatisk kärna): i) Annette refers to Annette ii) the father of x refers to the father of x Teorem: Annette refers to Annette the father of Annette refers to the father of Anette the father of the father of Annette refers to the father of the father of Anette... M. Jönsson (Lund University) Språkfilosofi 1 6 / 11

3. Slangbellan (ett allmänt problem för referensteorier) Problem: Annette-teorin går inte att utveckla direkt till en fullskalig referensteori för satser eftersom alla satser med samma sanningsvärde samrefererar. 1. P Q Antagande; P, Q har samma sanningsvärde 2. ref[p ] = r Definition; Vi kallar det P refererar till r 3. ref[ιx(x = x P ) = ιx(x = x)] = r 2, Logiskt ekvivalenta satser samrefererar. 4. ref[ιx(x = x Q) = ιx(x = x)] = r 1,3, Samrefererande s.t. är utbytbara salva ref. 5. ref[q] = r 4, Logiskt ekvivalenta satser samrefererar. 6 ref[p ] = ref[q] 2,5, Identitet är en transitiv relation 6 men[p ] = men[q] 6, Mening är referens Givet antagandena att 1) logiskt ekvivalenta satser samrefererar och att 2) singulära termer (t.ex. ιx(x = x P ) ) kan bytas ut mot varandra utan att påverka referensen hos satserna i vilka de förekommer (en sorts referens-kompositionalitet), så följer det att varje par av satser som har samma sanningsvärde också måste ha samma referens och därmed, enligt referensteorin, samma mening. T.ex. London är Englands huvudstad betyder således samma sak som Jorden är rund. Absurt! M. Jönsson (Lund University) Språkfilosofi 1 7 / 11

4. En sanningsvillkorsteori Teori (axiomatisk kärna): i) Annette refererar till Annette ii) Vian refererar till Vian iii) springer denoterar alla springande entiteter iv) hoppar denoterar alla hoppande entiteter v) En substantiv-verb fras är sann omm det substantivet refererar till är medlem av det som verbet denoterar vi) En sats av form S 1 och S 2 där både S 1 och S 2 är satser är sann omm både S 1 och S 2 är sanna. Teorem: Annette springer är sann omm det Annette refererar till är medlem av det som springer denoterar. Vian springer är sann omm det Vian refererar till är medlem av det som springer denoterar. Vian hoppar är sann omm det Vian refererar till är medlem av det som hoppar denoterar. Vian hoppar och Annette springer är sann omm både det Vian refererar till är medlem av det som hoppar denoterar och det Annette refererar till är medlem av det som springer denoterar.... M. Jönsson (Lund University) Språkfilosofi 1 8 / 11

Observationer om sanningsvillkorsteorin Meningen hos ord eller morfem är det systematiska bidraget de gör till sanningsvillkoren för satserna i vilka de förekommer. Sammantaget med kompositionalitetsantagandet (jfr. K*) innebär detta att mening måste vara holistisk, d.v.s. att meningen(/sanningsvillkoren) hos ett uttryck beror på meningen(/sanningsvillkoren) hos alla andra uttryck. Om objektspråket är del av metaspråket kommer teorins teorem att vara relativt triviala (men se ovan), men teorins bidrag är dess axiomatiska kärna, där de rekursiva mekanismerna anges. Om objektspråket är okänt för oss utgör teoretiserandet radikal tolkning. För att ett sådant projekt skall vara möjligt alls måste vi anta vissa välvillighetsprinciper t.ex. att den vi tolkar är logiskt konsistent och att den upplever världen på samma sätt som vi själva gör. M. Jönsson (Lund University) Språkfilosofi 1 9 / 11

Sanningsvillkorsteorin: Brister Var kan jag köpa kajal? är sann omm... Gräs är grönt är sann omm gräs är grönt och 2+2=4 Det är nödvändigt falskt att solen både lyser och inte lyser är sann omm det är nödvändigt falskt att solen både lyser och inte lyser Jag har blåa byxor på mig är sann om jag har blåa byxor på mig M. Jönsson (Lund University) Språkfilosofi 1 10 / 11

Tydligt om Davidsons projekt Glüer-Pagin, Kathrin. (2012) Theories of Meaning and Truth Conditions, in The Continuum Companion to the Philosophy of Language, ed. M. García-Carpintero and M. Kölbel, London: Continuum 2012: 84-105. Glüer-Pagin ger en bra bild av vad Davidson försöker göra och vad som hänt efter Truth and Meaning M. Jönsson (Lund University) Språkfilosofi 1 11 / 11