Switch to: References

Add citations

You must login to add citations.
  1. Valuing and Believing Valuable.Kubala Robbie - 2017 - Analysis 77 (1):59-65.
    Many philosophers recognize that, as a matter of psychological fact, one can believe something valuable without valuing it. I argue that it is also possible to value something without believing it valuable. Agents can genuinely value things that they neither believe disvaluable nor believe valuable along a scale of impersonal value.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Reference Principle: A Defence.David Dolby - 2009 - Analysis 69 (2):286-296.
    It is often maintained that co-referential terms can be substituted for one another whilst preserving truth-value in extensional contexts, and preserving grammaticality in all contexts. Crispin Wright calls this claim ‘The Reference Principle’ . Since Wright defines extensional contexts as those in which truth-value is determined only by reference, it is the assertion about substitution salva congruitate that is significant. Wright argues that RP is the key to understanding how Frege came to hold, paradoxically, that the concept horse is not (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Modality and Axiomatic Theories of Truth I: Friedman-Sheard.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):273-298.
    In this investigation we explore a general strategy for constructing modal theories where the modal notion is conceived as a predicate. The idea of this strategy is to develop modal theories over axiomatic theories of truth. In this first paper of our two part investigation we develop the general strategy and then apply it to the axiomatic theory of truth Friedman-Sheard. We thereby obtain the theory Modal Friedman-Sheard. The theory Modal Friedman-Sheard is then discussed from three different perspectives. First, we (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Unified Theory of Truth and Paradox.Lorenzo Rossi - 2019 - Review of Symbolic Logic 12 (2):209-254.
    The sentences employed in semantic paradoxes display a wide range of semantic behaviours. However, the main theories of truth currently available either fail to provide a theory of paradox altogether, or can only account for some paradoxical phenomena by resorting to multiple interpretations of the language. In this paper, I explore the wide range of semantic behaviours displayed by paradoxical sentences, and I develop a unified theory of truth and paradox, that is a theory of truth that also provides a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Jump Liars and Jourdain’s Card Via the Relativized T-Scheme.Ming Hsiung - 2009 - Studia Logica 91 (2):239-271.
    A relativized version of Tarski's T-scheme is introduced as a new principle of the truth predicate. Under the relativized T-scheme, the paradoxical objects, such as the Liar sentence and Jourdain's card sequence, are found to have certain relative contradictoriness. That is, they are contradictory only in some frames in the sense that any valuation admissible for them in these frames will lead to a contradiction. It is proved that for any positive integer n, the n-jump liar sentence is contradictory in (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Advanced Temporalising.Daniel Deasy - forthcoming - In Karen Bennett & Dean Zimmerman (eds.), Oxford Studies in Metaphysics. Oxford, UK:
    There is a widespread assumption that B-theorists (according to whom there is nothing metaphysically special about the present moment in virtue of which it is present) should interpret the standard tense operators (‘it was the case that’, ‘it will be the case that’) as implicit quantifier-restrictors – so that, for example, an utterance at instant t of the sentence ‘It was the case that there are dinosaurs’ is true just in case there are dinosaurs located at some instant t* earlier (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Hierarchical Propositions.Bruno Whittle - 2017 - Journal of Philosophical Logic 46 (2):215-231.
    The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Yablo Without Gödel.Volker Halbach & Shuoying Zhang - 2017 - Analysis 77 (1):53-59.
    We prove Yablo’s paradox without the diagonal lemma or the recursion theorem. Only a disquotation schema and axioms for a serial and transitive ordering are used in the proof. The consequences for the discussion on whether Yablo’s paradox is circular or involves self-reference are evaluated.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • How to Type: Reply to Halbach.Alexander Paseau - 2009 - Analysis 69 (2):280-286.
    In my paper , I noted that Fitch's argument, which purports to show that if all truths are knowable then all truths are known, can be blocked by typing knowledge. If there is not one knowledge predicate, ‘ K’, but infinitely many, ‘ K 1’, ‘ K 2’, … , then the type rules prevent application of the predicate ‘ K i’ to sentences containing ‘ K i’ such as ‘ p ∧¬ K i⌜ p⌝’. This provides a motivated response (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
    In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Ethical Copula, Negation, and Responsibility Judgments: Prior’s Contribution to the Philosophy of Normative Language.Federico Faroldi - 2016 - Synthese 193 (11):3441-3448.
    Prior’s arguments for and against seeing ‘ought’ as a copula and his considerations about normative negation are applied to the case of responsibility judgments. My thesis will be that responsibility judgments, even though often expressed by using the verb ‘to be’, are in fact normative judgments. This is shown by analyzing their negation, which parallels the behavior of ought negation.
    Download  
     
    Export citation  
     
    Bookmark  
  • Yet Another Puzzle of Ground.Johannes Korbmacher - 2015 - Kriterion - Journal of Philosophy 29 (2):1-10.
    We show that any predicational theory of partial ground that extends a standard theory of syntax and that proves some commonly accepted principles for partial ground is inconsistent. We suggest a way to obtain a consistent predicational theory of ground.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Deontic Modals and Hyperintensionality.Federico L. G. Faroldi - 2019 - Logic Journal of the IGPL 27 (4):387-410.
    In this paper I argue that deontic modals are hyperintensional, i.e. logically equivalent contents cannot be substituted in their scope. I give two arguments, one deductive and the other abductive. First, I show that the contrary thesis leads to falsity; second, I argue that a hyperintensional theory of deontic modals fares better than its rivals in terms of elegance, theoretical simplicity and explanatory power. I then propose a philosophical analysis of this thesis and outline some consequences. In Section 1 I (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • How to Express Self-Referential Probability. A Kripkean Proposal.Catrin Campbell-Moore - 2015 - Review of Symbolic Logic 8 (4):680-704.
    We present a semantics for a language that includes sentences that can talk about their own probabilities. This semantics applies a fixed point construction to possible world style structures. One feature of the construction is that some sentences only have their probability given as a range of values. We develop a corresponding axiomatic theory and show by a canonical model construction that it is complete in the presence of the ω-rule. By considering this semantics we argue that principles such as (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Validity as a Primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.
    A number of recent works consider treating validity as a primitive notion rather than one defined in some standard manner. There seem to have been three motivations. First, to understand how truth and validity interact in potentially paradoxical settings. Second, to argue that validity is in fact afflicted with paradoxes analogous to the semantic paradoxes. Third, to develop a ‘deflationary’ conception of validity or consequence. This article treats the notion of validity as a primitive notion and shows how to provide (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Ungroundedness in Tarskian Languages.Saul Kripke - 2019 - Journal of Philosophical Logic 48 (3):603-609.
    Several writers have assumed that when in “Outline of a Theory of Truth” I wrote that “the orthodox approach” – that is, Tarski’s account of the truth definition – admits descending chains, I was relying on a simple compactness theorem argument, and that non-standard models must result. However, I was actually relying on a paper on ‘pseudo-well-orderings’ by Harrison. The descending hierarchy of languages I define is a standard model. Yablo’s Paradox later emerged as a key to interpreting the result.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Logic of Quinean Revisability.James Kennedy Chase - 2012 - Synthese 184 (3):357-373.
    W.V. Quine is committed to the claim that all beliefs are rationally revisable; Jerrold Katz has argued that this commitment is unstable on grounds of self-application. The subsequent discussion of this issue has largely proceeded in terms of the logic of belief revision, but there is also an issue here for the treatment of Quine’s views in a doxastic modal system. In this paper I explore the treatment of Quinean epistemology in modal terms. I argue that a set of formal (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On a Side Effect of Solving Fitch's Paradox by Typing Knowledge.Volker Halbach - 2008 - Analysis 68 (2):114-120.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Proving Unprovability.Bruno Whittle - 2017 - Review of Symbolic Logic 10 (1):92–115.
    This paper addresses the question: given some theory T that we accept, is there some natural, generally applicable way of extending T to a theory S that can prove a range of things about what it itself (i.e. S) can prove, including a range of things about what it cannot prove, such as claims to the effect that it cannot prove certain particular sentences (e.g. 0 = 1), or the claim that it is consistent? Typical characterizations of Gödel’s second incompleteness (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05.Stan S. Wainer - 2006 - Bulletin of Symbolic Logic 12 (2):310-361.
    Download  
     
    Export citation  
     
    Bookmark  
  • Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.
    Download  
     
    Export citation  
     
    Bookmark  
  • Transductions in Arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.
    Download  
     
    Export citation  
     
    Bookmark  
  • Paradoxes of Interaction?Johannes Stern & Martin Fischer - 2015 - Journal of Philosophical Logic 44 (3):287-308.
    Since Montague’s work it is well known that treating a single modality as a predicate may lead to paradox. In their paper “No Future”, Horsten and Leitgeb show that if the two temporal modalities are treated as predicates paradox might arise as well. In our paper we investigate whether paradoxes of multiple modalities, such as the No Future paradox, are genuinely new paradoxes or whether they “reduce” to the paradoxes of single modalities. In order to address this question we develop (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Paradoxes and Contemporary Logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   5 citations