ARGUMENTEREN EN REDENEREN

Maat: px
Weergave met pagina beginnen:

Download "ARGUMENTEREN EN REDENEREN"

Transcriptie

1 ARGUMENTEREN EN REDENEREN Julie Kerckaert Vaardigheden I Academiejaar

2 Inhoudsopgave Deel 1: Argumenteren en redeneren Logica Syllogismen Soorten redeneringen Deductieve redeneringen Waarheid en geldigheid Propositielogica Proposities Connectieven Taal van de propositielogica Opstellen van logische formules Waarheidstafels Logisch equivalente formules Geldige en ongeldige redeneervormen Soorten voorwaarden Onvolledige redenering Syllogistiek Kenmerken van de syllogistiek Proposities Termen Methoden om de geldigheid van een syllogisme te beoordelen Niet-deductieve redeneringen Drogredenen PAGINA 1

3 Deel 1: Argumenteren en redeneren 1.1 LOGICA De logica, ook wel de redeneerkunst genoemd, is de wetenschap die redeneringen bestudeert. Aristoteles speelde in deze wetenschap een cruciale rol. Hij was de eerste die een werk schreef met betrekking tot de logica. Redeneringen Een redenering bestaat steeds uit: - Premisse(n) = uitgangspunt(en) - Een conclusie = een standpunt dat wordt afgeleid uit de premisse(n) Syllogismen Een syllogisme is een redeneringsvorm die steeds bestaat uit twee premissen (een majorpremisse en een minorpremisse) en een conclusie. We zullen later nog dieper ingaan op deze vorm van redeneren. Voorbeeld: Alle mensen zijn sterfelijk. (majorpremisse 1 ) Aristoteles is een mens. (minorpremisse 2 ) Aristoteles is sterfelijk. (conclusie) Soorten redeneringen We maken onderscheid tussen volgende soorten redeneringen: Enkelvoudige redeneringen: Een enkelvoudige redenering bestaat uit een eindig aantal premissen en één conclusie. (P1, P2,,PN C) Complexe redeneringen: Samengestelde redeneringen: (A B C ) Redenering A: Wie minder dan 18 jaar oud is, is minderjarig. An is 16 jaar. An is minderjarig. Redernering B: Wie minderjarig is mag niet trouwen zonder toestemming van zijn ouders. An is minderjarig. An mag niet trouwen zonder toestemming van haar ouders. De conclusie van redenering A wordt gebruikt als premisse in redenering B, om zo tot een finale conclusie te komen. PAGINA 2

4 Meervoudige redeneringen: A B C Redernering A: Lies heeft een hekel aan Tom. Lies zal niet trouwen met Tom. Redernering B: Lies is al verloofd met Jan. Lies zal niet trouwen met Tom. Beide redeneringen leiden tot eenzelfde conclusie Deductieve redeneringen Een deductieve redenering is een redeneringsvorm waarbij de conclusie noodzakelijkerwijze volgt uit de premissen. M.a.w. als de premissen waar zijn, kan het niet anders dan dat de conclusie ook waar is. Een niet-deductieve redenering is een redeneringsvorm waarbij de conclusie niet noodzakelijkerwijze volgt uit de premissen. (bv. een generalisering) Opmerking: Soms worden premissen verzwegen! Voorbeeld: Aristoteles is een mens. Aristoteles is sterfelijk Waarheid en geldigheid Wanneer we onderzoek doen naar de waarheid en geldigheid van een redenering, zijn er twee stappen: 1. Onderzoek naar de waarheid van de premissen. (Zijn de premissen waar?) 2. Onderzoek naar de geldigheid van de redenering. (Is de redenering geldig?) Men spreekt van een deugdelijke redenering wanneer we te maken hebben met een formeel geldige redenering én ware premissen. BEGRIPPEN 1. Majorpremisse 2. Minorpremisse 3. Deugdelijke redenering: Een deugdelijke redenering is een formeel geldige redenering met ware premissen. 1.2 PROPOSITIELOGICA De propositielogica is de tak van de logica die zich bezig houdt met redeneringen over de proposities (premissen). Een redenering is logisch geldig wanneer in alle gevallen waarin de premissen waar zijn, de conclusie ook waar is. PAGINA 3

5 1.2.1 Proposities Proposities zijn beweringen die enkel waar of onwaar kunnen zijn. (bv. het regent, Socrates is een mens, ) De propositielogica onderzoekt niet of de proposities waar zijn, dan wel of men dit kan afleiden uit andere proposities. Proposities worden voorgesteld door een letter. Soorten proposities: Enkelvoudige proposities Samengestelde proposities (door gebruik van connectieven/logische operatoren) Connectieven Connectief Benaming Betekenis Negatie Niet Conjunctie Disjunctie en of Implicatie Als dan Equivalentie Als en slechts als dan Negatie Conjunctie Disjunctie P = Het regent P = Het regent niet. De negatie is een eenplaatsig connectief. (Een tweeplaatsig connectief bevindt zicht tussen twee proposities.) P = Het regent. Q = Het onweert. P Q = Het regent en het onweert. De proposities P en Q worden conjuncten genoemd. Bij een conjunctie is er géén tijdsvolgorde en géén causale relatie tussen de proposities. P = Jan komt naar het feest. Q = Piet komt naar het feest. P Q = Jan of Piet komt naar het feest. P Q (= inclusieve disjunctie) is waar wanneer: Enkel P waar is. Enkel Q waar is. P en Q waar zijn. PAGINA 4

6 Implicatie Equivalentie Wanneer men één van beide wil (het ene en niet het andere), gebruikt men de volgende samengestelde propositie: (P Q) (P Q) (= exclusieve disjunctie). P = Het regent. Q = De straat wordt nat. P Q = Als het regent, dan wordt de straat nat. P wordt in de implicatie het antecedent genoemd en Q het consequent. P = Jan houdt van Lies. Q = Jan trouwt met Lies. P Q = Als en slechts als Jan houdt van Lies, dan trouwt Jan met Lies Taal van de propositielogica Formele taal Propositiesymbolen (P, Q, ) Connectieven De formules die gemaakt worden met propositiesymbolen en connectieven Formules = de verzameling PROP Alle propositievariabelen (P, Q, ) Als P een formule is, dan is P ook een formule. Als P en Q formules zijn, dan zijn alle combinaties met een tweeplaatsig connectief ook formules Opstellen van logische formules Prioriteit van connectieven Haakjes (binnenste haakjes eerst) Hoofdconnectief Oefeningen 1. Simon gaat met de fiets naar het werk als het mooi weer is of als zijn vrouw de auto nodig heeft. Proposities: P = Simon gaat met de fiets naar het werk. Q = Het is mooi weer. R = Simon zijn vrouw heeft de auto nodig. Formule: (Q R) P 2. Als ik met de auto rijd terwijl ik alcohol gedronken heb, loop ik risico op een boete. PAGINA 5

7 Proposities: P = Ik rijd met de auto. Q = Ik heb alcohol gedronken. R = Ik loop risico op een boete. Formule: P Q R 3. Als ik met de auto rijd terwijl ik alcohol gedronken heb of drugs genomen heb, loop ik risico op een boete. Proposities: P = Ik rijd met de auto. Q = Ik heb alcohol gedronken. R = Ik heb drugs genomen. S = Ik loop risico op een boete. Formule: P (Q R) S Waarheidstafels Waarheidstafels definiëren de waarheidswaarde van door connectieven samengestelde proposities. (1: waar, 0: niet waar) Waarheidstafel negatie P P Waarheidstafel conjunctie P Q P Q Waarheidstafel disjunctie P Q P Q PAGINA 6

8 Waarheidstafel implicatie P Q P Q Waarheidstafel equivalentie P Q P Q Waarheidstafels van complexere formules Voorbeeld: ((P Q) P) Q P Q ((P Q) P) Q Stap 1: We vullen alle kolommen van P en Q in, analoog met de eerste twee kolommen. Stap 2: Vul de kolom onder de eerste implicatie in (a.d.h.v. de waarheidstafel). We beginnen met de eerste implicatie, omdat we moeten rekening houden met de haakjes. We beginnen steeds tussen de binnenste haakjes. Stap 3: Vul de kolom onder de conjunctie in, gebruikmakend van de kolom onder de eerste implicatie. Stap 4: We vullen de laatste lege kolom in. We maken gebruik van de kolom onder de conjunctie. Deze formule is een tautologie 4. PAGINA 7

9 BEGRIPPEN 4. Tautologie: Een formule die altijd waar is. M.a.w. als er onder het hoofdconnectief geen nul te vinden is. 5. Contradictie: Een formule die altijd onwaar is. (Als er m.a.w. onder het hoofdconnectief geen 1 te vinden is.) 6. Contingentie: Een formule die soms waar is en soms onwaar Logisch equivalente formules Formule 1: P Q Formule 2: Q P Wanneer men wil bepalen of deze twee formules logisch equivalent zijn, moeten we de waarheidstafel maken van (P Q) ( Q P). We plaatsen dus een equivalentieteken tussen de beide formules. Het equivalentieteken zal dienst doen als hoofdconnectief. P Q (P Q) ( Q P) Stap 1: We vullen alle kolommen onder elke P en Q in, analoog met de eerste twee kolommen. Stap 2: We vullen de kolommen onder Q en P in. De negatie krijgt namelijk altijd voorrang op andere connectieven (prioriteitsregel). Stap 3: We vullen de kolommen onder de implicaties in a.d.h.v. de waarheidstafel. Stap 4: We vullen de kolom onder het equivalentieteken in gebruikmakend van de kolommen onder de implicatietekens. Deze formule is logisch equivalent. Een formule is niet logisch equivalent als er onder het equivalentieteken ook (of alleen) nullen staan Geldige en ongeldige redeneervormen A.d.h.v. waarheidstafels kan men de geldigheid van een redenering controleren. Een redenering is geldig wanneer de conclusie in alle gevallen waar is als alle premissen waar zijn. Modus ponens P Q P Q PAGINA 8

10 Bij een modus ponens is de eerste propositie een implicatie (P Q), de tweede een enkelvoudige propositie (P). De conclusie is dat Q waar is. De modus ponens is een geldige redeneervorm. Bevestiging van het consequent Modus tollens P Q Q P De bevestiging van het consequent is een ongeldige redeneervorm. P Q Q P Bij een modus tollens is de eerste propositie een implicatie (P Q), de tweede propositie een negatie ( Q). De conclusie hierbij is dat P waar is. De modus tollens is een geldige redeneervorm. Bevestiging van het antecedent P Q P Q De bevestiging van het antecedent is een ongeldige redeneervorm. Hypothetisch syllogisme P Q Q R P R P Q R P Q Q R P R PAGINA 9

11 Stap 1: We vullen alle kolommen onder elke P, Q en R in, analoog met de eerste drie kolommen. Stap 2: We vullen de kolommen onder de eerste twee implicatietekens in a.d.h.v. de waarheidstabel. Stap 3: We vullen de kolom onder het hoofdconnectief in, gebruikmakend van de kolommen onder de eerste twee implicatietekens en a.d.h.v. de waarheidstafel. Deze redeneringsvorm is logisch geldig. (Bij de rijen waar alle premissen gelden, is de conclusie ook steeds geldend.) Disjunctief syllogisme P P Q Q Deze redeneringsvorm is logisch geldend. Reductio ad absurdum (= bewijs uit het ongerijmde) Bij een bewijs uit het ongerijmde neemt men aan dat een bepaalde stelling niet waar is. Dit leidt echter tot een conclusie die niet mogelijk/waar is, waardoor de eerste stelling noodzakelijk waar moet zijn en dus bewezen is. Bijvoorbeeld: Moest Jan Piet niet vermoord hebben, zou hij een ambulance gebeld hebben. Jan heeft echter geen ambulance gebeld, dus heeft hij Piet vermoord Soorten voorwaarden Voldoende voorwaarde Dit is een voorwaarde die voldoende is om tot een bepaald gevolg te leiden. P Q Bijvoorbeeld: P = Iemand pleegt een moord., Q = Iemand pleegt een strafbaar feit. Als iemand een moord pleegt, dan pleegt die persoon een strafbaar feit. Bij deze voorwaarde geldt als P dan Q, bij als niet P is er over Q niets bekend. Bijvoorbeeld: Niemand heeft een moord gepleegd. Is er dan wel of geen strafbaar feit gepleegd? We kunnen dit niet weten. Noodzakelijke voorwaarde (= conditio sine qua non) Dit is een voorwaarde die noodzakelijk is om een bepaald gevolg te bereiken. P Q Bijvoorbeeld: P = Je bent 18 jaar of ouder., Q = Je mag een auto besturen. PAGINA 10

12 Als je geen 18 jaar of ouder bent, dan mag je geen auto besturen. Bij deze voorwaarde geldt als niet P dan niet Q, bij als P is er over Q niets bekend. Bijvoorbeeld: Wanneer je 18 jaar of ouder bent, kunnen we niet weten of je een auto mag besturen. Er zijn nog andere voorwaarden (bv. een rijbewijs bezitten). Noodzakelijke én voldoende voorwaarde (= equivalentie) Dit is een voorwaarde die zowel noodzakelijk als voldoende is. P Q OPMERKING: Bijvoorbeeld: P = An heeft twee X-chromosomen., Q = An is een meisje. Als An twee X-chromosomen heeft, dan en slechts dan is An een meisje. De equivalentieleer in het aansprakelijkheidsrecht kan voor verwarring zorgen. Een fout is een conditio sine qua non voor schade. De equivalentieleer houdt in dat wanneer twee mensen een fout begaan en er schade veroorzaakt wordt, deze fouten equivalent zullen behandeld worden. Men doelt hier dus niet op de soort voorwaarde Onvolledige redenering Wanneer men te maken heeft met een onvolledige redenering, moet men de methode van het logisch minimum toepassen. Het logisch minimum is de premisse die in ieder geval geldend moet zijn om te kunnen spreken van een geldige redenering. Formule logisch minimum: (P1 P2 P3 PN) C 1.3 SYLLOGISTIEK Kenmerken van de syllogistiek Een syllogisme bestaat steeds uit drie proposities: twee premissen en een conclusie. Elke propositie bevat twee termen. Elke term komt twee keer voor in het syllogisme. Er zijn m.a.w. drie termen Proposities Opbouw propositie Elke propositie bevat een subject, een predicaat en een koppelwerkwoord. Vb. Socrates (subject) is (koppelwerkwoord) een mens (predicaat). Soorten proposities Bevestigende proposities <-> ontkennende proposities Bevestigende propositie: De eerste verzameling is lid van de tweede verzameling. Ontkennende propositie: De eerste verzameling is geen deel van de tweede verzameling. PAGINA 11

13 Universele proposities <-> particuliere proposities Universele propositie: Het gaat om alle leden van een verzameling. Particuliere propositie: Het gaat om sommige leden van een verzameling. (Dit kunnen mogelijks ook alle leden zijn.) Universeel bevestigend (A) Universeel ontkennend (E) Particulier bevestigend (I) Particulier ontkennend (O) Bv. Alle vierkanten zijn vierhoeken. Bv. Geen vierkant is een driehoek. Bv. Sommige vierhoeken zijn vierkanten. Bv. Sommige vierhoeken zijn geen vierkanten. Universeel bevestigend A Contrair Universeel ontkennend E Subaltern Contradictoir Subaltern Particulier bevestigend I Subcontrair Particulier ontkennend O Contrair - A en E kunnen niet te gelijk waar zijn. - Als A waar is, dan is E onwaar (en vice versa). - Als A onwaar is, zegt dit niets over E (en vice versa). Subcontrair - O en I kunnen niet te gelijk onwaar zijn. - Als O onwaar is, dan is I waar (en vice versa). - Als O waar is, zegt dit niets over I (en vice versa). Contradictoir - A en O / E en I kunnen niet te gelijk waar zijn. - A en O / E en I kunnen niet te gelijk onwaar zijn. - Als A / E waar is, dan is O / I onwaar (en vice versa). - Als A / E onwaar is, dan is O / I waar (en vice versa). PAGINA 12

