💻 computer science

Definability and Interpolation in Philosophy

Dit artikel biedt een historisch overzicht van de toepassingen van de Craig-interpolatiestelling en de Beth-definieerbaarheidstelling in de filosofie sinds de jaren 50, waarbij het concept 'afhankelijkheid' als rode draad wordt geïdentificeerd en nieuwe technische resultaten over logische systeemvertalingen en gegeneraliseerde definieerbaarheid worden gepresenteerd.

Oorspronkelijke auteurs: Johan van Benthem

Gepubliceerd 2026-02-10

📖 4 min leestijd☕ Koffiepauze-leesvoer

CC BY 4.0

Oorspronkelijke auteurs: Johan van Benthem

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Onzichtbare Draden van de Werkelijkheid: Hoe Logica de Wereld Verbindt

Stel je voor dat je naar een goochelaar kijkt. Hij laat een witte doek verdwijnen en plotseling is er een konijn verschenen. Je weet dat het konijn niet uit het niets is ontstaan; er moet een onzichtbare verbinding zijn tussen de doek en het konijn.

In de filosofie en de wetenschap zoeken we voortdurend naar die onzichtbare verbindingen. Dit artikel van Johan van Benthem gaat over twee beroemde wiskundige "gereedschapskisten" — de Beth-stelling en de Craig-interpolatie — die ons helpen te begrijpen hoe verschillende delen van de wereld met elkaar verbonden zijn, zelfs als we die verbinding niet direct kunnen zien.

1. De Beth-stelling: De "Verborgen Handleiding"

Stel je voor dat je een nieuwe IKEA-kast in elkaar zet. Je hebt een handleiding (de theorie). De handleiding zegt niet expliciet: "Gebruik schroef A om plank B vast te maken", maar door de manier waarop de rest van de kast in elkaar zit, is het onmogelijk om iets anders te doen. De functie van de schroef is impliciet bepaald: als je de rest van de kast begrijpt, begrijp je automatisch ook wat die schroef moet doen.

De Beth-stelling zegt eigenlijk: als iets in een systeem "onvermijdelijk" is (impliciet), dan kun je er altijd een duidelijke, directe instructie voor schrijven (expliciet).

In de filosofie: Dit helpt ons bij het debat over de geest en het lichaam. Als onze mentale staat (zoals 'blij zijn') volledig wordt bepaald door onze hersencellen, dan zou er in theorie een "handleiding" moeten zijn die zegt: "Als hersencel X vuurt, dan is de persoon blij." De stelling onderzoekt of die vertaling van 'gevoel' naar 'biologie' altijd mogelijk is.

2. De Craig-interpolatie: De "Gedeelde Taal"

Stel je voor dat een Franse kok en een Japanse kok samen een recept maken. De Franse kok gebruikt alleen ingrediënten uit Frankrijk (vocabulaire A), en de Japanse kok gebruikt alleen ingrediënten uit Japan (vocabulaire B). Ze willen een gerecht maken dat beide stijlen combineert. Om te voorkomen dat het een chaos wordt, hebben ze een "tussenstap" nodig: ingrediënten die voor beiden begrijpelijk zijn, zoals zout of water (de gedeelde taal).

Craig-interpolatie is de wiskundige garantie dat als de ene beschrijving (de Franse kok) leidt tot een bepaalde conclusie (het gerecht), er altijd een "tussen-recept" bestaat dat alleen de ingrediënten gebruikt die beide koks begrijpen.

In de wetenschap: Dit is cruciaal voor de modulairiteit. Als wetenschappers praten over "atomen" en anderen over "energie", helpt interpolatie om te controleren of hun theorieën wel echt over hetzelfde gaan. Het zoekt naar de "gemeenschappelijke taal" die de brug slaat tussen verschillende wetenschappelijke vakgebieden.

3. Waarom is dit belangrijk? (De rode draad)

Het artikel laat zien dat deze abstracte regels overal opduiken:

Determinisme (Het Domino-effect): Als de staat van de wereld op dit moment de staat van de wereld morgen bepaalt, dan is er een logische "verbinding" die we kunnen uitrekenen. De stellingen helpen ons te begrijpen of die verbinding een duidelijke formule heeft of alleen een vaag idee is.
Kennis en Vragen: Als ik je een vraag stel, "verfijn" ik je kennis. De logica helpt te begrijpen hoe het antwoord op vraag A de ruimte voor antwoord B beperkt. Het is als een puzzel waarbij de stukjes die je al hebt, de vorm van de stukjes die nog komen, bepalen.
Wetenschappelijke Theorieën: Wetenschappers gebruiken vaak "onzichtbare" termen (zoals 'zwaartekracht' of 'genen') om de wereld te verklaren. De stellingen helpen ons te checken of die onzichtbare termen wel logisch passen bij wat we daadwerkelijk kunnen zien en meten.

Conclusie

Je kunt de wereld zien als een gigantisch web van draden. Sommige draden zijn dik en zichtbaar (wat we direct zien), andere zijn flinterdun en bijna onzichtbaar (onze theorieën en gedachten).

Van Benthem laat zien dat de logica de "scanner" is waarmee we die dunne draden kunnen opsporen. De Beth- en Craig-stellingen zijn de wetten die ons vertellen dat het web niet willekeurig is, maar dat alles — van de kleinste deeltjes tot onze grootste filosofische vragen — op een gestructureerde, verbonden manier in elkaar zit.

Technische Samenvatting: Definability and Interpolation in Philosophy

1. Probleemstelling (Het Probleem)

Het centrale probleem van dit artikel is het verkennen van de conceptuele en formele kruispunten tussen de theoretische logica (specifiek de eigenschappen van definieerbaarheid en interpolatie) en diverse takken van de filosofie (zoals metafysica, epistemologie, wetenschapsfilosofie en taalfilosofie).

Hoewel de Beth-definieerbaarheidstelling (de equivalentie tussen impliciete en expliciete definieerbaarheid) en de Craig-interpolatiestelling (het bestaan van een formule in een gedeelde vocabulaire die tussen twee implicaties in staat) strikt wiskundige resultaten zijn, rijst de vraag hoe deze structurele eigenschappen van logische systemen correleren met filosofische concepten zoals superveniëntie, determinisme, informatieoverdracht en de modulaire structuur van kennis. Het artikel onderzoekt of deze logische stellingen fungeren als een "meta-theoretisch raamwerk" voor het begrijpen van afhankelijkheden in de filosofie.

2. Methodologie

De auteur hanteert een vergelijkende en analytische methode. In plaats van een nieuw formeel bewijs te leveren, voert hij een "lichte tour" uit waarbij hij bestaande filosofische concepten herformuleert in de taal van de modeltheorie en de abstracte modeltheorie. De methodologie omvat:

Herformulering: Filosofische concepten (zoals superveniëntie) worden vertaald naar semantische invariantie-relaties (zoals isomorfisme of potentieel isomorfisme).
Mapping: Er wordt een mapping gemaakt tussen logische eigenschappen (zoals de Beth property) en filosofische posities (zoals reductionisme versus non-reductionisme).
Abstractie: Het gebruik van concepten uit de Dependence Logic en Situation Theory om algemene patronen van informatieoverdracht en functionele afhankelijkheid te identificeren.

3. Belangrijkste Bijdragen (Key Contributions)

Het artikel levert de volgende theoretische bijdragen:

Synthese van de Logica-Filosofie Interface: Het identificeert "afhankelijkheid" (dependence) als de rode draad die verschillende filosofische domeinen verbindt met de stellingen van Craig en Beth.
Generalisatie van Interpolatie: Het introduceert het idee dat interpolatie niet alleen over gedeelde predicaten gaat, maar ook over "cross-model transfer" (informatieoverdracht tussen verschillende modellen via relaties zoals potentieel isomorfisme).
Conceptuele Verduidelijking van Superveniëntie: Het biedt een technisch kader om de discussie tussen superveniëntie (impliciete afhankelijkheid) en reductie (expliciete definieerbaarheid) te structureren.
Modulaire Analyse van Kennis: Het past interpolatie toe op de epistemologie om de modulaire opbouw van overtuigingen en de "onderwerpen" (topics) van proposities te verklaren.

4. Resultaten (Results)

De belangrijkste technische resultaten die in het artikel worden besproken of afgeleid zijn:

Superveniëntie en Beth: Superveniëntie wordt gekarakteriseerd als een vorm van impliciete semantische definieerbaarheid. De vraag of superveniëntie leidt tot reductie is direct gekoppeld aan de vraag of een logisch systeem de Beth-eigenschap bezit.
Determinisme en Montague: In de fysica kan determinisme worden geformuleerd als een impliciete definieerbaarheid van de staat van een systeem op tijdstip $t$ op basis van tijdstip $t_0$ . Craig-interpolatie garandeert hier de aanwezigheid van een expliciete formule voor berekeningen.
Vragen en Afhankelijkheid: De logica van vragen kan worden behandeld als een vorm van functionele afhankelijkheid tussen variabelen. De Beth-stelling biedt hier de voorwaarde voor het bestaan van een "beste antwoord" op een vraag.
Informatie en Situatietheorie: Interpolatie wordt gekoppeld aan het vermogen van een model om informatie te "verzenden" naar andere modellen die via een bepaalde relatie (zoals bisimulatie) met het origineel verbonden zijn.
Modulaire Kennis: Elke formule in een eerste-orde taal heeft een uniek kleinste subtaal (onderwerp), een resultaat dat direct volgt uit de Craig-interpolatie.

5. Betekenis (Significance)

De betekenis van dit werk is tweeledig:

Voor de Logica: Het suggereert dat eigenschappen zoals interpolatie niet slechts technische curiositeiten zijn, maar fundamentele criteria voor wat een "goed ontworpen" logisch systeem is, vooral in de context van informatieoverdracht en taalvertalingen.
Voor de Filosofie: Het biedt een krachtig instrumentarium om vage filosofische termen (zoals "afhankelijkheid" of "overeenkomst") te preciseren. Het laat zien dat de discussie over de aard van de werkelijkheid (metafysica) en de aard van kennis (epistemologie) diep geworteld is in de structurele eigenschappen van de logische talen die we gebruiken om deze fenomenen te beschrijven.

Het artikel concludeert dat de interactie tussen logica en filosofie een wederzijdse inspiratiebron is: de logica biedt precisie en structurele inzichten, terwijl de filosofie de logica uitdaagt om nieuwe, rijke concepten te integreren.