Ruttkamp-Bloem, Emma and Casini, Giovanni and Meyer, Thomas (2015) A Non-classical Logical Foundation for Naturalised Realism, The Logica Yearbook, 249-266, College Publications.
![[img]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
A_Non-Classical_Logical_Foundation_for_Naturalised_Realism_-_long.pdf Download (233kB) |
Abstract
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.
| Item Type: | Book chapter |
|---|---|
| Subjects: | Computing methodologies > Artificial intelligence |
| Date Deposited: | 11 Mar 2016 |
| Last Modified: | 10 Oct 2019 15:32 |
| URI: | http://pubs.cs.uct.ac.za/id/eprint/1067 |
Actions (login required)
 |
View Item |