Switch to: References

Add citations

You must login to add citations.
  1. Unshadowed Thought: Representations in Thought and Language.Reinaldo Elugardo & Robert J. Stainton - 2002 - Philosophical Review 111 (3):470-473.
    This is a very poorly written book. It is highly repetitive and verbose. Moreover, despite the repetition, it is fundamentally unclear—both because of unhelpful and unexplained terminology, and because of its distinctively tangled prose. Here is one example of the latter.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • Circularity, Definition and Truth.Michael Glanzberg - 2002 - Philosophical Review 111 (3):465-470.
    This is a collection of eighteen solicited papers on the topics of the title: circularity, definition, and truth. The papers are loosely connected in subject matter, but present a great variety of issues, theories, and approaches. Amongst the many subjects discussed are: the revision theory of truth and applications of revision rules, partiality and fixed point constructions, substitutional quantification, fuzzy logic, negation, belief revision, context dependence, hierarchies, Tarski on truth, deflationism, correspondence theories of truth, and normative aspects of truth. The (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  • Sentential Truth, Denominalization, and the Liar: Aspects of the Modest Account of Truth*: Dialogue.Douglas Patterson - 2005 - Dialogue 44 (3):527-537.
  • Making Sense of Logical Pluralism.Matti Eklund - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (3-4):433-454.
    The article is centered on the question of how best to understand the logical pluralism/logical monism debate. A number of suggestions are brought up and rejected on the ground that they re...
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Scharp on Replacing Truth.Andrew Bacon - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (4):370-386.
    ABSTRACTKevin Scharp’s ‘Replacing Truth’ is an ambitious and far reaching account of the semantic paradoxes. In this critical discussion we examine one the books central claims: to have provided a theory of truth that avoids the revenge paradoxes. In the first part we assess this claim, and in the second part we investigate some features of Scharp’s preferred theory of truth, ADT, and compare it with existing theories such as the Kripke–Feferman theory. In the appendix a simple model of Scharp’s (...)
    No categories
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Inconsistent Languages.Matti Eklund - 2002 - Philosophy and Phenomenological Research 64 (2):251-275.
    The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  • Modality in Brandom's Incompatibility Semantics.Giacomo Turbanti - 2011 - In María Inés Crespo, Dimitris Gakis & Galit Weidman-Sassoon (eds.), Proceedings of the Amsterdam Graduate Conference - Truth, Meaning, and Normativity. ILLC Publications.
    In the fifth of his John Locke Lectures, Robert Brandom takes up the challenge to define a formal semantics for modelling conceptual contents according to his normative analysis of linguistic practices. The project is to exploit the notion of incompatibility in order to directly define a modally robust relation of entailment. Unfortunately, it can be proved that, in the original definition, the modal system represented by Incompatibility Semantics (IS) collapses into propositional calculus. In this paper I show how IS can (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • 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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  • Reflections on the Liar.Eric Gordon Epstein - 2019 - Philosophical Review 128 (3):356-362.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On Artifacts and Truth-Preservation.Shawn Standefer - 2015 - Australasian Journal of Logic 12 (3):135-158.
    In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • More on Putnam and Tarski.Panu Raatikainen - 2003 - Synthese 135 (1):37 - 47.
    Hilary Putnam's famous arguments criticizing Tarski's theory of truth are evaluated. It is argued that they do not succeed to undermine Tarski's approach. One of the arguments is based on the problematic idea of a false instance of T-schema. The other ignores various issues essential for Tarski's setting such as language-relativity of truth definition.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Disquotation and Infinite Conjunctions.Lavinia Picollo & Thomas Schindler - 2017 - Erkenntnis (5):1-30.
    One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • How to Find an Attractive Solution to the Liar Paradox.Mark Pinder - 2018 - Philosophical Studies 175 (7):1661-1680.
    The general thesis of this paper is that metasemantic theories can play a central role in determining the correct solution to the liar paradox. I argue for the thesis by providing a specific example. I show how Lewis’s reference-magnetic metasemantic theory may decide between two of the most influential solutions to the liar paradox: Kripke’s minimal fixed point theory of truth and Gupta and Belnap’s revision theory of truth. In particular, I suggest that Lewis’s metasemantic theory favours Kripke’s solution to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • Limits in the Revision Theory: More Than Just Definite Verdicts.Catrin Campbell-Moore - 2019 - Journal of Philosophical Logic 48 (1):11-35.
    We present a new proposal for what to do at limits in the revision theory. The usual criterion for a limit stage is that it should agree with any definite verdicts that have been brought about before that stage. We suggest that one should not only consider definite verdicts that have been brought about but also more general properties; in fact any closed property can be considered. This more general framework is required if we move to considering revision theories for (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • Predication as Ascription.David Liebesman - 2015 - Mind 124 (494):517-569.
    I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Articulation and Liars.Sergi Oms - 2017 - Disputatio 9 (46):383-399.
    Jamie Tappenden was one of the first authors to entertain the possibility of a common treatment for the Liar and the Sorites paradoxes. In order to deal with these two paradoxes he proposed using the Strong Kleene semantic scheme. This strategy left unexplained our tendency to regard as true certain sentences which, according to this semantic scheme, should lack truth value. Tappenden tried to solve this problem by using a new speech act, articulation. Unlike assertion, which implies truth, articulation only (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Omega-Inconsistency Without Cuts and Nonstandard Models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).
    This paper concerns the relationship between transitivity of entailment, omega-inconsistency and nonstandard models of arithmetic. First, it provides a cut-free sequent calculus for non-transitive logic of truth STT based on Robinson Arithmetic and shows that this logic is omega-inconsistent. It then identifies the conditions in McGee for an omega-inconsistent logic as quantified standard deontic logic, presents a cut-free labelled sequent calculus for quantified standard deontic logic based on Robinson Arithmetic where the deontic modality is treated as a predicate, proves omega-inconsistency (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Self-Referential Propositions.Bruno Whittle - 2017 - Synthese 194 (12):5023-5037.
    Are there ‘self-referential’ propositions? That is, propositions that say of themselves that they have a certain property, such as that of being false. There can seem reason to doubt that there are. At the same time, there are a number of reasons why it matters. For suppose that there are indeed no such propositions. One might then hope that while paradoxes such as the Liar show that many plausible principles about sentences must be given up, no such fate will befall (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Expresabilidad, Validez y Recursos Lógicos.Eduardo Alejandro Barrio - 2014 - Critica 46 (138):3-36.
    El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Maximally Consistent Sets of Instances of Naive Comprehension.Luca Incurvati & Julien Murzi - 2017 - Mind 126 (502).
    Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception of set (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • Two Paradoxes of Satisfaction.Peter Eldridge-Smith - 2015 - Mind 124 (493):85-119.
    There are two paradoxes of satisfaction, and they are of different kinds. The classic satisfaction paradox is a version of Grelling’s: does ‘does not satisfy itself’ satisfy itself? The Unsatisfied paradox finds a predicate, P, such that Px if and only if x does not satisfy that predicate: paradox results for any x. The two are intuitively different as their predicates have different paradoxical extensions. Analysis reduces each paradoxical argument to differing rule sets, wherein their respective pathologies lie. Having different (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Notes on the Art of Logic.Nuel Belnap - manuscript
  • Intuitive Consequences of the Revision Theory of Truth.Michael Kremer - 2002 - Analysis 62 (4):330–336.
  • Finite Circular Definitions.Anil Gupta - 2006 - In Thomas Bolander, Vincent F. Hendricks & Stig Andur Andersen (eds.), Self-Reference. CSLI Publications. pp. 79-93.
  • Gestalt Shifts in the Liar Or Why KT4M Is the Logic of Semantic Modalities.Susanne Bobzien - 2017 - In Bradley Armour-Garb (ed.), Reflections on the Liar. Oxford University. pp. 71-113.
    ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Can the Classical Logician Avoid the Revenge Paradoxes?Andrew Bacon - 2015 - Philosophical Review 124 (3):299-352.
    Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • What Paradoxes Depend On.Ming Hsiung - 2018 - Synthese:1-27.
    This paper gives a definition of self-reference on the basis of the dependence relation given by Leitgeb (2005), and the dependence digraph by Beringer & Schindler (2015). Unlike the usual discussion about self-reference of paradoxes centering around Yablo's paradox and its variants, I focus on the paradoxes of finitary characteristic, which are given again by use of Leitgeb's dependence relation. They are called 'locally finite paradoxes', satisfying that any sentence in these paradoxes can depend on finitely many sentences. I prove (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • To Reduce Nothingness Into a Reference by Falsity.Hazhir Roshangar - manuscript
    Assuming the absolute nothingness as the most basic object of thought, I present a way to refer to this object, by reducing it onto a primitive object that supersedes and comes right after the absolute nothingness. The new primitive object that is constructed can be regarded as a formal system that can generate some infinite variety of symbols. [The PDF here is outdated, for a recent draft please contact me.].
    Direct download  
     
    Export citation  
     
    Bookmark  
  • A New Unified Account of Truth and Paradox.N. Tennant - 2015 - Mind 124 (494):571-605.
    I propose an anti-realist account of truth and paradox according to which the logico-semantic paradoxes are not genuine inconsistencies. The ‘global’ proofs of absurdity associated with these paradoxes cannot be brought into normal form. The account combines epistemicism about truth with a proof-theoretic diagnosis of paradoxicality. The aim is to combine a substantive philosophical account of truth with a more rigorous and technical diagnosis of the source of paradox for further consideration by logicians. Core Logic plays a central role in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Presuppositions, Logic, and Dynamics of Belief.Slavko Brkic - 2004 - Prolegomena 3 (2):151-177.
    In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role of presupposition in supervaluations logical systems. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Normality Operators and Classical Recapture in Many-Valued Logic.Roberto Ciuni & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Deep Platonism.Chad Carmichael - 2016 - Philosophy and Phenomenological Research 92 (2):307-328.
    According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Trivial Languages.Arvid Båve - 2018 - Acta Analytica 33 (1):1-17.
    I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. I (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - forthcoming - Logic Journal of the IGPL.
    Infectious logics are systems which have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated (i) as a way to treat different pathological sentences (like the Liar and the Truth-Teller) differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps, and (ii) as a way to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Carnap's Contribution to Tarski's Truth.Monika Gruber - 2015 - Journal for the History of Analytical Philosophy 3 (10).
    In his seminal work “The Concept of Truth in Formalized Languages”, Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been accepted and applauded by philosophers and logicians nearly in unison. Its Postscript, written two years later, however, has given rise to a considerable amount of controversy. There is an ongoing debate on what Tarski really said in the postscript. These discussions often regard Tarski as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • On The Hypothetical Given.Adam Marushak - forthcoming - Philosophy and Phenomenological Research.
    My aim in this paper is to assess the viability of a perceptual epistemology based on what Anil Gupta calls the “hypothetical given”. On this account, experience alone yields no unconditional entitlement to perceptual beliefs. Experience functions instead to establish relations of rational support between what Gupta calls “views” and perceptual beliefs. I argue that the hypothetical given is a genuine alternative to the prevailing theories of perceptual justification but that the account faces a dilemma: on a natural assumption about (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Normality Operators and Classical Collapse.Roberto Ciuni & Massimiliano Carrara - 2018 - In T. Arazim P. And Lavicka (ed.), The Logica Yearbook 2017. Londra, Regno Unito: pp. 2-20.
    In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Antithetical Arts. [REVIEW]J. Robinson - 2013 - Philosophical Review 122 (1):139-143.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Knowing Full Well.E. J. Coffman - 2013 - Philosophical Review 122 (1):135-139.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Justice: Rights and Wrongs.T. Cuneo - 2013 - Philosophical Review 122 (1):132-134.
  • Occasionalism: Causation Among the Cartesians. [REVIEW]C. Chamberlain & J. K. McDonough - 2013 - Philosophical Review 122 (1):125-128.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Global Justice: A Cosmopolitan Account.A. Altman - 2013 - Philosophical Review 122 (1):129-131.
  • Essays on Descartes.M. Rozemond - 2013 - Philosophical Review 122 (1):122-125.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • The Tarskian Turn: Deflationism and Axiomatic Truth.Shawn Standefer - 2013 - Philosophical Review 122 (1):144-147.
  • The Virtue of Aristotle's Ethics.H. Lorenz - 2013 - Philosophical Review 122 (1):119-122.
  • Axiomatizing Kripke's Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
    We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  • On Pathological Truths.Damian Szmuc & Lucas Rosenblatt - 2014 - Review of Symbolic Logic 7 (4):601-617.
    In Kripke’s classic paper on truth it is argued that by adding a new semantic category different from truth and falsity it is possible to have a language with its own truth predicate. A substantial problem with this approach is that it lacks the expressive resources to characterize those sentences which fall under the new category. The main goal of this paper is to offer a refinement of Kripke’s approach in which this difficulty does not arise. We tackle this characterization (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Axiomatizing Semantic Theories of Truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
    We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations