Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

From Epistemic Norms to Logical Rules : Epistemic Models for Logical Expressivists

Dahl, Niklas LU orcid (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)
Please use this url to cite or link to this publication:
author
organization
publishing date
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}},
}