Search
Now showing items 1-22 of 22
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2023)
Abstract
Contingentists—who hold that it is contingent what there is—are divided on the claim that having a property or standing in a relation requires being something. This claim can be formulated as a natural ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2021)
Abstract According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2021)
Abstract
Can conjunctive propositions be identical without their conjuncts being identical? Can universally quantified propositions be identical without their instances being identical? On a common conception of ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2021)
Current views of metaphysical ground suggest that a true conjunction is immediately grounded in its conjuncts, and only its conjuncts. Similar principles are suggested for disjunction and universal quantification. Here, ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2020)
Existential claims are widely held to be grounded in their true instances. However, this principle is shown to be problematic by arguments due to Kit Fine. Stephan Krämer has given an especially simple form of such an ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2020)
Robert Stalnaker recently proposed a simple theory of propositions using the notion of a set of propositions being consistent, and conjectured that this theory is equivalent to the claim that propositions form a complete ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2019)
An argument going back to Russell shows that the view that propositions are structured is inconsistent in standard type theories. Here, it is shown that such type theories may nevertheless provide entities which can serve ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2018)
Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2018)
Propositional quantifiers are added to a propositional modal language with two modal operators. The resulting language is interpreted over so-called products of Kripke frames whose accessibility relations are equivalence ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2017)
Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2017)
COPYRIGHT: © Association for Symbolic Logic 2017
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2017)
The models of contingency in what propositions, properties and relations there are developed in Part 1 are related to models of contingency in what propositions there are due to Robert Stalnaker. It is shown that some but ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2017)
This article explores the connection between two theses: the principle of conditional excluded middle for the counterfactual conditional, and the claim that it is a contingent matter which (coarse grained) propositions ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2017)
We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2017)
Robert Stalnaker has recently advocated propositional contingentism, the claim that it is contingent what propositions there are. He has proposed a philosophical theory of contingency in what propositions there are and ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2016)
I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and ...
(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’, ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2016)
The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2016)
According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2016)
A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various ...