Saul Kripke. Stefan Wintein (Erasmus University Rotterdam) / 62

Transcriptie

1 Saul Kripke Stefan Wintein (Erasmus University Rotterdam) / 62

2 Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) 2 / 62

3 Saul Kripke (1940 ) Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) 13 november 1940, Bay Shore, New York 3 / 62

4 Saul Kripke (1940 ) Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) Momenteel is Kripke hoogleraar aan de City University New York en emeritus hoogleraar aan Princeton University. 4 / 62

5 Een belangrijk denker Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) Enkele belangrijke bijdragen aan de filosofie: (1) Kripke semantiek voor modale en gerelateerde logica s. (2) Zijn interpretatie van Wittgenstein (Wittgenstein on Rules and Private language) (3) Zijn theorie over waarheid (Outline of a Theory of Truth) (4) Naming and Necessity, dat de taalfilosofie op haar kop zette. (ook belangrijke bijdragen aan verzamelingenleer en wiskundige logica) 5 / 62

6 Een belangrijk denker Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) Enkele belangrijke bijdragen aan de filosofie: (1) Kripke semantiek voor modale en gerelateerde logica s. (2) Zijn interpretatie van Wittgenstein (Wittgenstein on Rules and Private language) (3) Zijn theorie over waarheid (Outline of a Theory of Truth) (4) Naming and Necessity, dat de taalfilosofie op haar kop zette. (ook belangrijke bijdragen aan verzamelingenleer en wiskundige logica) Saul A. Kripke is one of the most creative and influential philosophers of the twentieth century. It is not an exaggeration to say that he helped change the face of analytic philosophy in the last half of the century G.W. Fitch He is the one true genius of our profession. R. Nozick 5 / 62

7 Saul Kripke, Omaha, Nebraska Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) Kripke schreef een artikel waarin hij volledigheid van diverse modale logica s bewees. Het wiskunde departement van Harvard was hier erg van onder indruk en wilde hem uitnodigen voor een sollicitatiegesprek. Onderaan het artikel stond Saul Kripke, Omaha, Nebraska en de universiteit van Nebraska werd aangeschreven. Kripke werkte daar niet en brief werd doorgestuurd naar Kripke s huis. 6 / 62

8 Saul Kripke, Omaha, Nebraska Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) Kripke schreef een artikel waarin hij volledigheid van diverse modale logica s bewees. Het wiskunde departement van Harvard was hier erg van onder indruk en wilde hem uitnodigen voor een sollicitatiegesprek. Onderaan het artikel stond Saul Kripke, Omaha, Nebraska en de universiteit van Nebraska werd aangeschreven. Kripke werkte daar niet en brief werd doorgestuurd naar Kripke s huis. Thank you for inviting me to apply for a position in your mathematics department, but my mother said I should finish high school and go to college first. (Kripke was 18 jaar toen zijn baanbrekende paper gepubliceerd werd.) 6 / 62

9 Over Kripke s (analytische) stijl van filosofie Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) Kripke is geen systeem-bouwer zoals b.v. Kant maar eerder een oplosser van paradoxen en filosofische problemen. [The cluster concept theory of names] really is a nice theory. The only defect I think it has is probably common to all philosophical theories. It s wrong. You may suspect me of proposing another theory in its place; but I hope not, because I m sure it s wrong too it if is a theory. (Kripke, NN) To repeat, I may not have presented a theory, but I do think that I have presented a better picture than that given by description theorists (Kripke, NN) In zijn filosofische werk waarbij hij vaak gebruik van (zijn eigen) formeel logische werk, maar : There is no mathematical substitute for philosophy. (Kripke, 1976) 7 / 62

10 Naming and Necessity (1980) Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) Drie lezingen gegeven (zonder aantekeningen!) in 1970 in Princeton. Opgenomen, uitgeschreven door Gilbert Harman en Thomas Nagel en voorzien van voetnoten en voorwoord door Kripke. 8 / 62

11 Philosophical Analysis in the20 th century (p336) Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) In the philosophy of language, Naming and Necessity is among the most important works ever. Beyond the philosophy of language, it fundamentally changed the way in which much philosophy is done. The most important aspects of the work are: (i) a set of theses about the meaning and reference of proper names. (ii) a corresponding set of theses about the meaning and reference of natural kind terms such as heat, light, gold, water and tiger. (iii) a compelling defense of the metaphysical concepts of necessity and possibility. (iv) a sharp distinction between the metaphysical notion of necessity and the epistemological notion of a prioricity (v) forceful arguments that there are necessary truths that are knowable a posteriori, and a priori truths that are contingent (vi) A persuasive defense of the intelligibility of essentialism. 9 / 62

12 Philosophical Analysis in the20 th century (p336) Saul Kripke (1940 ) Saul Kripke (1940 ) Een belangrijk denker Saul Kripke, Omaha, Nebraska Over Kripke s (analytische) stijl van filosofie Naming and Necessity (1980) Philosophical Analysis in the20 th century (p336) In the philosophy of language, Naming and Necessity is among the most important works ever. Beyond the philosophy of language, it fundamentally changed the way in which much philosophy is done. The most important aspects of the work are: (i) a set of theses about the meaning and reference of proper names. (ii) a corresponding set of theses about the meaning and reference of natural kind terms such as heat, light, gold, water and tiger. (iii) a compelling defense of the metaphysical concepts of necessity and possibility. (iv) a sharp distinction between the metaphysical notion of necessity and the epistemological notion of a prioricity (v) forceful arguments that there are necessary truths that are knowable a posteriori, and a priori truths that are contingent (vi) A persuasive defense of the intelligibility of essentialism. Ik hoop u wat inzicht te geven in genoemde aspecten van Naming and Necessity. 9 / 62

13 Oneindig veel zinnen, eindig veel middelen Recursiviteit Compositionaliteit Taalfilosofie en betekenis Een rudimentaire betekenistheorie: referentialisme Singuliere termen, namen en uniek bepalende beschrijvingen Naam Referentialisme en Millianisme over taal en betekenis 10 / 62

14 Oneindig veel zinnen, eindig veel middelen Oneindig veel zinnen, eindig veel middelen Recursiviteit Compositionaliteit Taalfilosofie en betekenis Een rudimentaire betekenistheorie: referentialisme Singuliere termen, namen en uniek bepalende beschrijvingen Naam Referentialisme en Millianisme Language is a system that makes infinite use of finite means. (W. von Humboldt) Jan slaapt. Jan slaapt op de bank. Jan slaapt op de grote bank. Jan slaapt op de grote, grote bank Jan slaapt op de grote, grote... bank De vader van Jan slaapt op de grote bank. De vader van de vader van Jan slaapt op de grote bank. De vader van de vader van... van Jan slaapt op de grote bank. Een eindig aantal basiswoorden en regels (infinite means) stelt ons in staat om oneindig veel zinnen te produceren (infinite use). Mogelijk omdat syntaxis ( opbouw van zinnen) van taal recursief is. 11 / 62

15 Recursiviteit Oneindig veel zinnen, eindig veel middelen Recursiviteit Compositionaliteit Taalfilosofie en betekenis Een rudimentaire betekenistheorie: referentialisme Singuliere termen, namen en uniek bepalende beschrijvingen Naam Referentialisme en Millianisme Stel dat ik een feestje wil geven en de volgende gastlijst op wil stellen. Mijn vrienden zijn uitgenodigd. Vrienden van mijn vrienden zijn uitgenodigd. Vrieden van vrienden van... - De bedoelde lijst geraakt nooit af. Maar ik kan de lijst recursief definiëren: (i) Mijn vrienden zijn uitgenodigd. (ii) Alsxeen vriend is van iemand die is uitgenodigd, dan isx uitgenodigd. - De eindige recursieve definitie specificeert een oneindige lijst. Deze recursiviteit is ook aanwezig in (syntaxis van) taal: (i) Jan is een nominale constituent (Noun Phrase). (ii) Alsxeen NP is dan is de vader vanx ook een NP. 12 / 62

16 Compositionaliteit Oneindig veel zinnen, eindig veel middelen Recursiviteit Compositionaliteit Taalfilosofie en betekenis Een rudimentaire betekenistheorie: referentialisme Singuliere termen, namen en uniek bepalende beschrijvingen Naam Referentialisme en Millianisme Er zijn bovendien oneindig veel zinnen die iets anders betekenen en waarvan we weten wat ze betekenen; we begrijpen zelfs zinnen die we nog nooit eerder gehoord hebben: Gisteren toen ik op weg was naar de plastic cowboyhoeden fabriek zag ik op twee verschillende plaatsen politieagenten cupcakes verkopen uit ruimtevaartuigen waarop geel en groene strepen geschilderd waren. Het is onmogelijk om de betekenis van oneindig veel zinnen afzonderlijk te leren. Hoe kan het dan dat we in staat zijn om oneindig veel zinnen begrijpen? Compositionaliteit: de betekenis van samengestelde uitdrukkingen (zoals zinnen) hangt af van en hangt alleen af van de betekenissen van de samenstelde delen en de wijze van samen. 13 / 62

17 Taalfilosofie en betekenis Oneindig veel zinnen, eindig veel middelen Recursiviteit Compositionaliteit Taalfilosofie en betekenis Een rudimentaire betekenistheorie: referentialisme Singuliere termen, namen en uniek bepalende beschrijvingen Naam Referentialisme en Millianisme Merk op dat het compositionaliteits principe niets zegt over wat betekenis is. Taalfilosofie houdt zich o.a. bezig met de vraag naar de aard van betekenis. Hoe kunnen we verklaren dat bepaalde geluiden en inscripties betekenis hebben?... sommige uitdrukkingen dezelfde betekenis hebben?... een enkele uitdrukking meer dan een betekenis kan hebben? 14 / 62

18 Een rudimentaire betekenistheorie: referentialisme Oneindig veel zinnen, eindig veel middelen Recursiviteit Compositionaliteit Taalfilosofie en betekenis Een rudimentaire betekenistheorie: referentialisme Singuliere termen, namen en uniek bepalende beschrijvingen Naam Referentialisme en Millianisme We hebben afgesproken dat sommige geluiden / inscripties ( woorden ) voor dingen in de wereld staan. Referentialisme: de betekenis van een uitdrukking is het ding / zijn de dingen waar het woord voor staat (naar verwijst / refers to.) (1) De kat zit op de mat zin (1) verwijst naar een situatie waarin er een kat op een mat zit, de kat verwijst naar de betreffende kat, de mat verwijst naar de betreffende mat, zit op verwijst naar de relatie zitten op. Referentialisme geeft op het eerste gezicht redelijke verklaring voor betekenisvragen, maar: waarnaar verwijzen woorden als langzaam, veel, of, niet, de... naar welke situatie verwijst moorden is slecht? Zelfs Naam Referenitalisme kent al vele problemen. 15 / 62

19 Singuliere termen, namen en uniek bepalende beschrijvingen Oneindig veel zinnen, eindig veel middelen Recursiviteit Compositionaliteit Taalfilosofie en betekenis Een rudimentaire betekenistheorie: referentialisme Singuliere termen, namen en uniek bepalende beschrijvingen Naam Referentialisme en Millianisme Het doel van een singuliere term (singular term) is om een (enkel) object of individu aan te duiden. - Namen: George, Rotterdam, Mars, Feyenoord, Sinterklaas... - Uniek bepalende beschrijvingen (definite descriptions). de moeder van George, de minister-president van Nederland in 2000, het grootste priemgetal... (Persoonlijke voornaamwoorden: hij, ik, jij... ) Algemene termen: goud, water, tijger, wijsheid, burger, hond,... (Hoe we het onderscheid tussen singuliere en algemene termen precies moeten maken (en of dit kan) is een filosofisch debat (Quine /Strawson)) 16 / 62

20 Naam Referentialisme en Millianisme Oneindig veel zinnen, eindig veel middelen Recursiviteit Compositionaliteit Taalfilosofie en betekenis Een rudimentaire betekenistheorie: referentialisme Singuliere termen, namen en uniek bepalende beschrijvingen Naam Referentialisme en Millianisme There is a well-known doctrine of John Stuart Mill, in his book A system of Logic, that names have denotation but no connotation. (Kripke, p193) Millianisme: De enige bijdrage die een naam levert aan de betekenis van een zin waarin hij gebruikt wordt is zijn referent. Naam Referentialisme: de betekenis van een naam is zijn referent. The classical tradition of modern logic has gone very strongly against Mill s view. Frege and Russel both thought, and seemed to arrive at these conclusions independently of one another, that Mill was wrong in a very strong sense: really a proper name, properly used, simply was a definite description (uniek bepalende beschrijving) abbreviated or disguised. (Kripke, p193) - Wat is de Frege-Russell visie en waarom dachten Frege en Russell dat Mill ongelijk had? Vier problemen voor Millianisme en Naam Referentialisme. 17 / 62

21 Problemen : Atlantis en Sherlock Holmes Problemen: Mark Twain / S.L. Clemens Problemen: Mark Twain / S.L. Clemens Millianisme (en Naam Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming and Necessity 18 / 62

22 Problemen : Atlantis en Sherlock Holmes Problemen : Atlantis en Sherlock Holmes Problemen: Mark Twain / S.L. Clemens Problemen: Mark Twain / S.L. Clemens (1) Atlantis is opgegaan in de zee. - De bijdrage van Atlantis aan de betekenis van (1) is haar referent. - Atlantis heeft geen referent. - Maar dan heeft zin (1) ook geen betekenis, (of dezelfde betekenis als b.v. Sherlock Holmes is opgegaan in de zee ) Maar zin (1) is (lijkt) betekenisvol. (2) Sherlock Holmes bestaat niet. Zin (2) is (lijkt) niet alleen betekenisvol maar ook waar. - Maar volgens het Millianisme heeft (2) geen betekenis. Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming and Necessity 19 / 62

23 Problemen: Mark Twain / S.L. Clemens Problemen : Atlantis en Sherlock Holmes Problemen: Mark Twain / S.L. Clemens Problemen: Mark Twain / S.L. Clemens Samuel Langhorne Clemens ( ), beter bekend onder zijn schrijversnaam Mark Twain, was een Amerikaanse schrijver en humorist. (3a) Samuel Langhorne Clemens is Samuel Langhorne Clemens. (3b) Samuel Langhorne Clemens is Mark Twain. - Millianisme /Naam Referentialisme: de betekenis van (3a) en (3b) is hetzelfde. - Maar zin (3a) is waar en informatief en (3b) is triviaal waar. Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming and Necessity 20 / 62

24 Problemen: Mark Twain / S.L. Clemens Problemen : Atlantis en Sherlock Holmes Problemen: Mark Twain / S.L. Clemens Problemen: Mark Twain / S.L. Clemens Samuel Langhorne Clemens ( ), beter bekend onder zijn schrijversnaam Mark Twain, was een Amerikaanse schrijver en humorist. Twain werd vooral bekend door zijn romans De Lotgevallen van Tom Sawyer en De Lotgevallen van Huckleberry Finn. (4a) Albert gelooft dat Mark Twain De lotgevallen van Tom Sawyer schreef. (4b) Albert gelooft dat S.L. Clemens De lotgevallen van Tom Sawyer schreef. Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming and Necessity - Milleanisme / Naam Referentialisme: betekenis (4a) = betekenis (4b). - En dus: waarheidswaarde (4a) = waarheidswaarde (4b). - Maar (4a) kan waar zijn terwijl (4b) dit niet is. 21 / 62

25 De logische vorm van een zin Russell: uniek bepalende beschrijvingen en logische vorm Russell s Naam Twee aantrekkelijke eigenschappen van de Naam Problemen oplossen met de Naam Frege én Russell Gottlob Frege ( ): Sense 22 / 62

26 De logische vorm van een zin De logische vorm van een zin Russell: uniek bepalende beschrijvingen en logische vorm Russell s Naam Twee aantrekkelijke eigenschappen van de Naam Problemen oplossen met de Naam A: Jan ziet niemand (i) B: Wie ziet Jan? A: Niemand. B: En hoe ziet niemand eruit? Frege én Russell Gottlob Frege ( ): Sense 23 / 62

27 De logische vorm van een zin De logische vorm van een zin Russell: uniek bepalende beschrijvingen en logische vorm Russell s Naam Twee aantrekkelijke eigenschappen van de Naam Problemen oplossen met de Naam Frege én Russell Gottlob Frege ( ): Sense A: Jan ziet niemand (i) B: Wie ziet Jan? A: Niemand. B: En hoe ziet niemand eruit? - B is verward: denkt dat niemand een singuliere term is. - De logische vorm van (i): xzien(jan, x) - De logische vorm van (i) laat duidelijk zien dat niemand geen singuliere term is maar een quantor. Russell ( ): Evenzo laat de logische vorm van zinnen met daarin uniek bepalende beschrijvingen (de zus en zo) zien dat dit geen singuliere termen zijn. 23 / 62

28 Russell: uniek bepalende beschrijvingen en logische vorm De logische vorm van een zin Russell: uniek bepalende beschrijvingen en logische vorm Russell s Naam Twee aantrekkelijke eigenschappen van de Naam Problemen oplossen met de Naam Frege én Russell Gottlob Frege ( ): Sense (i) De koning van Frankrijk is kaal. - Er is tenminste een koning van Frankijk. xkf(x) - Er is hoogstens een koning van Frankrijk. x[kf(x) y(kf(y) x=y)] - Wie koning van Frankrijk is, is kaal. x(kf(x) Ka(x)) Volgens Russell is (ii) de logische vorm van (i): (ii) x[kf(x) y(kf(y) y=x Ka(x))] (ii) bevat geen uniek bepalende beschrijving (de koning van Frankrijk) wel een predicaat (koning van Frankrijk) en quantoren (, ). Russell: betekenis (i) = betekenis (ii) en dus is (i) onwaar. 24 / 62

29 Russell s Naam De logische vorm van een zin Russell: uniek bepalende beschrijvingen en logische vorm Russell s Naam Twee aantrekkelijke eigenschappen van de Naam Problemen oplossen met de Naam Russell: betekenis van naam is niet zijn referent. Naam : de betekenis van een naamn(voors opt) is dezelfde als die van een beschrijvingb n die (doors opt) met de naam geassocieerd wordt. (Naam zegt niks over wat betekenis is) - Betekenis van Napoleon is dezelfde als die van de keizer van Frankrijk die in 1815 verslagen werd bij Waterloo. Frege én Russell Gottlob Frege ( ): Sense 25 / 62

30 Twee aantrekkelijke eigenschappen van de Naam A: Ik ga vanmiddag eten met Samuel Langhorne Clemens. B: Met wie? A: Met Clemens, de schrijver van De lotgevallen van Tom Sawyer, De logische vorm van een zin Russell: uniek bepalende beschrijvingen en logische vorm Russell s Naam Twee aantrekkelijke eigenschappen van de Naam Problemen oplossen met de Naam Frege én Russell Gottlob Frege ( ): Sense A: Ik ga vanmiddag eten met Jan Smit. B: Met die Volendamse volkszanger? A: Nee, met de vader van mijn kinderen. Aantrekkelijke eigenschap I: intuïtief plausibel. Aantrekkelijke eigenschap II: lost voornoemde problemen op. De betekenis van een zin waarin een naamnvoorkomt, is dezelfde als die van de zin waarinnvervangen wordt doorb n, en een analyse van de logische vorm van zin metb n lost probleem op. 26 / 62

31 Problemen oplossen met de Naam De logische vorm van een zin Russell: uniek bepalende beschrijvingen en logische vorm Russell s Naam Twee aantrekkelijke eigenschappen van de Naam Problemen oplossen met de Naam Frege én Russell Gottlob Frege ( ): Sense (1) Sherlock Holmes bestaat niet. Betekenis van Sherlock Holmes is dezelfde als die van, zeg, de legendarische Engelse Detective die in Baker Street woonde. (2) De legendarische Engelse detective die in Baker Street woonde bestaat niet. (3) x[d(x) y(d(y) y=x)] - Zin (3) laat zien dat (1) waar is. - Evenzo zal Atlantis is opgegaan in de zee als niet waar worden geanalyseerd. - En een spreker kan verschillende beschrijvingen associëren met Mark Twain en Samuel Langhorne Clemens, waardoor we niet dezelfde betekenis aan S.L. Clemens en Mark Twain moeten toeschrijven. 27 / 62

32 Frege én Russell De logische vorm van een zin Russell: uniek bepalende beschrijvingen en logische vorm Russell s Naam Twee aantrekkelijke eigenschappen van de Naam Problemen oplossen met de Naam Frege én Russell Gottlob Frege ( ): Sense Frege and Russell both thought, and seemed to arrive at these conclusions independently of each other, that Mill was wrong in a very strong sense.... (Kripke p193) Frege-Russell view Naam. Frege dacht dat de betekenis van een naamn(en beschrijvingb n ) gegeven werd door de sense van de naam. Sense wijze waarop de referent gegeven wordt (mode of presentation) Atlantis en Sherlock Holmes hebben wel een sense maar geen referent, De sense van S.L. Langhorne is een andere die van Mark Twain. Sense is een abstracte entiteit, waar Russell niks van moest hebben. 28 / 62

33 Gottlob Frege ( ): Sense De logische vorm van een zin Russell: uniek bepalende beschrijvingen en logische vorm Russell s Naam Twee aantrekkelijke eigenschappen van de Naam Problemen oplossen met de Naam Frege én Russell Gottlob Frege ( ): Sense Laat een driehoek zijn en laata,bencde zwaartelijnen van zijn (een zwaartelijn in een driehoek is een lijn van een hoekpunt naar het midden van de tegenoverliggende zijde) I: snijpunt vanaenbis het snijpunt vanbenc. Als de betekenis (van een uniek bepalende beschrijving) de referent is, dan betekent de hetzelfde als II: II: snijpunt vanaenbis het snijpunt vanaenb. Maar I moeten we bewijzen en II is triviaal. So we have different designations for the same point, and these [designations] ( point of intersection ofaandb, point of intersection ofbandc ) likewise indicate the mode of presentation; and hence the statement contains actual knowledge. Frege, Über Sinn und Bedeutung 29 / 62

34 Van de Naam naar de Cluster Naam (Searle) en Noodzakelijkheid Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming 30 / 62

35 Van de Naam naar de Cluster Naam Van de Naam naar de Cluster Naam (Searle) en Noodzakelijkheid Many people have said that the theory of Frege and Russell is false, but, in my opinion, they have abandoned its letter while retaining its spirit, namely, they have used the notion of a cluster concept. Well, what is this? (Kripke, p195) Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming 31 / 62

36 (Searle) Van de Naam naar de Cluster Naam (Searle) en Noodzakelijkheid Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming (1) Aristoteles was de leraar van Alexander de Grote. S associeert de leraar van Alexander de Grote en de student van Plato met Aristoteles. Dan is het onderdeel van de betekenis van de naam Aristoteles dat Aristotles de leraar van Alexander de Grote was. Maar dan is (1) analytisch waar, waar op grond van betekenis. M.a.w. (1) heeft dan dezelfde status als een oma is een vrouw. So, being the teacher of Alexander the Great cannot be part of of the [sense of] the name. The most common way out is [Searles view]. Kripke, p196 Cluster Naam : de betekenis van een naamn(voors opt) is niet een enkele beschrijving maar een clusterc n van geassocieerde beschrijvingen. n isf het ding dat voldoet aan de meeste, of een voldoende aantal beschrijvingen uitc n, is ookf. Hoe lost dit probleem met (1) op? 32 / 62

37 en Noodzakelijkheid Van de Naam naar de Cluster Naam (Searle) en Noodzakelijkheid Suppose we agree to drop Aristotle and use, say, the teacher of Alexander then it is a necessary truth that the man referred to is Alexaer s teacher but it is a contingent fact that Aristotle ever went into pedagogy, though I am suggesting that it is necessary fact that Aristotle has the logical sum, inclusive disjunction, of properties commonly attributed to him. (Searle, Proper Names ) This is what is not so. [... ] It would seem that it s a contingent fact that Aristotle ever did any of the things commonly attributed to him today, any of these great achievements that we so much admire. (Kripke, p204) Deze intuẗieve tegenwerping wordt door Kripke precies gemaakt: het modale argument tegen. Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming 33 / 62

38 Het modale argument Modale logica en mogelijke werelden Het modale argument tegen de (Cluster) Naam Namen als rigid designators Het modale argument in termen van rigid designators Natuurlijke soort termen en essetiële 34 / 62

39 Modale logica en mogelijke werelden Modale logica en mogelijke werelden Het modale argument tegen de (Cluster) Naam Namen als rigid designators Het modale argument in termen van rigid designators Modale logica: logica die o.a. precies beschrijft hoe er met zinnen als het is mogelijk datp en het is noodzakelijk datp geredeneerd dient te worden. - Kripke is een van de grondleggers van de modale logica: ontwikkeling mogelijk werelden semantiek (Kripke modellen). Enkele intuïtieve elementen van Kripke s formele werk: - Een mogelijke wereld is een manier waarop de wereld in elkaar zou kunnen steken. De actuele wereld is dus een mogeljke wereld. - In de actuele wereld ben ik filosoof. Maar er is een mogelijke wereld waarin ik bankier ben. In geen mogelijke wereld ben ik een trein. Een zin is noodzakelijk waar als hij waar is in alle mogelijke werelden. Een zin is contingent waar als hij waar is (in de actuele wereld) maar niet in alle mogelijke werelden. Natuurlijke soort termen en essetiële 35 / 62

40 Het modale argument tegen Het modale argument tegen de Naam. - Laat deb de beschrijving zijn die (doors) geassocieerd wordt met de naam Aristoteles, b.v. de grondlegger van de formele logica. Modale logica en mogelijke werelden Het modale argument tegen de (Cluster) Naam Namen als rigid designators Het modale argument in termen van rigid designators (i) Als deb bestaat, dan is deb deb - Zin (i) is niet alleen waar, maar ook noodzakelijk waar. - Zinnen met zelfde betekenis hebben zelfde modale status. - Naam : (i) zelfde betekenis als (ii). (ii) Als Aristoteles bestaat dan is Aristoteles deb. - Zin (ii) is niet noodzakelijk waar; andere modale status dan i. Dus Naam is niet waar. Argument tegen de Cluster Naam is analoog. Natuurlijke soort termen en essetiële 36 / 62

41 Namen als rigid designators Gebruik makend van Kripke s mogelijke werelden semantiek kan het modale argument preciezer en algemener worden gemaakt. Rigid designator Een termtis is een rigid designator van een objecto: (1) in iedere mogelijke wereld waarinobestaat verwijsttnaaro (2) in geen mogelijke wereld verwijsttnaar iets anders dano. Modale logica en mogelijke werelden Het modale argument tegen de (Cluster) Naam Namen als rigid designators Het modale argument in termen van rigid designators Natuurlijke soort termen Intuïtieve test: Termtis een rigid designator (a) en (b) zijn waar. (a) Het object dat daadwerkelijktis (was) kan niet bestaan zondertte zijn. (b) Niks anders dan het object dat daadwerkelijktis (was) zoutkunnen zijn. Kripke: de test laat zien dat namen rigid designators zijn en de meeste beschrijvingen niet. Sommige beschrijvingen zijn rigid designators: de wortel van 25, het individu dat identiek is met Saul Kripke. en essetiële 37 / 62

42 Het modale argument in termen van rigid designators Modale logica en mogelijke werelden Het modale argument tegen de (Cluster) Naam Namen als rigid designators Het modale argument in termen van rigid designators P1 Namen zijn rigid designators P2 De beschrijvigen die spreker associëren met namen zijn geen rigid designators. P3 Alseeen rigid designator is ene is geen rigid designator, dan kunnen e ene niet hetzelfde betekenen. C Namen zijn niet synoniem met geassocieerde beschrijvigen. De (Cluster) Naam faalt, maar misschien overleeft een afgezwakte versie? Let me say (and this will introduce us to another new topic before I really consider this theory of naming) that there are two ways in which the cluster concept theory, or even the theory which requires a single description, can be viewed. One way... (Kripke, p196) Natuurlijke soort termen en essetiële 38 / 62

43 de (Cluster) Naam Twee versies De Cluster-Naam theorie (p202) Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming and Necessity 39 / 62

44 Twee versies Twee versies De Cluster-Naam theorie (p202) Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming and Necessity Naam (betekenis versie): de betekenis van een naamn(voor S opt) is dezelfde als die van een beschrijvingb n die (doors opt) met de naam geassocieerd wordt. Naam (referent versie): de referent van een naamn(voors opt) wordt bepaald door een beschrijvingb n die (doors opt) met de naam geassocieerd wordt. (evenzo voor cluster versies) - Het modale argument laat zien dat de betekenis versie van de Naam faalt; werkt niet tegen de referent versie. Maar wat is het verschil tussen deze twee versies eigenlijk? (Cluster)-Naam theorie (p202) werkt (Cluster)-Naam en uit. Betekenis versie: S 1 t/ms 6 van Cluster-Naam theorie. Referent versie: S 1 t/ms 5 van Cluster-Naam theorie. 40 / 62

45 De Cluster-Naam theorie (p202) Twee versies De Cluster-Naam theorie (p202) Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming and Necessity S 1 To every name or designating expression X, there corresponds a cluster of properties, namely the family of propertiesϕsuch thatabelieves ϕx S 2 One of the properties, or some conjointly, are believed byato pick out some individual uniquely. S 3 If most, or a weighted most, of theϕ s are satisfied by one unique objecty, theny is the referent ofx. S 4 If the vote yields no unique object, X does not refer. S 5 The statement IfX exists, thenx has most of theϕ s is known a priori by the speaker. S 6 The statement IfX exists, thenx has most of theϕ s expresses a necessary truth (in the idiolect of the speaker). AlsS 6 opgegeven kan worden zonders 5 dan kan een bewering a priori kenbaar zijn zonder noodzakelijk te zijn??!! 41 / 62

46 A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen Enter Jack the Ripper De Cluster-Naam theorie revisited Kripke s argument tegens 2 (p206) 42 / 62

47 A priori / a posteriori A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen A priori / a posteriori The terms a priori and a posteriori are used primarily to denote the foundations upon which a proposition is known. A given proposition is knowable a priori if it can be known independent of any experience other than the experience of learning the language in which the proposition is expressed, whereas a proposition that is knowable a posteriori is known on the basis of experience. For example, the proposition that all bachelors are unmarried is a priori, and the proposition that it is raining outside now is a posteriori. (Internet Enc. of Phil.) Ook a priori: 7+5=12, een bal die helemaal groen is is niet helemaal rood,... A priori / a posteriori is een epistemologisch onderscheid; steunt op hoe de waarheid van een bewering gekend kan worden. Enter Jack the Ripper De Cluster-Naam theorie revisited Kripke s argument tegens 2 (p206) 43 / 62

48 Noodzakelijk / contingent en analytisch / synthetisch A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Noodzakelijk /contingent Mark Rutte is minister president is contingent waar; Mark had ook volkszanger kunnen worden. alle vrijgezellen zijn ongetrouwd en = 12 zijn noodzakelijk waar; het had niet anders kunnen zijn dat... Noodzakelijk /contingent is een metafysisch onderscheid; steunt op mogelijke manieren waarop de wereld in elkaar zou kunnen zitten. Analytisch / synthetisch Een bewering als alle vrijgezellen zijn ongetrouwd is analytisch waar; waar krachtens betekenis alleen. Drie keer hetzelfde? Kripke over de drie onderscheidingen Enter Jack the Ripper De Cluster-Naam theorie revisited Analytisch / synthetisch is een semantisch onderscheid; steunt op hoe de waarheidswaarde van een bewering bepaald wordt. Kripke s argument tegens 2 (p206) 44 / 62

49 Drie keer hetzelfde? A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen Alle vrijgezellen zijn ongehuwd is analytisch, a priori en noodzakelijk. Als een beweringb a priori waar is, dan is de waarheid vanb kenbaar zonder een beroep te doen op ervaring, De waarheid vanb is dan onafhankelijk van hoe de wereld in elkaar zit. En dus isb waar in alle mogelijke werelden: B is noodzakelijk waar. Als een beweringb noodzakelijk waar is, dan isb waar in alle mogelijke werelden. De waarheid vanb is dan onafhankelijk van hoe de wereld in elkaar zit. En dus is de waarheid vanb kenbaar zonder een beroep te doen op ervaring: B is apriori waar. Voor Kripke dachten veel filosofen dat een beweringb noodzakelijk waar is precies dan alsb a priori is. Enter Jack the Ripper De Cluster-Naam theorie revisited Kripke s argument (en hoewel Kant synthetisch a priori oordelen toestond werd ook vaak gedacht dat de analytische beweringen dezelfde waren als de noodzakelijke en a prioi beweringen) tegens 2 (p206) 45 / 62

50 Kripke over de drie onderscheidingen Kripke: Beter om te spreken van een subject die iets weet /gelooft o.b.v a priori evidentie dan van een a priori kenbare bewering. Misschien kan is een priemgetal a priori gekend worden maar als Jan een computer gebruikt om dit te bepalen dan is de grond van Jan s kennis (deels) a posteriori. (zie p197/ 198) Twin Prime Conjecture: er zijn oneindig veel priem tweelingen. TPC is ofwel noodzakelijk waar danwel noodzakelijk onwaar. A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen Enter Jack the Ripper De Cluster-Naam theorie revisited Maar niemand weet nu (a priori) of TPC waar is of niet. En het is denkbaar dat niemand dit ooit zal weten. The terms necessary and a priori then, as applied to statements, are not obvious synonyms. I will argue below that in fact they are not even coextensive.... something which is analytically true will be both necessary and a priori. (That s sort of stipultative) (Kripke, p199) Kripke s argument tegens 2 (p206) 46 / 62

51 Enter Jack the Ripper Jack the Ripper is de naam die gegeven is aan een seriemoordenaar die in de tweede helft van 1888 in Londen prostituees verminkte en vermoordde. De identiteit van Jack the Ripper is nooit achterhaald. A Jack the Ripper vermoordde de prostituees in Londen in B: Hoe weet je dat? A: Huh? Jack de Ripper is (per definitie) toch de man die... B Ah, je weet het op basis van a priori evidentie. (Wikipedia) A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen Enter Jack the Ripper De Cluster-Naam theorie revisited Kripke s argument tegens 2 (p206) 47 / 62

52 Enter Jack the Ripper A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Jack the Ripper is de naam die gegeven is aan een seriemoordenaar die in de tweede helft van 1888 in Londen prostituees verminkte en vermoordde. De identiteit van Jack the Ripper is nooit achterhaald. A Jack the Ripper vermoordde de prostituees in Londen in B: Hoe weet je dat? A: Huh? Jack de Ripper is (per definitie) toch de man die... B Ah, je weet het op basis van a priori evidentie. A Jack the Ripper vermoordde de prostituees in Londen in B: Dat is niet noodzakelijk zo. A: Huh? Jack de Ripper is (per definitie) toch de man die... B Nou en? Hij had toch ook iets anders kunnen doen. (Wikipedia) Drie keer hetzelfde? Kripke over de drie onderscheidingen Enter Jack the Ripper De Cluster-Naam theorie revisited Kripke s argument tegens 2 (p206) 47 / 62

53 Enter Jack the Ripper A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Jack the Ripper is de naam die gegeven is aan een seriemoordenaar die in de tweede helft van 1888 in Londen prostituees verminkte en vermoordde. De identiteit van Jack the Ripper is nooit achterhaald. A Jack the Ripper vermoordde de prostituees in Londen in B: Hoe weet je dat? A: Huh? Jack de Ripper is (per definitie) toch de man die... B Ah, je weet het op basis van a priori evidentie. A Jack the Ripper vermoordde de prostituees in Londen in B: Dat is niet noodzakelijk zo. A: Huh? Jack de Ripper is (per definitie) toch de man die... B Nou en? Hij had toch ook iets anders kunnen doen. (Wikipedia) Drie keer hetzelfde? Kripke over de drie onderscheidingen Enter Jack the Ripper De Cluster-Naam theorie revisited - de man die de prostituees in Londen in 1888 vermoorde bepaalt de referent van Jack the Ripper maar geeft niet de betekenis. - A heeft a priori kennis van een contingente bewering. Kripke s argument tegens 2 (p206) 47 / 62

54 De Cluster-Naam theorie revisited A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen - De Cluster-Naam theorie bestaat uits 1 tot en mets 4 en uit: S 5 The statement IfX exists, thenx has most of theϕ s is known a priori by the speaker. S 6 The statement IfX exists, thenx has most of theϕ s expresses a necessary truth (in the idiolect of the speaker). S 6 kan opgegeven worden zonders 5 op te geven, we krijgen zo een uitwerking van de referent versie van (Cluster) Naam. Maar hoe plausibel is de resulterende theorie, bestaande uits 1 tot en mets 5 over de referentie van namen? Kripke beschouwts 1 als een definitie en argumenteert dats 2,S 3,S 4 ens 5 allen onwaar zijn. Enter Jack the Ripper De Cluster-Naam theorie revisited Kripke s argument tegens 2 (p206) 48 / 62

55 Kripke s argument tegens 2 (p206) A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen S 2 One of the properties (welke doors geassocieerd worden met zekere naam) or some conjointly, are believed byato pick out some individual uniquely. S 2 lijkt plausibel; als er geen uniek individu is dat eigenschappen heeft / aan beschrijving voldoet, hoe weten we dan over wie we praten? A: Wie was Richard Feynman? B: Feynman was een beroemd natuurkundige. B weet niet meer over Feynman dan dat hij een beroemd natuurkundige was maar verwijst met Feynman nog steeds naar Feynman. A: Wie was Einstein? B: De ontdekker van de relativiteitstheorie. A: Wat is de relativiteitstheorie? B: Een natuurkundige theorie die bedacht is door Einstein. Enter Jack the Ripper De Cluster-Naam theorie revisited Kripke s argument B identificeert een uniek bepalende beschrijving met Einstein, maar schendt de niet-circulariteits conditie (p202). tegens 2 (p206) 49 / 62

56 Kripke s argument tegens 3 (p208) A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen Enter Jack the Ripper S 3 If most, or a weighted most, of theϕ s are satisfied by one unique objecty, theny is the referent ofx. Columbus was de eerste Europeaan die voet op Amerikaanse bodem zette. Peano stelde als eerste de zogeheten Peano-axioma s voor de rekenkunde op. Maar met Columbus verwijzen we naar Columbus en niet naar de Europeaan die daadwerkelijk als eerste voet zette op Amerkiaanse bodem. En met Peano... Ook al is er een uniek objectodat voldoet aan de beschrijving geassocieerd met een naamn, dan hoeftonog niet de referent vannte zijn. De Cluster-Naam theorie revisited Kripke s argument tegens 2 (p206) 50 / 62

57 Kripke s argument tegens 4 (p204) S 4 If the vote yields no unique object, X does not refer. Jonas werd opgeslokt door een walvis en profeteerde daarna tegen de stad Nineve. - Theologen denken dat Jonas echt bestaan heeft maar niet dat hij opgeslokt is door een walvis en tegen de stad Nineve profeteerde. - Niemand werd opgeslokt door een walvis en profeteerde daarna tegen de stad Nineve. Maar toch heeft de naam Jonas een referent. A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen Enter Jack the Ripper De Cluster-Naam theorie revisited De argumenten tegens 2,S 3 ens 4 staan tezamen ook wel bekend als het semantische argument tegen de Cluster Naam theorie. Het modale argument werkt alleen tegen de betekenis versie van deze theorie, maar het semantische argument werkt zowel tegen de betekenis als tegen de referent versie. Kripke s argument tegens 2 (p206) 51 / 62

58 Kripke s causale keten theorie van referentie A priori / a posteriori Noodzakelijk / contingent en analytisch / synthetisch Drie keer hetzelfde? Kripke over de drie onderscheidingen Enter Jack the Ripper De Cluster-Naam theorie revisited Kripke s argument Wat bepaalt de referent van een naam volgens Kripke dan wel? Someone, let s say, a baby is born; his parents call him by a certain name. They talk about him to their friends. Other people meet him. Through various sort of talk the name is spread from link to link as if by a chain. A speaker who is on the far end of this chain who has hear about, say Richard Feynman, in the market place or elsewhere, may be referring to Richard Feynman even though he can t remember from whom he first heard of Feynman. He knows that Feynman is a famous physicist. A certain passage of communication reaching ultimately to the man himself does reach the speaker. He then is referring to Feynman even though he can t identify him uniquely. Om referentie te doen slagen moet een spreker in een keten van communicatie staan die terugvoert op een initiële doopsituatie. Kripke, p209 Een keten van communicatie in de wereld en tussen sprekers bepaalt referentie relatie. Niet een beschrijving die een enkele spreker in zijn hoofd met een naam associeert. tegens 2 (p206) 52 / 62

59 Natuurlijke soort termen en essentiële eigenschappen Natuurlijke soort termen en essetiële eigenschappen Kripke over natuurlijkse soort termen Water,H 2 O en het noodzakelijk a posteriori Essentiële eigenschappen Philosophical Analysis in the20 th century 53 / 62

60 Kripke over natuurlijkse soort termen Natuurlijke soort termen zijn termen die verwijzen naar natuurlijke substanties of organismen: water, tijger, goud,... Kripke over natuurlijke soort termen: - Net als namen zijn ze niet synoniem met door sprekers geassocieerde beschrijvingen. - Net als namen functioneren ze als rigid designators: in elke mogelijke wereld waarin de natuurlijke soort bestaat verwijzen ze naar die natuurlijke soort. Natuurlijke soort termen en essetiële eigenschappen Kripke over natuurlijkse soort termen Water,H 2 O en het noodzakelijk a posteriori Essentiële eigenschappen Philosophical Analysis - Net als namen wordt hun referentie bepaald door een communicatie keten die teruggaat op een initiële doopsituatie. in the20 th century 54 / 62

61 Water,H 2 O en het noodzakelijk a posteriori Volgens een descriptieve theorie van natuuurlijke soort termen betekent water zoiets als : heldere, geurloze, smaakloze vloeistof die als regen uit de lucht valt en in rivieren, meren en zeeën zit. - Kripke: het is goed mogelijk dat er water is zonder dat er regen, rivieren, meren en zeeën zijn. De descriptieve theorie faalt. Natuurlijke soort termen en essetiële eigenschappen Kripke over natuurlijkse soort termen Water,H 2 O en het noodzakelijk a posteriori Essentiële eigenschappen Philosophical Analysis - Kripke: water verwijst naar de unieke (fysische) substantie die o.a. in onze rivieren, meren en zeeën zit. - De wetenschap heeft ons geleerd dat iets tot deze substantie behoort precies dan als heth 2 O is: Water ish 2 O. - Water en H 2 O zijn beide natuurlijke soort termen en dus rigid designators: Water ish 2 O is dus noodzakelijk waar. - Maar er was empirisch onderzoek nodig om te leren dat waterh 2 O is: Water ish 2 O is noodzakelijke en a posteriori waar. in the20 th century 55 / 62

62 Essentiële eigenschappen Kripke: we kunnen ook zeggen dath 2 O een essentiële eigenschap van water is: H 2 O zijn is een eigenschap van water die het in iedere mogelijke wereld (waarin er water is) heeft. Wetenschappelijk essentialisme. (1) Als Saul Kripke bestaat, dan is Saul Kripke een mens. (2) Saul Kripke is niet identiek met David Kaplan. Natuurlijke soort termen en essetiële eigenschappen Kripke over natuurlijkse soort termen Water,H 2 O en het noodzakelijk a posteriori Essentiële eigenschappen Philosophical Analysis - (1) en (2) zijn noodzakelijk a posteriori waar. - Saul Kripke, mens en David Kaplan zijn rigid designators. - een mens zijn en niet identiek met David Kaplan zijn essentiële eigenschappen van Saul Kripke. in the20 th century 56 / 62

63 Philosophical Analysis in the20 th century (p336) Natuurlijke soort termen en essetiële eigenschappen Kripke over natuurlijkse soort termen Water,H 2 O en het noodzakelijk a posteriori Essentiële eigenschappen Philosophical Analysis In the philosophy of language, Naming and Necessity is among the most important works ever. Beyond the philosophy of language, it fundamentally changed the way in which much philosophy is done. The most important aspects of the work are: (i) a set of theses about the meaning and reference of proper names. (ii) a corresponding set of theses about the meaning and reference of natural kind terms such as heat, light, gold, water and tiger. (iii) a compelling defense of the metaphysical concepts of necessity and possibility. (iv) a sharp distinction between the metaphysical notion of necessity and the epistemological notion of a prioricity (v) forceful arguments that there are necessary truths that are knowable a posteriori, and a priori truths that are contingent (vi) A persuasive defense of the intelligibility of essentialism. in the20 th century 57 / 62

64 Philosophical Analysis in the20 th century (p336) Natuurlijke soort termen en essetiële eigenschappen Kripke over natuurlijkse soort termen Water,H 2 O en het noodzakelijk a posteriori Essentiële eigenschappen Philosophical Analysis In the philosophy of language, Naming and Necessity is among the most important works ever. Beyond the philosophy of language, it fundamentally changed the way in which much philosophy is done. The most important aspects of the work are: (i) a set of theses about the meaning and reference of proper names. (ii) a corresponding set of theses about the meaning and reference of natural kind terms such as heat, light, gold, water and tiger. (iii) a compelling defense of the metaphysical concepts of necessity and possibility. (iv) a sharp distinction between the metaphysical notion of necessity and the epistemological notion of a prioricity (v) forceful arguments that there are necessary truths that are knowable a posteriori, and a priori truths that are contingent (vi) A persuasive defense of the intelligibility of essentialism. Ik hoop u wat inzicht gegeven te hebben in genoemde aspecten van Naming and Necessity. in the20 th century 57 / 62

65 De paradox van Naming and Necessity Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming and Necessity Namen na Naming and Necessity Kripke en de Milliaanse problemen Een paradox Wat te doen bij een 58 / 62

66 Namen na Naming and Necessity Kripke vertelt ons dat namen rigid designator zijn. Hij vertelt ons niks meer over de betekenis van een naam. My own view, on the other hand, regards Mill as more-or-less right about singular names but wrong about general names. Kripke, NN Millianisme: De enige bijdrage die een naam levert aan de betekenis van een zin waarin hij gebruikt wordt is zijn referent. Miliaanse namen zijn rigid designator, maar niet iedere rigid designator is een Milliaanse naam. Natuurlijke soort termen en essetiële eigenschappen De paradox van Naming and Necessity Namen na Naming and Necessity Kripke en de Milliaanse problemen Een paradox Kripke (1979) wijst het Milianisme af (!). Plantinga (1978) en Ackerman (1979) verdedigen expliciete theoriëen waarin namen rigid designators zijn maar geen Millian names. Directe referentie theoriën (o.a. Kaplan / Salmon) verdedigen het Millianisme en bouwen voort op Kripke s werk. Wat te doen bij een 59 / 62

67 Kripke en de Milliaanse problemen Natuurlijke soort termen en essetiële eigenschappen Problemen met namen voor fictionele / niet bestaande entiteiten (Sherlock Holmes / Atlantis). Kripke s John Locke Lectures (Oxford, 1973), in 2013 verschenen als boek: Reference and Existence. Problemen met namen in A gelooft dat... zinnen. A puzzle about belief (1979). Problemen met a=bzinnen. Noodzakelijk a posteriori, maar veel kritiek d(o.a. Soames) dat deze zinnen voorbeelden van het noodzakelijk a posteriori zouden zijn. De paradox van Naming and Necessity Namen na Naming and Necessity Kripke en de Milliaanse problemen Een paradox Wat te doen bij een 60 / 62

68 Een paradox Natuurlijke soort termen en essetiële eigenschappen We have come to what is nearly a paradox. On the one hand, we have seen compelling Kripkean reasons why names cannot be thought to abbreviate flaccid descriptions, or otherwise to have substantive senses or connotations. Intuitively, names are Millian. Yet because the original objections to the Millian view are as urgent as ever, it also seems that DR is untenable. This is a trilemma, because it has further seemed that we are stuck with one of these possiblities: either the name are Millian, or they abbreviate descriptions outright, or ins some loose way such as Searle s, they have some substantive sense or content. But none of these views is acceptable. (Lycan, Names, (2006)) De paradox van Naming and Necessity Namen na Naming and Necessity Kripke en de Milliaanse problemen Een paradox Wat te doen bij een 61 / 62