14 Subaltern - Als A / E waar is, dan is I / O ook waar. - Als A / E onwaar is, weet men niet of I / O waar is of niet. - Als I / O waar is, weet men niet of A / E waar is of niet. - Als I / O onwaar is, dan is A / E ook onwaar. Conversie Conversie houdt het van plaats verwisselen van het subject en het predicaat in. - Als Exy waar is, is Eyx ook waar. - Als Ixy waar is, is Iyx ook waar. Conversie per accidens De conversie per accidens omvat de combinatie van subalternatie en conversie. - Axy Ixy Iyx - Exy Eyx Oyx Termen Soorten termen Soorten premissen Kleine term (S) = subject van de conclusie Grote term (P) = predicaat van de conclusie Midden term (M) = term die zowel in de eerste als tweede premisse voorkomt Major: De majorpremisse bevat de grote term. Minor: De minorpremisse bevat de kleine term. Conclusie Standaardvorm van een syllogisme Major (vb. PAM, MIP, ) 8 mogelijkheden Minor (vb. SEM, ) 8 mogelijkheden Conclusie (SAP, SEP, SIP, SOP) 4 mogelijkheden Er zijn 256 mogelijke vormen. (8 2 * 4) De vorm wordt steeds bepaald door: Modus (vb. AAA, EIO, ) 4 3 mogelijkheden Figuur van het syllogisme = Hoe zijn de termen gerangschikt? 4 mogelijkheden Methoden om de geldigheid van een syllogisme te beoordelen Venn diagrammen In een Venn diagram kan men de relatie tussen proposities visueel weergeven. Voorbeelden: ZIE PPT PAGINA 13

15 Alle vierkanten zijn vierhoeken. Vierkanten Vierhoeken Regels voor de beoordeling van de geldigheid van syllogismen Er mag geen sprake zijn van dubbelzinnig gebruik. Termen mogen niet in verschillende betekenissen gebruikt worden. De minderterm moet minstens eenmaal gedistribueerd worden gebruikt. Dit wil zeggen dat de term iets zegt over álle leden van de verzameling. In de conclusie mag een term niet gedistribueerd worden gebruikt, tenzij deze eerder zo werd gebruikt. Als één van de premissen ontkennend is, is de conclusie ook ontkennend. Als beide premissen bevestigend zijn, is de conclusie bevestigend. Als beide premissen ontkennend zijn, kan de conclusie nooit geldend zijn. 1.4 NIET-DEDUCTIEVE REDENERINGEN Generalisatie Abductie Een generalisatie of veralgemening is een conclusie die gebaseerd is op observaties. Hierbij speelt het aantal waarnemingen en de representativiteit dus een grote rol. Voorbeeld: Drogredenen: Alle zwanen zijn wit. Opmerking: Tegenvoorbeelden zijn mogelijk! (Er zijn ook zwarte zwanen.) Overhaaste generalisatie Men spreekt van een overhaaste generalisatie wanneer de conclusie gebaseerd is op een klein aantal waarnemingen. Verabsolutering Wanneer men iets gaat beschouwen als absoluut, dan spreekt men van een verabsolutering. Er zijn namelijk bijna altijd uitzonderingen. De abductie, ook wel de verklarende redenering genoemd, is een redeneringsvorm waarbij men een bepaalde verklaring (= voldoende voorwaarde) als de juiste aanvaardt. Voorbeeld: PAGINA 14

16 Drogredenen: Analogieredenering Julie haar kleren zijn doorweekt. Als men fiets in de regen wordt men doorweekt. Julie heeft gefietst in de regen. Post hoc, ergo propter hoc (erna dus erdoor), MAAR chronologisch betekent niet noodzakelijk causaal! Cum hoc, ergo popter hoc (gelijktijdig dus erdoor), MAAR gelijktijdigheid wijst niet noodzakelijk op een causaal verban De analogieredenering is een redenering die gemaakt wordt op basis van een vergelijking. Voorbeeld: Drogreden: A fortiori-redenering Homokoppels moeten kunnen adopteren, want heteroseksuele koppels kunnen dit ook. Valse analogie Vb. Je gelooft niet in God omdat je hem nog nooit persoonlijk gezien hebt? Dan kan je ook niet geloven in het bestaan van president Obama, die heb je ook nog nooit persoonlijk gezien. Als een bepaald iets geldt, moet het in een andere situatie des te sterker gelden. Voorbeeld: A contrario redenering Het is niet toegelaten om op het gras te lopen. Dan zal het zeker ook niet toegelaten zijn te voetballen op het gras. Een bepaalde stelling wordt bewezen door de stelling om te keren en de omgekeerde stelling te weerleggen. Voorbeeld: Jan houdt van An. Want als hij niet had gehouden van An, was hij nooit met haar getrouwd. Redeneren op basis van de getuigenis van anderen Een bepaalde persoon getuigt iets, dus is het waar. Drogreden: Argumentum ad verecundiam Deze drogreden vindt plaats wanneer men misplaats beroep doet op een bepaalde autoriteit. PAGINA 15

17 1.5 DROGREDENEN OPMERKING: Zie ook de drogredenen die horen bij 1.4 Niet-deductieve redeneringen Bevestiging van het consequent Zie Geldige en ongeldige redeneervormen Bevestiging van het antecedent Zie Geldige en ongeldige redeneervormen Argumentum ad consequentiam Iets is niet waar omdat het niet waar mag zijn. Iets klopt niet omdat er vervelende gevolgen bij horen. Hellend vlak (slippery slope) Stroman Bijvoorbeeld: De evolutietheorie klopt niet, want dan zouden wij afstammen van de apen. Er wordt ten onrechte gesuggereerd dat we met een bepaalde maatregel onherroepelijk van kwaad tot erger zullen vervallen, terwijl het helemaal niet vaststaat dat de voorspelde kwalijke gevolgen werkelijk zullen intreden. Men probeert het argument van de tegenstander te vertekenen of de tegenstander een fictief standpunt in de schoenen te schuiven. Cirkelredenering Vals dilemma Wanneer de premisse en de conclusie uiteindelijk op het zelfde neer komen, spreekt men van een cirkelredenering. Wanneer twee alternatieven worden voorgesteld als de enige mogelijkheden, terwijl er in werkelijkheid nog andere zijn, spreekt men van een vals dilemma. Zie ook: Het dilemma van Protagoras. Dubbelzinnigheid Er is sprake van woorden die in verschillende betekenissen worden gebruikt. Bijvoorbeeld: Jan is een schorpioen. (Schorpioen wordt hier gebruikt als sterrenbeeld.) Een schorpioen is een dier. Dus Jan is een dier. Verdoken kwantiteit van het onderwerp Er is een vage formulering van de kwantiteit van het onderwerp. Bijvoorbeeld: Studenten zijn slim. (Gaat het hier om alle studenten? Of slechts sommige studenten?) Jan is student. Dus Jan is slim. PAGINA 16

18 Divisiedrogreden Een eigenschap van het geheel wordt toegekend aan een onderdeel ervan. Compositiedrogreden Bijvoorbeeld: De ministerraad is besluiteloos. =/= Alle ministers zijn stuk voor stuk besluiteloos. Een eigenschap van een onderdeel wordt toegekend aan het geheel. Argumentum ad baculum Men doet beroep op de angst van de tegenpartij, om zo de partij onder druk te zetten. Argumentum ad misericordiam Bijvoorbeeld: Stem op mij of je verliest je job. Men doet beroep op het medelijden van de tegenpartij. Argumentum ad hominem Bijvoorbeeld: Ik heb slechte resultaten, want mijn mama had een ongeluk die dag. Krijg ik een tweede kans? Wanneer men spreekt van een argumentum ad hominem, heeft men te maken met een persoonlijke aanval die gebruikt wordt als argument. Directe persoonlijke aanval Men trekt de argumenten van een persoon in twijfel, omdat men de persoon in twijfel trekt. Indirecte persoonlijke aanval Men trekt iemands motieven voor bepaalde argumenten in twijfel. Tu quoque Een standpunt dat je inneemt is strijdig met wat je vroeger hebt gedaan. Argumentum ad populum Men probeert de juistheid van een stelling te bewijzen met het feit dat er een meerderheid voor te vinden is. Argumentum ad ignorantiam Men leidt iets af uit een feit dat niet is bewezen. Irrelevante argumentatie Men argumenteert naast de kwestie. Tegenstrijdige premissen Meerdere vragen De premissen kunnen niet te gelijk waar zijn. PAGINA 17

19 Men stelt een vraag waar men niet correct kan op antwoorden om er eigenlijk meerdere vragen te gelijk worden gesteld. Ontduiken bewijslast Voorbeeld: Sla jij je vrouw nog altijd? Men stelt zich persoonlijk garant voor het bewijs. Verschuiven bewijslast Men verschuift de bewijslast naar de tegenstander. PAGINA 18

1. TRADITIONELE LOGICA EN ARGUMENTATIELEER

1. TRADITIONELE LOGICA EN ARGUMENTATIELEER Inhoud Inleidend hoofdstuk 11 1. Logica als studie van de redenering 11 2. Logica als studie van deductieve redeneringen 13 3. Logica als formele logica Het onderscheid tussen redenering en redeneringsvorm

Nadere informatie

Mededelingen. TI1300: Redeneren en Logica. Waarheidstafels. Waarheidsfunctionele Connectieven

Mededelingen. TI1300: Redeneren en Logica. Waarheidstafels. Waarheidsfunctionele Connectieven Mededelingen TI1300: Redeneren en Logica College 4: Waarheidstafels, Redeneringen, Syntaxis van PROP Tomas Klos Algoritmiek Groep Voor de Fibonacci getallen geldt f 0 = f 1 = 1 (niet 0) Practicum 1 Practicum

Nadere informatie

Tegenvoorbeeld. TI1300: Redeneren en Logica. De truc van Gauss. Carl Friedrich Gauss, 7 jaar oud (omstreeks 1785)

Tegenvoorbeeld. TI1300: Redeneren en Logica. De truc van Gauss. Carl Friedrich Gauss, 7 jaar oud (omstreeks 1785) Tegenvoorbeeld TI1300: Redeneren en Logica College 3: Bewijstechnieken & Propositielogica Tomas Klos Definitie (Tegenvoorbeeld) Een situatie waarin alle premissen waar zijn, maar de conclusie niet Algoritmiek

Nadere informatie

5.2. Samenvatting door een scholier 1659 woorden 15 juni keer beoordeeld. Filosofie Het oog in de storm

5.2. Samenvatting door een scholier 1659 woorden 15 juni keer beoordeeld. Filosofie Het oog in de storm Samenvatting door een scholier 1659 woorden 15 juni 2010 5.2 11 keer beoordeeld Vak Methode Filosofie Het oog in de storm Filosofie: Hoofdstuk 1 Redeneren en Overtuigen Basis: Standpunt houding t.o.v.

Nadere informatie

Semantiek 1 college 4. Jan Koster

Semantiek 1 college 4. Jan Koster Semantiek 1 college 4 Jan Koster 1 Uitgangspunt sinds vorige week Semantiek is representationeel (en niet referentieel), gebaseerd op interpretaties van sprekers en hoorders Geen scherpe scheiding tussen

Nadere informatie

PROPOSITIELOGICA. fundament voor wiskundig redeneren. Dr. Luc Gheysens

PROPOSITIELOGICA. fundament voor wiskundig redeneren. Dr. Luc Gheysens PROPOSITIELOGICA fundament voor wiskundig redeneren Dr. Luc Gheysens PROPOSITIELOGICA Een propositie of logische uitspraak, verder weergegeven door een letter p, q, r is een uitspraak die in een vastgelegde

Nadere informatie

Logica voor Informatica. Propositielogica. Syntax & Semantiek. Mehdi Dastani Intelligent Systems Utrecht University

Logica voor Informatica. Propositielogica. Syntax & Semantiek. Mehdi Dastani Intelligent Systems Utrecht University Logica voor Informatica Propositielogica Syntax & Semantiek Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Wat is Logica? Afleiden van conclusies uit aannames Jan Sara Petra Schuldig

Nadere informatie

Eerst: herhaling Evalueren

Eerst: herhaling Evalueren Eerst: herhaling Evalueren KRITISCH DENKEN 20 Drogredenen Kritisch Denken 2 De Gouden Regel bij het Evalueren: evalueer elke bewering of basisvak die betrekking heeft op een gegeven bewering voordat je

Nadere informatie

Propositielogica. Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn. 24 augustus Universiteit Antwerpen

Propositielogica. Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn. 24 augustus Universiteit Antwerpen Propositielogica Evert De Nolf Delphine Draelants Kirsten Storms Evelien Weyn Universiteit Antwerpen 24 augustus 2006 Propositionele connectoren Negatie Conjunctie Disjunctie Implicatie Equivalentie Propositionele

Nadere informatie

Logica Les 1 Definities en waarheidstabellen. (Deze les sluit aan bij les 1 van de syllabus Logica WD_online)

Logica Les 1 Definities en waarheidstabellen. (Deze les sluit aan bij les 1 van de syllabus Logica WD_online) Logica Les 1 Definities en waarheidstabellen (Deze les sluit aan bij les 1 van de syllabus Logica WD_online) Definities Een propositie is een bewering die waar of onwaar is (er is geen derde mogelijkheid).

Nadere informatie

Klas:.. 2HV. 12 december 21 december Docent: Mevr. K.Kompier

Klas:.. 2HV. 12 december 21 december Docent: Mevr. K.Kompier Naam: Klas:.. 2HV 12 december 21 december Docent: Mevr. K.Kompier Inhoudsopgave INLEIDING 3 1. LES 1 ORIËNTATIELES 3 2. LES 2 ARGUMENTEN VERZAMELEN 4 3. LES 3 - LEREN BEOORDELEN 6 4. LES 4 DROGREDENEN

Nadere informatie

Docenten Handleiding

Docenten Handleiding 2HV Docenten Handleiding 1. les 1 Oriëntatieles In groepjes met even aantallen wordt een discussie gevoerd over een stelling. De helft van een groepje zal over deze stelling discussiëren, terwijl de andere

Nadere informatie

Wie A zegt moet B zeggen

Wie A zegt moet B zeggen Logica in actie H O O F D S T U K 3 Wie A zegt moet B zeggen Logici ontwerpen niet alleen systemen om bestaande vormen van redeneren te analyseren, ze bestuderen ook de eigenschappen van die systemen op

Nadere informatie

Opmerking. TI1300 Redeneren en Logica. Met voorbeelden kun je niks bewijzen. Directe en indirecte bewijzen

Opmerking. TI1300 Redeneren en Logica. Met voorbeelden kun je niks bewijzen. Directe en indirecte bewijzen Opmerking TI1300 Redeneren en Logica College 2: Bewijstechnieken Tomas Klos Algoritmiek Groep Voor alle duidelijkheid: Het is verre van triviaal om definities te leren hanteren, beweringen op te lossen,

Nadere informatie

Caleidoscoop: Logica

Caleidoscoop: Logica Caleidoscoop: Logica Non impeditus ab ulla scientia K. P. Hart Faculteit EWI TU Delft Delft, 3 October, 2007 Overzicht 1 2 Negaties We gaan rekenen met proposities (beweringen). Bedenker: George Boole

