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

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

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

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

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

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:

Robin Stenwall Lunds universitet

Föreläsning 5. Deduktion

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

Filosofisk logik Kapitel 15. Robin Stenwall Lunds universitet

Semantik och pragmatik (Serie 4)

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

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

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

Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf

Robin Stenwall Lunds universitet

FTEA12:4 Vetenskapsteori. Realism och anti-realism

7. Moralisk relativism

Om egennamns konnotation i stort mot Russell, i smått mot Kripke

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

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

Formell logik Kapitel 9. Robin Stenwall Lunds universitet

DEN TYSKA IDEALISMEN //IB 2017

Robin Stenwall Lunds universitet

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

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

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

1. Öppna frågans argument

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

Moralfilosofi. Föreläsning 4

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

Moralfilosofi. Föreläsning 4

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

Subjektivism & emotivism

HUME HANDOUT 1. Han erbjuder två argument för denna tes. Vi kan kalla dem "motivationsargumentet" respektive "representationsargumentet.

Filosofisk logik Kapitel 19. Robin Stenwall Lunds universitet

Grundläggande logik och modellteori (5DV102)

Semantik och pragmatik

DONALD DAVIDSON: MENINGSTEORI

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

Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen

Robin Stenwall Lunds universitet

Semantik och Pragmatik

Ansvariga lärare: Yury Shestopalov, rum 3A313, tel (a) Problem 1. Använd Eulers metod II (tre steg) och lös begynnelsevärdesproblemet

Moralfilosofi. Föreläsning 5

6. Kvasirealism. Slutledningen igen:

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

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

Moralfilosofi. Föreläsning 6

Talhandlingsteori. Talhandlingar. Performativa yttranden. Semantikens fyrkantigt logiska syn på språket

Putnam: 1) Vad är mening (dvs vad för ontologisk kategori tillhör mening)?

Robin Stenwall Lunds universitet

Definitionsmängd, urbild, domän

2. Kulturrelativism. KR har flera problematiska konsekvenser:

Något om logik och logisk semantik

Preliminärt lösningsförslag till del I, v1.0

DIFFERENTIALEKVATIONER. INLEDNING OCH GRUNDBEGREPP

K2 Något om modeller, kompakthetssatsen

3 Relationer och funktioner

z = z 2. z = z 2 z /z 2 = 1 1 z = x + c z(x) = x + c = ln x + c + c 2 y(x) = ln y = 0 y(x) = c 2

Kritiskt tänkande HTXF04:3 FTEB05. Induktiv argumentation

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

Kap. 7 Logik och boolesk algebra

Robin Stenwall Lunds universitet

Formell logik Föreläsning 1. Robin Stenwall

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

Moralfilosofi. Föreläsning 3

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

Aristi Fernandes Examensarbete T6, Biomedicinska analytiker programmet

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

Envariabelanalys: Vera Koponen. Envariabelanalys, vt Uppsala Universitet. Vera Koponen Föreläsning 5-6

En introduktion till predikatlogik

DIFFERENTIALEKVATIONER. INLEDNING OCH GRUNDBEGREPP

Formell logik Föreläsning 1. Robin Stenwall

Semantik och pragmatik (serie 5)

Explorativ övning 9 RELATIONER OCH FUNKTIONER

Karlstads Universitet, Datavetenskap 1

x2 6x x2 6x + 14 x (x2 2x + 4)

SF1626 Flervariabelanalys

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

Kvasirealism och konstruktivism

SANNING eller fake 1

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.

Diskret matematik: Övningstentamen 1

x +y +z = 2 2x +y = 3 y +2z = 1 x = 1 + t y = 1 2t z = t 3x 2 + 3y 2 y = 0 y = x2 y 2.

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

Kravgränser. Provet består av Del B, Del C, Del D samt en muntlig del och ger totalt 63 poäng varav 24 E-, 21 C- och 18 A-poäng.

4. Bestäm arean av det begränsade område som precis innesluts av kurvorna. och y = x 2. h(x) = e 2x 3,

Logik och modaliteter

Filosofisk logik Kapitel 18. Robin Stenwall Lunds universitet

Minnestilldelning (allokering) och frigörande (avallokering) av minne

Tentamen ID1004 Objektorienterad programmering October 29, 2013

Beräkning med ord. -hur en dator hanterar perception. Linköpings universitet Artificiell intelligens Erik Claesson

DIFFERENTIALEKVATIONER. INLEDNING OCH GRUNDBEGREPP

Slide 1. Slide 2. Slide 3. Argument för dualism: Introspektion. Argument för fysikalism: The argument from nomological danglers

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

Medieteknologi Webbprogrammering och databaser MEB725, 5p (7,5 ECTS) Klientprogrammering JavaScript Program på flera sidor

Det Fysiska, det Mentala och det Medvetna 2

DIFFERENTIALEKVATIONER. INLEDNING OCH GRUNDBEGREPP

Formell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet

Läsanvisningar till kapitel

Transkript:

