1. TRADITIONELE LOGICA EN ARGUMENTATIELEER

Maat: px
Weergave met pagina beginnen:

Download "1. TRADITIONELE LOGICA EN ARGUMENTATIELEER"

Transcriptie

1 Inhoud Inleidend hoofdstuk Logica als studie van de redenering Logica als studie van deductieve redeneringen Logica als formele logica Het onderscheid tussen redenering en redeneringsvorm Definitie van (on)geldige redeneringsvorm Definitie van (on)geldige redenering Over de begrippen (on)waarheid, (on)geldigheid, bevestiging (ontkenning) De klassieke logica 21 Deel 1. TRADITIONELE LOGICA EN ARGUMENTATIELEER 25 Inleiding 27 Hoofdstuk 1. Predicatieve propositie Definitie Onderwerp van de predicatieve propositie Predicaat van de predicatieve propositie Predicatieve copula Twee interpretaties van de predicatieve propositie De interpretatie in comprehensie De interpretatie in extensie Predicatieve propositie in de traditionele logica: de existentievooronderstelling 35 Hoofdstuk 2. Soorten van onderwerpen Algemene onderwerpen Concrete onderwerpen 40

2 6 Inhoud Hoofdstuk 3. Standaardvormen van predicatieve proposities Standaardvormen Grafische voorstelling van de standaardvormen in hun interpretatie in extensie 44 Hoofdstuk 4. Kwantiteit van het predicaat 47 Hoofdstuk 5. Rechtstreekse inferenties Bewerkingen op predicatieve proposities Ontkenning van een predicatieve propositie Wijzigen van de vorm van de copula Wijzigen van de plaats van attribuut en predicaat Wijzigen van de kwantiteit van het onderwerp Schematische voorstelling van enkele bewerkingen: het logisch vierkant (Boethius, 6de eeuw n.c.) Samenvatting van de bewerkingen op predicatieve proposities Bewerkingen op predicatieve proposities en geldige redeneringsvormen: de rechtstreekse inferenties 57 Hoofdstuk 6. Syllogisme Definitie Termen in een syllogisme Plaats van de middenterm: de vier figuren van het syllogisme Modi van het syllogisme Geldige modi van het syllogisme Drie fundamentele regels voor de geldigheid van syllogismen Een Aristotelische definitie van geldig syllogisme 68 Hoofdstuk 7. Logica, argumenteren en drogredenen Redeneren, bewijzen, argumenteren Redeneren Bewijzen Argumenteren Structuur van een argumentatie Enkelvoudige argumentatie: het onderscheid tussen een te verdedigen of aan te tonen standpunt of mening en de argumentatie daarvan Enkelvoudige argumentatie: verzwegen en overtollige argumenten 88

3 7 Inhoud Samengestelde argumentatie: nevenschikkend of onderschikkend Drogredenen Schijnredeneringen Schijnbaar geldige redeneringen Geldige deductieve redeneringen met irrelevante conclusie 104 Oefeningen 109 Deel 2. DE GEFORMALISEERDE LOGICA Logica der niet-ontlede proposities 127 Inleiding 129 Hoofdstuk 1. Symbolen Variabelen voor proposities Propositie en zin Variabelen Variabelen voor proposities Waarheidsfunctoren Operatoren, propositionele operatoren en waarheidsfunctoren Waarheidsfunctoren met één propositioneel argument Waarheidsfunctoren met twee propositionele argumenten Vijf gedefinieerde waarheidsfunctoren Haakjes 143 Hoofdstuk 2. Syntaxis 145 Hoofdstuk 3. Geldige uitdrukkingen en geldige redeneringsvormen Geldige uitdrukkingen en geldige redeneringsvormen Methode der waarheidstafels Definitie en werkwijze Toepassingen 151

4 8 Inhoud Een beslissingsmethode Nadelen van deze methode Methode der semantische tafels Definitie Methode Een beslissingsmethode Voordelen Overzicht van een aantal belangrijke logische wetten in de propositielogica Enkele belangrijke geldige redeneervormen in de propositielogica Ponendo ponens Tollendo tollens Hypothetisch syllogisme 165 Hoofdstuk 4. Propositielogica, argumentatie en drogredenen Inleiding Implicatie en het verwarren van noodzakelijke en voldoende voorwaarde Enkele bijzondere juridische redeneringen en de propositielogica A fortiori redeneringen A contrario redeneringen Analogieredeneringen 181 Oefeningen Logica van normatieve systemen 193 Inleiding Informele definitie Opzet van dit deel Overzicht van dit deel 196 Hoofdstuk 1. Deontische logica: Inleidende begrippen Inleiding Deontische operatoren Variabelen voor handelingen Stellingswaarden, stellingsfunctoren, stellingsfuncties 198