Nadere informatie

Elementaire logica voor juristen. Jaap Hage

Elementaire logica voor juristen. Jaap Hage Elementaire logica voor juristen Jaap Hage I. WAT IS LOGICA EN WAAR IS DEZE GOED VOOR? 1. ELEMENTAIRE BEGRIPPEN Wat is logica? Die vraag is nog niet zo eenvoudig te beantwoorden maar het volgende is een

Nadere informatie

Tentamen TI1300 en IN1305-A (Redeneren en) Logica

Tentamen TI1300 en IN1305-A (Redeneren en) Logica TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 21 Januari 2011, 8.30 11.30 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR

Nadere informatie

Samenvatting. TI1306 Redeneren & Logica Review Guide 2014 Door: David Alderliesten. Disclaimer

Samenvatting. TI1306 Redeneren & Logica Review Guide 2014 Door: David Alderliesten. Disclaimer Samenvatting TI1306 Redeneren & Logica Review Guide 2014 Door: David Alderliesten Disclaimer De informatie in dit document is afkomstig van derden. W.I.S.V. Christiaan Huygens betracht de grootst mogelijke

Nadere informatie

Logic for Computer Science

Logic for Computer Science Logic for Computer Science 06 Normaalvormen en semantische tableaux Wouter Swierstra University of Utrecht 1 Vorige keer Oneindige verzamelingen 2 Vandaag Wanneer zijn twee formules hetzelfde? Zijn er

Nadere informatie

Propositionele logica

Propositionele logica Logic is the beginning of wisdom, not the end. Captain Spock, Star Trek VI (1991) Hoofdstuk 1 ropositionele logica 1.1 Uitspraken Het begrip uitspraak. We geven hier geen definitie van het begrip uitspraak

Nadere informatie

Logica voor Informatica. Propositielogica. Normaalvormen en Semantische tableaux. Mehdi Dastani

Logica voor Informatica. Propositielogica. Normaalvormen en Semantische tableaux. Mehdi Dastani Logica voor Informatica Propositielogica Normaalvormen en Semantische tableaux Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Literals Een literal is een propositieletter, of de

Nadere informatie

Hoofdstuk 3. behandeld. In de paragrafen 3.1 en 3.2 worden de noties valuatie, model en

Hoofdstuk 3. behandeld. In de paragrafen 3.1 en 3.2 worden de noties valuatie, model en Hoofdstuk 3 Semantiek van de Propositielogica In dit hoofdstuk wordt de semantiek (betekenistheorie) van de propositielogica behandeld. In de paragrafen 3.1 en 3.2 worden de noties valuatie, model en logisch

Nadere informatie

Mededelingen. TI1300: Redeneren en Logica. Metavariabelen Logica, p Minder connectieven nodig

Mededelingen. TI1300: Redeneren en Logica. Metavariabelen Logica, p Minder connectieven nodig Mededelingen TI1300: Redeneren en Logica College 5: Semantiek van de Propositielogica Tomas Klos Algoritmiek Groep Tip: Als ik je vraag de recursieve definitie van een functie over PROP op te schrijven,

Nadere informatie

onthouden. Schrijfdoelen Schrijfdoel Inhoud schrijfdoel Voorbeeld vermaakt door een leuk, spannen, aangrijpend of interessante tekst.

onthouden. Schrijfdoelen Schrijfdoel Inhoud schrijfdoel Voorbeeld vermaakt door een leuk, spannen, aangrijpend of interessante tekst. Nederlands Leesvaardigheid Leesstrategieën Oriënterend lezen Globaal lezen Intensief lezen Zoekend lezen Kritisch lezen Studerend lezen Om het onderwerp vast te stellen en te bepalen of de tekst bruikbaar

Nadere informatie

Wiskundige beweringen en hun bewijzen

Wiskundige beweringen en hun bewijzen Wiskundige beweringen en hun bewijzen Analyse (en feitelijk de gehele wiskunde) gaat over het bewijzen van beweringen (proposities), d.w.z. uitspraken waaraan de karakterisering waar of onwaar toegekend

Nadere informatie

Handout Natuurlijke Deductie

Handout Natuurlijke Deductie Handout Natuurlijke Deductie Peter van Ormondt 4 februari 2017 1 Inleiding In Van Benthem et al (2016, Hoofdstuk 2), hebben we redeneringen bestudeerd door te kijken naar de semantiek of betekenis van

Nadere informatie

Logica 1. Joost J. Joosten

Logica 1. Joost J. Joosten Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde

Nadere informatie

5 havo Nederlands mevr. Rozendaal. Leesvaardigheid examenvoorbereidingen

5 havo Nederlands mevr. Rozendaal. Leesvaardigheid examenvoorbereidingen naam: Leesvaardigheid examenvoorbereidingen Opdracht: vul de juiste begrippen in op de lege plekken. Je kunt kiezen uit: acceptatie afhankelijk belanghebbend beschouwing betrouwbare deskundige discussiant

Nadere informatie

Propositielogica Het maken van een waarheidstabel

Propositielogica Het maken van een waarheidstabel Informatiekunde naam datum Propositielogica Het maken van een waarheidstabel Eindhoven, 4 juni 2011 De propositielogica Zoekopdrachten met de operatoren AND, OR en zijn zogenaamde Booleaanse expressies.

Nadere informatie

Andere grote namen van wiskundigen en/of filosofen: Plato, Socrates, Descartes (Cartesius), Spinoza, Kant, Russell, Hilbert, Tarski en Brouwer

Andere grote namen van wiskundigen en/of filosofen: Plato, Socrates, Descartes (Cartesius), Spinoza, Kant, Russell, Hilbert, Tarski en Brouwer Formele Logica Grondlegger Aristoteles (384/322 voor Chr.), filosoof. Andere grote namen van wiskundigen en/of filosofen: Plato, Socrates, Descartes (Cartesius), Spinoza, Kant, Russell, Hilbert, Tarski

Nadere informatie

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl. 9 februari 2009 BEWIJZEN

Discrete Structuren. Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl. 9 februari 2009 BEWIJZEN Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 9 februari 2009 BEWIJZEN Discrete Structuren Week1 : Bewijzen Onderwerpen Puzzels

Nadere informatie

Propositielogica, waarheid en classificeren

Propositielogica, waarheid en classificeren Logica in actie H O O F D S T U K 2 Propositielogica, waarheid en classificeren We hebben al gezien dat voor een logicus het verhevene heel dicht kan liggen bij het alledaagse. Misschien beter gezegd:

Nadere informatie

Logica 1. Joost J. Joosten

Logica 1. Joost J. Joosten Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde

Nadere informatie

TI1300: Redeneren en Logica, Practicum 1 Deadline: 17 september 2010, 10:45 uur

TI1300: Redeneren en Logica, Practicum 1 Deadline: 17 september 2010, 10:45 uur TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica TI1300: Redeneren en Logica, Practicum 1 Deadline: 17 september 2010, 10:45 uur Introductie In deze practicumopgave komt

Nadere informatie

Inleiding logica Inleveropgave 3

Inleiding logica Inleveropgave 3 Inleiding logica Inleveropgave 3 Lientje Maas 30 september 2013 Ik (Rijk) heb verbeteringen in rood vermeld. Deze verbeteringen meegenomen zijn dit correcte uitwerkingen van de derde inleveropgaven. 1

Nadere informatie

I nhoud. Voorwoord 5. Inleiding 11

I nhoud. Voorwoord 5. Inleiding 11 I nhoud Voorwoord 5 Inleiding 11 1 Ruziën of discussiëren 13 1.1 Wie beweert, moet bewijzen 13 1.2 Het belemmeren van het geven van een mening 16 1.2.1 Het taboe verklaren van een standpunt 17 1.2.2 Het

Nadere informatie

1 Logica. 1.2.1 a. tautologie -1-

