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



Relevanta dokument
VANLIGA KÄLLOR TILL IRRELEVANS

VANLIGA FELSLUT. En plan är samma sak som en strategi. En typ av plan är Boeing 747, Alltså är en Boeing 747 en strategi.

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

VANLIGA FELSLUT. En plan är samma sak som en strategi. En typ av plan är Boeing 747, Alltså är en Boeing 747 en strategi.

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

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

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

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

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

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

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

FYRA LOGISKA OPERATORER

Irrationella övertalningsmetoder DEL 3

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

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

Logik: sanning, konsekvens, bevis

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

John Perrys invändning mot konsekvensargumentet

FTEA12:2 Filosofisk metod

Kritiskt tänkande HTXF04:3 FTEB05. Induktiv argumentation

Formell logik Kapitel 3 och 4. Robin Stenwall Lunds universitet

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

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

FTEA12:2 Filosofisk Metod. Grundläggande argumentationsanalys II

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

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

10. Moralisk fiktionalism och ickedeskriptiv

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.

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

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

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

Logik och modaliteter

Seminarier - instruktioner och instuderingsfrågor

2. Kulturrelativism. KR har flera problematiska konsekvenser:

Formell logik Kapitel 5 och 6. Robin Stenwall Lunds universitet

MATEMATIKENS SPRÅK. Avsnitt 1

4. Moralisk realism och Naturalism

Introduktion till argumentationsanalys

FTEA12:4 Vetenskapsteori. Realism och anti-realism

Acceptans & sanning DEL 2

Hur fattar samhället beslut när forskarna är oeniga?

En introduktion till logik

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

Logik. Dr. Johan Hagelbäck.

Postprint.

Make a speech. How to make the perfect speech. söndag 6 oktober 13

Vägar till vetande 4. Från tankevurpor till forskningsetik. BAS A01 Baskurs för universitetsstudier! Några typiska felslut och tankevurpor

This is England. 1. Describe your first impression of Shaun! What kind of person is he? Why is he lonely and bullied?

BOENDEFORMENS BETYDELSE FÖR ASYLSÖKANDES INTEGRATION Lina Sandström

Varför tror folk på konstiga saker?

1. Öppna frågans argument

6. Kvasirealism. Slutledningen igen:

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

Logik och kontrollstrukturer

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

Robin Stenwall Lunds universitet

Writing with context. Att skriva med sammanhang

Guds egenskaper och natur

Formell logik Föreläsning 1. Robin Stenwall

Formell logik Föreläsning 1. Robin Stenwall

Isometries of the plane

Stiftelsen Allmänna Barnhuset KARLSTADS UNIVERSITET

Varför tror folk på konstiga saker?

Objektivitet. Är vetenskapen objektiv? Vad betyder objektivitet

INSTITUTIONEN FÖR FILOSOFI, LINGVISTIK OCH VETENSKAPSTEORI ETIK VT-15 DJURETIK OCH MORALISK STATUS

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

Consumer attitudes regarding durability and labelling

Moralfilosofi. Föreläsning 4


Moralfilosofi. Föreläsning 5

Moralfilosofi. Föreläsning 4

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

Semantik och pragmatik (Serie 3)

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

Subjektivism & emotivism

samhälle Susanna Öhman

Preschool Kindergarten

English. Things to remember

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

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

Filosofisk logik Kapitel 18. Robin Stenwall Lunds universitet

Översikt. Tre typer av moraliska teorier: (1) Konsekvensialistiska (2) Deontologiska (3) Dygdetik

MA2047 Algebra och diskret matematik

Wittgenstein for dummies Eller hur vi gör det obegripliga begripligt. Västerås 15 februari 2017

Formell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet

Kommunikation för dataloger

Moralfilosofi. Föreläsning 3

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

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

Andy Griffiths Age: 57 Family: Wife Jill, 1 kid Pets: Cats With 1 million SEK he would: Donate to charity and buy ice cream

Discovering!!!!! Swedish ÅÄÖ. EPISODE 6 Norrlänningar and numbers Misi.se

Formell logik Kapitel 10. Robin Stenwall Lunds universitet

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

Förändrade förväntningar

