View topic on PhilPapers for more information
Related categories

98 found
Order:
More results on PhilPapers
1 — 50 / 98
  1. added 2018-12-03
    Naïve Validity.Julien Murzi & Lorenzo Rossi - forthcoming - Synthese:1-23.
    Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this paper (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2018-11-28
    Some Open Questions About Degrees of Paradoxes.Ming Hsiung - manuscript
    We can classify the (truth-theoretic) paradoxes according to their degrees of paradoxicality. Roughly speaking, two paradoxes have the same degrees of paradoxicality, if they lead to a contradiction under the same conditions, and one paradox has a (non-strictly) lower degree of paradoxicality than another, if whenever the former leads to a contradiction under a condition, the latter does so under the very condition. This paper aims at setting forth the theoretical framework of the theory of paradoxicality degree, and putting forward (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2018-11-27
    Paradoxical Desires.Ethan Jerzak - forthcoming - Proceedings of the Aristotelian Society.
    I present a paradoxical combination of desires. I show why it's paradoxical, and consider ways of responding. The paradox saddles us with an unappealing trilemma: either we reject the possibility of the case by placing surprising restrictions on what we can desire, or we deny plausibly constitutive principles linking desires to the conditions under which they are satisfied, or we revise some bit of classical logic. I argue that denying the possibility of the case is unmotivated on any reasonable way (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2018-11-01
    Hypatia's Silence. Truth, Justification, and Entitlement.Martin Fischer, Leon Horsten & Carlo Nicolai - manuscript
    Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non-classical logical treatment.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. added 2018-09-20
    Truth & Transcendence: Turning the Tables on the Liar Paradox.Gila Sher - 2017 - In Bradley Armour-Garb (ed.), Reflections on the Liar. Oxford: Oxford University Press. pp. 281-306.
    Confronting the Liar Paradox is commonly viewed as a prerequisite for developing a theory of truth. In this paper I turn the tables on this traditional conception of the relation between the two. The theorist of truth need not constrain his search for a “material” theory of truth, i.e., a theory of the philosophical nature of truth, by committing himself to one solution or another to the Liar Paradox. If he focuses on the nature of truth (leaving issues of formal (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2018-09-04
    Truth and Generalized Quantification.Bruno Whittle - forthcoming - Australasian Journal of Philosophy:1-14.
    Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. added 2018-08-26
    Fixed-Point Posets in Theories of Truth.Stephen Mackereth - forthcoming - Journal of Philosophical Logic.
    We show that any coherent complete partial order (ccpo) is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. added 2018-08-09
    Faithfulness for Naive Validity.Ulf Hlobil - forthcoming - Synthese.
    Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive validity. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. added 2018-03-20
    The Notion of Truth in Natural and Formal Languages.Pete Olcott - manuscript
    For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts. -/- By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that evaluate to neither True nor False.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2018-03-02
    Liar-Type Paradoxes and Intuitionistic Natural Deduction Systems.Seungrak Choi - 2018 - Korean Journal of Logic 21 (1):59-96.
    It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (⊥). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ⊥. It is, however, not the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2018-03-01
    Can Gödel's Incompleteness Theorem Be a Ground for Dialetheism?Seungrak Choi - 2017 - Korean Journal of Logic 20 (2):241-271.
    Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest’s argument for Dialetheism from Gödel’s theorem is unconvincing as the lesson of Gödel’s proof (or Rosser’s proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest’s inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying Gödel sentence to the inconsistent and complete theory of arithmetic. We argue, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2018-02-19
    Defining a Decidability Decider.Pete Olcott - manuscript
    By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that have the semantic error of Pathological self-reference(Olcott 2004). The foundation of this system requires the notion of a BaseFact that anchors the semantic notions of True and False. When-so-ever a formal proof from BaseFacts of language L to a closed WFF X or ~X of language L does not exist X is decided to be semantically (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. added 2018-02-16
    Paradox Without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   55 citations  
  14. added 2018-02-01
    Many-Valued Logic between the Degrees of Truth and the Limits of Knowledge.Salah Osman - 2002 - Alexandria, Egypt: Al Maaref Establishment Press.
    هو أول كتاب باللغة العربية يعرض لمراحل وآليات تطور المنطق الرمزي المعاصر متعدد القيم بأنساقه المختلفة، مركزًا على مشكلة الغموض المعرفي للإنسان بأبعادها اللغوية والإبستمولوجية والأنطولوجية، والتي تتجلى – على سبيل المثال – فيما تحفل به الدراسات الفلسفية والمنطقية والعلمية من مفارقات تمثل تحديًا قويًا لثنائية الصدق والكذب الكلاسيكية، وكذلك في اكتشاف «هيزنبرج» لمبدأ اللايقين، وتأكيده وعلماء الكمّ على ضرورة التفسيرات الإحصائية في المجال دون الذري، الأمر الذي يؤكد عدم فعالية قانون الثالث المرفوع في التعامل مع معطيات الواقع الفعلي، واستحالة (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. added 2017-12-05
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2017-11-05
    Some Questions About Degrees of Paradoxes.Ming Hsiung - manuscript
    We can classify the (truth-theoretic) paradoxes according to their degrees of paradoxicality. Roughly speaking, two paradoxes have the same degrees of paradoxicality, if they lead to a contradiction under the same conditions, and one paradox has a (non-strictly) lower degree of paradoxicality than another, if whenever the former leads to a contradiction under a condition, the latter does so under the very condition. This paper aims at providing some basic open questions about the paradoxes around the notion of the degree (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2017-10-27
    Naïve Proof and Curry’s Paradox.Massimiliano Carrara - 2018 - In Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic. Berlin: De Gruyter. pp. 61-68.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. added 2017-09-14
    Self-Referential Probability.Catrin Campbell-Moore - 2016 - Dissertation, Ludwig-Maximilians-Universität München
    This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect whether it is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2017-06-28
    Provability with Minimal Type Theory.Pete Olcott - manuscript
    Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to each other (in 2D space) when this expression is formalized using a directed acyclic graph (DAG). This provides substantially greater expressiveness than the 1D space of FOPL syntax. -/- The increase in expressiveness over other formal systems of logic shows the Pathological Self-Reference Error of expressions previously considered to be sentences of formal systems. MTT shows that these expressions were never truth bearers, thus (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. added 2017-06-04
    The Truth Functional Hypothesis Does Not Imply the Liars Paradox.M. Martins Silva - 2017 - Unisinos Journal of Philosophy 17 (3):1-2.
    The truth-functional hypothesis states that indicative conditional sentences and the material implication have the same truth conditions. Haze (2011) has rejected this hypothesis. He claims that a self-referential conditional, coupled with a plausible assumption about its truth-values and the assumption that the truth-functional hypothesis is true, lead to a liar’s paradox. Given that neither the self-referential conditional nor the assumption about its truth-values are problematic, the culprit of the paradox must be the truth-functional hypothesis. Therefore, we should reject it. In (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. added 2017-05-28
    Non‐Classical Knowledge.Ethan Jerzak - forthcoming - Philosophy and Phenomenological Research.
    The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory validating (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. added 2017-05-26
    Minimalism About Truth: Special Issue Introduction.Joseph Ulatowski & Cory Wright - 2018 - Synthese 195 (3):927-933.
    The theme of this special issue is minimalism about truth, a conception which has attracted extensive support since the landmark publication of Paul Horwich's Truth (1990). Many well-esteemed philosophers have challenged Horwich's alethic minimalism, an especially austere version of deflationary truth theory. In part, this is at least because his brand of minimalism about truth also intersects with several different literatures: paradox, implicit definition, bivalence, normativity, propositional attitudes, properties, explanatory power, meaning and use, and so forth. Deflationist sympathizers have introduced (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. added 2017-03-20
    Minimal Type Theory (MTT).Pete Olcott - manuscript
    Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. added 2017-02-08
    Are All Tautologies True?Philip Hugly & Charles Sayward - 1989 - Logique Et Analyse 125 (125-126):3-14.
    The paper asks: are all tautologies true in a language with truth-value gaps? It answers that they are not. No tautology is false, of course, but not all are true. It also contends that not all contradictions are false in a language with truth-value gaps, though none are true.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. added 2017-02-07
    Constraints on Correspondence.Barry Smith - 1989 - In H. Rutte, W. Sauer & W. Gombocz (eds.), Traditionen und Perspektiven der analytischen Philosophie: Festschrift für Rudolf Haller. Vienna: Hölder/Pichler/Tempsky. pp. 415-430.
    My aim is to lay down some constraints on a correspondence theory of truth for empirical sentences of a natural language on the basis of a theory according to which that to which a true empirical sentence of such a language corresponds is a part of the natural world. The problem is to find some means of delineating those portions of the world which serve as correspondents, portions of reality otherwise called ‘truthmakers’.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. added 2017-02-03
    Argumentations and Logic.John Corcoran - 1989 - ARGUMENTAION 3 (1):17-43.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. added 2017-01-27
    Semantic WFF(X) Specified Syntactically.Pete Olcott - manuscript
    Hypothesis: WFF(x) can be applied syntactically to the semantics of formalized declarative sentences such that: WFF(x) ↔ (x ↦ True) ∨ (x ↦ False) (see proof sketch below) For clarity we focus on simple propositions without binary logical connectives.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. added 2017-01-27
    Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.
    The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. added 2017-01-27
    Contractions of Noncontractive Consequence Relations.Rohan French & David Ripley - 2015 - Review of Symbolic Logic 8 (3):506-528.
    Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules of contraction. Here, we study such approaches, with an eye to helping them respond to a certain kind of objection. We define a contractive relative of each noncontractive relation, for use in responding to the objection in question, and we explore one example: the contractive relative of multiplicative-additive affine logic with transparent truth, or MAALT. -/- .
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. added 2017-01-23
    The Staccato Run: A Contemporary Issue in the Zenonian Tradition.Michael Burke - 2000 - Modern Schoolman 78 (1):1-8.
    The “staccato run,” in which a runner stops infinitely often while running from one point to another, is a prototypical “superfeat,” that is, a feat involving the completion in a finite time of an infinite sequence of distinct acts. There is no widely accepted demonstration that superfeats are impossible logically, but I argue here, contra Grunbaüm, that they are impossible dynamically. Specifically, I show that the staccato run is excluded by Newton’s three laws of motion, when those laws are supplemented (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  31. added 2017-01-17
    Alethic Undecidability Doesn’T Solve the Liar.Mark Jago - 2016 - Analysis 76 (3):278-283.
    Stephen Barker presents a novel approach to solving semantic paradoxes, including the Liar and its variants and Curry’s paradox. His approach is based around the concept of alethic undecidability. His approach, if successful, renders futile all attempts to assign semantic properties to the paradoxical sentences, whilst leaving classical logic fully intact. And, according to Barker, even the T-scheme remains valid, for validity is not undermined by undecidable instances. Barker’s approach is innovative and worthy of further consideration, particularly by those of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. added 2017-01-15
    Conditionals and Curry.Daniel Nolan - 2016 - Philosophical Studies 173 (10):2629-2647.
    Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. added 2017-01-15
    Lies, Half-Truths, and Falsehoods About Tarski’s 1933 “Liar” Antinomies.John Corcoran & Joaquin Miller - 2012 - Bulletin of Symbolic Logic 18 (1):140-141.
    We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those who (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. added 2017-01-15
    Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication.John Corcoran - 2008 - Bulletin of Symbolic Logic 14 (4):435-6.
    Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication. -/- Roughly, iffication is the speech-act in which—by appending a suitable if-clause—the speaker qualifies a previous statement. The clause following if is called the qualiffication. In many cases, the intention is to retract part of the previous statement—called the preiffication. I can retract part of “I will buy three” by appending “if I have money”. This initial study focuses on logical relations among propositional contents of speech-acts—not their full conversational implicatures, which will be treated (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  35. added 2017-01-10
    Meaning, Presuppositions, Truth-Relevance, Gödel's Sentence and the Liar Paradox.X. Y. Newberry - manuscript
    Section 1 reviews Strawson’s logic of presuppositions. Strawson’s justification is critiqued and a new justification proposed. Section 2 extends the logic of presuppositions to cases when the subject class is necessarily empty, such as (x)((Px & ~Px) → Qx) . The strong similarity of the resulting logic with Richard Diaz’s truth-relevant logic is pointed out. Section 3 further extends the logic of presuppositions to sentences with many variables, and a certain valuation is proposed. It is noted that, given this valuation, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  36. added 2016-12-19
    Classicality Lost: K3 and LP After the Fall.Matthias Jenny - 2016 - Thought: A Journal of Philosophy 5 (4).
    It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this paper, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  37. added 2016-12-12
    Truth, Omniscience, and Cantorian Arguments: An Exchange.Alvin Plantinga & Patrick Grim - 1993 - Philosophical Studies 71 (3):267-306.
    Suppose there were a set T of all truths, and consider all subsets of T --all members of the power set T. To each element of this power set will correspond a truth. To each set of the power set, for example, a particular truth T1 either will or will not belong as a member. In either case we will have a..
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  38. added 2016-12-08
    Some Non-Revisionist Solutions to Some Semantic Antinomies.J. M. Kuczynski - 2013 - Philosophical Inquiry 37 (3-4):51-61.
    It is shown that Russell's Paradox can be solved without advocating the Theory of Types, and also that the Liar's Paradox can be solved in much the same way. Neither solution requires that any of our commonsense-based beliefs be revised, let alone jettisoned. It is also shown that the Theory of Types is false.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  39. added 2016-10-21
    Review of Wittgenstein-a Critical Reader Ed by Hans-Johann Glock (2001).Michael Starks - 2017 - Philosophy, Human Nature and the Collapse of Civilization Michael Starks 3rd Ed. (2017).
    The aim of the 17 original papers here is to summarize and analyze Wittgenstein's thought. At the time these were being written, the Oxford/Intelex CDROM ($2040 on Amazon but available thru interlibrary loan and steeply discounted on the net) with 20,000 some pages of W's nachlass was not yet available, and only those fluent in German and willing to find and slog thru the incomplete Cornell microfilm were able to examine it. To this day it much of it remains untranslated (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. added 2016-10-08
    Conceptual Marxism and Truth: Inquiry Symposium on Kevin Scharp’s Replacing Truth.Patrick Greenough - 2017 - Inquiry: An Interdisciplinary Journal of Philosophy:1-19.
    In Replacing Truth (2013), Scharp takes the concept of truth to be fundamentally incoherent. As such, Scharp reckons it to be unsuited for systematic philosophical theorising and in need of replacement—at least for regions of thought and talk which permit liar sentences and their ilk to be formulated. This replacement methodology is radical because it not only recommends that the concept of truth be replaced (in troublesome domains) but that the word “true” be replaced too. Only Tarski has attempted anything (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  41. added 2016-09-05
    Formalizing the Logical (Self-Reference) Error of the Liar Paradox.Pete Olcott - manuscript
    This paper decomposes the Liar Paradox into its semantic atoms using Meaning Postulates (1952) provided by Rudolf Carnap. Formalizing truth values of propositions as Boolean properties of these propositions is a key new insight. This new insight divides the translation of a declarative sentence into its equivalent mathematical proposition into three separate steps. When each of these steps are separately examined the logical error of the Liar Paradox is unequivocally shown.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  42. added 2016-04-25
    Contraction and Revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.
    An important question for proponents of non-contractive approaches to paradox is why contraction fails. Zardini offers an answer, namely that paradoxical sentences exhibit a kind of instability. I elaborate this idea using revision theory, and I argue that while instability does motivate failures of contraction, it equally motivates failure of many principles that non-contractive theorists want to maintain.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. added 2016-04-11
    The Liar Syndrome.Albert A. Johnstone - 2002 - SATS 3 (1).
    This article examines the various Liar paradoxes and their near kin, Grelling’s paradox and Gödel’s Incompleteness Theorem with its self-referential Gödel sentence. It finds the family of paradoxes to be generated by circular definition–whether of statements, predicates, or sentences–a manoeuvre that generates pseudo-statements afflicted with the Liar syndrome: semantic vacuity, semantic incoherence, and predicative catalepsy. Such statements, e.g., the self-referential Liar statement, are meaningless, and hence fail to say anything, a point that invalidates the reasoning on which the various paradoxes (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. added 2016-02-25
    Justifying a Large Part of Philosophy.Bryan Frances - forthcoming - Think.
    I explain why research in non-applied, non-interdisciplinary, non-historical philosophy is worthwhile. The key move in the explanation is the realization that many philosophical problems can be put in the form of a set of highly plausible yet apparently jointly inconsistent claims regarding a fundamental notion.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  45. added 2016-01-09
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. added 2015-10-23
    Knights, Knaves, Truth, Truthfulness, Grounding, Tethering, Aboutness, and Paradox.Stephen Yablo - forthcoming - In Melvin Fitting (ed.), Essays for Raymond Smullyan.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  47. added 2015-10-11
    Review of Mark Sainsbury, Paradoxes. [REVIEW]Vincent C. Müller - 1994 - European Review of Philosophy 1:182-184.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  48. added 2015-10-11
    Paradoxien.Mark Sainsbury & Vincent C. Müller - 1993 - Reclam.
    Translation of Mark Sainsbury: Paradoxes (Cambridge University Press 1988).
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. added 2015-09-14
    Borg’s Minimalism and the Problem of Paradox.Mark Pinder - 2014 - In Piotr Stalmaszczyk (ed.), Semantics and Beyond: Philosophical and Linguistic Inquiries. De Gruyter. pp. 207-230.
    According to Emma Borg, minimalism is (roughly) the view that natural language sentences have truth conditions, and that these truth conditions are fully determined by syntactic structure and lexical content. A principal motivation for her brand of minimalism is that it coheres well with the popular view that semantic competence is underpinned by the cognition of a minimal semantic theory. In this paper, I argue that the liar paradox presents a serious problem for this principal motivation. Two lines of response (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. added 2015-09-01
    Paradoxos Semânticos.Ricardo Santos - 2014 - Compêndio Em Linha de Problemas de Filosofia Analítica.
    The semantic paradoxes are a family of arguments – including the liar paradox, Curry’s paradox, Grelling’s paradox of heterologicality, Richard’s and Berry’s paradoxes of definability, and others – which have two things in common: first, they make an essential use of such semantic concepts as those of truth, satisfaction, reference, definition, etc.; second, they seem to be very good arguments until we see that their conclusions are contradictory or absurd. These arguments raise serious doubts concerning the coherence of the concepts (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 98