1 Logica. 1.2.1 a. tautologie -1- 1 Logica 1.1.1 a. neen: de spreker bedoelt met "hier" de plek waar hij op dat moment is, maar "warm" is subjectief; vgl.: "het is hier 25 graden Celsius". b. ja: de uitspraak is onwaar (=120 uur). c. neen:

Nadere informatie

Dossier 2 LOGICA. Dr. Luc Gheysens. fundament voor wiskundig redeneren

Dossier 2 LOGICA. Dr. Luc Gheysens. fundament voor wiskundig redeneren Dossier 2 LOGICA fundament voor wiskundig redeneren Dr. Luc Gheysens Inleiding: logische puzzels Wiskundigen houden meestal van logische puzzels. Dit soort puzzels vormt niet alleen een uitdaging, maar

Nadere informatie

Logica deel 1 INHOUDSTABEL INTRODUCTIE

Logica deel 1 INHOUDSTABEL INTRODUCTIE Logica deel 1 INHOUDSTABEL 1. Introductie a. Waaraan doet logica ons denken b. Wat is logica? c. Positieve motivering 2. Redeneringen en argumenten 3. Verklaringen en oorzaken (implicaties) 4. Argumenten

Nadere informatie

Proposities. Hoofdstuk 2

Proposities. Hoofdstuk 2 Hoofdstuk 2 Proposities In de wiskunde en in de informatica, en ook in veel andere disciplines, is er behoefte aan redeneren. Om dat goed te kunnen doen moet men allereerst beschikken over een arsenaal

Nadere informatie

TI1300: Redeneren en Logica. TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken. Blackboard: enroll!

TI1300: Redeneren en Logica. TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken. Blackboard: enroll! TI1300: Redeneren en Logica TI1300 Redeneren en Logica College 1: Inleiding en Bewijstechnieken Tomas Klos TI1300 bestaat uit 2 delen: Th: Theorie, Tomas Klos Pr: Practicum, Tomas Klos plus student-assistenten

Nadere informatie

Aristoteles. empirist

Aristoteles. empirist Aristoteles empirist Aristoteles Bioloog, met beide poten in de klei Eindeloos verzamelen van gegevens Observeren, noteren en classificeren Op basis van ervaringsfeiten komen we tot kennis Wij kunnen uit

Nadere informatie

Formeel Denken. Herfst 2004

Formeel Denken. Herfst 2004 Formeel Denken Herman Geuvers Deels gebaseerd op het herfst 2002 dictaat van Henk Barendregt en Bas Spitters, met dank aan het Discrete Wiskunde dictaat van Wim Gielen Herfst 2004 Contents 1 Propositielogica

Nadere informatie

Logica 1. Joost J. Joosten

Logica 1. Joost J. Joosten Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde

Nadere informatie

Cursustekst Logica. Ontworpen door Milbou Lotte.

Cursustekst Logica. Ontworpen door Milbou Lotte. Cursustekst Logica Ontworpen door Milbou Lotte. 1 We starten met een korte uitleg over de kaders die gehanteerd worden doorheen de cursus. Om de overzichtelijkheid te bewaren, werden de oefeningen steeds

Nadere informatie

RAF belangrijk te onthouden

RAF belangrijk te onthouden RAF belangrijk te onthouden Auteur: Daan Pape Hoofdstuk 1 symbool omschrijving lees als negatie (ontkenning) p niet p het is niet zo dat p conjunctie p q p en q disjunctie p q p of q implicatie p q als

Nadere informatie

Over Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding. G.J.E. Rutten

Over Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding. G.J.E. Rutten 1 Over Plantinga s argument voor de existentie van een noodzakelijk bestaand individueel ding G.J.E. Rutten Introductie In dit artikel wil ik het argument van de Amerikaanse filosoof Alvin Plantinga voor

Nadere informatie

Tentamentips. Tomas Klos. 14 december 2010

Tentamentips. Tomas Klos. 14 december 2010 Tentamentips Tomas Klos 14 december 010 Samenvatting In dit document vind je een aantal tentamen tips. Het gaat om fouten die ik op tentamens veel gemaakt zie worden, en die ik je liever niet zie maken.

Nadere informatie

Opdrachten Tarski s World

Opdrachten Tarski s World Opdrachten Tarski s World Logika thema 4 13 april 2004 1 Propositielogika 1.1 Atomaire proposities in Tarski s world Open de wereld, wittgens.sen, en het bestand met beweringen, wittgens.sen 1. Ga van

Nadere informatie

On O d n e d r e ha h n a del e en Zakelijk Nederlands

On O d n e d r e ha h n a del e en Zakelijk Nederlands Onderhandelen Zakelijk Nederlands Inleiding Wat is onderhandelen? Voorbeelden? Een voorbeeld Culturele verschillen Culturele verschillen Culturele verschillen Structuur onderhandelingen 1. Voorbereiding

Nadere informatie

How To Tackle Trump. Trainer: Arthur Noordhuis Nederlands Debat Instituut

How To Tackle Trump. Trainer: Arthur Noordhuis Nederlands Debat Instituut How To Tackle Trump Workshop How To Tackle Trump Drogredenen en discussietrucs herkennen en weerleggen Trainer: Arthur Noordhuis Nederlands Debat Instituut www.debatinstituut.nl 400 dagvoorzitterschappen

Nadere informatie

Tentamen IN1305-I Fundamentele Informatica 1, deel I: Logica

Tentamen IN1305-I Fundamentele Informatica 1, deel I: Logica TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen IN1305-I Fundamentele Informatica 1, deel I: Logica 27 oktober 2008, 9.00 12.00 uur Dit tentamen bestaat uit 5

Nadere informatie

Hoofdstuk 4. In dit hoofdstuk wordt een aantal uiteenlopende eigenschappen van de propositielogica

Hoofdstuk 4. In dit hoofdstuk wordt een aantal uiteenlopende eigenschappen van de propositielogica Hoofdstuk 4 Stellingen over de Propositielogica In dit hoofdstuk wordt een aantal uiteenlopende eigenschappen van de propositielogica behandeld. In x4.1 wordt het begrip meta-stelling gentroduceerd en

Nadere informatie

Logica 1: formele logica

Logica 1: formele logica Logica 1: formele logica Barteld Kooi kamer 215 050 3636924 B.P.Kooi@rug.nl Formele logica Wat is formele logica? syllogistiek analyse semantiek Venn-diagrammen verzamelingen deducties dialogen Wat moet

Nadere informatie

Juridische Argumenatieleer

Juridische Argumenatieleer 1ste bach Rechten Juridische Argumenatieleer Smvt. Prof Vandenhole Q uickprinter Koningstraat 13 2000 Antwerpen www.quickprinter.be R03 3.70 EUR Juridische argumentatieleer Prof. dr. W. Vandenhole Studiemateriaal:

Nadere informatie

1 Durven denken Het betoog Waarom logica voor juristen? Hoe dit boek te lezen? Hoe leer je logica? 13

1 Durven denken Het betoog Waarom logica voor juristen? Hoe dit boek te lezen? Hoe leer je logica? 13 Inhoud 1 Durven denken 9 1.1 Het betoog 9 1.2 Waarom logica voor juristen? 10 1.3 Hoe dit boek te lezen? 11 1.4 Hoe leer je logica? 13 DEEL I INLEIDING IN DE LOGICA VOOR DE RECHTSPRAKTIJK 15 2 Pro et Contra-overzichten

Nadere informatie

achtergronden en lessuggesties voor Logisch redeneren

achtergronden en lessuggesties voor Logisch redeneren achtergronden en lessuggesties voor Logisch redeneren 75 76 Achtergrondinformatie Logisch redeneren Dit lesmateriaal wijkt af van de gebruikelijke inleidingen tot de logica: De hoofdredenen zijn: Dit is

Nadere informatie

Een staatsexamen Nederlands overleven

Een staatsexamen Nederlands overleven Een staatsexamen Nederlands overleven De inleiding van een tekst kan verschillende functies hebben, zoals: 1 de aanleiding voor het schrijven van de tekst noemen 2 de hoofdgedachte van de tekst formuleren

Nadere informatie

Inleiding Wiskundige Logica

Inleiding Wiskundige Logica Inleiding Wiskundige Logica Yde Venema 2017/2018 c YV 2018 Institute for Logic, Language and Computation, University of Amsterdam, Science Park 904, NL 1098XH Amsterdam E-mail: yvenema@uvanl Voorwoord

Nadere informatie

Logica op het Leonardo. Een inleiding

Logica op het Leonardo. Een inleiding Logica op het Leonardo Een inleiding Tekst 1 Alle onpartijdige waarnemers en alle geloofwaardige theoretici gaan ervan uit dat wanneer de fundamentele structuren van een samenleving rechtvaardig zijn,

Nadere informatie

Het nutteloze syllogisme

Het nutteloze syllogisme Het nutteloze syllogisme Victor Gijsbers 21 februari 2006 De volgende tekst is een sectie uit een langer document over het nut van rationele argumentatie dat al een jaar onaangeraakt op mijn harde schijf

Nadere informatie

TI1300: Redeneren en Logica, Practicum 2 Deadline: 1 oktober 2010, 10:45 uur

TI1300: Redeneren en Logica, Practicum 2 Deadline: 1 oktober 2010, 10:45 uur TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica TI1300: Redeneren en Logica, Practicum 2 Deadline: 1 oktober 2010, 10:45 uur Introductie In deze practicumopgave komt de

Nadere informatie

Logica als een oefening in Formeel Denken

Logica als een oefening in Formeel Denken Logica als een oefening in Formeel Denken Herman Geuvers Institute for Computing and Information Science Radboud Universiteit Nijmegen Wiskunde Dialoog 10 juni, 2015 Inhoud Geschiedenis van de logica Propositielogica

Nadere informatie

4,6. Samenvatting door K woorden 24 november keer beoordeeld. Filosofie Het oog in de storm. 1: Inleiding. 1.

4,6. Samenvatting door K woorden 24 november keer beoordeeld. Filosofie Het oog in de storm. 1: Inleiding. 1. Samenvatting door K. 7049 woorden 24 november 2014 4,6 5 keer beoordeeld Vak Methode Filosofie Het oog in de storm 1: Inleiding 1.1 Animal Rationale Waarom? Daarom! We houden niet van ongefundeerde bewering

Nadere informatie

DROGREDENEN Julie Kerckaert Ethische en rechtsfilosofische stromingen Academiejaar 2014-2015

DROGREDENEN Julie Kerckaert Ethische en rechtsfilosofische stromingen Academiejaar 2014-2015 DROGREDENEN Julie Kerckaert Ethische en rechtsfilosofische stromingen Academiejaar 2014-2015 Inhoudsopgave Over alles wat fout kan gaan in argumentaties (of zien we dat fout?)... 2 1. Valkuilen van het

Nadere informatie

LOGICA OP HET MENU DEEL 1. Dr. Luc Gheysens en Daniël Tant

LOGICA OP HET MENU DEEL 1. Dr. Luc Gheysens en Daniël Tant LOGICA OP HET MENU DEEL 1 Dr. Luc Gheysens en Daniël Tant De Griekse filosoof Aristoteles (384 322 v. Chr.) mag men de grondlegger van de formele logica noemen. Hij dacht na over geldige manieren van redeneren,

Nadere informatie

Inhoud leereenheid 1. Inleiding. Introductie 13. Leerkern 13. 1.1 Wat is logica? 13 1.2 Logica en informatica 13

Inhoud leereenheid 1. Inleiding. Introductie 13. Leerkern 13. 1.1 Wat is logica? 13 1.2 Logica en informatica 13 Inhoud leereenheid 1 Inleiding Introductie 13 Leerkern 13 1.1 Wat is logica? 13 1.2 Logica en informatica 13 12 Leereenheid 1 Inleiding I N T R O D U C T I E Studeeraanwijzing Deze leereenheid is een leesleereenheid.

Nadere informatie

LOGICA OP HET MENU DEEL 2. Dr. Luc Gheysens en Daniël Tant

LOGICA OP HET MENU DEEL 2. Dr. Luc Gheysens en Daniël Tant LOGICA OP HET MENU DEEL 2 Dr. Luc Gheysens en Daniël Tant Augustus De Morgan (180 1871) was een Britse wiskundige die vooral bekend is gebleven voor zijn werk op het gebied van de logica en meerbepaald

Nadere informatie

Zomercursus Wiskunde. Katholieke Universiteit Leuven Groep Wetenschap & Technologie. September 2008

Zomercursus Wiskunde. Katholieke Universiteit Leuven Groep Wetenschap & Technologie. September 2008 Katholieke Universiteit Leuven September 2008 Logica, verzamelingenleer, functies en bewijstechnieken (versie 9 juli 2008) Inleiding Omdat de behandelde topics niet of nauwelijks meer aan bod komen in

Nadere informatie

LESSTOF. Argumenteren

LESSTOF. Argumenteren LESSTOF Argumenteren 2 Lesstof Argumenteren INHOUD INLEIDING... 4 DOELGROEP... 5 STRUCTUUR... 5 INHOUD... 7 Lesstof Argumenteren 3 INLEIDING Muiswerkprogramma s zijn programma s voor het onderwijs. De

Nadere informatie

Semantiek 1 college 10. Jan Koster

Semantiek 1 college 10. Jan Koster Semantiek 1 college 10 Jan Koster 1 Vandaag Vorige keer: conceptuele structuur en semantische decompositie Vandaag: inleiding in de formele semantiek Gebruikt notaties uit formele logica plus de daar gehanteerde

Nadere informatie

Wiskunde C vwo. Workshop Noordhoff wiskundecongres 19 november 2015 Jan Dijkhuis en Sabine de Waal. Programma

Wiskunde C vwo. Workshop Noordhoff wiskundecongres 19 november 2015 Jan Dijkhuis en Sabine de Waal. Programma Wiskunde C vwo Workshop Noordhoff wiskundecongres 19 november 2015 Jan Dijkhuis en Sabine de Waal Programma 1. Vorm en ruimte in Getal & Ruimte 2. Logisch redeneren in Getal & Ruimte 1. Examenprogramma

Nadere informatie

Logica 1. Joost J. Joosten

Logica 1. Joost J. Joosten Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde

Nadere informatie

Samenvatting Nederlands Examenbundel Nederlands

Samenvatting Nederlands Examenbundel Nederlands Samenvatting Nederlands Examenbundel Nederlands 2006-2007 Samenvatting door een scholier 1526 woorden 1 mei 2007 7,5 102 keer beoordeeld Vak Nederlands Samenvatting examenbundel Nederlands 2006-2007 1.

Nadere informatie

Logica voor Informatica

Logica voor Informatica Logica voor Informatica 10 Predikatenlogica Wouter Swierstra University of Utrecht 1 Vorige keer Syntax van predikatenlogica Alfabet Termen Welgevormde formulas (wff) 2 Alfabet van de predikatenlogica

Nadere informatie

Argumentatie F.H. van Eemeren en A.F. Snoeck Henkemans

Argumentatie F.H. van Eemeren en A.F. Snoeck Henkemans 1 Argumentatie F.H. van Eemeren en A.F. Snoeck Henkemans 1. Standpunten en verschillen van mening [samenvatting p. 25] Bij een meningsverschil wordt het standpunt niet (volledig) gedeeld. Er zijn altijd

Nadere informatie

Logica 1. Joost J. Joosten

Logica 1. Joost J. Joosten Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde

Nadere informatie

De Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica

De Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica De Resolutiemethode (Logica, hoofdstuk 15) Robinson (1965) TI1300 Redeneren en Logica College 7: Resolutie Tomas Klos Algoritmiek Groep De Resolutiemethode De resolutiemethode is een methode waarmee je