Kapitel 1. Men varför är BDT falsk om vi förstår desire i fenomenologisk mening?

Insamlingsforumbilden. Den nya givaren

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

FTEA12:4 Vetenskapsteori. Deduktiv metod - Falsifikationism -

Vässa kraven och förbättra samarbetet med hjälp av Behaviour Driven Development Anna Fallqvist Eriksson

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

Transkript:

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 to the other, saying, in a solemn tone, For the Duchess. An invitation from the Queen to play croquet. The Frog-footman repeated, in the same solemn tone, only changing the order of the words a little, From the Queen. An invitation for the Duchess to play croquet. (Lewis Carroll, Alice s Adventures in Wonderland,1865)

TVÅ HUVUDSTRATEGIER (1) Felslutsansatsen (eng. Fallacies approach): Utgår från en lista på möjliga felslut och letar efter dem, begås något eller några sådana felslut i argumentationen så är det ett dåligt argument. (2) Kriterieansatsen (eng. Criterial apprach): utgår från en lista på kriterier som bra argument skall uppfylla, är de uppfyllda har vi att göra med ett bra argument. Dessa typer av listor är inte orelaterade, men man kan välja att i huvudsak fokusera på antingen (1) eller (2). (Hughes fokuserar i huvudsak på (2).)

TRE KRITERIER Ett bra argument skall uppfylla tre kriterier: (1) Acceptabla premisser: det är rimligt att acceptera premisserna. (2) Relevanta premisser: Premisserna har med slutsatsen att göra. (3) Adekvata premisser: Premisserna räcker för att etablera slutsatsen. NOTERA: (3) Handlar om premissmängden som helhet, (1) & (2) om premisserna individuellt. (2) & (3) är relaterade: relevans är ett nödvändigt villkor för adekvans.

Relevans DEL 3

RELEVANS En premiss kan sägas vara relevant när den gör slutsatsen mer godtagbar om premissen i sig är godtagbar. NOTERA: I en T-struktur kan vissa premisser tagna var för sig te sig irrelevanta; där måste de bedömas tillsammans. NOTERA: En premiss kan vara relevant och samtidigt mycket svag, dvs. inte helt irrelevant men samtidigt inte utgöra särskilt starkt belägg för slutsatsen.

VANLIGA KÄLLOR TILL IRRELEVANS (1)Åberopande av makt eller hot (argumentum ad baculum): att backa upp en slutsats med en premiss som går ut på tvång av ett eller annat slag. Dominikanermunken Giordano Bruno (1548-1600) trodde på Kopernikus astronomiska hypoteser men gick ännu längre (han antog att solen var en stjärna bland andra i en oändlig rymd). Kyrkan hotade honom till livet om han inte ändrade sig. Han vägrade acceptera ad baculum-argumentet och brändes på bål år 1600. Fig. 13: Bronsstaty av Giordano Bruno, Ettore Ferrari (Campo de Fioro, Rom)

VANLIGA KÄLLOR TILL IRRELEVANS Detta är åtminstone den vanliga hjältehistorien. Det är dock tveksamt om Brunos kosmologi verkligen spelade så stor roll. År 1600 hade kyrkan ännu inte en officiell ståndpunkt gällande den kopernikanska teorin och det verkar snarare ha varit hans panteistiska föreställningar och andra dogmatiska spörsmål saken gällde. (P1): Om du smugglar knark över Öresundsbron kommer du att åka i finkan. (P2): Du vill inte åka i finkan. (C): Alltså bör du inte smuggla knark över Öresundsbron. Detta argument innebär inte ett felslut, det tillskriver personen i fråga en uppfattning, men det påtvingar den inte.

VANLIGA KÄLLOR TILL IRRELEVANS (2)Åberopande av medlidande (argumentum ad misericordiam): att backa upp en slutsats med att om man inte går med på den blir någon ledsen, etc. Richard P. Feynman, the Nobel Prize winning physicist, has been misunderstood almost all of his life. Since World War II, he came close twice to having a mental breakdown--first with the death of his wife and second with the explosion of the atomic bomb. I think that the Journal of Science should publish some of his later theoretical work out of our kind regard for his memory and from the interest of human concern for his difficult life.

