TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?

Maat: px
Weergave met pagina beginnen:

Download "TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?"

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

TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?

TAALFILOSOFIE. 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 informatie

TAALFILOSOFIE WAT IS BETEKENIS?

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

Indexicale Problemen voor Frege

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

TAALFILOSOFIE SYLLABUS

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

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

Woord en wereld Een inleiding tot de taalfilosofie

Woord 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 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 Sinn van fictie. Wouter Bouvy March 12, 2006

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

TAALFILOSOFIE WAT IS BETEKENIS?

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

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

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

Semantiek 1 college 8. Jan Koster

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

Gottlob Frege, Der Gedanke, 1918.

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

Meer oefenen. TI1300: Redeneren en Logica. Vertalen. Meerdere wegen leiden naar Rome

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

Nieuwe redeneringen. TI1300: Redeneren en Logica. Waar gaan deze uitdrukkingen over? Een nieuwe taal

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

Betekenis I: Semantiek

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

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

Pragmatiek. 6 juni 2009

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

Wat? Betekenis 2: lambda-abstractie. Boek. Overzicht van dit college. Anna Chernilovskaya. 7 juni 2011

Wat? 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 informatie

Homework assignment 7 (Intensionality)

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

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

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

Het ware belang van ambiguïteit

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

Semantiek van predicatenlogica en Tractatus

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

BEWUSTZIJN GEEST BEWUSTE GEEST DENKEN BEWUST-DENKEN

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

Inleiding. - Was Wittgenstein een Davidsoniaanse taalfilosoof of een anti-realist N.v.Ettinger

Inleiding. - 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 informatie

1. TRADITIONELE LOGICA EN ARGUMENTATIELEER

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

Nadere informatie

Kripke's puzzel, Quine en Davidson

Kripke'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 informatie

De mens. Een machine?

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

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

Inhoud. Voorwoord 7. 3 Syntaxis en semantiek van natuurlijke taal Zinnen Werelden en tijden 51

Inhoud. 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 informatie

Vraag Antwoord Scores. Opgave 1 Een sceptische schnauzer en een sceptische arts

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

Tractatus Logico-Philosophicus: Wittgensteins beeld van de logica

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

Essay Taalfilosofie. Maart Is Sinn in Frege's zin wel het juiste niveau van betekenis om het intersubjectieve karakter van kennis te garanderen?

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

Semantiek 1 college 2

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

Achtergrond bij de pragmatiek

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

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

Grice. Terug naar In Defence of a Dogma

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

Logica voor Informatica. predikatenlogica. Syntax van predikatenlogica. Mehdi Dastani Intelligent Systems Utrecht University

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

Betekenis 2: lambda-abstractie

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

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

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

Nadere informatie

Semantiek 1 college 1

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

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

Essay. Norbert Vogel* Morele feiten bestaan niet

Essay. 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 informatie

Is de predikaatopvatting van eigennamen definitief weerlegd?

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

Inleiding Cognitiefilosofie. 18 april 2018 Elsbeth Brouwer

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

Samenvatting. Bijlage B

Samenvatting. 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 informatie

J.F.M. Tonino. juli 1999

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

PDF hosted at the Radboud Repository of the Radboud University Nijmegen

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

i(i + 1) = xy + y = x + 1, y(1) = 2.

i(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 informatie

n filosofie n wetenschapsfilosofie n soorten wetenschap n filosofie van de informatica n inhoud college n werkwijze college

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

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

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

Nadere informatie

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

Hoofdstuk 1. we eerst in paragraaf 1.1 wat wij in dit boek onder logica zullen verstaan.

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

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

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

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

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

Academisch schrijven Inleiding

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

Logica voor Informatica. predikatenlogica. Syntax van predikatenlogica. Mehdi Dastani Intelligent Systems Utrecht University

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

De computer en de metafoor

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

TAALFILOSOFIE. Docenten: Dr. Rosja Mastop en Menno Lievers

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

Onbegrip in eenvoudige conversaties

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

Lorentz Lyceum. Datum: Onderwerp: Identiteit & samenleving

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

Hoofdstuk 2. De propositielogica houdt zich bezig met de analyse van proposities of beweringen,

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

Rekenen en meisjes ELLEKE KETELAARS 28 MEI 2015

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

College 4: Gegeneraliseerde Kwantoren

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

Wat is een basis? Voorbeeld. Voorbeeld KRITISCH DENKEN. Bases zijn geïdentificeerd.. maar zijn ze ook goed? 17 Evalueren van Bases

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

Groeperen. Het weldoordacht ordenen en weergeven van informatie. Groeperen van items. Groeperingprincipes kiezen. Geordend.

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

Knowledge, chance, and change Kooi, Barteld

Knowledge, 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 informatie

Niet-feitelijke waarheden (2)

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

De Syntax-Semantiekredenering van Searle

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

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

DUALISME. René Descartes ( )

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

Four-card problem. Input

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

Observatieformulier Leerlijn Engelse taal (tpo) FASE 6

Observatieformulier 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