Bitstringsemantiek op het raakvlak tussen computerwetenschappen en filosofie

Dit doctoraatsonderzoek zal uitgevoerd worden binnen het ID-N-project 'BITSHARE'. Dit project focust op bitstringsemantiek, die recent ontwikkeld werd binnen de filosofische logica. Het algemene doel van het BITSHARE-project is om onderzoek te verrichten naar nieuwe toepassingen van bitstringsemantiek in andere disciplines. Dit doctoraatsproject situeert zich op het raakvlak tussen computerwetenschappen en filosofie. Onderwerpen als causaliteit, kennis en waarschijnlijkheid zijn van centraal belang in beide disciplines. Ondanks dergelijke gedeelde interesses, wordt aangehouden samenwerking tussen computerwetenschappen en wijsbegeerte echter belemmerd door verschillen in hun theoretische brandpunten. Terwijl filosofen typisch trachten om noties in hun volle complexiteit te vatten, trachten computerwetenschappers typisch om hun wiskundige modellen en algoritmes zo computationeel handelbaar mogelijk te houden. Bitstringsemantiek biedt een eindige en compacte voorstelling van mogelijk oneindige klassen van mogelijk oneindige modellen, en verzekert zodoende een goed evenwicht tussen uitdrukkingskracht en wiskundige/computationele complexiteit. Bijgevolg biedt deze techniek een raamwerk waarbinnen computerwetenschappers en filosofen hun inzichten en resultaten succesvol kunnen combineren, zonder daarbij de karakteristieken van hun eigen discipline uit het oog te verliezen.