VANLIGA KÄLLOR TILL IRRELEVANS (3) Åberopande av popularitet (argumentum ad populum): Att backa upp en slutsats genom att hävda att de flesta tycker så. Detta kan ju vara sant, men vi är intresserade av de goda skäl som majoriteten i så fall har för sin uppfattning. Notera att denna typ ofta kommer i en inverterad variant: det är bara i Norden det är så är i sig inte relevant för alkoholmonopolets avskaffande, till exempel. (a) Snobberi: Appellerar till en elit (som inte utgör en auktoritet). "Four Roses Whiskey is for men of distinction. (b) statistisk popularitet ( bandwaggon ): att appellera till popularitet. "Sony. Ask anyone."

VANLIGA KÄLLOR TILL IRRELEVANS (4) Åberopande av auktoritet (argumentum ad verecundiam): att stödja en slutsats genom att påpeka att en betydelsefull person tycker så istället för att ange skälen personen i fråga har för att tycka så. "But can you doubt that air has weight when you have the clear testimony of Aristotle affirming that all the elements have weight including air, and excepting only fire?" (Galileo Galilei, Dialogues Concerning Two New Sciences) Notera dock att (i) som citatet står är det en fråga, och inte ett argument men att även om vi ser det som ett sådant så (ii) var Aristoteles vid tidpunkten för uttalandet en relevant auktoritet när det gällde fysik. Idag är han det förstås inte.

VANLIGA KÄLLOR TILL IRRELEVANS Notera att: (3) Åberopande av popularitet (argumentum ad populum): Att backa upp en slutsats genom att hävda att de flesta tycker så. och; (4) Åberopande av auktoritet (argumentum ad verecundiam): att stödja en slutsats genom att påpeka att en betydelsefull person tycker så istället för att ange skälen personen i fråga har för att tycka så. Kan vara svåra att hålla isär!

VANLIGA FELSLUT GÄLLANDE IRRELEVANS (1) Personangrepp (argumentum ad hominem): istället för att angripa själva påståendet så angriper man den som för fram det. Francis Bacon's philosophy should be dismissed since Bacon was removed from his chancellorship for dishonesty. När man tar sig an filosofiska verk och idéer är det dock viktigt att ta författarens karaktär och omständigheter i beaktande. Ad hominem överväganden kan med andra ord vara behjälpliga för att förstå en filosofs motivation eller för att förklara en tankegång. Dessa överväganden säger emellertid ingenting om sanningsvärdet i det filosofen i fråga påstår.

VANLIGA FELSLUT GÄLLANDE IRRELEVANS Frågan uppstår ofrånkomligt hur långt filosofens tankar och filosofens liv kan skiljas från varandra. Bör filosofens verk uppfattas som en serie teser, vilka kan förstås och bedömas opersonligt och tidlöst? Eller som led i ett person- och situationsbundet filosofiskt projekt, begripligt bara för den som tar hänsyn till filosofens syften och diskussionsläge? Bör man [ ] betrakta filosofens tankar som eviga idéer bortom tid och rum? Eller i likhet med den ursprunglige Platon visserligen räkna med eviga idéer, men ändå framställa filosofen som kroppsligt och själsligt närvarande på en bestämd plats och vid en bestämd tid, inbegripen i livliga samtal med lärjungar, kollegor och motståndare? (Svante Nordin, Biografin som filosofihistorisk genre, Lychnos 2006)

VANLIGA FELSLUT GÄLLANDE IRRELEVANS (2) Att två fel skulle göra ett rätt (tu quoque): att försvara sig genom att peka på andras (liknande) brister. Att andra också gör fel gör sällan ens eget beteende mindre problematiskt. Två varianter: (a) Angripa motståndaren: Du har också gjort så! (b) Angripa folk i allmänhet: Alla andra gör också så! NOTERA: När det gäller moraliskt klander är det inte alltid bara frågan om huruvida någon gjort fel utan också om vem som har rätt att klandra, moralisera och förlåta.

VANLIGA FELSLUT GÄLLANDE IRRELEVANS Pressfrihet (W. R Hearst) Rättssäkerhet Yttrandefrihet (Anti- Kommunism) Mötesfrihet Fig. 14: And you are lynching Negroes

VANLIGA FELSLUT GÄLLANDE IRRELEVANS (3) Halmdocka (Straw man): när man inte angriper en motståndares egentliga position utan en version av den som är mycket lättare att motbevisa. Denna form av misstag är väldigt vanligt inom filosofin. NOTERA: Ibland förespråkas positioner på lite olika sätt av olika aktörer i en debatt och om man då skall argumentera mot dessa måste man sammanfatta och förenkla, det är då lätt att det hela resulterar i en halmdocka om man inte är försiktig.

VANLIGA FELSLUT GÄLLANDE IRRELEVANS Straw man, så här går det till: 1. Person a intar position x. 2. Person b struntar i (eller missförstår) position x och presenterar den liknande positionen y. Detta kan ske på lite olika sätt: (i) b misrepresenterar x. (ii) b citerar a felaktigt. (iii) b utgår från en undervärdigt formulerad x och presenterar den som om den uttömde hela fältet av möjligheter. (iv) b presenterar en förenkling av x. 3. b attakerar y.

Adekvans DEL 4

ADEKVANS Adekvans handlar om huruvida premisserna (vanligen sammantagna) ger tillräckligt stöd för slutsatsen. De två sätt varpå premisser kan vara adekvata (deduktiv giltighet och induktiv styrka) kommer att behandlas under nästkommande två föreläsningar. Nu följer lite reflektioner rörande auktoriteter och några vanliga felslut gällande adekvans.

AUKTORITETER När man inte själv är expert/insatt på/i området måste man kunna bedöma kvaliteten på de auktoriteter som åberopas. Fem krav: (1) Auktoriteten måste vara namngiven: annars har vi ingen möjlighet att kontrollera denne. (2) Den måste vara erkänd av andra experter på området: annars kan vi ha att göra med en charlatan. (3) Sakfrågan måste ligga inom auktoritetens kompetensområde. (4) Verklig kunskap måste vara möjlig på området. (5) Det måste råda samstämmighet bland experter inom området rörande frågan: och majoriteten måste hålla med experten som åberopas.

VANLIGA FELSLUT GÄLLANDE ADEKVANS (1) Åberopande av okunskap (argumentum ad ignoratiam): Rättfärdigande genom att peka på att det inte finns några slutgiltiga bevis för att det är fel. T. ex. ingen har kunnat visa att telepati inte fungerar, etc. NOTERA: I normala fall gäller det att om det inte finns några skäl att anta existensen av något så är det bättre att inte anta detta samt att den teori med färre teoretiska postulat är att föredra givet samma förklaringskraft (Ockhams Rakkniv). NOTERA: Det är också möjligt att formulera en inverterad version av detta felslut, nämligen när man antar något som falskt bara för att det inte kunnat bevisas såsom sant.

VANLIGA FELSLUT GÄLLANDE ADEKVANS (1) Åberopande av okunskap (argumentum ad ignoratiam): Rättfärdigande genom att peka på att det inte finns några slutgiltiga bevis för att det är fel. T. ex. ingen har kunnat visa att telepati inte fungerar Eftersom det inte är någon som har några frågor så antar jag att ni är redo för tentan. Our universe, however, did begin with the primordial explosion, since we can obtain no information about events that occurred before it. The age of the universe, therefore, is the interval from the big bang to the present. (Scientific American)

VANLIGA FELSLUT GÄLLANDE ADEKVANS (2) Hala slänten/det sluttande planet (slippery slope): att argumentera mot något, inte för att det är fel, utan för att det i slutändan kommer att resultera i något dåligt. T. ex. Om vi legaliserar cannabis slutar det väl med att till och med dagisbarnen är påtända. Att förbjuda pornografi är helt oacceptabelt. När vi väl har börjat förbjuda litterära uttryck kommer det att sluta som i Farenheit 451, det vill säga, med bokbål! Ge någon ett finger och de tar snart hela handen NOTERA: liknande argumentationer kan vara fullt rimliga, det är ju viktigt att ta långsiktiga konsekvenser i beaktande. Problemet med det sluttande planet är att de andra stegen i utvecklingen antas följa per automatik.

