UCT CS Research Document Archive

A Non-classical Logical Foundation for Naturalised Realism

Ruttkamp-Bloem, Emma, Giovanni Casini and Thomas Meyer (2015) A Non-classical Logical Foundation for Naturalised Realism, in Arazim, Pavel and Michal Dancak, Eds. The Logica Yearbook, pages 249-266. College Publications.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.


In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence, we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of sci- ence based on the application of the following tools Knowledge Representa- tion: the family of knowledge representation languages known as Description Logics, an enrichment of classical logics via defeasible statements, and an ap- plication of the preferential interpretation of the approach to Belief Revision.

EPrint Type:Book Chapter
Subjects:I Computing Methodologies: I.2 ARTIFICIAL INTELLIGENCE
ID Code:1067
Deposited By:Meyer, Thomas
Deposited On:11 March 2016