Search
Now showing items 1-10 of 418
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2016)
This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2016)
Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truthfunctional, and that every consistent normal modal logic can be ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2016)
A formal result is proved which is used in Juhani Yli-Vakkuri’s ‘Epistemicism and Modality’ to argue that certain two-dimensional possible world models are inadequate for a language with operators for ‘necessarily’, ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2017)
This chapter is an introduction to how the combination of two views – semantic minimalism and speech act pluralism (‘SM+SAP’, for short) – can be used to explain some aspects of our practice of making knowledge attributions. ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 1999)
Published in:
The Logica Yearbook 1998. Praha : Filosofia, 1999.
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2011)
We show that a paraconsistent set theory proposed in Weber (2010), this journal, is strong enough to provide a quite classical non-primitive notion of identity, so that the relation is an equivalence relation and also obeys ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2009)
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2004)
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 1997)
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
I present an analysis of the interpretation of anaphora that takes concepts from type-theoretic semantics, in particular the use of the Sigma and Pi dependent type constructors, and incorporates them into a model-theoretic ...