VANLIGA FELSLUT GÄLLANDE ADEKVANS [I]f once a man indulges himself in murder, very soon he comes to think little of robbing; and from robbing he comes next to drinking and Sabbathbreaking, and from that to incivility and procrastination. Once begin upon this downward path, you never know where you are to stop. Many a man has dated his ruin from some murder or other that perhaps he thought little of at the time. (Thomas de Quincey, Second Paper on Murder, 1839) Fig. 15: Thomas de Quincey, Portrait by Sir John Watson-Gordon, National Portrait Gallery, London.

VANLIGA FELSLUT GÄLLANDE ADEKVANS (3) kausala felslut: När man misstar närhet i tid och rum och/eller statistiska samband för kausala sådana. (a) Att se samband i samvariation (post hoc ergo propter hoc): när man antar att x orsakade y bara för att x inträffade före y. Det är ett nödvändigt villkor för kausalitet att orsaken föregår verkan, men inte ett tillräckligt. (b) Sammanblanda orsak och verkan. (c) Gemensamma orsaker: d.v.s. att tro att x orsakar y när det i själva verket är så att något tredje, z, orsakar både x och y.

VANLIGA FELSLUT GÄLLANDE ADEKVANS [E]vidence shows that even state and local handgun control laws work. For example, in 1974 Massachusetts passed the Bartley-Fox Law, which requires a special license to carry a handgun outside the home or business. The law is supported by a mandatory prison sentence. Studies by Glenn Pierce and William Bowers of Northeastern University documented that after the law was passed handgun homicides in Massachusetts fell 50% and the number of armed robberies dropped 35%. (Handgun Control, Inc.)

VANLIGA FELSLUT GÄLLANDE ADEKVANS After it therefore because of it." It means one thing follows the other, therefore it was caused by the other. But it's not always true. In fact, it's hardly ever true. Fig. 16: Josiah Edward "Jed" Bartlet (Martin Sheen), NBC s West Wing

ÖVNINGSEXEMPEL The US constitution forbids religious worship or teaching in state schools. Now is the time for us to follow suit. For once some are allowed sectarian education, there is no reason why others shouldn t be allowed their schools too New Agers, astrologists, Moonies or any other sect or cult with a sufficient number of followers. [ ] If you think that s all nonsense but the Bible is the literal truth, be warned, for there is no satisfactory legal definition of a religion. A religion is just a cult with more followers. (Polly Toynbee, Independent, 23 October 1997)

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. (Lewis Carroll, Through the Looking-Glass, 1872)

DEDUKTIVT RESONERANDE (Som vi tidigare påpekat) har argument två aspekter: innehåll och struktur. I deduktiva argument bygger den logiska styrkan enbart på strukturen. Om de är giltiga är deras logiska styrka alltid maximal, dvs. Om premisserna är sanna så måste slutsatsen vara det också. Ofta använder man formaliseringar för att åskådliggöra deduktiva arguments struktur.

Deduktivt resonerande REPETITION

SUNDA ARGUMENT Ett sunt argument ger oss en sann eller godtagbar slutsats (dvs. vi strävar efter sunda argument när vi argumenterar). Ett argument är sunt om och endast om (omm, eng. iff): (i) det har sanna eller godtagbara premisser, och; (ii) det har logisk styrka/är giltigt. OBSERVERA: även ett osunt argument kan råka ha en sann/godtagbar slutsats.

LOGISK STYRKA Logisk styrka: en central egenskap hos ett argument. Ju mer stöd premisserna ger åt slutsatsen, desto mer logisk styrka har argumentet. logisk styrka är alltså en gradfråga, men observera att när vi har att göra med ett giltigt deduktivt argument så är den logiska styrkan alltid maximal. Vi kan alltså testa logisk styrka kontrafaktiskt: Om premisserna vore sanna, skulle slutsatsen då vara acceptabel/följa med nödvändighet?

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. När det gäller deduktiva argument är ett argument sunt omm: (a) det är giltigt, och (b) det har sanna premisser.