5 9 Inhoud Negatie Conjunctie De overige stellingsfunctoren Deontische proposities zijn ontlede proposities Goedgevormde uitdrukkingen Een aantal definities 'Niet toegelaten' betekent zoveel als 'verboden' 'Niet moeten' betekent 'toegelaten zijn niet te doen' Definitie van een aantal afgeleide deontische operatoren Een aantal deontische principes en hun toepassingen Principe 1: Principe van isomorfie Principe 2: Deontische proposities zijn ontlede proposities Principe 3: Extensionaliteitsprincipe Principe 4: Toelatingsprincipe Principe 5: Distributieprincipe Principe 6: Contingentieprincipe Besluit 211 Hoofdstuk 2. Formele opbouw van een normatief systeem Informeel uitgangspunt Het begrip geval Hoe kan een geval worden omschreven? Universe of properties Samengestelde eigenschappen: realisatiewaarden Vereisten waaraan de elementen van de UP moeten voldoen Elementaire gevallen Complexe gevallen Universe of cases Bijzondere eigenschappen van elementaire gevallen Complementaire elementaire gevallen 220 Oefeningen (de concrete opbouw van een UC) Het begrip oplossing Deontische inhouden Universe of actions Vereisten waaraan de elementen van de UA moeten voldoen Handelingsbeschrijving Deontische operatoren Oplossing Deontisch bestanddeel Maximale oplossing 224

6 10 Inhoud Gedeeltelijke oplossing Minimale oplossing Kenmerken van maximale oplossingen Kenmerken van minimale oplossingen UA s met meer dan één element Stellingen 227 Oefeningen Het normatief systeem Inleiding Een formeel systeem Definitie van norm Definitie van normatief systeem Formele eigenschappen van normatieve systemen 232 Oefeningen 236 Bibliografie 267

ARGUMENTEREN EN REDENEREN

ARGUMENTEREN EN REDENEREN ARGUMENTEREN EN REDENEREN Julie Kerckaert Vaardigheden I Academiejaar 2014-2015 Inhoudsopgave Deel 1: Argumenteren en redeneren... 2 1.1 Logica... 2 1.1.1 Syllogismen... 2 1.1.2 Soorten redeneringen...

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

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

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

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

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

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

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

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

Lezen. Doelgroep Lezen. Omschrijving Lezen

Lezen. Doelgroep Lezen. Omschrijving Lezen Lezen Het programma is met name geschikt voor groepen waarin grote niveauverschillen bestaan en voor leerlingen die het gewone oefenen met teksten niet interessant meer vinden. Doelgroep Lezen Muiswerk

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Retorica en drogredenen. Lucas Beerekamp, 2017

Retorica en drogredenen. Lucas Beerekamp, 2017 Retorica en drogredenen Lucas Beerekamp, 2017 Logicapuzzel Which answer in this list is the only correct answer to this question? A. All of the below. B. None of the below. C. All of the above. D. One

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

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

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

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

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

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

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

Predikaatlogica, modellen en programma s

Predikaatlogica, modellen en programma s Logica in actie H O O F D S T U K 4 Predikaatlogica, modellen en programma s De taal van de propositielogica is voor veel toepassingen te arm. Dat bleek al in de Klassieke Oudheid, waar logici allerlei

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

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

Leesopdrachten n.a.v. het IUW hoorcollege Argumenteren

Leesopdrachten n.a.v. het IUW hoorcollege Argumenteren Leesopdrachten n.a.v. het IUW hoorcollege 2017-2018 Argumenteren Opdracht 1 a. Welke drie eigenschappen van een argumentatie worden in het inleidende hoofdstuk genoemd van van Eemeren et al? p2 verbale

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 voor AI. Verschillende modale systemen en correctheid. Antje Rumberg. 30 november 2012.

Logica voor AI. Verschillende modale systemen en correctheid. Antje Rumberg. 30 november 2012. Logica voor AI en correctheid Antje Rumberg AntjeRumberg@philuunl 30 november 2012 1 De minimale normale modale logica K Axioma s alle tautologieën van de propositielogica ( ψ) ( ψ) (K-axioma) (Def ) Afleidingsregels

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

Logic for Computer Science

Logic for Computer Science Logic for Computer Science 07 Predikatenlogica Wouter Swierstra University of Utrecht 1 Vrijdag Aanstaande vrijdag is geen hoorcollege of werkcollege. De tussentoets is uitgesteld tot volgende week dinsdag.

Nadere informatie

Het Muiswerkprogramma Argumenteren is een programma voor het leren analyseren en beoordelen van mondelinge en schriftelijke betogen.

Het Muiswerkprogramma Argumenteren is een programma voor het leren analyseren en beoordelen van mondelinge en schriftelijke betogen. Argumenteren Het Muiswerkprogramma Argumenteren is een programma voor het leren analyseren en beoordelen van mondelinge en schriftelijke betogen. Doelgroepen Argumenteren Argumenteren is bedoeld voor leerlingen

Nadere informatie

Argumentatie Robbert Jan Beun

Argumentatie Robbert Jan Beun Argumentatie Robbert Jan Beun https://foto.nrc.nl/picture/view/28448?#picture Literatuur Hoofdstuk 1: Inleiding Argumentatie (uit Handboek Argumentatietheorie, van Eemeren et al.) Hoofdstuk 5: Overtuigen

Nadere informatie

In deze les. Eerste orde logica. Elementen van EOL. Waarom eerste orde logica? Combinatie met logica. Variabelen en Kwantoren

In deze les. Eerste orde logica. Elementen van EOL. Waarom eerste orde logica? Combinatie met logica. Variabelen en Kwantoren In deze les Eerste orde logica Bart de Boer Waarom EOL? Syntax en semantiek van EOL Opfrisser Gebruik van EOL EOL in de Wumpus-wereld Waarom eerste orde logica? Eerste orde logica kan alles uitdrukken

Nadere informatie

Logica voor AI. Bewijstheorie en natuurlijke deductie. Antje Rumberg. 28 november Kripke Semantiek.

Logica voor AI. Bewijstheorie en natuurlijke deductie. Antje Rumberg. 28 november Kripke Semantiek. Logica voor AI en natuurlijke deductie Antje Rumberg AntjeRumberg@philuunl 28 november 2012 1 De taal L m van de modale propositielogica ::= p Blokje en ruitje : het is noodzakelijk dat : het is mogelijk

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

Handleiding TRUEBITERS. Een digitaal spel om de waarheidstabellen van de propositielogica te oefenen. WISE onderzoeksgroep

Handleiding TRUEBITERS. Een digitaal spel om de waarheidstabellen van de propositielogica te oefenen. WISE onderzoeksgroep Handleiding TRUEBITERS Een digitaal spel om de waarheidstabellen van de propositielogica te oefenen WISE onderzoeksgroep November 2017 1 Inleiding TrueBiters is een digitaal spel ontwikkeld om studenten

Nadere informatie

2. Syntaxis en semantiek

2. Syntaxis en semantiek 2. Syntaxis en semantiek In dit hoofdstuk worden de begrippen syntaxis en semantiek behandeld. Verder gaan we in op de fouten die hierin gemaakt kunnen worden en waarom dit in de algoritmiek zo desastreus

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

A Dialogue Game for Critical Discussion: Groundwork in the Formalisation and Computerisation of the Pragma-Dialectical Model of Argumentation J.C.

A Dialogue Game for Critical Discussion: Groundwork in the Formalisation and Computerisation of the Pragma-Dialectical Model of Argumentation J.C. A Dialogue Game for Critical Discussion: Groundwork in the Formalisation and Computerisation of the Pragma-Dialectical Model of Argumentation J.C. Visser Jacky Visser Een dialoogspel voor kritische discussie

Nadere informatie

Toelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur

Toelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur Toelichting bij geselecteerde opdrachten uit Betekenis en Taalstructuur Hoofdstuk 2, tot en met pagina 41. Maak opdrachten 1,2,3,4,5,7,9,10,11,15,16 *1 Met "welgevormd" wordt bedoeld dat de formule toegestaan

