TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?
|
|
- Hans Wouters
- 6 jaren geleden
- Aantal bezoeken:
Transcriptie
1 TAALFILOSOFIE Overkoepelende vraag: WAT IS BETEKENIS?
2 TAALFILOSOFIE Formele seman=ek Bijv. Proposi=elogica Informele seman=ek
3 TAALWETENSCHAP Syntaxis Semantiek Pragmatiek
4 Seman=sche categorieën Termen Categorema=sche termen Syncategorema=sche
5 Seman=sche categorieën Namen Predicaten (eigeschapswoorden) Beweerzinnen
6 CORRECTE ZINNEN SYNTACTISCH WELGEVORMD SEMANTISCH COHERENT (minimum eis: beweerzinnen moeten waar of onwaar kunnen zijn)
7 SEMANTISCHE WAARDE Namen objecten Eigenschapswoorden eigenschappen Beweerzinnen standen van zaken (waarheidswaarde)
8 STAAN VOOR to refer Verwijzen, staan voor, to designate
9 STAAN VOOR to refer = act van verwijzen m.b.v, woord reference = proces van verwijzen, maar ook wel: dat waar naar verwezen wordt Referent = dat waar naar verwezen wordt (i.h.g.v. namen zijn dat objecten)
10 USE/MENTION Socrates is een mens Socrates is een mens Socrates hee] acht le^ers Socrates hee] acht le^ers
11 OBJECTTAAL VERSUS METATAAL Objecttaal = taal waarover gesproken wordt in de meta-taal Metataal essentieel: bevat begrip waarheid-in-de-objecttaal
12 TYPE/TOKEN Letters, symfonie, stamboekkoe Probleem: Amerikaanse vlag, stars and stripes Occurrences
13 ACT/INHOUD AMBIGUËITEIT Bewering Act van beweren (taaldaad) = correct of incorrect Dat wat beweerd wordt (inhoud van bewering) = waar/onwaar
14 PROPOSITIE Dat wat beweerd wordt in een bewering Synoniemen gedachte, content Taalabankelijk?
15 RODE DRAAD WAT IS BETEKENIS?
16 MENTALISME John Locke ( ) An Essay concerning Human Understanding (1689)
17 MENTALISME Words in their primary or immediate Significa=on, stand for nothing, but the Ideas in the Mind of him that uses them, how imperfectly soever, or carelesly those Ideas are collected from the Things, which they are supposed to represent. (III.ii.2)
18 MENTALISME Betekenis is een idee (gedachte, neurofysiologisch proces, informa=onele toestand, inten=e) in het hoofd van de spreker.
19 MENTALISME Kri=ek: communica=e wordt giswerk. Iedereen spreekt zijn eigen taal.
20 De naïeve betekenistheorie De betekenis van een woord is het object waar dat woord voor staat.
21 De naïeve betekenistheorie Nuanceren: iedere seman=sche categorie hee] haar eigen seman=sche waarde (seman=cal value)
22 De naïeve betekenistheorie De betekenis van een naam (beschrijving) is het object waar die naam voor staat. De betekenis van een predicaat (eigenschapswoord) is de eigenschap waar dat predicaat voor staat.
23 De naïeve betekenistheorie De betekenis van een zin is de stand van zaken in de werkelijkheid die de zin representeert.
24 De naïeve betekenistheorie Kri=ek: De informa=viteit van iden=teitsuitspraken a=a versus a=b
25 De naïeve betekenistheorie Kri=ek: De informa=viteit van iden=teitsuitspraken a=a versus a=b Uitspraken over niet bestaande (fic=eve) en=teiten (eenhoorns, de Syrenen)
26 De naïeve betekenistheorie Kri=ek: De informa=viteit van iden=teitsuitspraken a=a versus a=b Uitspraken over niet bestaande (fic=eve) en=teiten (eenhoorns, de Syrenen) Subs=tu=e van synoniemen in intensionele contexten.
27 INTENSIONELE CONTEXT Extensioneel versus intensioneel Nota bene: intensioneel inten=oneel!
28 INTENSIONELE CONTEXT Redenering met extensionele zinnen: 1. Trotski is de architect van het Rode Leger. 2. Trotski = Bronstein 3. Bronstein is de architect van het Rode Leger.
29 INTENSIONELE CONTEXT Redenering met intensionele zinnen: 1. Elsbeth Etty weet dat Trotski de architect van het Rode Leger is. 2. Trotski = Bronstein 3.?Elsbeth Etty weet dat Bronstein de architect van het Rode Leger is?
30 INTENSIONELE CONTEXT Geen subs=tu=o salva veritate! Woorden lijken in intensionele contexten niet hun gewone betekenis te hebben.
31 GOTTLOB FREGE ( ) Uitvinder moderne logica Vader van de taalfilosofie
32 FREGE BEGRIFFSCHRIFT (1879) Bevat moderne proposi=e en predicaten- logica
33 FREGE Syllogis=ek 1. Alle mensen zijn sterfelijk. 2. Socrates is een mens. 3. Socrates is sterfelijk.
34 FREGE Problemen: ontoereikend De Stoa: 1. Als de zon aan de hemel staat, is het dag. 2. De zon staat aan de hemel. 3. Het is dag.
35 FREGE Ontoereikend: Alle jongens houden van alle meisjes.
36 FREGE ONTOEREIKEND: Gramma=sche vorm correspondeert niet al=jd met logische structuur. Ajax verslaat Feijenoord. Feijenoord wordt door Ajax verslagen.
37 FREGE Na Venn en Boole Nieuwe analyse van het oordeel Beoordeelbare inhoud (Gedanke) P Waar of onwaar? Oordeels- streep - P
38 FREGE Beoordeelbare inhoud is op te va^en als een wiskundige func=e. f(x) = x 2 of ( ) 2 Door in de func=e een argument in te voeren krijgt de func=e een waarde.
39 FREGE Predicaten zijn op te va^en als func=es. Namen zijn argumenten. Waar of onwaar zijn waarden (waarheidswaarden)
40 FREGE is filosoof (unsaturated) Socrates als argument toevoegen. Socrates is filosoof is saturated, en heeft als waarde waar.
41 FREGE Grundlagen der Arithmetik (1884) Funktion und Begriff, Über Sinn und Bedeutung, Über Begriff und Gegenstand (1891-2) Grundgesetze der Arithmetik I (1893) Grundgesetze der Arithmetik II (1903) Logische Untersuchungen (1918)
42 SINN EN BEDEUTUNG Woord (taal) Sinn (Art des Gegebenseins/mode of presentation) (begrippen) Bedeutung (objecten/eigenschappen) Ontologie
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 informatieTAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?
TAALFILOSOFIE Overkoepelende vraag: WAT IS BETEKENIS? GOTTLOB (1848 1925) Uitvinder moderne logica Vader van de taalfilosofie BEGRIFFSCHRIFT (1879) Bevat moderne proposioe en predicaten- logica SyllogisOek
Nadere informatieTAALFILOSOFIE WAT IS BETEKENIS?
TAALFILOSOFIE WAT IS BETEKENIS? MENTALISME John Locke (1632 1704) An Essay concerning Human Understanding (1689) MENTALISME Words in their primary or immediate Signification, stand for nothing, but the
Nadere informatieIndexicale Problemen voor Frege
Indexicale Problemen voor Frege Een van de moeilijkheden waar een taalfilosofische theorie tegenaan loopt is het probleem van de indexicaliteit, dat wil zeggen: is de betekenis van persoons-, plaats- en
Nadere informatieTAALFILOSOFIE SYLLABUS
TAALFILOSOFIE SYLLABUS Bestemd voor: WB1BD3035 (voltijd) en WB1BA3035 (deeltijd) Cursusjaar: 2010/2011, periode 3 Vakgroep: Theoretische Filosofie Docenten: Menno Lievers & Rosja Mastop Universiteit Utrecht
Nadere informatieDe naïeve betekenistheorie. De betekenis van een woord is het object waar dat woord voor staat.
De naïeve betekenistheorie De betekenis van een woord is het object waar dat woord voor staat. De naïeve betekenistheorie Kritiek: De informativiteit van identiteitsuitspraken a=a versus a=b Uitspraken
Nadere informatieWoord en wereld Een inleiding tot de taalfilosofie
Woord en wereld Een inleiding tot de taalfilosofie Filip Buekens Acco Leuven / Den Haag Hoofdstuk I. Freges uitgangspunten 11 I.1 De semantische dimensie van taal 11 I.2 Proposities: Freges kernstellingen
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 Sinn van fictie. Wouter Bouvy March 12, 2006
De Sinn van fictie Wouter Bouvy 3079171 March 12, 2006 1 Inleiding Hoe is het mogelijk dat mensen de waarheid van proposities over fictie zo kunnen bepalen dat iedereen het er mee eens is? Kan een theorie
Nadere informatieTAALFILOSOFIE WAT IS BETEKENIS?
TAALFILOSOFIE WAT IS BETEKENIS? MENTALISME John Locke (1632 1704) An Essay concerning Human Understanding (1689) MENTALISME Words in their primary or immediate SignificaOon, stand for nothing, but the
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 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 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 informatieSemantiek 1 college 8. Jan Koster
Semantiek 1 college 8 Jan Koster 1 Vandaag Vorige keer: constructie van betekenis in relatie tot situatie en context Vandaag: taalhandelingstheorie Speech acts, taalhandelingen, taaldaden Idee: taaluitingen
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 informatieGottlob Frege, Der Gedanke, 1918.
Gottlob Frege, Der Gedanke, 1918. Achtergrond Na de enorme teleurstelling die de ontdekking door Russell van de verzamelingtheoretische paradox was Frege lange tijd niet in staat te werken. Hij besloot
Nadere informatieMeer oefenen. TI1300: Redeneren en Logica. Vertalen. Meerdere wegen leiden naar Rome
Meer oefenen TI1300: Redeneren en Logica College 13: Synta en Semantiek van de Predicatenlogica Tomas Klos Algoritmiek Groep Vertaal: Niet alle paarden zijn bruin Geef ook je vertaalsleutel (welke predicaten,
Nadere informatieNieuwe redeneringen. TI1300: Redeneren en Logica. Waar gaan deze uitdrukkingen over? Een nieuwe taal
Nieuwe redeneringen TI1300: Redeneren en Logica College 12: Predicatenlogica Tomas Klos Algoritmiek Groep Alle mensen zijn sterfelijk Socrates is mens Socrates is sterfelijk Niet propositie-logisch geldig,
Nadere informatieBetekenis I: Semantiek
Betekenis I: Semantiek Marieke Schouwstra 21 mei De studie van betekenis Semantiek: de studie van betekenis in taal 17.1, 17.2, 17.3, vandaag Pragmatiek: de studie van betekenis in taalgebruik delen van
Nadere informatieFormele Semantiek Van de predicatenlogica naar gegeneraliseerde kwantoren. Jeroen Van Craenenbroeck en Guido Vanden Wyngaerd
Formele Semantiek Van de predicatenlogica naar gegeneraliseerde kwantoren Jeroen Van Craenenbroeck en Guido Vanden Wyngaerd Inhoud 1. Betekenis... 1 1.1. Wat is betekenis?... 1 1.2. Sinn en Bedeutung van
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 informatiePragmatiek. 6 juni 2009
Pragmatiek 6 juni 2009 Semantiek - Betekenis gedefinieerd in termen van verwijzing naar de werkelijkheid buiten de taal (denotatie) [[Jantje]] = het individu Jantje [[slaapt]] = de verzameling van slapende
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 informatieWat? Betekenis 2: lambda-abstractie. Boek. Overzicht van dit college. Anna Chernilovskaya. 7 juni 2011
Wat? Betekenis 2: lambda-abstractie Anna Chernilovskaya 7 juni 2011 Vorige keer: Predicaatlogica Vertaling van zinnen Deze keer: Predicaatlogica uitbreiding Vertaling van zinnen in details Overzicht van
Nadere informatieHomework assignment 7 (Intensionality)
Homework assignment 7 (Intensionality) Semantiek 2013 Solutions Opgave 1 Bekijk de volgende zinnen: A. Lewis Carroll is Charles Dodgson, en Tina ontmoette Charles Dodgson. B. Lewis Carroll is Charles Dodgson,
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 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 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 informatieHet ware belang van ambiguïteit
Het ware belang van ambiguïteit Gottlob Frege en Victoria Welby Twee tijdgenoten in de geschiedenis van de taalfilosofie En hun visie op semantische ambiguïteit Universiteit Utrecht Bachelor eindscriptie
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 informatieSemantiek van predicatenlogica en Tractatus
Logica en de Linguistic Turn 2012 Semantiek van predicatenlogica en Tractatus Maria Aloni ILLC-University of Amsterdam M.D.Aloni@uva.nl 1/11/12 Plan voor vandaag 1. Predicatenlogica: semantiek 2. Tractatus:
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 informatieBEWUSTZIJN GEEST BEWUSTE GEEST DENKEN BEWUST-DENKEN
BEWUSTZIJN GEEST BEWUSTE GEEST DENKEN BEWUST-DENKEN BEWUSTZIJN BEWUSTZIJN ZELFBEWUST-ZIJN N.B. KANT (APPERCEPTIE) BEWUSTZIJN LEVEND WEZEN BEWUSTZIJN (CREATURE CONSCIOUSNESS) BEWUSTZIJN VAN MENTALE TOESTANDEN
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 informatieInleiding. - Was Wittgenstein een Davidsoniaanse taalfilosoof of een anti-realist N.v.Ettinger
Was Wittgenstein een Davidsoniaanse taalfilosoof of een anti-realist? Vtfes219.doc / Norbert van Ettinger / 0244236 / paper 2 / Voortgezette taalfilosofie / jan. 2006 Inleiding De titel doet vermoeden
Nadere informatie1. 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 informatieKripke's puzzel, Quine en Davidson
Kripke's puzzel, Quine en Davidson Eind-essay voortgezette taalfilosofie niveau 3 -- Norbert van Ettinger -- 0244236 -- vtpap308.doc Abstract Pierre, een logicus, is een mono-linguïstische Fransman, woonachtig
Nadere informatieDe mens. Een machine?
De mens. Een machine? Het argument van J.R. Lucas tegen het mechanisme G.J.E. Rutten De verhouding tussen mens en machine Mechanisme (materialisme, sciëntisme) De mens is niets meer dan een complexe machine
Nadere informatieGottlob Frege, Über Sinn und Bedeutung. [1892] Uit: Gottlob Frege, Funktion, Begriff, Bedeutung. Vandenhoeck & Ruprecht, Göttingen, 1980, pp
Gottlob Frege, Über Sinn und Bedeutung. [1892] Uit: Gottlob Frege, Funktion, Begriff, Bedeutung. Vandenhoeck & Ruprecht, Göttingen, 1980, pp. 40 50. Gelijkheid 1 daagt het denken uit door vragen die daarmee
Nadere informatieInhoud. Voorwoord 7. 3 Syntaxis en semantiek van natuurlijke taal Zinnen Werelden en tijden 51
Inhoud Voorwoord 7 1 Betekenis 9 1.1 Wat is betekenis? 9 1.2 Sinn en Bedeutung van zinnen 10 1.2.1 Waarheidswaarde en waarheidsvoorwaarde 10 1.2.2 De correspondentietheorie van de waarheid 12 1.3 Compositionaliteit
Nadere informatieVraag Antwoord Scores. Opgave 1 Een sceptische schnauzer en een sceptische arts
Opgave 1 Een sceptische schnauzer en een sceptische arts 1 maximumscore 3 een uitleg dat de schnauzer vragen stelt die blijk geven van metafysisch scepticisme: hij vraagt zich af of er wel een buitenwereld
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 informatieTractatus Logico-Philosophicus: Wittgensteins beeld van de logica
Tractatus Logico-Philosophicus: Wittgensteins beeld van de logica Leon Geerdink 3250318 1 Inleiding: In dit essay wil ik nader onderzoeken wat Wittgensteins exacte ideeën zijn over de status van de logica,
Nadere informatieEssay Taalfilosofie. Maart Is Sinn in Frege's zin wel het juiste niveau van betekenis om het intersubjectieve karakter van kennis te garanderen?
Is Sinn in Frege's zin wel het juiste niveau van betekenis om het intersubjectieve karakter van kennis te garanderen? 1.0 Inleiding Om de Vraagstelling in de aanhef te kunnen begrijpen is het nodig iets
Nadere informatieSemantiek 1 college 2
Semantiek 1 college 2 Jan Koster 1 Boek 2 Twee benaderingen Referentiële semantiek (denotationeel) Accent op relaties tussen taalelementen en buitentalige werkelijkheid (externalisme) Representationele
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 informatieAchtergrond bij de pragmatiek
Achtergrond bij de pragmatiek Discourse-analyse Rick Nouwen 1 Wat is pragmatiek? 1.1. Het trivium en de semiotische driehoek Het idee om pragmatiek te onderscheiden van semantiek en syntaxis is terug te
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 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 informatieGrice. Terug naar In Defence of a Dogma
Grice Terug naar In Defence of a Dogma Grice maakt een onderscheid tussen wat er gezegd wordt en wat er geïmpliceerd wordt. (denk nog even aan de logische constanten) Grice Tweede kant van zijn programma:
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 informatieLogica voor Informatica. predikatenlogica. Syntax van predikatenlogica. Mehdi Dastani Intelligent Systems Utrecht University
Logica voor Informatica predikatenlogica Syntax van predikatenlogica Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Redenering in Propositie Logica Als Jan zijn medicijnen neemt
Nadere informatieBetekenis 2: lambda-abstractie
Betekenis 2: lambda-abstractie Anna Chernilovskaya 4 June 2009 Wat? Vorige keer: Predicaatlogica Vertaling van zinnen Deze keer: Predicaatlogica uitbreiding Vertaling van zinnen in details Overzicht van
Nadere informatieLOGICA 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 informatieSemantiek 1 college 1
Semantiek 1 college 1 Jan Koster 1 Boek 2 Wat is semantiek? Betekenisleer: Conceptueel-intentioneel of: Referentieel? 3 Wat is taal? Sinds Aristoteles: Systeem dat klank en betekenis verbindt Vraag: is
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 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 informatieEssay. Norbert Vogel* Morele feiten bestaan niet
Essay Norbert Vogel* Morele feiten bestaan niet Ethici onderscheiden zich van gewone mensen doordat zij niet schijnen te weten wat morele oordelen zijn. Met behulp van elkaar vaak uitsluitende ismen trachten
Nadere informatieIs de predikaatopvatting van eigennamen definitief weerlegd?
Voortgezette taalfilosofie / Norbert van Ettinger / 0244236 / deeltijd / essay 1 Is de predikaatopvatting van eigennamen definitief weerlegd? Inleiding : Ik bespreek hier de vraag of eigennamen opgevat
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 informatieInleiding Cognitiefilosofie. 18 april 2018 Elsbeth Brouwer
Inleiding Cognitiefilosofie 18 april 2018 Elsbeth Brouwer Wat is (onderdeel van) cognitie? Suggesties in de literatuur: Ziel Geest Kennis Vermogen om kennis te verkrijgen Processen van verwerking van informatie
Nadere informatieSamenvatting. Bijlage B
Bijlage B In dit proefschrift stellen we ons het doel de besluitvorming van agenten en de communicatie tussen deze agenten te beschrijven en te formaliseren opdat de agenten rechtvaardigbare opvattingen
Nadere informatieJ.F.M. Tonino. juli 1999
Logica Collegedictaat bij IN2013 J.F.M. Tonino juli 1999 Voorwoord Een voorwoord dient met een verantwoording te beginnen. Welnu, het voorliggende dictaat Logica is gebaseerd op het boek: S.C. van Westrhenen,
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 informatiePDF hosted at the Radboud Repository of the Radboud University Nijmegen
PDF hosted at the Radboud Repository of the Radboud University Nijmegen The following full text is a preprint version which may differ from the publisher's version. For additional information about this
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 informatiei(i + 1) = xy + y = x + 1, y(1) = 2.
Kenmerk : Leibniz/toetsen/Re-Exam-Math A + B-45 Course : Mathematics A + B (Leibniz) Date : November 7, 204 Time : 45 645 hrs Motivate all your answers The use of electronic devices is not allowed [4 pt]
Nadere informatien filosofie n wetenschapsfilosofie n soorten wetenschap n filosofie van de informatica n inhoud college n werkwijze college
Filosofie van de Informatica FILOSOFIE VAN DE INFORMATICA Prof. Dr. John-Jules Meyer Dr. R. Starmans Dr. J. Broersen n n wetenschaps n soorten wetenschap n van de informatica n inhoud college n werkwijze
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 informatieWiskunde 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 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 informatieHoofdstuk 1. we eerst in paragraaf 1.1 wat wij in dit boek onder logica zullen verstaan.
Hoofdstuk 1 Wat is Logica? Het woord logica wordt in uiteenlopende betekenissen gebruikt. Daarom bespreken we eerst in paragraaf 1.1 wat wij in dit boek onder logica zullen verstaan. Vervolgens zal in
Nadere informatieS e v e n P h o t o s f o r O A S E. K r i j n d e K o n i n g
S e v e n P h o t o s f o r O A S E K r i j n d e K o n i n g Even with the most fundamental of truths, we can have big questions. And especially truths that at first sight are concrete, tangible and proven
Nadere informatieEen (soort van) pleidooi voor ideeëngeschiedenis: Frege s logica en de traditionele filosofie
Een (soort van) pleidooi voor ideeëngeschiedenis: Frege s logica en de traditionele filosofie prof.dr. W.R. de Jong faculteit der Wijsbegeerte Een (soort van) pleidooi voor ideeëngeschiedenis: Frege s
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 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 informatieAcademisch schrijven Inleiding
- In this essay/paper/thesis I shall examine/investigate/evaluate/analyze Algemene inleiding van het werkstuk In this essay/paper/thesis I shall examine/investigate/evaluate/analyze To answer this question,
Nadere informatieLogica voor Informatica. predikatenlogica. Syntax van predikatenlogica. Mehdi Dastani Intelligent Systems Utrecht University
Logica voor Informatica predikatenlogica Syntax van predikatenlogica Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Syllogistische redeneringen Syllogistische redeneringen zoals
Nadere informatieDe computer en de metafoor
De computer en de metafoor Hoe metaforen een plek kunnen vinden in Fodors computationele beeld van de geest Leeronderzoek BA Wijsbegeerte Auteur: Francien Homan Begeleider: Dr. Menno Lievers UNIVERSITEIT
Nadere informatieTAALFILOSOFIE. Docenten: Dr. Rosja Mastop en Menno Lievers
TAALFILOSOFIE Docenten: Dr. Rosja Mastop en Menno Lievers WAT IS TAALFILOSOFIE? De plaats van taalfilosofie in de wijsbegeerte INLEIDING METAFYSICA ETHIEK LOGICA LOGICA I termen II oordelen III redeneringen
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 informatieOnbegrip in eenvoudige conversaties
Onbegrip in eenvoudige conversaties Conversaties vormen van oudsher de meest voorkomende toepassing van taal. Dit betekent echter niet dat ze probleemloos verlopen. Integendeel, in conversaties is opmerkelijk
Nadere informatieLorentz Lyceum. Datum: Onderwerp: Identiteit & samenleving
Lorentz Lyceum Datum: 3-4-2017 Onderwerp: Identiteit & samenleving Inhoudsopgave 1. Centrale vraag 2. Begripsverheldering 3. Plato s cave & Theseus s ship 4. Kant s Ruimte en Tijd 5. Vier vragen Immanuel
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 informatieHoofdstuk 2. De propositielogica houdt zich bezig met de analyse van proposities of beweringen,
Syntaxis van de Propositielogica Hoofdstuk 2 De propositielogica houdt zich bezig met de analyse van proposities of beweringen, enhun logische betrekkingen. Kenmerkend voor deze analyse is het onderscheid
Nadere informatieRekenen en meisjes ELLEKE KETELAARS 28 MEI 2015
Rekenen en meisjes ELLEKE KETELAARS 28 MEI 2015 Programma Overtuigingen ten aanzien van de verschillen tussen jongens en meisjes op het gebied van rekenen Wat zegt het onderzoek? Wat is de rol van de docent?
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 informatieCollege 4: Gegeneraliseerde Kwantoren
Semantiek CKI/CAI Utrecht, herfst 2008 College 4: Gegeneraliseerde Kwantoren Onderwerpen: NP denotaties als verzamelingen van verzamelingen, monotoniciteit bij kwantoren, determiner denotaties als relaties
Nadere informatieWat is een basis? Voorbeeld. Voorbeeld KRITISCH DENKEN. Bases zijn geïdentificeerd.. maar zijn ze ook goed? 17 Evalueren van Bases
Wat is een basis? KRITISCH DENKEN 17 Evalueren van Bases Een basis is elke vorm van ondersteuning die niet zelf een reden is Een basis(vak) geeft informatie over de basis van een reden of bezwaar. en:
Nadere informatieGroeperen. Het weldoordacht ordenen en weergeven van informatie. Groeperen van items. Groeperingprincipes kiezen. Geordend.
Overzicht Methodiek KRITISCH DENKEN met RATIONALE KRITISCH DENKEN Groeperen Redeneren Structureren Analyseren Evalueren Oordelen 4 Grondslagen van Redeneren I Het weldoordacht ordenen en informatie. Het
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 informatieKnowledge, chance, and change Kooi, Barteld
Knowledge, chance, and change Kooi, Barteld IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document
Nadere informatieNiet-feitelijke waarheden (2)
Niet-feitelijke waarheden (2) Emanuel Rutten Wat is waarheid? Er zijn weinig wijsgerige vragen die vaker zijn gesteld dan deze. In wat volgt ga ik er niet rechtstreeks op in. In plaats daarvan wil ik een
Nadere informatieDe Syntax-Semantiekredenering van Searle
De Syntax-Semantiekredenering van Searle Seminar AI Eline Spauwen 22 mei 2007 Searles kritiek op Harde KI Inleiding Ik Mijn afstudeeronderzoek: Student-assistentschappen Searles kritiek op KI Filosofie
Nadere informatieGödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3
Gödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3 Koen Rutten, Aris van Dijk 30 mei 2007 Inhoudsopgave 1 Verzamelingen 2 1.1 Definitie................................ 2 1.2 Eigenschappen............................
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 informatieDUALISME. René Descartes ( )
DUALISME René Descartes (1596-1650) HET CORPUSCULAIRE WERELDBEELD Galileo Galilei (veroordeling 1633 vanwege Dialogen) Descartes - Le Monde (voltooid in 1633) HET CORPUSCULAIRE WERELDBEELD PRIMAIRE QUALITEITEN
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 informatieFour-card problem. Input
Four-card problem The four-card problem (also known as the Wason selection task) is a logic puzzle devised by Peter Cathcart Wason in 1966. It is one of the most famous tasks in the study of deductive
Nadere informatieObservatieformulier Leerlijn Engelse taal (tpo) FASE 6
Kindgegevens: Voornaam Achternaam Geboortedatum Groep Observatieformulier Leerlijn Engelse taal (tpo) FASE 6 Thuistaal Opvoeding tweetalig n.v.t. ja nee notatiewijze: kijkpunt is nog niet in ontwikkeling
Nadere informatie