Switch to: References

Add citations

You must login to add citations.
  1. Nonclassical logic and skepticism.Adam Marushak - 2023 - Asian Journal of Philosophy 2 (2):1-14.
    This paper introduces a novel strategy for responding to skeptical arguments based on the epistemic possibility of error or lack of certainty. I show that a nonclassical logic motivated by recent work on epistemic modals can be used to render such skeptical arguments invalid. That is, one can grant that knowledge is incompatible with the possibility of error and grant that error is possible, all while avoiding the skeptic’s conclusion that we lack knowledge.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Inferential Deflationism.Luca Incurvati & Julian J. Schlöder - forthcoming - The Philosophical Review.
    Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • .Luca Incurvati & Julian J. Schlöder - 2023 - New York: Oxford University Press USA.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modeling future indeterminacy in possibility semantics.Fabrizio Cariani - manuscript
    Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy operator a well-known (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Epistemic Modals in Hypothetical Reasoning.Maria Aloni, Luca Incurvati & Julian J. Schlöder - 2023 - Erkenntnis 88 (8):3551-3581.
    Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Henkin-style completeness proof for the modal logic S5.Bruno Bentzen - 2021 - In Pietro Baroni, Christoph Benzmüller & Yì N. Wáng (eds.), Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22. Springer. pp. 459-467.
    This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An epistemic modal norm of practical reasoning.Tim Henning - 2021 - Synthese 199 (3-4):6665-6686.
    When are you in a position to rely on p in practical reasoning? Existing accounts say that you must know that p, or be in a position to know that p, or be justified in believing that p, or be in a position to justifiably believe it, and so on. This paper argues that all of these proposals face important problems, which I call the Problems of Negative Bootstrapping and of Level Confusions. I offer a diagnosis of these problems, and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder - 2022 - Review of Symbolic Logic 15 (2):505-536.
    We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Credence for Epistemic Discourse.Paolo Santorio - manuscript
    Many recent theories of epistemic discourse exploit an informational notion of consequence, i.e. a notion that defines entailment as preservation of support by an information state. This paper investigates how informational consequence fits with probabilistic reasoning. I raise two problems. First, all informational inferences that are not also classical inferences are, intuitively, probabilistically invalid. Second, all these inferences can be exploited, in a systematic way, to generate triviality results. The informational theorist is left with two options, both of them radical: (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Believing epistemic contradictions.Beddor Bob & Simon Goldstein - 2018 - Review of Symbolic Logic (1):87-114.
    What is it to believe something might be the case? We develop a puzzle that creates difficulties for standard answers to this question. We go on to propose our own solution, which integrates a Bayesian approach to belief with a dynamic semantics for epistemic modals. After showing how our account solves the puzzle, we explore a surprising consequence: virtually all of our beliefs about what might be the case provide counterexamples to the view that rational belief is closed under logical (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Evidence Sensitivity in Weak Necessity Deontic Modals.Alex Silk - 2014 - Journal of Philosophical Logic 43 (4):691-723.
    Kolodny and MacFarlane have made a pioneering contribution to our understanding of how the interpretation of deontic modals can be sensitive to evidence and information. But integrating the discussion of information-sensitivity into the standard Kratzerian framework for modals suggests ways of capturing the relevant data without treating deontic modals as “informational modals” in their sense. I show that though one such way of capturing the data within the standard semantics fails, an alternative does not. Nevertheless I argue that we have (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • (1 other version)Inferential Deflationism.Luca Incurvati & Julian J. Schlöder - 2023 - Philosophical Review 132 (4):529-578.
    Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Indicative Conditionals and Graded Information.Ivano Ciardelli - 2020 - Journal of Philosophical Logic 49 (3):509-549.
    I propose an account of indicative conditionals that combines features of minimal change semantics and information semantics. As in information semantics, conditionals are interpreted relative to an information state in accordance with the Ramsey test idea: “if p then q” is supported at a state s iff q is supported at the hypothetical state s[p] obtained by restricting s to the p-worlds. However, information states are not modeled as simple sets of worlds, but by means of a Lewisian system of (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Modality and expressibility.Matthew Mandelkern - 2019 - Review of Symbolic Logic 12 (4):768-805.
    When embedding data are used to argue against semantic theory A and in favor of semantic theory B, it is important to ask whether A could make sense of those data. It is possible to ask that question on a case-by-case basis. But suppose we could show that A can make sense of all the embedding data which B can possibly make sense of. This would, on the one hand, undermine arguments in favor of B over A on the basis (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Informational dynamics of epistemic possibility modals.Peter Hawke & Shane Steinert-Threlkeld - 2018 - Synthese 195 (10):4309-4342.
    We investigate, in a logical setting, the expressivist proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and novel assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion always succeeds in expressing a well-defined doxastic state, and propose a fully general and intuitive update operation as a model of an agent coming to accept an arbitrary (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Indicative Conditionals and Dynamic Epistemic Logic.Wesley H. Holliday & Thomas Icard - 2017 - Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, UK, 24-26 July 2017.
    Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of this paper is to show how greater interaction between formal semantics and dynamic epistemic logic in this area can be of mutual benefit. In one direction, we show how concepts and tools from modal logic and dynamic epistemic logic can be used to give a simple, complete axiomatization of Yalcin's [16] semantic consequence relation for (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Trivializing Informational Consequence.Paolo Santorio - 2022 - Philosophy and Phenomenological Research 104 (2):297-320.
    This paper investigates the link between informational consequence and credence. I first suggest a natural constraint, namely that informational consequence should preserve certainty: on any rational credence distribution, when the premises of an informational inferences have credence 1, the conclusion also has credence 1. Then I show that the certainty‐preserving constraint leads to triviality. In particular, the following three claims are incompatible: (i) informational consequence is extensionally distinct from classical consequence; (ii) informational inferences preserve certainty; (iii) credences obey (a subset (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations