From Epistemic Norms to Logical Rules : Epistemic Models for Logical Expressivists
(2023) In Journal of Philosophical Logic 52(6). p.1517-1533- Abstract
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... (More)
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.
(Less)
- author
- Dahl, Niklas LU
- organization
- publishing date
- 2023
- type
- Contribution to journal
- publication status
- published
- subject
- keywords
- Belief Expansion, Epistemic Norms, Epistemic Semantics, Logical Expressivism, Ramsey Test
- in
- Journal of Philosophical Logic
- volume
- 52
- issue
- 6
- pages
- 1517 - 1533
- publisher
- Springer
- external identifiers
-
- scopus:85164488948
- ISSN
- 0022-3611
- DOI
- 10.1007/s10992-023-09712-9
- language
- English
- LU publication?
- yes
- id
- b6170f24-6e65-4994-b79d-13259acba752
- date added to LUP
- 2023-10-06 15:30:18
- date last changed
- 2024-01-09 15:45:53
@article{b6170f24-6e65-4994-b79d-13259acba752, abstract = {{<p>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.</p>}}, author = {{Dahl, Niklas}}, issn = {{0022-3611}}, keywords = {{Belief Expansion; Epistemic Norms; Epistemic Semantics; Logical Expressivism; Ramsey Test}}, language = {{eng}}, number = {{6}}, pages = {{1517--1533}}, publisher = {{Springer}}, series = {{Journal of Philosophical Logic}}, title = {{From Epistemic Norms to Logical Rules : Epistemic Models for Logical Expressivists}}, url = {{http://dx.doi.org/10.1007/s10992-023-09712-9}}, doi = {{10.1007/s10992-023-09712-9}}, volume = {{52}}, year = {{2023}}, }