Nadere informatie

Artificiële intelligentie: les van 21 november 2002

Artificiële intelligentie: les van 21 november 2002 Artificiële intelligentie: les van 21 november 2002 Nys Wim, wim.nys@vub.ac.be Gybels Kim, kim.gybels@vub.ac.be Leuse Tom, tom.leuse@vub.ac.be Heyse Wouter, wouter.heyse@vub.ac.be Frank Joris, frank.joris@vub.ac.be

Nadere informatie

Algemene inleiding logica

Algemene inleiding logica GG15 Algemene inleiding logica Deel I S.J. Doorman Facultait dar Wijsbagearte en Technische Maatschappijwetenschappen Technische Universiteit Delft - 1 - HOOFDSTUK I INLEIDING Een tak van wetenschap kan

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

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

Argumentatie Robbert Jan Beun

Argumentatie Robbert Jan Beun Argumentatie Robbert Jan Beun Literatuur Hoofdstuk 1: Inleiding Argumentatie (uit Handboek Argumentatietheorie, van Eemeren et al.) Hoofdstuk 5: Overtuigen door Argumentatie (uit Communiceren met Effect,

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

Summary in Dutch: Bolzano s notie van fundering en het Klassiek Model van Wetenschap

Summary in Dutch: Bolzano s notie van fundering en het Klassiek Model van Wetenschap Summary in Dutch: Bolzano s notie van fundering en het Klassiek Model van Wetenschap Dit proefschrift is een bijdrage aan de studie van de geschiedenis van de notie van wetenschappelijke verklaring als

Nadere informatie

TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?

TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS? TAALFILOSOFIE Overkoepelende vraag: WAT IS BETEKENIS? GOTTLOB FREGE (1848 1925) Uitvinder moderne logica Vader van de taalfilosofie BEGRIFFSCHRIFT (1879) Bevat moderne propositie en predicaten-logica Syllogistiek

Nadere informatie

6.3.2 We moeten onderzoeken of de volgende bewering juist is of niet: x [ P (x ) Q (x )] xp(x ) xq(x ). De bewering is onjuist:

6.3.2 We moeten onderzoeken of de volgende bewering juist is of niet: x [ P (x ) Q (x )] xp(x ) xq(x ). De bewering is onjuist: 6.3.2 We moeten onderzoeken of de volgende bewering juist is of niet: x [ P (x ) Q (x ) xp(x ) xq(x ). De bewering is onjuist: Kies als tegenvoorbeeld: P (x ):x 2 > 0enQ (x ):x>0, voor U = R Dan geldt:

Nadere informatie

WISKUNDIGE TAALVAARDIGHEDEN

WISKUNDIGE TAALVAARDIGHEDEN WISKUNDIGE TLVRDIGHEDEN Derde graad 1 Het begrijpen van wiskundige uitdrukkingen in eenvoudige situaties (zowel mondeling als 1V4 2V3 3V3 (a-b-c) schriftelijk) 2 het begrijpen van figuren, tekeningen,

Nadere informatie

Logica voor AI. Responsiecollege. Antje Rumberg. 12 december Kripke Semantiek. Geldigheid. De bereikbaarheidsrelatie

Logica voor AI. Responsiecollege. Antje Rumberg. 12 december Kripke Semantiek. Geldigheid. De bereikbaarheidsrelatie Logica voor AI Responsiecollege Antje Rumberg Antje.Rumberg@phil.uu.nl 12 december 2012 1 De taal L m van de modale propositielogica ϕ ::= p ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ ϕ Blokje en ruitje ϕ: het is noodzakelijk

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

Informatieuitwisseling 2014/2015. Argumentatie: een AI-perspectief. Henry Prakken 14 Januari 2015

Informatieuitwisseling 2014/2015. Argumentatie: een AI-perspectief. Henry Prakken 14 Januari 2015 Informatieuitwisseling 2014/2015 Argumentatie: een AI-perspectief Henry Prakken 14 Januari 2015 Wat is argumentatie? Een standpunt ondersteunen met gronden om twijfel aan dat standpunt weg te nemen Logica

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

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 Module 9

Samenvatting Nederlands Module 9 Samenvatting Nederlands Module 9 Samenvatting door een scholier 1519 woorden 26 juni 2004 7,5 55 keer beoordeeld Vak Methode Nederlands Kiliaan Module 9: A3 Tekstsoorten A4 Structuur van de boodschap C4

Nadere informatie

Het SQL Leerboek zevende editie Introductie tot de verzamelingenleer en de logica

Het SQL Leerboek zevende editie Introductie tot de verzamelingenleer en de logica Het SQL Leerboek zevende editie Introductie tot de verzamelingenleer en de logica Auteur: Rick F. van der Lans Versie: 1.0 Datum: Februari 2012 2 Het SQL Leerboek Introduktie tot de verzamelingenleer en

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

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

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

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

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

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

Deel 1: Traditionele Logica

Deel 1: Traditionele Logica Aristoteles: Syllogistiek ( proto-formele logica) Formele Logica: Propositielogica & Predikatenlogica Informele Logica Ar. Deel 1: Traditionele Logica HS1: Logica, redeneringen en geldigheid Logica definiëren:

Nadere informatie

Samenvatting in het Nederlands

Samenvatting in het Nederlands Samenvatting in het Nederlands De vraag die in dit proefschrift centraal staat, betreft de aard van aspectuele verschillen in het Russisch. Het belangrijkste doel is het aanwijzen van een eigenschap of

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

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

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

Sociaal wetenschappelijk onderzoek. Lezing voor het congres juridisch onderzoek in het hbo op 15 juni 2010 Peter Geurts

Sociaal wetenschappelijk onderzoek. Lezing voor het congres juridisch onderzoek in het hbo op 15 juni 2010 Peter Geurts Sociaal wetenschappelijk onderzoek Lezing voor het congres juridisch onderzoek in het hbo op 15 juni 2010 Enkele stellingen Voor zover een wetenschappelijk juridische activiteit een empirisch element bevat

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

mevrouw drs. D. van der Wagen Rechtsvinding van straf- en procesrecht Beschrijving en doel van dit beroepsproduct

mevrouw drs. D. van der Wagen Rechtsvinding van straf- en procesrecht Beschrijving en doel van dit beroepsproduct Titel Onderwijseenheid (OWE) Code OWE Eigenaar OWE Juridisch argumenteren JDD 1 Opleiding HBO-Rechten 2 Doelgroep: variant(en) VT / DT / DU / EL mevrouw drs. D. van der Wagen E-learning Cluster C-, D-

Nadere informatie

Formeel Denken. October 20, 2004

Formeel Denken. October 20, 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 October 20, 2004 Contents 1 Predicatenlogica

Nadere informatie

Voortgezette Logica, Week 2

Voortgezette Logica, Week 2 Voortgezette Logica, Week 2 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 164, 030-2535575 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier

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

STEEDS BETERE BENADERING VOOR HET GETAL π

STEEDS BETERE BENADERING VOOR HET GETAL π STEEDS BETERE BENADERING VOOR HET GETAL KOEN DE NAEGHEL Samenvatting. We bespreken een oplossing voor de (veralgemeende) opgave Noot 4 uit Wiskunde & Onderwijs nr.139. Onze inspiratie halen we uit het

Nadere informatie

Logica voor Informatica

Logica voor Informatica Logica voor Informatica 12 Normaalvormen Wouter Swierstra University of Utrecht 1 Vandaag We hebben gezien dat er verschillende normaalvormen zijn voor de propositionele logica. Maar hoe zit dat met de

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

Bespreking Examen Analyse 1 (Augustus 2007)

Bespreking Examen Analyse 1 (Augustus 2007) Bespreking Examen Analyse 1 (Augustus 2007) Vooraf: Zoals het stilletjes aan een traditie is geworden, geef ik hier bedenkingen bij het examen van deze septemberzittijd. Ik zorg ervoor dat deze tekst op

Nadere informatie

Les 1 Beslissen met poorten

Les 1 Beslissen met poorten Beslissen met poorten Inhoud Beslissen met poorten...1 Verzamelingen...2 Verzamelingenleer...2 VENN-diagram...2 Logica...3 Booleaanse algebra...4 Waarheidstabel...5 Logische negatie...5 Logische conjunctie...5

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