Irrationella övertalningsmetoder DEL 3

Storlek: px
Starta visningen från sidan:

Download "Irrationella övertalningsmetoder DEL 3"

Transkript

1 Irrationella övertalningsmetoder DEL 3

2 IRRATIONELLA ÖVERTALNINGSMETODER (1) Värdeladdade termer: Försök till att övertyga genom användandet av beteckningar som ger positiva och negativa associationer. Vissa termer har ju som tidigare nämnts både beskrivande och värderande innebörd ( tjocka värdetermer ) dessa kan användas på så sätt att man applicerar termen korrekt m.a.p. den deskriptiva komponenten och hoppas att folk ska svälja den värderande komponenten av bara farten. Man kan till exempel försöka få folk att stödja en grupp rebeller genom att konsekvent benämna dem som frihetskämpar.

3 IRRATIONELLA ÖVERTALNINGSMETODER (2) Vaga påståenden: Försök till att övertyga genom användandet av vaghet. Ofta är det fördelaktigt att säga någonting som låter som ett argument och som inte är uppenbart falskt. Till detta kan man använda vaga påståenden. Vaghet är sällan övertygande om man stannar upp och tänker efter men om man inte gör det kan det ofta verka som om det finns åtminstone något som talar för slutsatsen. Vi kan alltså ledas in i ett accepterande av något problematiskt genom vaghet.

4 IRRATIONELLA ÖVERTALNINGSMETODER (3) Ledande frågor: När man inte har tillräcklig grund för att göra ett påstående kan man omvandla det till en fråga. är det sant att du har varit otrogen? väcker misstankar hos åhörarna trots att talaren egentligen inte gjort någonting annat än att ställa en fråga. (a) Inbäddade förutsättningar: En specialkategori. Här tvingas man att bekräfta vissa förutsättningar oavsett om man svarar ja eller nej på frågan. Till exempel: Har du slutat slå din fru?

5 IRRATIONELLA ÖVERTALNINGSMETODER (4) Låtsad självklarhet: en saklig argumentation inbjuder till granskning. Ofta kan man undvika denna risk genom att låtsas som att det man säger är bortom allt tvivel. Detta kan ofta göras genom tonlägen och uttryck. Det är ju uppenbart att Till och med en liten unge skulle ju fatta det här!

6 IRRATIONELLA ÖVERTALNINGSMETODER (5) Vilseledande urval: När någon påpekar något utgår vi från att hen vill visa på något som är värt att nämna. Detta kan utnyttjas i vilseledande syfte. Genom att peka på något som kanske inte alls avviker från normen kan vi fås att tro att det i själva verket gör det. Utsagan Frits var nykter igår! kan få oss att tro att jag har grava alkoholproblem, till exempel.

7 IRRATIONELLA ÖVERTALNINGSMETODER (6) Vilseledande statistik: Det finns många sätt som statistik kan presenteras på. Man kan till exempel välja att lyfta fram de värden (medel-, median-, eller typvärde till exempel) som bäst stödjer den tes man argumenterar för. Denna metod kan också användas på grafik (kurvor kan se olika ut, branta eller flacka, beroende på fokus etc.). Man kan också göra urval i termer av vissa tidsintervall om man har att göra med en temporal utveckling.

8 IRRATIONELLA ÖVERTALNINGSMETODER Det är Cykeln som är farlig Några läkare vill införa körkort på moped. Anledningen: år 1978 förekom 206 olyckor på vanlig cykel och 64 olyckor på moped b l a n d å r i n g a r. A v s t a t i s t i k e n a t t d ö m a v a r mopedolyckorna betydligt färre än de vanliga cykelolyckorna. Körkort för moped är endas ett onödigt krångel. Byråkrati har vi tillräckligt med ändå. Däremot bör mopedåldern höjas. Prickfri mopedist i 26 år (expressen 5 juni 1981)

9 IRRATIONELLA ÖVERTALNINGSMETODER (7) Humor: ganska ofta används humor som irrationell påverkansstrategi. Om man kan få folk att skratta åt våra skämt (allra helst skämt på motståndarens bekostnad) ökar sannolikheten att få över åhörarna på vår sida. Lyckas vi förlöjliga motståndaren ordentligt kan det till och med gå så långt att denne tappar allt ethoskapital och inte kan få gehör ens för sina vassaste argument.

10 IRRATIONELLA ÖVERTALNINGSMETODER (8) Byta ämne (red herring, ignoratio elenchi): när man har problem med att bemöta motståndarens argumentation är en möjlig strategi att ignorera dennes argument och helt enkelt byta ämne till något annat som man har större utsikter att vinna en debatt om. Allra bäst fungerar den här strategin när man på något sätt kan byta ämne relativt obemärkt, till exempel genom att skenbart länka samman det nya ämnet med det gamla. Detta är en viktig fråga som egentligen bara kan besvaras genom att vi sätter in den i ett större sammanhang, nämligen

11 IRRATIONELLA ÖVERTALNINGSMETODER (9) Guilt by association (Skämtsamt: reductio ad Hitlerum, reductio ad Breivikum): Vanligen en typ av analogiargument där man påpekar likheter med något som alla tar avstånd ifrån och därigenom försöker få åhörarna att ta avstånd från det man vill argumentera emot.

12 IRRATIONELLA ÖVERTALNINGSMETODER In following this movement towards its end we shall inevitably reach a point beyond which the scene is darkened by the shadow of Hitler. Unfortunately, it does not go without saying that in our examination we must avoid the fallacy that in the last decades has frequently been used as a substitute for the reductio ad absurdum: the reductio ad Hitlerum. A view is not refuted by the fact that it happens to have been shared by Hitler. (Leo Strauss, Natural Right and History, 1953)

13 IRRATIONELLA ÖVERTALNINGSMETODER Godwins lag (Godwin s Rule of Nazi Analogies): "As an online discussion grows longer, the probability of a comparison involving Nazis or Hitler approaches 1. Formulerad av Mike Godwin Ett vanligt tillägg lyder: once such a comparison is made, the thread is finished and whoever mentioned the Nazis has automatically lost whatever debate was in progress. Man bör dock se upp så att man inte begår argumentum ad logicam (fallacy fallacy, fallacists fallacy) ett felslut gällande relevans. Detta felslut begås genom att man från att man hittat ett felslut i en given argumentation sluter sig till att dess slutsats måste vara falsk (även ett osunt argument kan ha en sann slutsats).

14 IRRATIONELLA ÖVERTALNINGSMETODER (10) Persuasiva definitioner: om man vill få åhörarna att acceptera något kan man försöka få in detta något under en kategori som åhörarna i fråga vill ha genom att omdefiniera det senare. Ett arbetarparti är ett parti som för politik för att skapa arbeten och som sänker skatterna för de som arbetar. Därför är Nya Moderaterna ett arbetarparti. Ofta signaleras denna typ av omdefinitioner av ord som sann, verklig och så vidare. Sann rättvisa är att

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

16 TRE CENTRALA BEGREPP (i) Sanning: en egenskap som tillkommer utsagor, inte slutledningar. (ii) Logisk styrka: en egenskap som tillkommer slutledningar, inte utsagor. Logiskt styrka har att göra med förhållandet mellan premisserna och slutsatsen. P1: Frits är kungen av Norge (F) P1: Frits bor i Malmö (S) P2: Kungen av Norge bor i Täby (F) P2: Norge är en monarki (S) C: Frits bor i Täby (F) C: Guld är en metall (S) Maximal logisk styrka Minimal logiskt styrka (iii) Sundhet: en egenskap som tillkommer argumentet som helhet.

17 TYPER AV PÅSTÅENDEN Sanna påståenden Falska påståenden Logiska sanningar (Ex. PV P, A=A) Logiska falskheter (Ex. P( P), A A) Analytiskt sanna satser Syntetiska satser Kontradiktoriska satser (Ex. Alla ungkarlar är ogifta) (Ex. Bilen är röd) (Ex. Det finns en gift ungkarl)

18 NÖDVÄNDIGA OCH TILLRÄCKLIGA VILLKOR (1) Nödvändiga: A är ett nödvändigt villkor för B = df Om B är fallet så måste A också vara fallet. (2) Tillräckliga: A är ett tillräckligt villkor för B = df Om A är fallet så måste B också vara fallet. Att ge en definition av något är ofta att ge en uppsättning nödvändiga och tillräckliga villkor (ett bikonditionalt logiskt konnektiv). Om en definition är för vid så påstår den att något är ett tillräckligt villkor som egentligen inte är det. Och om en definition är för snäv så påstår den att något är ett nödvändigt villkor som egentligen inte är det.

19 FYRA LOGISKA OPERATORER (1) Negation (symbol: ): förnekar ett påstående, motsvarar vardagsspråkets inte. Tecknet placeras framför det som förnekas. Det förnekade kan vara en komplex sats. En negationssymbol som placeras framför ett påstående negerar detta (även om det redan innehåller en negationssymbol): P = P (dubbla negationens lag) För varje påstående, P (atomärt eller komplext) finns det ett annat påstående, P, som är sant omm P är falskt. (se tabell 3). P P T F F T Tabell 3: Sanningvärdestabell för negation ( ).

20 FYRA LOGISKA OPERATORER (2) Konjunktion (symbol: &, ): länkar samman två påståenden, motsvarar vardagsspråkets och (notera att t.ex men är i logiskt bemärkelse detsamma som och ). Tecknet placeras mellan två påståenden (atomära och/eller komplexa). Varje delpåstående kallas för en konjunkt. Notera att den temporala aspekten av satser såsom Frits blev full och kräktes försvinner. P&Q (P och Q) är sann omm både P och Q är sanna (och falsk antingen om P eller Q, eller både P och Q är falska). (se tabell 4). Detta ger att vi om vi förbinder oss att se P&Q som sann så är vi förpliktade att ta både P och Q som sanna. P Q P&Q T T T T F F F T F F F F Tabell 4: Sanningvärdestabell för konjunktion (&).

21 FYRA LOGISKA OPERATORER (3) Disjunktion: (symbol: V) motsvarar eller. Tecknet placeras mellan två påståenden (atomära och/eller komplexa). Varje delpåstående kallas för en disjunkt. Notera att vi har att göra med ett sk. inklusivt eller (dvs. inte antingen eller utan åtminstone något av dessa ). PVQ (P eller Q) är sann i fallen då P eller Q, eller både P och Q är sanna, annars (dvs. när både P och Q är falska) är den falsk. (se tabell 5). Detta ger att vi om vi förbinder oss att se PVQ som falsk så är vi förpliktade att ta både P och Q som falska. P Q PVQ T T T T F T F T T F F F Tabell 5: Sanningvärdestabell för disjunktion (V).

22 FYRA LOGISKA OPERATORER (4) (Materiell) Implikation (symbol: ) motsvarar om så. Notera att implikationer är asymmetriska och att det därför är viktigt att rätt påstående hamnar på rätt sida om operatorn. Påståendet på vänstersidan kallas antecedenten (försatsen/förledet) och påståendet på högersidan konsekventen (eftersatsen/efterledet). P Q (Om P så Q) är sann omm antingen både P och Q är sanna, P är falsk och Q är sann, eller båda är falska. (se tabell 5). P Q P Q T T T T F F F T T F F T Tabell 8: Sanningvärdestabell för materiell implikation ( ).

23 NÖDVÄNDIGA OCH TILLRÄCKLIGA VILLKOR Om och endast om, en materiell bikonditional (omm, iff,, just in case ), är ett konnektiv i första ordningens logik. Satser av typen P Q är sanna om och endast om både P och Q har samma sanningsvärde (dvs. båda är falska eller båda är sanna). P Q P Q T T T T F F F T F F F T Tabell 2: Sanningvärdestabell för omm ( ).

24 FYRA GILTIGA DEDUKTIVA STRUKTURER (1) Bekräftande av förledet (modus ponens): den vanligaste formen. Utgår från en villkorssats, bekräftar att förledet föreligger och drar sedan efterledet som slutsats. Villkorssatsen innebär att P är ett tillräckligt villkor för Q och om P föreligger så måste Q föreligga. FORMELL STRUKTUR: (P1): P Q (P2): P (C): Q EXEMPEL: Om Frits får chips så blir han glad. Frits får chips. Alltså; Frits blir glad.

25 FYRA GILTIGA DEDUKTIVA STRUKTURER (1) Bekräftande av förledet (modus ponens): P1: Om kakan innehåller socker, så är den söt. P2: Kakan innehåller socker. C: Alltså, Kakan är söt. P1: Om Sam föddes i Kiruna så är han norrlänning. P2: Sam föddes i Kiruna. Alltså: Sam är norrlänning.

26 FYRA GILTIGA DEDUKTIVA STRUKTURER (2) Förnekande av efterledet (modus tollens): Utgår från en villkorssats, förnekar att förledet föreligger och drar sedan förnekandet av efterledet som slutsats. Villkorssatsen innebär att Q är ett nödvändigt villkor för P och om inte Q föreligger så kan inte P heller vara fallet, alltså måste P gälla. FORMELL STRUKTUR: EXEMPEL: (P1): P Q Om Frits får chips så blir han glad. (P2): Q Frits är inte glad. (C): P Alltså fick Frits inte chips.

27 FYRA GILTIGA DEDUKTIVA STRUKTURER (2) Förnekande av efterledet (modus tollens): Utgår från en villkorssats, förnekar att förledet föreligger och drar sedan förnekandet av efterledet som slutsats. Villkorssatsen innebär att Q är ett nödvändigt villkor för P och om inte Q föreligger så kan inte P heller vara fallet, alltså måste P gälla. P Q P Q I det här läget har vi antagit att (P Q) är sann och att T T T Q är falsk. Den enda raden som tillfredsställer dessa krav T F F är den fjärde och där är även P falsk, alltså i varje instans F T T där (P Q) är sann och Q är falsk ( Q är sann) måste P F F T också vara falsk ( P sann).

28 FYRA GILTIGA DEDUKTIVA STRUKTURER (1) Förnekande av efterledet (modus tollens): P1: Om kakan innehåller socker, så är den söt. P2: Kakan är inte söt. C: Alltså innehåller kakan inte socker. P1: Om Sam föddes i Kiruna så är han norrlänning. P2: Sam är inte norrlänning. Alltså föddes Sam inte i Kiruna.

29 FYRA GILTIGA DEDUKTIVA STRUKTURER (3) Disjunktiv syllogism: Utifrån att alla disjunkter utom en inte föreligger drar man slutsatsen att den återstående disjunkten föreligger. FORMELL STRUKTUR: EXEMPEL: (P1): PVQ Jag är hemma eller så är du hemma. (P2): P Du är inte hemma. (C): Q Alltså är jag hemma. Eftersom disjunktion innebär att åtminstone någon av disjunkterna måste vara sann(a) för att den skall vara sann innebär det att vi kan sluta oss till att om PVQ och P är sanna så måste Q vara sann. P Q PVQ P Q T T T F T T F T F F F T T T T F F F T F

30 FYRA GILTIGA DEDUKTIVA STRUKTURER P1: Kakan är (antingen) en saffranskaka eller en banankaka. P2: Kakan är inte en banankaka. C: Alltså är kakan en saffranskaka. P1: Antingen snurrar solen runt jorden eller så snurrar jorden runt solen. P2: Solen snurrar inte runt jorden. C: Alltså snurrar jorden runt solen.

31 FYRA GILTIGA DEDUKTIVA STRUKTURER Either the government brings about more sensible educational reforms, or the only good schools left will be private ones for rich kids. The government is not going to carry out sensible educational reforms. So the only good schools left will be private ones for rich kids.

32 FYRA GILTIGA DEDUKTIVA STRUKTURER (4) Kedjeargument: Genom att flera komplexa påståenden delar vissa (atomära) påståenden så kan de länkas ihop till ett längre argument. Så här: EXEMPEL: (P1): Om Alice dricker te så dricker den vita kaninen te. (P2): Om den vita kaninen dricker te så dricker den galne hattmakaren te. (P3): Alice dricker te, (C): Den galne hattmakaren dricker te. FORMELL SRTUKTUR: P Q Q R P R

33 TVÅ FELSLUT (1) Förnekande av förledet: Felet ligger i att man blandar ihop nödvändiga och tillräckliga villkor. Den första premissen uttrycker bara ett tillräckligt villkor, inte ett nödvändigt. FORMELL STRUKTUR: EXEMPEL: (P1): P Q Om Frits får chips så blir han glad. (P2): P Frits får inte chips. (C): Q Alltså; Frits är inte glad. Jag har andra glädjekällor än chips, de är inte nödvändiga för att jag ska bli glad.

34 TVÅ FELSLUT P1: Om kakan innehåller socker, så är den söt. P2: Kakan innehåller inte socker. C: Alltså är kakan inte söt. FEL: Den kan innehålla sötningsmedel P1: Om Sam föddes i Kiruna så är han norrlänning. P2: Sam föddes inte i Kiruna. C: Alltså är Sam inte norrlänning. FEL: Sam kan till exempel vara född i Umeå

35 TVÅ FELSLUT (2) Bekräftande av efterledet: Felet ligger i att man blandar ihop nödvändiga och tillräckliga villkor (igen!). FORMELL STRUKTUR: EXEMPEL: (P1): P Q Om Frits får chips så blir han glad. (P2): Q Frits är glad. (C): P Alltså; Frits har fått chips. Återigen: jag har andra glädjekällor än chips och kan alltså vara glad av andra anledningar.

36 TVÅ FELSLUT P1: Om kakan innehåller socker, så är den söt. P2: Kakan är söt. C: Alltså kakan innehåller socker. FEL: Den kan innehålla sötningsmedel P1: Om Sam föddes i Kiruna så är han norrlänning. P2: Sam är norrlänning. C: Alltså är Sam född i Kiruna. FEL: Sam kan till exempel vara född i Umeå

37 DEDUKTIVA SLUTLEDNINGAR Här följer fyra resonemang. Följer slutsatsen ur premisserna? Förklara varför/varför inte. (a) Om naturalismen är korrekt så kan värdeomdömen testas med empiriska metoder. Naturalismen är inte korrekt. Alltså kan värdeomdömen inte testas med empiriska metoder. (b) Om moralisk partikularism är felaktig så har McDowell fel. Om McDowell har fel så har Dancy fel. Moralisk partikularism är felaktig. Alltså har Dancy fel.

38 DEDUKTIVA SLUTLEDNINGAR Här följer fyra resonemang. Följer slutsatsen ur premisserna? Förklara varför/varför inte. (c) Om religiöst baserad etik är falsk så är dygdetik det sätt varpå moralfilosofin bör utvecklas. Religiöst baserad etik är falsk. Alltså är dygdetik det sätt varpå moralfilosofin bör utvecklas. (d) Om religiöst baserad etik är falsk så är dygdetik det sätt varpå moralfilosofin bör utvecklas. Det är inte så att dygdetiken är det sätt varpå moralfilosofin bör utvecklas. Alltså är det inte så att religiöst baserad etik är falsk

39 DEDUKTIVA SLUTLEDNINGAR Här följer två resonemang. Följer slutsatsen ur premisserna? Förklara varför/varför inte. (e) Om Scully är vetenskapsman så är Mulder en believer. Om Mulder är en believer så är the truth out there. Scully är vetenskapsman, alltså är the truth out there. (f) Om Sherlock bor i London så bor han i England. Sherlock bor i England, alltså bor Sherlock i London.

40 REDUCTIO AD ABSURDUM Anta P P Q Q är absurd eller en motsägelse P

41 REDUCTIO AD ABSURDUM Ingenting är sant eller falskt. Om ingenting är sant eller falskt så är ingenting är sant eller falskt sant, vilket strider mot antagandet att ingenting är sant eller falskt. ingenting är sant eller falskt.

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

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

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

FYRA LOGISKA OPERATORER

FYRA LOGISKA OPERATORER LOGIK & SPELTEORI Kopplingen mellan logik och spel går långt tillbaka (Aristoteles såg studiet av logiken, syllogismläran, som nära sammankopplad med studiet av reglerna och målsättningarna med debatterande).

