Home » Research » Research outputs » A Non-Classical Logical Foundation for Naturalised Realism

A Non-Classical Logical Foundation for Naturalised Realism

2015

  • Authors:
    Emma Ruttkamp-Bloem , Giovanni Casini , Tommie Meyer

    Publication date:
    2015

    Institution:
    CSIR Meraka Institute

    Output type:
    Book chapter

    Abstract:

    In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), 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 science based on the application of the following tools from Knowledge Representation: the family of Description Logics, an enrichment of classical logics via defeasible statements, and an application of the preferential interpretation of the approach to Belief Revision.

    Document file:
    Proof of peer-review from publisher: