De filosofie van logische geometrie

In de literatuur over de filosofie van de wetenschapsbeoefening is aangetoond dat verschillende diagrammen, zoals commutatieve diagrammen in de wiskunde of Feynman-diagrammen in de natuurkunde, een sleutelrol spelen in de stappen van wetenschappelijk redeneren, zoals bij het maken van bewijzen, het begrijpen van de materie en nieuwe aspecten ervan te ontdekken. Analoog zijn Aristotelische diagrammen veel gebruikt in logica, filosofie en andere disciplines zoals kunstmatige intelligentie. De huidige filosofische literatuur mist echter enige uniforme theorie over de functie(s) van aristotelische diagrammen in verschillende toepassingscontexten. Als onderdeel van het STARTDIALOG-project probeert dit doctoraatsproject aan te tonen dat Aristotelische diagrammen vergelijkbare functies hebben voor logica als de diagrammen die worden gebruikt in andere gebieden, zoals wiskunde en natuurkunde. Om dit doel te bereiken, onderzoekt het eerst de eigenschappen (en de functies) van niet-aristotelische diagrammen die worden aangetoond door de literatuur over het gebruik van diagrammen in de wetenschap. Ten tweede onderzoekt het de vraag of deze eigenschappen ook van toepassing zijn op de Aristotelische diagrammen in bepaalde historische en hedendaagse toepassingscontexten.