Saul Kripke
Saul Kripke | ||||
---|---|---|---|---|
Saul Kripke
| ||||
Persoonsgegevens | ||||
Naam | Saul Aaron Kripke | |||
Geboren | Bay Shore, 13 november 1940 | |||
Overleden | Plainsboro, 15 september 2022 | |||
Land | ![]() | |||
Functie | Filosoof, logicus | |||
Oriënterende gegevens | ||||
Stroming | Analytische filosofie | |||
Beïnvloed door | Ludwig Wittgenstein | |||
|
Saul Aaron Kripke (Bay Shore (New York), 13 november 1940[1] – Plainsboro (New Jersey), 15 september 2022) was een Amerikaans filosoof en logicus. Hij was hoogleraar aan de Princeton-universiteit. Kripke is vooral bekend door zijn werk op het gebied van de taalfilosofie en de metafysica. Ook definieerde hij een deel van de bijbehorende logica, met zijn Kripkemodel.
Kripkes belangrijkste werk is Naming and Necessity, de transcriptie van drie colleges die hij in 1970 gaf aan de Princeton-universiteit. Het werd voor het eerst in 1972 uitgegeven. In 1980 werd een door Kripke uitgebreide versie uitgegeven.
Kripke overleed in 2022 op 81-jarige leeftijd aan alvleesklierkanker.[2][3]
Filosofie
[bewerken | brontekst bewerken]Kripke's werk kende drie hoofdpijlers. Naast zijn al genoemde onderzoek naar logische modellen voor mogelijke werelden, probeerde hij in Naming and Necessity een theorie voor de waarheidsvoorwaarden van eigennamen en beschrijvingen op te zetten. In een later werk (Wittgenstein on Rules and Private Language, 1982) gaf hij een sceptische lezing van Ludwig Wittgenstein's Philosophische Untersuchungen. Waar de eerste twee werken goed ontvangen werden, wordt zijn interpretatie van Wittgenstein vaak beschouwd als selectief en daardoor onjuist, bijvoorbeeld door Gordon Baker en Peter Hacker.[bron?]
Kripkemodellen
[bewerken | brontekst bewerken]![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/fb/LTL_model.png/185px-LTL_model.png)
Kripke beschreef (in zijn jongere jaren) als eerste een (grafische) modeltheorie voor modale logica. Deze vorm van logica werd hierdoor voornamelijk bekend als de logica van mogelijke werelden, omdat Kripke de formule definieerde als waar dan en slechts dan als waar is in alle mogelijke werelden, en desda het geval is in ten minste één mogelijke wereld, bereikbaar vanuit de huidige toestand.[4]
Naming and Necessity
[bewerken | brontekst bewerken]Kripke uit in Naming and Necessity zijn ongenoegen over de tot dan toe normale gang van zaken voor wat betreft de waarheidsvoorwaarden van beschrijvingen. Normaliter werden deze beschouwd als synoniem aan de eigennamen die aan deze beschrijving voldoen, zoals bijvoorbeeld Bertrand Russell beargumenteerde. Echter, volgens Kripke refereert iets aan een object middels een causale connectie met dat object, die in stand gehouden wordt door een taalgemeenschap. Eigennamen verschillen hierin van beschrijvingen, doordat eerstgenoemde in alle mogelijke werelden naar hetzelfde object zullen verwijzen; beschrijvingen daarentegen kunnen een ander referent hebben in een andere mogelijke wereld. Zo verwijst "de huidige minister-president van Nederland" naar Mark Rutte, terwijl in een andere mogelijke wereld dit best eens Job Cohen of Gertrude Stein had kunnen zijn. De individuele namen zullen echter in elke wereld aan dezelfde persoon refereren. Kripke introduceerde voor eigennamen de notie van vaste verwijzer.
Met deze theorie wilde Kripke ook aangeven dat het gat in Immanuel Kant's theorie van soorten uitspraken, a posteriori noodzakelijke waarheden, wel degelijk gevuld kan worden: hierin zouden uitspraken vallen die twee verschillende namen refereren aan hetzelfde object. Het zou hier dan dus gaan om waarheden die enkel empirisch verifieerbaar zijn, maar desalniettemin waar in alle mogelijke werelden, zoals "Water is H2O". Hoewel Hilary Putnam het vaak eens was met Kripke, lijkt hij op dit punt af te wijken, gezien zijn tweeling-aarde gedachte-experiment.
Wittgenstein on Rules and Private Language
[bewerken | brontekst bewerken]In een sceptische interpretatie van Wittgenstein's Philosophische Untersuchungen claimt Kripke dat we nooit zeker kunnen weten wanneer iemand daadwerkelijk de door ons bedachte regel volgt, en niet een andere. Hij geeft het voorbeeld van iemand die we zien optellen. Het is erg waarschijnlijk dat hij de normale regels volgt, zeker als we het hem goed zien doen bij sommen tot honderd, maar waarom zou hij niet een operator als 'quus' volgen, waarbij x 'quus' y = x + y als x, y < 50, en anders x 'quus' y = 5. Het voormalige gebruik van de normale functie van optellen kan uiteraard door oneindig veel van dit soort 'quus'-functies worden gesimuleerd. En nog erger: voor elk woord in de taal kunnen we zulke alternatieve betekenisfuncties verzinnen.
Deze interpretatie van Wittgenstein is gestuit op de nodige controverse: Kripke zou voornamelijk paragraaf 201 van Wittgenstein's werk selectief geciteerd hebben, om zo beter aan te sluiten op zijn eigen gedachtegoed.[bron?] Met een geuzennaam wordt zijn lezing dan ook wel Kripkenstein genoemd.[bron?] Desalniettemin blijft Kripke's verhandeling een belangrijke in de receptie van Wittgenstein's Philosophische Untersuchungen.
- ↑ Saul Kripke, American logician and philosopher, Britannica Online Encyclopedia
- ↑ Saul Kripke (1940-2022)
- ↑ (en) Saul Kripke, Philosopher Who Found Truths in Semantics, Dies at 81. The New York Times (21 september 2022).
- ↑ In het artikel Kripkemodel is een mathematische uitwerking te vinden.