Nadere informatie

Samenvatting Nederlands H2 Argumentatie

Samenvatting Nederlands H2 Argumentatie Samenvatting Nederlands H2 Argumentatie Samenvatting door S. 873 woorden 26 november 2016 5,8 5 keer beoordeeld Vak Methode Nederlands Nieuw Nederlands H2 Argumentatie Par 1 Standpunten Als je een standpunt

Nadere informatie

Propositielogica. Leereenheid 4

Propositielogica. Leereenheid 4 Leereenheid 4 Propositielogica I N T R O D U C T I E Logica Van oudsher is de logica de leer van het correct redeneren. Nog steeds is het herkennen van correcte en incorrecte redeneringen een belangrijke

Nadere informatie

Logica in het (V)WO. Barteld Kooi

Logica in het (V)WO. Barteld Kooi Logica in het (V)WO Barteld Kooi Wie ben ik? Bijzonder hoogleraar logica en argumentatietheorie Ik geef al meer dan tien jaar colleges logica aan de RuG voor de opleidingen wijsbegeerte, wiskunde, (alfa-)informatica,

Nadere informatie

Logica 1. Joost J. Joosten

Logica 1. Joost J. Joosten Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde

Nadere informatie

Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2

Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2 Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 2 2.1 Geef de volgende zinnen weer in propositionele notatie: i Als de bus niet komt, komen de tram en de trein We voeren de volgende

Nadere informatie

Verzamelingen. Hoofdstuk 5

Verzamelingen. Hoofdstuk 5 Hoofdstuk 5 Verzamelingen In de meest uiteenlopende omstandigheden kan het handig zijn om een stel objecten, elementen, of wat dan ook, samen een naam te geven. Het resultaat noemen we dan een verzameling.

Nadere informatie

De positie of houding die je inneemt ten opzichte van een bewering of oordeel heet een standpunt, dit standpunt kan instemmend of afwijzend zijn.

De positie of houding die je inneemt ten opzichte van een bewering of oordeel heet een standpunt, dit standpunt kan instemmend of afwijzend zijn. Samenvatting door Romiley 9791 woorden 28 oktober 2015 0 keer beoordeeld Vak Methode Filosofie Het oog in de storm 1.1 Inleiding 1.1.1 Animale rationale Mensen houden niet van ongefundeerde beweringen

Nadere informatie

rh265e 0 true. In onze schrijfwijze wordt dat dus: (de bewering) [ P ] is even waar als (de bewering) P = true.

rh265e 0 true. In onze schrijfwijze wordt dat dus: (de bewering) [ P ] is even waar als (de bewering) P = true. rh265e 0 Elementaire Predikatenrekening 0 Inleiding Dit is een samenvatting 0 van de rekenregels voor proposities en predikaten, zoals behandeld in het vak Logica & Verzamelingen. Enige vertrouwdheid met

Nadere informatie

Gelijk hebben, gelijk krijgen

Gelijk hebben, gelijk krijgen Deel 1 Mondelinge communicatie Gelijk hebben, gelijk krijgen Drogredenen belemmeren het debat Drs. Erik van der Spek* Inleiding Het is voldoende om er een statistisch zakboekje op na te slaan om te constateren

Nadere informatie

Tentamen TI1300 en IN1305-A (Redeneren en) Logica

Tentamen TI1300 en IN1305-A (Redeneren en) Logica TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 5 november 2010, 9.00 12.00 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR

Nadere informatie

TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?

TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS? TAALFILOSOFIE Overkoepelende vraag: WAT IS BETEKENIS? GOTTLOB FREGE (1848 1925) Logische Untersuchungen Der Gedanke Die Verneinung Gedankengefüge DER GEDANKE Logica waarheid Logica kunst van het geldig

Nadere informatie

VWO Wiskunde C Logisch redeneren

VWO Wiskunde C Logisch redeneren VWO Wiskunde C Logisch redeneren SLO nationaal expertisecentrum leerplanontwikkeling Quintijn Puite (Hogeschool Utrecht) NVvW studiedag 2015 Ichthus College Veenendaal 7 november 2015 Inkomertje Doet u

Nadere informatie

Hoofdstuk 6. Natuurlijke Deductie volgens Fitch. In de vorige hoofdstukken is de propositielogica hoofdzakelijk vanuit een semantisch

Hoofdstuk 6. Natuurlijke Deductie volgens Fitch. In de vorige hoofdstukken is de propositielogica hoofdzakelijk vanuit een semantisch Hoofdstuk 6 Natuurlijke Deductie volgens Fitch In de vorige hoofdstukken is de propositielogica hoofdzakelijk vanuit een semantisch standpunt beschouwd De sleutelconcepten hierbij waren valuatie, model,

Nadere informatie

Modelleren en Programmeren voor KI

Modelleren en Programmeren voor KI Modelleren en Programmeren voor KI Practicumopdracht 4: SAT Solver Tomas Klos Het SAT probleem Parvulae Logicales: Propositielogica, Hoofdstuk 6 (Semantiek), p. 62: Het SAT probleem Ik geef je een propositielogische

Nadere informatie

Communicatie en Drogredenen. Tab 4

Communicatie en Drogredenen. Tab 4 Communicatie en Drogredenen Tab 4 Vier communicatie aspecten Inhoudelijke aspect Datgene wat de deelnemer inhoudelijk wil overbrengen Expressieve aspect Gedrag taalgebruik en uiting van emoties Relationele

Nadere informatie

Predicaten. Hoofdstuk 4

Predicaten. Hoofdstuk 4 Hoofdstuk 4 Predicaten Tot nu toe hebben we ons beziggehouden met proposities, en gezien hoe we daarmee moeten omgaan. Proposities zijn echter niet toereikend om daarin alle overwegingen te formuleren

Nadere informatie

Logica: formeel en informeel

Logica: formeel en informeel Logica: formeel en informeel DEEL I - TRADITIONELE LOGICA Hoofdstuk 1 Logica, redeneringen en geldigheid 1.1 Logica Goed te kennen: - definities - vergelijkingen (objectivisten, psychologisten, anti-psychologisten

Nadere informatie

Logica 1. Joost J. Joosten

Logica 1. Joost J. Joosten Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde

Nadere informatie

Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 3

Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 3 Logica voor Informatici najaar 2000 Opgaven en Oplossingen Hoofdstuk 3 3.1 Stel ϕ, ψ α, β γ, en ψ, α, γ χ. Indien nu bovendien bekend wordt dat χ onwaar is, maar ψ en β waar, wat weet u dan over ϕ? oplossing:

Nadere informatie

Les B-08 Kunstmatige intelligentie en logica

Les B-08 Kunstmatige intelligentie en logica 2004, David Lans Les B-08 Kunstmatige intelligentie en logica 8.1 De Turing test Toen halverwege de 20 e eeuw de computer zijn intrede deed, stelde de Brit Alan Turing (1912-1953) in een wetenschappelijke

Nadere informatie

Tentamen TI1300 en IN1305-A (Redeneren en) Logica

Tentamen TI1300 en IN1305-A (Redeneren en) Logica TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Tentamen TI1300 en IN1305-A (Redeneren en) Logica 5 november 2010, 9.00 12.00 uur LEES DEZE OPMERKINGEN AANDACHTIG DOOR

Nadere informatie

3. In de inleiding worden verschillende woorden gebruikt om de mate van aandacht van de media weer te geven. Welke woorden zijn dit?

3. In de inleiding worden verschillende woorden gebruikt om de mate van aandacht van de media weer te geven. Welke woorden zijn dit? Tekst lezen en woordenschat 1. Bekijk de buitenkant van de tekst van deze les. a) Wat voor soort tekst is dit (bijvoorbeeld: nieuwsbericht, achtergrondartikel, column)? Waarom denk je dat? b) Waar denk

Nadere informatie