Abstract
Gärdenfors' (1984) epistemic modelling of intuitionistic propositional logic interprets propositions as functions from belief states to belief states. In this paper we generalise his approach by including also disbelief, or rejection, as a basic epistemic attitude. Propositions are here defined as ordered pairs of functions on belief states, representing the attitudes of acceptance and rejection, respectively. For this semantics we obtain strong completeness results wrt the constructive logics of Nelson (1949) and Almukdad and Nelson (1984).
Preview
Unable to display preview. Download preview PDF.
References
P. Gärdenfors, The Dynamics of Belief as a Basis for Logic, Brit. J. Phil. Sci. 35 (1984): 1–10.
P. Gärdenfors, Knowledge in Flux, MIT Press, Cambridge and London, 1988.
D. Pearce & G. Wagner, Reasoning with Negative Information, I: Strong Negation in Logic Programs, Berichte der Gruppe Logik, Wissenstheorie und Information 4/1989, Freie Universität Berlin.
A. Rossdeutscher, Ereignisfilter und-ideale. Zur algebraischen und topologischen Repräsentation der semantischen Leistung der negation und aspektueller Partikeln wie schon und noch, Berichte der Gruppe Logik, Wissenstheorie und Information, 1990, Freie Universität Berlin (to appear).
D. Nelson, Constructible Falsity, JSL 14 (1949): 16–26.
A. Almukdad & D. Nelson, Constructible Falsity and Inexact Predicates, JSL 49 (1984): 231–233.
H. Rasiowa, An Algebraic Approach to Non-Classical Logics, PWN and North-Holland, Warsaw and Amsterdam, 1974.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pearce, D., Rautenberg, W. (1991). Propositional logic based on the dynamics of disbelief. In: Fuhrmann, A., Morreau, M. (eds) The Logic of Theory Change. Lecture Notes in Computer Science, vol 465. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018424
Download citation
DOI: https://doi.org/10.1007/BFb0018424
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53567-6
Online ISBN: 978-3-540-46817-2
eBook Packages: Springer Book Archive