Sökning: onr:"swepub:oai:lup.lub.lu.se:b6170f24-6e65-4994-b79d-13259acba752" >
From Epistemic Norm...
From Epistemic Norms to Logical Rules : Epistemic Models for Logical Expressivists
-
- Dahl, Niklas (författare)
- Lund University,Lunds universitet,Teoretisk filosofi,Filosofiska institutionen,Institutioner,Humanistiska och teologiska fakulteterna,LU profilområde: Naturlig och artificiell kognition,Lunds universitets profilområden,Theoretical Philosophy,Department of Philosophy,Departments,Joint Faculties of Humanities and Theology,LU Profile Area: Natural and Artificial Cognition,Lund University Profile areas
-
(creator_code:org_t)
- 2023
- 2023
- Engelska.
-
Ingår i: Journal of Philosophical Logic. - 0022-3611. ; 52:6, s. 1517-1533
- Relaterad länk:
-
http://dx.doi.org/10... (free)
-
visa fler...
-
https://lup.lub.lu.s...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- In this paper I construct a system of semantics for classical and intuitionistic propositional logic based on epistemic norms governing belief expansion. Working in the AGM-framework of belief change, I give a generalisation of Gärdenfors’ notion of belief systems which can be defined without reference to a logical consequence operator by using a version of the Ramsey Test. These belief expansion systems can then be used to define epistemic models which are sound and complete for either classical or intuitionistic propositional logic depending on which of the two notions of epistemic validity, identified by Levi and Arló-Costa, is used. Finally, I offer a discussion on how these results can be understood as providing a model theory within the framework of logical expressivism.
Ämnesord
- HUMANIORA -- Filosofi, etik och religion -- Filosofi (hsv//swe)
- HUMANITIES -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)
Nyckelord
- Belief Expansion
- Epistemic Norms
- Epistemic Semantics
- Logical Expressivism
- Ramsey Test
Publikations- och innehållstyp
- art (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas