Alliantieonderzoeksgroep: Logica, Geschiedenis en Wetenschapsfilosofie (CLPS)

Een eerste onderzoekslijn voor het CLPS is het onderzoek naar niet-klassieke logica's. Hieronder vallen zowel logica's die een fragment vormen van klassieke logica (zoals sommige paraconsistente logica's) als logica's die een alternatief vormen voor klassieke logica (zoals sommige relevante logica's). Centraal voor ons is het ontwerpen van en het onderzoek naar adaptieve logica's. Adaptieve logica's (de eerste zijn ontwikkeld door Diderik Batens, oprichter van het CLPS) bieden een uniform kader voor het bestuderen van redeneerprocessen die weerlegbaar zijn. (Een redeneerproces wordt weerlegbaar genoemd wanneer een eerder gemaakte conclusie kan worden herzien in het licht van nieuwe informatie of een beter inzicht in reeds gegeven informatie.) Het onderzoek verloopt zowel op object-niveau (het ontwerpen van nieuwe systemen) als op meta-niveau (het bewijzen van meta-theoretische eigenschappen, het bestuderen van interrelaties tussen de verschillende systemen, ...).