GILTIGHET Giltighet är en speciell form av logisk styrka (den är som tidigare sagts maximal) och ett formellt giltigt argument kan definieras som ett argument där slutsatsen med nödvändighet följer av premisserna. P1: Alla greker är människor P2: Alla människor är dödliga C: Alla greker är dödliga Logisk giltighet: ett argument är logiskt giltigt omm varje argument med samma logiska form är sådant att om det har sanna premisser, så har det en sann slutsats.

HUR SKILJER MAN ETT LOGISKT GILTIGT DEDUKTIVT ARGUMENT FRÅN ETT OGILTIGT? (1) Formella metoder (mekanisk beräkning) (2) Informella metoder (a) Visualiserande: försök att föreställa dig en situation där premisserna är sanna men slutsatsen är falsk. (b) Konstruera ett alternativt argument med samma logiska struktur: försök formulera ett annat argument, med samma logiska form (men annat innehåll), som det argument du vill avgöra giltigheten i som är uppenbart ogiltigt.

ÖVNING Anta att du ska bedöma huruvida följande deduktiva argument är ett giltigt argument: (P1):Vegetarianer äter inte rostbiff. (P2):Alice åt inte rostbiff. (C):Alice var vegetarian.

ÖVNING Du urskiljer först och främst ovanstående arguments form: (P1): Alla X är Y (P2): a är Y (C): a är X

ÖVNING Du formulerar ett annat argument med samma form som är uppenbart ogiltigt: (P1): Alla katter är köttätare (P2): Kungen är köttätare (C): Kungen är en katt Dvs. Alice kan ha struntat i rostbiffen av andra anledningar.

TVÅ TYPER AV PÅSTÅENDEN (1) Enkla (atomära): påståenden ur vilka man inte kan bryta ut ett annat meningsfullt påstående. Dessa påståenden är basen i deduktivt resonerande och betecknas ofta med bokstäver såsom P, Q, och R. Denna substitution av innehållet i påståendena mot en variabel är möjlig eftersom deduktiva slutledningar har sin logiska styrka i kraft av sin form. (2) Komplexa: utgår från atomära påståenden och sätter ihop dem på ett sätt som gör att det blir möjligt att bryta ut andra påståenden ur dem.

ATOMÄRA PÅSTÅENDEN A t o m ä r a p å s t å e n d e n u t t r y c k e r e n k l a sakförhållanden: att någonting har en viss egenskap eller att flera objekt står i en viss relation till varandra. Till exempel: Bollen är rund Choklad är fett Hemingway jagar De Quincey är en knarkare

KOMPLEXA PÅSTÅENDEN Komplexa påståenden bildas genom att en sk. operator läggs till ett eller flera atomära påståenden. I vardagsspråk motsvaras operatorer (även kallade konnektiv) ofta av olika bindeord. Alltså: Atomärt/atomära påstående + operator = komplext påstående. Bollen är inte rund Hemingway jagar inte Choklad är fett och de Quincey är en knarkare

SANNINGSFUNKTIONELLA PÅSTÅENDEN Påståenden där operatorer modifierar enkla påståenden kallas sanningsfunktionella eftersom deras eventuella sanning är en funktion av de enkla påståendenas sanning. Reglerna för giltig deduktion säger att den eventuella sanningen hos påståendena i premisserna också förs över till slutsatsen.

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 ( ).

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 (&).

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).

FYRA LOGISKA OPERATORER Vi kan nu se att P&Q (P och Q) logiskt implicerar PVQ (P eller Q) eftersom PVQ är sann på alla rader i tabellen där P&Q är sann (den första raden). Tabellen visar alltså att PVQ är en tautologisk (och följaktligen logisk) konsekvens av P&Q. P Q P&Q PVQ T T T T T F F T F T F T F F F F Tabell 6: Sanningvärdestabell för P&Q, PVQ.

FYRA LOGISKA OPERATORER Nu kan vi visa att PV P (P eller P) är en tautologi (= df sant oavsett vilka sanningsvärden vi ger de atomära satserna), eller med andra ord: Antingen eller gäller! Om man tittar i den sist ifyllda kolumnen (med satsens primära konnektiv V) så ser vi att den är sann under alla omständigheter. P V ( P) T T F F T T Tabell 7: Sanningvärdestabell för PV( P).

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 ( ).