-
42Eligible ContractionStudia Logica 73 (2): 167-182. 2003.When a belief set is contracted only some beliefs are eligible for removal. By introducing eligibility for removal as a new semantic primitive for contraction and combining it with epistemic entrenchment we get a contraction operator with a number of interesting properties. By placing some minimal constraint upon eligibility we get an explicit contraction recipe that exactly characterises the so called interpolation thesis, a thesis that states upper and lower bounds for the amount of informatio…Read more
-
55Unity and Autonomy in Expressivist LogicDialectica 68 (3): 443-457. 2014.It is argued that expressivists can solve their problems in accounting for the unity and autonomy of logic – logic is topic independent and does not derive from a general ‘logic’ of mental states – by adopting an analysis of the logical connectives that takes logically complex sentences to express complex combinations of simple attitudes like belief and disapproval and dispositions to form such simple attitudes upon performing suppositional acts, and taking acceptance and rejection of sentences …Read more
-
102A formal model of multi-agent belief-interactionJournal of Logic, Language and Information 15 (4): 397-422. 2006.A semantics is presented for belief revision in the face of common announcements to a group of agents that have beliefs about each other’s beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal-structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no effec…Read more
-
45Some logics of iterated belief changeStudia Logica 63 (1): 49-84. 1999.The problems that surround iterated contractions and expansions of beliefs are approached by studying hypertheories, a generalisation of Adam Grove's notion of systems of spheres. By using a language with dynamic and doxastic operators different ideas about the basic nature of belief change are axiomatised. It is shown that by imposing quite natural constraints on how hypertheories may change, the basic logics for belief change can be strengthened considerably to bring one closer to a theory of …Read more
-
72First Order Expressivist LogicErkenntnis 78 (6): 1381-1403. 2013.This paper provides finitary jointly necessary and sufficient acceptance and rejection conditions for the logical constants of a first order quantificational language. By introducing the notion of making an assignment as a distinct object level practice—something you do with a sentence—(as opposed to a meta-level semantic notion) and combining this with the practice of (hypothetical and categorical) acceptance and rejection and the practice of making suppositions one gains a structure that is su…Read more
Areas of Specialization
Science, Logic, and Mathematics |
Metaphysics and Epistemology |
Areas of Interest
Science, Logic, and Mathematics |
Metaphysics and Epistemology |