Läs mer

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 7: Motargumentation & övertalningstekniker

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 7: Motargumentation & övertalningstekniker KRITISKT TÄNKANDE I VÄRDEFRÅGOR 7: Motargumentation & övertalningstekniker Retorikens tre delar DEL 1 RETORIKENS TRE DELAR Of the modes of persuasion furnished by the spoken word there are three kinds.

Läs mer

Fyra vanliga induktiva resonemang DEL 3

Fyra vanliga induktiva resonemang DEL 3 Fyra vanliga induktiva resonemang DEL 3 1. INDUKTIVA GENERALISERINGAR Alla induktiva generaliseringar har följande form: (P1): Z procent av de F som har observerats har egenskapen G. (C): Det är därför

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

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

10. Moralisk fiktionalism och ickedeskriptiv

10. Moralisk fiktionalism och ickedeskriptiv Det finns två olika positioner som båda kan kallas fiktionalism : 1. Hermeneutisk fiktionalism 2. Revolutionär fiktionalism ( revisionistisk fiktionalism ) De kan betraktas som två separata positioner,

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

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

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

FTEA12:2 Filosofisk metod. Att värdera en argumentation III FTEA12:2 Filosofisk metod Att värdera en argumentation III Två strategier vid argumentationsutvärdering: kort repetition Den kriteriella metoden: Ett BRA argument är ett argument som uppfyller vissa kriterier.

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

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

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

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

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

Naturalism. Föreläsning Naturalismen (tolkad som en rent värdesemantisk teori) är en form av kognitivism Naturalism Föreläsning 5 Naturalismen (tolkad som en rent värdesemantisk teori) är en form av kognitivism Som säger att värdesatser är påståenden om empiriska fakta Värdeomdömen kan (i princip) testas

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

FYRA GILTIGA DEDUKTIVA STRUKTURER

FYRA GILTIGA DEDUKTIVA STRUKTURER FYRA GILTIGA DEDUKTIVA STRUKTURER (1) Bekräftande av förledet (modus ponens): den vanligaste formen. Utgår från en villkorssats, bekräftar att förledet föreligger och drar sedan efterledet som slutsats.

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

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

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

Ö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 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

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

argumenterar vi på ett logiskt giltigt vis. Schemat kallas modus ponens. Här är ett exempel på ett specifikt modus ponens argument:

argumenterar vi på ett logiskt giltigt vis. Schemat kallas modus ponens. Här är ett exempel på ett specifikt modus ponens argument: FTEA12:2 Föreläsning 5 Att värdera en argumentation III Felslut fortsättning Vid vårt senaste föreläsningstillfälle började vi så smått att tala om s.k. felslut. Under dagens föreläsning ska vi fortsätta

Läs mer

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

Sanningsvä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 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

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

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

Moralisk oenighet bara på ytan?

Moralisk oenighet bara på ytan? Ragnar Francén, doktorand i praktisk filosofi Vissa anser att det är rätt av föräldrar att omskära sina döttrar, kanske till och med att detta är något de har en plikt att göra. Andra skulle säga att detta

Läs mer

4. Moralisk realism och Naturalism

4. Moralisk realism och Naturalism 4. Moralisk realism och Naturalism Eftersom CR accepterar Harmans princip kan de bara bemöta hans argument om de kan visa att moraliska egenskaper visst förklarar vissa av våra observationer. CR delar

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

Kritiskt tänkande HTXF04:3 FTEB05. Irrationella övertalningstekniker och några vanliga informella felslut.

Kritiskt tänkande HTXF04:3 FTEB05. Irrationella övertalningstekniker och några vanliga informella felslut. Kritiskt tänkande HTXF04:3 FTEB05 Irrationella övertalningstekniker och några vanliga informella felslut. Falsk självsäkerhet Folk tenderar att acceptera ett påstående om det presenteras av en person som

Läs mer

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

HUME HANDOUT 1. Han erbjuder två argument för denna tes. Vi kan kalla dem motivationsargumentet respektive representationsargumentet. HUME HANDOUT 1 A. Humes tes i II.iii.3: Konflikter mellan förnuftet och passionerna är omöjliga. Annorlunda uttryckt: en passion kan inte vara oförnuftig (eller förnuftig). Han erbjuder två argument för

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

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

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

Öppna frågans argument. Avser visa a2 godhet inte kan definieras Anses o9a som den moderna metae:kens startpunkt

Öppna frågans argument. Avser visa a2 godhet inte kan definieras Anses o9a som den moderna metae:kens startpunkt Öppna frågans argument Avser visa a2 godhet inte kan definieras Anses o9a som den moderna metae:kens startpunkt George Edward Moore 1873 1958 Professor i filosofi vid Cambridge 1925-39. Principia Ethica

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

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

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

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

Kritiskt tänkande HTXF04:3 FTEB05. Rekonstruktion av argument Kritiskt tänkande HTXF04:3 FTEB05 Rekonstruktion av argument Utvärdering av definitioner Problem (generella) Cirkularitet (definiendum ingår i definiens) (i) Direkt cirkularitet Exempel: Frihet är rätten

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

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

Objektivism. Föreläsning Objektivismen är (i likhet med naturalismen) en kognitivistisk teori

Objektivism. Föreläsning Objektivismen är (i likhet med naturalismen) en kognitivistisk teori Objektivism Föreläsning 6 Objektivismen är (i likhet med naturalismen) en kognitivistisk teori Men objektivister (till skillnad från naturalister) hävdar att det inte går att reducera värdeomdömen till

Läs mer

Föreläsning 6. pseudokod problemlösning logik algoritmer

Föreläsning 6. pseudokod problemlösning logik algoritmer Föreläsning 6 pseudokod problemlösning logik algoritmer Inledning Logik är läran om korrekt resonemang att kunna dra korrekta slutledningar utifrån det man vet. Vi gör detta ständigt utan att tänka på

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

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

Kri$skt tänkande. Hur gör man det? Varför är det vik$gt?

Kri$skt tänkande. Hur gör man det? Varför är det vik$gt? Kri$skt tänkande Hur gör man det? Varför är det vik$gt? Kri$skt tänkande A8 tänka kri$skt är a8 tänka klart och förnu=igt. I tankeprocessen ska tankarna vara förnu=iga och väl u8änkta. A8 tänka kri$skt

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

Robin Stenwall Lunds universitet

Robin Stenwall Lunds universitet Robin Stenwall Lunds universitet Avsnitt 14.1 Numerisk kvantifikation Kvantifikatorerna i FOL är begränsade till och. Detta innebär att vi kan uttrycka satser som säger någonting om allting och någonting.

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

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

FTEA12:2 Filosofisk metod. Att värdera en argumentation II FTEA12:2 Filosofisk metod Att värdera en argumentation II Dagens upplägg 1. Allmänt om argumentationsutvärdering. 2. Om rättfärdigande av premisser. 3. Utvärdering av induktiva argument: begreppen relevans

Läs mer

MA2047 Algebra och diskret matematik

MA2047 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 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

Slide 1. Slide 2. Slide 3. Kunskapsteori. Propositionell kunskap. Vilka problem skall kunskapsteorin lösa?

Slide 1. Slide 2. Slide 3. Kunskapsteori. Propositionell kunskap. Vilka problem skall kunskapsteorin lösa? Slide 1 Kunskapsteori Två problem: 1) Skepticism 2) Gettiers motexempel Slide 2 Vilka problem skall kunskapsteorin lösa? Det analytiska problemet: hur skiljer sig kunskap från tro och åsikter? Avgränsningsproblemet:

Läs mer

Moralfilosofi. Föreläsning 2

Moralfilosofi. Föreläsning 2 Moralfilosofi Föreläsning 2 Vi har noterat de empiriska observationerna (1) att olika kulturer, samhällen (etc.) har olika värderingar och (2) att det dock finns vissa värderingar som alla har gemensamt

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

Öppna frågans argument

Öppna frågans argument Öppna frågans argument Öppna frågans argument 1. Om godhet kan definieras som N så är frågan x är N, men är x go;? sluten. 2. För alla N gäller a; frågan x är N, men är x go;? är öppen. Slutsats: Godhet

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

Moralfilosofi Här handlar det inte om en bagatell, utan om hur man bör leva.

Moralfilosofi Här handlar det inte om en bagatell, utan om hur man bör leva. Moralfilosofi Här handlar det inte om en bagatell, utan om hur man bör leva. Sokrates Moralfilosofi (10,5 hp) Föreläsning 1 HT 2013 Fritz-Anton Fritzson, doktorand i praktisk filosofi e-post: fritz-anton.fritzson@fil.lu.se

Läs mer

Seminarier - instruktioner och instuderingsfrågor

Seminarier - instruktioner och instuderingsfrågor Uppsala universitet vt 2014, Filosofins klassiker, den nya tiden. Lärare: Robert Callergård Seminarier - instruktioner och instuderingsfrågor På seminarierna diskuterar vi tre klassiska texter två seminarier

Läs mer

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

Quine. Det förekommer två versioner av kritiken mot analyticitet i Quines artikel. Quine Den intuitiva betydelsen av analytiskt sann sats är sats som är sann enbart i kraft av sin mening. Dessa brukar ställas mot syntetiskt sanna satser som är sanna inte enbart som ett resultat av vad

Läs mer

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 3: Utvärdera argument I

KRITISKT TÄNKANDE I VÄRDEFRÅGOR. 3: Utvärdera argument I KRITISKT TÄNKANDE I VÄRDEFRÅGOR 3: Utvärdera argument I För att undvika förvirring gällande omm DEL 0 NÖDVÄNDIGA OCH TILLRÄCKLIGA VILLKOR Om och endast om, en materiell bikonditional (omm, iff,, just in

Läs mer

Kritiskt tänkande HTXF04:3 FTEB05. Grundläggande argumentationsanalys

Kritiskt tänkande HTXF04:3 FTEB05. Grundläggande argumentationsanalys Kritiskt tänkande HTXF04:3 FTEB05 Grundläggande argumentationsanalys Dagens upplägg Övergripande om kursen Dagens föreläsning: Grundläggande argumentationsanalys Övergripande om kursen Lärare: Robin Stenwall

Läs mer

Kritiskt tänkande HTXF04:3 FTEB05. Induktiv argumentation

Kritiskt tänkande HTXF04:3 FTEB05. Induktiv argumentation Kritiskt tänkande HTXF04:3 FTEB05 Induktiv argumentation En svaghet med deduktiv argumentation Vi har sagt att de bästa argumenten är de sunda argumenten, dvs de logiskt giltiga deduktiva argument med

Läs mer

Kritiskt tänkande HTXF04:3 FTEB05. Deduktiv argumentation

Kritiskt tänkande HTXF04:3 FTEB05. Deduktiv argumentation Kritikt tänkande HTXF04:3 FTEB05 Deduktiv argumentation Lite upprepning Ett deduktivt argument hävdar eller utger ig ör att vara ett argument av tarkate graden, dv. ett argument var lutat är en logik konekven

Läs mer

Moralfilosofi. Föreläsning 9

Moralfilosofi. Föreläsning 9 Moralfilosofi Föreläsning 9 Enligt koherentismen så startar vi med de åsikter som vi redan har och utgår från att vi är berättigade att hålla kvar vid dessa åsikter så länge de är koherenta ( hänger ihop

Läs mer

Moralfilosofi (10,5 hp) Föreläsning 1 VT 2013

Moralfilosofi (10,5 hp) Föreläsning 1 VT 2013 Moralfilosofi (10,5 hp) Föreläsning 1 VT 2013 Fritz- Anton Fritzson, doktorand i praktisk filosofi e-post: fritz-anton.fritzson@fil.lu.se 2 Litteratur Lars Bergström, Grundbok i värdeteori, 2 uppl. (Tidigare

Läs mer

KRITIST TÄNKANDE I VÄRDEFRÅGOR. 4: Utvärdera argument II

KRITIST TÄNKANDE I VÄRDEFRÅGOR. 4: Utvärdera argument II KRITIST TÄNKANDE I VÄRDEFRÅGOR 4: Utvärdera argument II Två ansatser REPETITION The Fish-footman began by producing from under his arm a great letter, nearly as large as himself, and this he handed over

Läs mer

3. Misstagsteorin. vårt moraliska språk är bristfälliga därför att de inte kan

3. Misstagsteorin. vårt moraliska språk är bristfälliga därför att de inte kan 3. Misstagsteorin Varför ska vi acceptera den semantiska premissen? Mackie menar att varje tolkning av våra moraliska utsagor som utelämnar de tre egenskaperna inte uttömmer de begrepp som vi faktiskt

Läs mer

Moralfilosofi. Föreläsning 2

Moralfilosofi. Föreläsning 2 Moralfilosofi Föreläsning 2 Vad är moral? Vad är moralfilosofins studieobjekt? Dvs. vad är det moralfilosofer filosoferar om? Det uppenbara svaret är naturligtvis moralen : Det är moralen som är föremålet

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

Svar och lösningar, Modul 1.

Svar och lösningar, Modul 1. Svar och lösningar, Modul. A Använd t.ex. följande lexikon: H : han hör vad som sägs, D : han är döv, O : han är ouppmärksam, M : han kommer att missa mötet. Vi får svar: H ((D O) & M) B Vi har Att E bara

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

Formell logik Kapitel 9. Robin Stenwall Lunds universitet

Formell logik Kapitel 9. Robin Stenwall Lunds universitet Formell logik Kapitel 9 Robin Stenwall Lunds universitet Kapitel 9: Introduktion till kvantifiering Vi har hittills betraktat logiska resonemang vars giltighet enbart beror på meningen hos konnektiv som

Läs mer

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

Utsagor (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 mer

Varför tror folk på konstiga saker?

Varför tror folk på konstiga saker? Varför tror folk på konstiga saker? Berndt Brehmer Försvarshögskolan berndt.brehmer@fhs.se Shermer, M. Why people believe weird things. New York: W. H. Freeman and Company, 1997. Radner, D. & Radner, M.

Läs mer

COMPUTABILITY BERÄKNINGSBARHET. Källa: Goldschlager, Lister: Computer Science A Modern Introduction 2. upplaga 1988, Prentice Hall

COMPUTABILITY BERÄKNINGSBARHET. Källa: Goldschlager, Lister: Computer Science A Modern Introduction 2. upplaga 1988, Prentice Hall COMPUTABILITY BERÄKNINGSBARHET Källa: Goldschlager, Lister: Computer Science A Modern Introduction 2. upplaga 1988, Prentice Hall Den centrala frågan: givet ett problem, kan det ha en algoritmisk lösning?

Läs mer

Hare Del III (Syfte) Syftet med delen: att visa varför det finns anledning att använda metoden från del II. Två frågor:

Hare Del III (Syfte) Syftet med delen: att visa varför det finns anledning att använda metoden från del II. Två frågor: Hare Del II (Metod) H intar en "innehållsneutral" attityd gentemot preferenser. Alla ska ges lika vikt, inklusive sadistiska preferenser. Här skiljer han sig från många andra U, som t.ex. Mill och Harsanyi.

Läs mer

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

Vad ä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 mer

MATEMATIKENS SPRÅK. Syftet med denna övning är att med hjälp av logik lära oss att uttrycka matematik mer exakt,

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

Moralfilosofi. Föreläsning 6

Moralfilosofi. Föreläsning 6 Moralfilosofi Föreläsning 6 Den öppna frågans argument Argument mot naturalismen Det går i korthet ut på att visa att en värdeterm (såsom rätt, fel, bör, etc.) inte kan ha samma mening som någon icke-värdeterm

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

0. Meta-etik Grunderna

0. Meta-etik Grunderna Vad är meta-etik? Vilka typer av frågor försöker man besvara inom metaetiken? 1. Semantiska. T. ex.: Vad betyder moraliska utsagor? 2. Metafysiska/ontologiska. T. ex.: Finns det moraliska fakta? 3. Kunskapsteoretiska.

Läs mer

Moralfilosofi. Föreläsning 5

Moralfilosofi. Föreläsning 5 Moralfilosofi Föreläsning 5 Arg. för emotivism: Bristande konvergens (konvergera = närma sig varandra. Motsats: divergera) Oenighet i värdefrågor är: 1. större än i sakfrågor 2. utbredd: folk är oeniga

Läs mer

Introduktion till argumentationsanalys

Introduktion till argumentationsanalys Introduktion till argumentationsanalys Litteratur: Björnsson och Eriksson, kap 1. #1 Vad är argumentationsanalys? Ett praktiskt filosofiskt hantverk som syftar till att fastställa huruvida en argumentation

Läs mer

Typsvar Ord. tentamen Allmän rättslära

Typsvar Ord. tentamen Allmän rättslära Typsvar Ord. tentamen Allmän rättslära 2014-03-07 Fråga 1 a) I ett strategiskt spel mellan två spelare (A och B) väljer varje spelare ett av två möjliga handlingsalternativ (X eller Y), och detta val avgör

Läs mer

FTEA12:2 Filosofisk metod

FTEA12:2 Filosofisk metod FTEA12:2 Filosofisk metod Dagens upplägg 1. Övergripande om kursen 2. Dagens föreläsning: Grundläggande argumentationsanalys del I Lärare: Övergripande om kursen Robin Stenwall rum 312 robin.stenwall@fil.lu.se

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

Logik. Dr. Johan Hagelbäck.

Logik. Dr. Johan Hagelbäck. Logik Dr. Johan Hagelbäck johan.hagelback@lnu.se http://aiguy.org Vad är logik? Logik handlar om korrekta och inkorrekta sätt att resonera Logik är ett sätt att skilja mellan korrekt och inkorrekt tankesätt

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

Epistemologi - Vad kan vi veta? 4IK024 Vetenskapsmetod och teori

Epistemologi - Vad kan vi veta? 4IK024 Vetenskapsmetod och teori Epistemologi - Vad kan vi veta? 4IK024 Vetenskapsmetod och teori Vetenskapsteori/filosofi Filosofi Ontologi/ Metafysik Vad finns? Epistemologi Vad kan vi veta? Hur kan vi inhämta kunskap? Etik Vad är rätt

Läs mer

Acceptans & sanning DEL 2

Acceptans & sanning DEL 2 Acceptans & sanning DEL 2 SANNINGSTEORIER Det finns flera olika teorier om vad det innebär för ett påstående att vara sant, nedan följer tre av de mer betydelsefulla av dessa: NOTERA: I många fall spelar

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

Logik och modaliteter

Logik och modaliteter Modallogik Introduktionsföreläsning HT 2015 Formalia http://gul.gu.se/public/courseid/70391/lang-sv/publicpage.do Förkunskaper etc. Logik: vetenskapen som studerar argument med avseende på (formell) giltighet.

Läs mer

Hare Del II (Metod) kunskap om hur det skulle vara för mig att befinna mig i deras. "reflektionsprincipen" (dock ej av H). Den säger följande: för att

Hare Del II (Metod) kunskap om hur det skulle vara för mig att befinna mig i deras. reflektionsprincipen (dock ej av H). Den säger följande: för att Syftet med denna del är att utveckla och försvara en form av preferensutilitarism, vilken kan identifieras med kritiskt tänkande. Den huvudsakliga framställningen är i kap. 5-6. En senare kort sammanfattning

Läs mer

Hare Del I (Nivåer) H använder ofta benämningen "universell preskriptivism" för sin lära.

Hare Del I (Nivåer) H använder ofta benämningen universell preskriptivism för sin lära. Huvudsyftet med delen: att beskriva uppdelningen i två nivåer för moraliskt tänkande, den kritiska och den intuitiva. Först dock lite bakgrund. H:s metaetik är en form av non-kognitivism som han själv

Läs mer

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

p /\ q r DD1350 Logik för dataloger Kort repetition Fö 3 Satslogikens semantik DD1350 Logik för dataloger Fö 3 Satslogikens semantik 1 Kort repetition Satslogik formellt språk för att uttrycka påståenden med variabler och konnektiv /\, \/,, t.ex. p /\ q r 1 Kort repetition Naturlig

Läs mer