TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?

Vergelijkbare documenten
Gottlob Frege, Der Gedanke, 1918.

TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?

TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?

TAALFILOSOFIE. Overkoepelende vraag: WAT IS BETEKENIS?

Semantiek 1 college 4. Jan Koster

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

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

Indexicale Problemen voor Frege

Samenvatting. Bijlage B

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

1 Logica a. tautologie -1-

foundationalist: Er zijn zelf-evidente, en dus zelfrechtvaardigende, overtuigingen. Er zijn zelf-evidente, waarheidsbehoudende inferentieregels.

Gödels Onvolledigheidsstellingen

Woord en wereld Een inleiding tot de taalfilosofie

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

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

TAALFILOSOFIE WAT IS BETEKENIS?

De Sinn van fictie. Wouter Bouvy March 12, 2006

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

Semantiek 1 college 8. Jan Koster

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

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

Vraag Antwoord Scores

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

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

Ratio en Rede. essays

PROPOSITIELOGICA. fundament voor wiskundig redeneren. Dr. Luc Gheysens

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:

Caleidoscoop: Logica

Het nutteloze syllogisme

Helden van de wiskunde: L.E.J. Brouwer Brouwers visie vanuit een logica-informatica perspectief

Wat is er mis met Ruttens modaal-epistemische argument? Victor Gijsbers

Essay. Norbert Vogel* Morele feiten bestaan niet

TAALFILOSOFIE SYLLABUS

Logica 1. Joost J. Joosten

Openingstoespraak Debat Godsargument VU Faculteit der Wijsbegeerte 11 April Emanuel Rutten

1. TRADITIONELE LOGICA EN ARGUMENTATIELEER

Niet-feitelijke waarheden (2)

Logica 1. Joost J. Joosten

Statistiek voor A.I. College 10. Dinsdag 16 Oktober

Logica 1. Joost J. Joosten

Radix, Tijdschrift over geloof en wetenschap, Jaargang 38, #3, 2012, pp Een modaal-epistemisch argument voor het bestaan van God

Logica als een oefening in Formeel Denken

Logica 1. Joost J. Joosten

Kansrekening en Statistiek

Proposities. Hoofdstuk 2

Achtergrond bij de pragmatiek

Formeel Denken. Herfst 2004

Voortgezette Logica, Week 2

Logica op het Leonardo. Een inleiding

Semantiek 1 college 1

Stappen. Evalueren van redenen. (overigens ) Evalueren van een bewering KRITISCH DENKEN. 18 Evalueren van Beweringen en Redenen.

De mens. Een machine?

De actualiteit van een vergeten filosoof: Charles S. Peirce ( ) dr. mr. Kees Schuyt Vereniging voor Wijsbegeerte 17 oktober 2017

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

De naïeve betekenistheorie. De betekenis van een woord is het object waar dat woord voor staat.

Logica 1. Joost J. Joosten

Ludwig Wittgenstein ( ) Filosofie in de twintigste eeuw (part II)

Semantiek 1 college 10. Jan Koster

Dat wat is, is waar. Specialisatiecollege Schoonheid en Waarheid Jacolien Schreuder Studentnummer

Propositionele logica

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

Wiskundige beweringen en hun bewijzen

Logica 1. Joost J. Joosten

naar: Jed McKenna, Jed McKenna s theorie van alles, Samsara, 2014

Inleiding logica Inleveropgave 3

Wie A zegt moet B zeggen

Excerpt. Laurence Bonjour, In defense of pure reason: A rationalist account of a priori justification Cambridge University Press, G.J.E.

Kansrekening en Statistiek

Alles wat mogelijk waar is, is kenbaar Het modaal-epistemisch argument

Opdrachten Tarski s World

Hoe Gödel de wiskunde liet schrikken

Woordenlijst Het oog in de storm

Titel: Wittgenstein s Tractatus Logico Philosophicus Door: G.J.E. Rutten, Amsterdam 3 Augustus Inleiding

FILOSOFIE VAN DE WISKUNDE. Filosofische stromingen in de wiskunde. De genetische methode. Voorbeeld van de gen. meth.

Geloven en redeneren. Samenvatting

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

Onbegrip in eenvoudige conversaties

De betekenis(sen) van conditionele zinnen

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

Verschenen in Radix, Tijdschrift over geloof en wetenschap, Jaargang 38, #4, 2012

Keuze-Axioma en filosofische vragen over de Wiskunde

Taalhandelingen (speech acts)

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

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

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

Handout Natuurlijke Deductie

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

Semantiek van predicatenlogica en Tractatus

Tata en Metata. Albert Visser. 1. The name of the song is called Haddocks Eyes. 2. The name of the song is The Aged Aged Man.

Tractatus Logico-Philosophicus: Wittgensteins beeld van de logica

Grice. Terug naar In Defence of a Dogma

Ludwig Wittgenstein ( ) Filosofie in de twintigste eeuw

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

Gödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3

achtergronden en lessuggesties voor Logisch redeneren

Logic for Computer Science

Verzamelingen. Hoofdstuk 5

ARGUMENTEREN EN REDENEREN

Is de predikaatopvatting van eigennamen definitief weerlegd?

Transcriptie:

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 redeneren

DER GEDANKE Logische geldigheid: Leid nooit uit ware praemissen een onware conclusie af. of? De conclusie mag nooit strijdig (inconsistent) zijn met de praemissen.

DER GEDANKE Twee opvattingen van logica: Logica is de wetenschap van de waarheid. (Quine) Logica bestudeert de regels van het geldig redeneren die een logisch subject moet volgen. (Brouwer Intuitionisme)

DER GEDANKE Wetten van de waarheid: Beginsel van non-contradictie - (A & -A) Beginsel van de uitgesloten derde A v -A

DER GEDANKE Uit de wetten van het waar-zijn volgen nu de wetten van het voor waar houden. (p. 58) Cf. de stelling van Pythagoras

DER GEDANKE Sollen Müssen

DER GEDANKE Wir sollen keine Aussage für wahr halten, die im Widerspruch steht zu einem Denkgesetz.

DER GEDANKE Waar-zijn Voor-waar-houden

DER GEDANKE Een definitie van waarheid is onmogelijk. Definiëns - Definiendum

DER GEDANKE Paradox van analyse Ofwel het analysans is identiek aan betekenis met het analysandum, maar dan is de analyse niet informatief. Ofwel ze zijn niet identiek, maar dan is de analyse verkeerd.

CORRESPONDENTIE-THEORIE COHERENTIE-THEORIE PRAGMATISCHE THEORIE REDUNDANTIE-THEORIE MINIMALISTISCHE THEORIE TARSKI S SEMANTISCHE WAARHEIDSDEFINITIE

CORRESPONDENTIE-THEORIE ARISTOTELES: ZEGGEN VAN DAT WAT IS, DAT HET NIET IS, EN VAN DAT WAT NIET IS, DAT HET IS, IS ONWAAR, MAAR ZEGGEN VAN DAT WAT IS, DAT HET IS, EN VAN DAT WAT NIET IS, DAT HET NIET IS, IS WAAR. METAFYSICA, 1011 B 26

EEN BEWERING IS WAAR, INDIEN DIE CORRESPONDEERT MET EEN STAND VAN ZAKEN IN DE WERKELIJKHEID

DUS: WAARHEID BESTAAT UIT RELATIE TUSSEN 2 RELATA RELATIE = CORRESPONDENTIE RELATUM 1 = BEWERING/GEDACHTE/PROPOSITIE RELATUM 2 = FEIT/STAND VAN ZAKEN

PROBLEMEN VOOR CORRESPONDENTIE-THEORIE 1.WAT ZIJN DE RELATA? 2.WAT IS DAT VOOR RELATIE?

PROBLEEM 1. RELATUM 1: WAT IS DE DRAGER VAN DE WAARHEIDSWAARDE? (ALGEMEEN PROBLEEM VOOR ALLE WAARHEIDSTHEORIEËN)

GEBRUIKELIJK ANTWOORD: DE DRAGER VAN DE WAARHEIDSWAARDE IS DE GEDACHTE DIE ONDER WOORDEN WORDT GEBRACHT IN EEN ACT VAN ASSERTEREN VAN EEN BEWEERZIN.

ALTERNATIEF (VERDEDIGD DOOR O.A. QUINE) DRAGER VAN DE WAARHEIDSWAARDE IS EEN TOKEN-ZIN

FREGE in Der Gedanke: Beelden Voorstellingen Zinnen gedachten

WAT ZIJN STANDEN VAN ZAKEN? PROBLEEM: IS HET MOGELIJK TE ZEGGEN WAT STANDEN VAN ZAKEN ZIJN ZONDER DE DESBETREFFENDE ZIN TE GEBRUIKEN? OF BESTAAT ER EEN INTERNE RELATIE TUSSEN EEN BEWEERZIN EN EEN (MOGELIJKE) STAND VAN ZAKEN?

WAT ZIJN DE CRITERIA VAN IDENTITEIT VAN STANDEN VAN ZAKEN (WAARHEIDSMAKERS)?

WAT IS DAT VOOR RELATIE, CORRESPONDENTIE? RUSSELL: CONGRUENTIE AUSTIN: CORRELATIE FREGE: WAARHEID IS EIGENSCHAP GEEN RELATIE

RUSSELL CORRESPONDENTIE IS CONGRUENTIE LOGISCHE STRUCTUUR VAN PROPOSITIE IS ISOMORF MET LOGISCHE STRUCTUUR VAN STAND VAN ZAKEN

J. L. AUSTIN (1911-1960) TRUTH IS CORRELATION CORRESPONDENTIE IS CONVENTIONEEL GEEN CONGRUENTIE, WANT ER BESTAAN ZINNEN VAN 1 WOORD DIE GEEN LOGISCHE ISOMORFIE BEZITTEN MET STAND VAN ZAKEN IN DE WERKELIJKHEID VAGE UITSPRAKEN RUUD GEELS IS KAAL

ALGEMENE BEZWAREN TEGEN CORRESPONDENTIE-THEORIE CORRESPONDENTIE IS RELATIE, WAARHEID IS EIGENSCHAP CORRESPONDENTIE IS GRADUEEL, WAARHEID ABSOLUUT RELATA ZIJN NIET TE VERGELIJKEN

COHERENTIE-THEORIE EEN PROPOSITIE IS WAAR, INDIEN EN ALLEEN INDIEN DIE PROPOSITIE COHERENT IS MET ALLE ANDERE PROPOSITIES DIE VOOR WAAR WORDEN GEHOUDEN

RUSSELL S OBJECTIE: BISHOP STUBBS WAS HANGED FOR MURDER. TEGENWERPING: HET GAAT OM ALLE PROPOSITIES DIE VOOR WAAR WORDEN GEHOUDEN!

FUNDAMENTEEL BEZWAAR TEGEN COHERENTIE-THEORIE Q: OP GROND WAARVAN WORDT PROPOSITIE VOOR WAAR GEHOUDEN? A: BEWIJS! Q: DUS ALLE WARE PROPOSITIES ZIJN BEWEZEN? A: JA!

OBJECTIE: IS BEWEZEN ZIJN EEN GARANTIE VOOR WAARHEID? SOMS BLIJKEN BEWEZEN PROPOSITIES LATER ONWAAR TE ZIJN! HOE KAN DAT? ANTWOORD: IDEALE EPISTEMOLOGISCHE OMSTANDIGHEDEN

OBJECTIE: WAT ZIJN DAT VOOR OMSTANDIGHEDEN? OM DE COHERENTIE-THEORIE TE REDDEN MOET MEN EEN BEROEP OP IDEALE EPISTEMOLOGISCHE OMSTANDIGHEDEN, WAARBIJ MEN EEN BEROEP MOET DOEN OP EEN WERKELIJKHEID BUITEN HET SUBJECT, WAARDOOR MEN EEN BEROEP MOET DOEN OP DE INTUÏTIE VAN DE CORRESPONDENTIE- THEORIE.

PRAGMATISCHE THEORIE EEN PROPOSITIE IS WAAR, INDIEN EN ALLEEN HET NUTTIG IS DE OVERTUIGING TE HEBBEN DAT DIE PROPOSITIE WAAR IS.

AMERIKAANS PRAGMATISME: C. S. PEIRCE WILLIAM JAMES JOHN DEWEY RICHARD RORTY

PROBLEMEN: NUTTIG VOOR WIE? SPREKER? TAALGEMEENSCHAP? MAAKT WAARHEID RELATIEF! CONTRA-INTUÏTIEF: WAARHEID IS OBJECTIEF, NIET INTERSUBJECTIEF

CIRCULAIR: WAT WAAR IS, IS NUTTIG. WAT NUTTIG IS, IS WAAR. PROBLEEM: NUTTELOZE WAARHEDEN NUTTIGE WAARHEDEN

REDUNDANTIE-THEORIE VAN DE WAARHEID FRANK P. RAMSEY (1904-1930) TO SAY THAT P IS TRUE, IS TO SAY THAT P. VERDER IS ER NIETS INTERESSANTS TE ZEGGEN OVER WAARHEID.

INZICHT: EQUIVALENTIE (DISQUATIONELE EIGENSCHAP VAN WAARHEID) P IS WAAR <----> P

MINIMALISTISCHE THEORIE VAN DE WAARHEID PAUL HORWICH WAAR IS NUTTIG PREDICAAT, OMDAT WE VAAK ZINNEN ZEGGEN ALS ALLES WAT DE PAUS ZEGT IS WAAR. ZONDER ALLE INDIVIDUELE UITSPRAKEN TE KENNEN DIE DE PAUS ZEGT.

N.B. EQUIVALENTIE-EIST DAT: P IS WAAR <---> P DAN MOET JE DUS ALLE INDIVIDUELE UITSPRAKEN VAN DE PAUS OPSOMMEN.

PROBLEEM VOOR MINIMALISME: SEMANTISCHE PARADOX: DE PROPOSITIE DAT DEZE PROPOSITIE ONWAAR IS IS WAAR <----> DEZE PROPOSITIE IS ONWAAR