1. TRADITIONELE LOGICA EN ARGUMENTATIELEER
|
|
- Theodoor Verlinden
- 4 jaren geleden
- Aantal bezoeken:
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 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 informatieMededelingen. 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 informatieTegenvoorbeeld. 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 informatieElementaire 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 informatiePropositielogica. 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 informatieSemantiek 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 informatieLogica 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 informatieSemantiek 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 informatiePropositionele 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 informatieLogica 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 informatiePROPOSITIELOGICA. 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 informatieLezen. 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 informatieLogic 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 informatieSamenvatting. 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 informatieLogica 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 informatieLogica 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 informatieAndere 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 informatieHet 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 informatie5.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 informatiePropositielogica 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 informatieLogica 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 informatieFormeel 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 informatieDiscrete 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 informatieLogica 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 informatieProposities. 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 informatieHandout 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 informatieLogica 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 informatieTI1300: 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 informatieOpmerking. 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 informatieMededelingen. 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 informatieI 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 informatieWie 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 informatieLogica 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 informatieRetorica 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 informatieLogica 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 informatieAristoteles. 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 informatieOver 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 informatieWiskundige 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 informatieHoofdstuk 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 informatieLogica 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 informatieInleiding 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 informatiePredikaatlogica, 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 informatieLogica 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 informatieArgumentatie 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 informatieLogica: 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 informatieLeesopdrachten 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 informatieInhoud 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 informatieLogica 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 informatieachtergronden 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 informatieLogic 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 informatieHet 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 informatieArgumentatie 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 informatieIn 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 informatieLogica 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 informatie1 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 informatieHandleiding 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 informatie2. 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 informatieInleiding 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 informatieA 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 informatieToelichting 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 informatieArtificië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 informatieAlgemene 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 informatieTAALFILOSOFIE. 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 informatieDe 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 informatieArgumentatie 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 informatieSamenvatting 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 informatieSummary 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 informatieTAALFILOSOFIE. 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 informatie6.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 informatieWISKUNDIGE 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 informatieLogica 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 informatieHoofdstuk 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 informatieInformatieuitwisseling 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 informatieCaleidoscoop: 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 informatieLogica 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 informatieSamenvatting 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 informatieHet 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 informatieVerzamelingen. 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 informatieCursustekst 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 informatieOpdrachten 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 informatieTI1300: 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 informatieTentamen 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 informatieLogica 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 informatieDeel 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 informatieSamenvatting 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 informatierh265e 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 informatieLOGICA 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 informatieLogica 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 informatieSociaal 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 informatieTentamen 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 informatiemevrouw 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 informatieFormeel 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 informatieVoortgezette 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 informatieLESSTOF. 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 informatieSTEEDS 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 informatieLogica 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 informatieLogica 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 informatieBespreking 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 informatieLes 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 informatiePropositielogica, 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