FÖRELÄSNINGSANTECKNINGAR 20okt2017 IB LYCAN KAP.2 OCH KAP. 3 A. RUSSELL Skiljer mellan grammatisk form logisk form LOGISKA EGENNAMN ex. indexikaler, demonstrativer, ord för sinnesdata (t ex färgord är inte allmänbegrepp) är refererande uttryck, som plockar ut ett ting inför det i en konversation mening = referens referens är direkt Russells villkor för direkt referens epistemologisk: via bekantskap omedelbarhet: oförmedlad referenten är en atom: enkelhet OBESTÄMD BESKRIVNING (an x) En F är G x (Fx & Gx) ex. Någon stol är röd en x vilken som helst är F (inte: vilken x som helst är F) BESTÄMD BESKRIVNING (the x) F:et är G (alt. Det F som är G) x)(fx) & y(fy x=y) & Gx ex. Kungen av Frankrike är skallig det existerar ett x sådant att en enbart en x är F x är G 1

tre villkor för BB existens: Det finns ett F (antas hypotetiskt) unicitet/unikhet: Som mest ett ting är F (förutsätts) predikation: Någonting som är F är G (egenskapstillskrivande) (det sagda) Tinget som är F är G alt. Alla ting som är F är G icke-refererande inte en singulär term hänvisar inte till en partikulär Innehåller variabler, predikatsymboler kvantifikatorer Kvantifikatorer sträcker sig över en bestämd domän, dvs. de har en viss, bestämd tillämpning domän=mängd en mängd innehåller element (ting) eller är tom satisfiering: en bestämning av ett ofullständigt begrepp (jf att uppfylla villkor C) att fyllas (jf Frege) en kvantifikator satisfieras av elementen (tingen) i den tillordnade (tillhörande) mängden SINGULÄRA PROPOSITIONER innehåller partikulärer constituents GENERELLA PROPOSITIONER innehåller begrepp qualitative 2

RUSSELLS NAMNHYPOTES the name claim Egennamn har samma logiska form som bestämda beskrivningar. NN= x(fx & y(fy x=y) & Gx) Ingar Brinck = Lundaprofessorn som kan kickboxning B. TVÅ MODIFIKATIONER AV RUSSELLS NAMNHYPOTES 1. ANVÄNDNINGEN AV BESTÄMDA BESKRIVNINGAR (DONNNELLAN) Antar att BB inte är ett refererande uttryck: semantiskt antagande Ifrågasätter att BB inte kan referera: pragmatiskt antagande FRÅN MENING TILL ANVÄNDNING Beskrivningen är inte nödvändig för att bestämma referensen referentiell användning: genom hänvisning till tinget attributiv användning: genom egenskaper (tillskrivna tinget) ex. Smiths mördare är galen den person som häktats för mordet Jones Donnellan (i) skiljer mellan lingvistisk referens talarreferens, (ii) hävdar att referens är talarreferens, dvs. bestäms av talarens avsikt att använda uttrycket på ett visst sätt. Om avsikter är mentala tillstånd, innebär det att referens har en psykologisk förklaring. 3

2. KLUSTERTEORIN FÖR EGENNAMN (SEARLE) en bestämd beskrivning omfattar en mängd potentiellt identifierande egenskaper samtliga är sanna om objektet (dvs. variabelns värde) ingen kan användas för att identifiera något annat objekt IB är filosof, mamma, långhårig, professor, Lundaforskare, m m Kvantifikatordomänen omfattar ett bestämt antal egenskaper vilka (i) samtliga är sanna om x, (ii) utgör samtliga identifierande egenskaper ex. Nisse Nilsson = Lundaprofessorn Kanotpaddlaren Författaren till Frege or Russell? Den lekande mamman Malmöbon I praktiken är det vid användningstillfället enbart en av egenskaperna som är relevant för satisfieringen av BB Enligt Russell ( Searle) utgör BB en analys av egennamnet. Men: Hur många egenskaper kan en BB omfatta? Finns det någon begränsning för analysen? Utgör BB:n nödvändigtvis en fullständig analys av egennamnet? 4

C. JÄMFÖRELSEN MELLAN RUSSELL OCH FREGE Finns det en Russell-Frege teori? 1. EGENNAMN Har egennamn mening? Kan mening (Sinn) ha den logiska formen av en BB? Kan meningen (Sinn) hos ett egennamn utgöra en analys? Har egennamn referens? Beskriver meningen hos ett egennamn bäraren av egennamnet? Har kvalitativt identiska men numeriskt olika egennamn samma eller olika mening? Frege: detta x denoterar en partiell funktion från egenskapen F till x. Om det inte finns något x så är funktionen obestämd, eller odefinierad. 2. KOMPOSITIONALITET referens eller mening? atomism? holism? kan kompositionalitet vara begränsad? hur? 3. PROPOSITIONER (Gedanke) singulära? generella? referens? sanningsvärdesbärare? flera samtidiga (semantiska) funktioner? 4. FÖRKLARINGSVÄRDE falska beskrivningar: BB kan negeras på två olika sätt fiktiva objekt ex. Jultomten negativa existenspåståenden ex. Gustav Vasa finns inte (längre) 5