Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
    This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...)
    Download  
     
    Export citation  
     
    Bookmark   243 citations  
  • (1 other version)Vague identity: Evans misunderstood.David K. Lewis - 1988 - Analysis 48 (3):128-130.
    In his note "can there be vague objects?" ("analysis", 1978), Gareth evans presents a purported proof that there can be no vague identity statements. Some readers think that evans endorses the proof and its false conclusion. Not so. His point is that those who put vagueness in the world, Rather than in language, Will have no way to fault the proof and no way to escape the false conclusion.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
    This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...)
    Download  
     
    Export citation  
     
    Bookmark   161 citations  
  • Weakly Classical Theories of Identity.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):607-644.
    There are well-known quasi-formal arguments that identity is a "strict" relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first may appear. There is a natural formal theory of identity that is very close to the standard (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but the (...)
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  • Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.
    In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...)
    Download  
     
    Export citation  
     
    Bookmark   160 citations  
  • The non-transitivity of the contingent and occasional identity relations.Ralf M. Bader - 2012 - Philosophical Studies 157 (1):141-152.
    This paper establishes that the occasional identity relation and the contingent identity relation are both non-transitive and as such are not properly classified as identity relations. This is achieved by appealing to cases where multiple fissions and fusions occur simultaneously. These cases show that the contingent and occasional identity relations do not even satisfy the time-indexed and world-indexed versions of the transitivity requirement and hence are non-transitive relations.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Can there be vague objects?Gareth Evans - 1978 - Analysis 38 (4):208.
    Download  
     
    Export citation  
     
    Bookmark   265 citations  
  • Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
    Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...)
    Download  
     
    Export citation  
     
    Bookmark   326 citations  
  • Sameness and substance.David Wiggins - 1980 - Cambridge: Harvard University Press.
    Download  
     
    Export citation  
     
    Bookmark   259 citations  
  • Ontic vagueness and metaphysical indeterminacy.J. Robert G. Williams - 2008 - Philosophy Compass 3 (4):763-788.
    Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...)
    Download  
     
    Export citation  
     
    Bookmark   84 citations  
  • Multiple actualities and ontically vague identity.Robert Williams - 2008 - Philosophical Quarterly 58 (230):134-154.
    Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...)
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.
    Download  
     
    Export citation  
     
    Bookmark   2836 citations  
  • A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.
    Download  
     
    Export citation  
     
    Bookmark   147 citations  
  • An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
    This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and (...)
    Download  
     
    Export citation  
     
    Bookmark   202 citations  
  • Tolerance and Mixed Consequence in the S'valuationist Setting.Pablo Cobreros, Paul Egré, David Ripley & Robert Rooij - 2012 - Studia Logica 100 (4):855-877.
    In a previous paper (see ‘Tolerant, Classical, Strict’, henceforth TCS) we investigated a semantic framework to deal with the idea that vague predicates are tolerant, namely that small changes do not affect the applicability of a vague predicate even if large changes do. Our approach there rests on two main ideas. First, given a classical extension of a predicate, we can define a strict and a tolerant extension depending on an indifference relation associated to that predicate. Second, we can use (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Arguments by Leibniz’s Law in Metaphysics.Ofra Magidor - 2011 - Philosophy Compass 6 (3):180-195.
    Leibniz’s Law (or as it sometimes called, ‘the Indiscerniblity of Identicals’) is a widely accepted principle governing the notion of numerical identity. The principle states that if a is identical to b, then any property had by a is also had by b. Leibniz’s Law may seem like a trivial principle, but its apparent consequences are far from trivial. The law has been utilised in a wide range of arguments in metaphysics, many leading to substantive and controversial conclusions. This article (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Contingent identity.Allan Gibbard - 1975 - Journal of Philosophical Logic 4 (2):187-222.
    Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...)
    Download  
     
    Export citation  
     
    Bookmark   291 citations  
  • (1 other version)Vague Identity: Evans misunderstood.David Lewis - 2004 - In Tim Crane & Katalin Farkas (eds.), Metaphysics: a guide and anthology. New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • X*—Worldly Indeterminacy of Identity.Terence Parsons & Peter Woodruff - 1995 - Proceedings of the Aristotelian Society 95 (1):171-192.
    Terence Parsons, Peter Woodruff; X*—Worldly Indeterminacy of Identity, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 171–192.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • (2 other versions)Sameness and substance.David Wiggins - 1980 - Revue Philosophique de la France Et de l'Etranger 174 (1):125-128.
    Download  
     
    Export citation  
     
    Bookmark   229 citations  
  • (2 other versions)Sameness and Substance.David Wiggins - 1981 - Philosophical Quarterly 31 (124):260-268.
    Download  
     
    Export citation  
     
    Bookmark   210 citations  
  • Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.
    This paper presents and defends a way to add a transparent truth predicate to classical logic, such that and A are everywhere intersubstitutable, where all T-biconditionals hold, and where truth can be made compositional. A key feature of our framework, called STTT (for Strict-Tolerant Transparent Truth), is that it supports a non-transitive relation of consequence. At the same time, it can be seen that the only failures of transitivity STTT allows for arise in paradoxical cases.
    Download  
     
    Export citation  
     
    Bookmark   130 citations  
  • Opacity and the attitudes.Francois Recanati - 2000 - In Alex Orenstein & Petr Kotatko (eds.), Knowledge, Language and Logic: Questions for Quine. Dordrecht, Netherland: Kluwer Academic Print on Demand. pp. 367--406.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Non-transitive identity.Graham Priest - 2010 - In Richard Dietz & Sebastiano Moruzzi (eds.), Cuts and clouds: vagueness, its nature, and its logic. New York: Oxford University Press. pp. 406--416.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Vagueness, Truth and Permissive Consequence.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 409-430.
    We say that a sentence A is a permissive consequence of a set X of premises whenever, if all the premises of X hold up to some standard, then A holds to some weaker standard. In this paper, we focus on a three-valued version of this notion, which we call strict-to-tolerant consequence, and discuss its fruitfulness toward a unified treatment of the paradoxes of vagueness and self-referential truth. For vagueness, st-consequence supports the principle of tolerance; for truth, it supports the (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (1 other version)Can there be vague objects?Gareth Evans - 2004 - In Tim Crane & Katalin Farkas (eds.), Metaphysics: a guide and anthology. New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   156 citations  
  • Worldly Indeterminacy of Identity.Terence Parsons & Peter Woodruff - 1995 - Proceedings of the Aristotelian Society 95:171 - 191.
    Terence Parsons, Peter Woodruff; X*—Worldly Indeterminacy of Identity, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 171–192.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • The Necessity and Determinacy of Distinctness.Timothy Williamson - 1996 - In David Wiggins, Sabina Lovibond & Stephen G. Williams (eds.), Essays for David Wiggins: identity, truth, and value. Cambridge: Blackwell. pp. 1-17.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
    Download  
     
    Export citation  
     
    Bookmark   169 citations