View topic on PhilPapers for more information
Related categories

147 found
Order:
More results on PhilPapers
1 — 50 / 147
  1. De la ingeniosa disolución que dio el gobernador Sancho Panza a la paradoja del suicida.Luis Felipe Bartolo Alegre - manuscript
    This is the story of how the noble squire Sancho Panza, while governing what he thought to be an insula, ingeniously solved a paradox not unlike those of modern logic.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. How to Conquer the Liar and Enthrone the Logical Concept of Truth: An Informal Exposition.Boris Culina - manuscript
    This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counter-arguments for various proposed solutions (``the revenge of the Liar''). Any solution to the paradoxes of truth necessarily establishes a certain logical concept of truth. This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. The Synthetic Concept of Truth and its Descendants.Boris Culina - manuscript
    The concept of truth has many aims but only one source. The article describes the primary concept of truth, here called the synthetic concept of truth, according to which truth is the objective result of the synthesis of us and nature in the process of rational cognition. It is shown how various aspects of the concept of truth -- logical, scientific, and mathematical aspect -- arise from the synthetic concept of truth. Also, it is shown how the paradoxes of truth (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. The Power of Naive Truth.Hartry Field - manuscript
    While non-classical theories of truth that take truth to be transparent have some obvious advantages over any classical theory that evidently must take it as non-transparent, several authors have recently argued that there's also a big disadvantage of non-classical theories as compared to their “external” classical counterparts: proof-theoretic strength. While conceding the relevance of this, the paper argues that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic disadvantage. It is suggested that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5. 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  
  6. 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  
  7. Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.Carlo Nicolai - manuscript
    The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. 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  
  9. 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  
  10. 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  
  11. 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  
  12. 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  
  13. A Quantificational Analysis of the Liar Paradox.Matheus Silva - manuscript
    It seems that the most common strategy to solve the liar paradox is to argue that liar sentences are meaningless and, consequently, truth-valueless. The other main option that has grown in recent years is the dialetheist view that treats liar sentences as meaningful, truth-apt and true. In this paper I will offer a new approach that does not belong in either camp. I hope to show that liar sentences can be interpreted as meaningful, truth-apt and false, but without engendering any (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Something is True.Jamin Asay - forthcoming - Philosophy and Phenomenological Research.
    The thesis that nothing is true has long been thought to be a self-refuting position not worthy of serious philosophical consideration. Recently, however, the thesis of alethic nihilism—that nothing is true—has been explicitly defended (notably by David Liggins). Nihilism is also, I argue, a consequence of other views about truth that have recently been advocated, such as fictionalism about truth and the inconsistency account. After offering an account of alethic nihilism, and how it purports to avoid the self-refutation problem, I (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Buddhist Epistemology and the Liar Paradox.Szymon Bogacz - forthcoming - Australasian Journal of Philosophy:1-17.
    The liar paradox is still an open philosophical problem. Most contemporary answers to the paradox target the logical principles underlying the reasoning from the liar sentence to the paradoxical conclusion that the liar sentence is both true and false. In contrast to these answers, Buddhist epistemology offers resources to devise a distinctively epistemological approach to the liar paradox. In this paper, I mobilise these resources and argue that the liar sentence is what Buddhist epistemologists call a contradiction with one’s own (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. A Note on Gödel, Priest and Naïve Proof.Massimiliano Carrara - forthcoming - Logic and Logical Philosophy:1.
    In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. Nothing is True.W. Gamester - forthcoming - Journal of Philosophy.
    This paper motivates and defends alethic nihilism, the theory that nothing is true. I first argue that alethic paradoxes like the Liar and Curry motivate nihilism; I then defend the view from objections. The critical discussion has two primary outcomes. First, a proof of concept. Alethic nihilism strikes many as silly or obviously false, even incoherent. I argue that it is in fact well-motivated and internally coherent. Second, I argue that deflationists about truth ought to be nihilists. Deflationists maintain that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - forthcoming - Journal of Philosophical Logic:1-31.
    Some think that logic concerns the "laws of truth"; others that logic concerns the "laws of thought." This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Exceptional Logic.Bruno Whittle - forthcoming - Review of Symbolic Logic:1-37.
    The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without exception. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. What of Multi- and Interdisciplinarity? A (Personal) Case Study.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):1-3.
    An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. The Epistemic Consequences of Paradox.Bryan Frances - 2022 - Cambridge: Cambridge University Press.
    By pooling together exhaustive analyses of certain philosophical paradoxes, we can prove a series of fascinating results regarding philosophical progress, agreement on substantive philosophical claims, knockdown arguments in philosophy, the wisdom of philosophical belief, the epistemic status of metaphysics, and the power of philosophy to refute common sense. As examples, this Element examines the Sorites Paradox, the Liar Paradox, and the Problem of the Many – although many other paradoxes can do the trick too.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. A Truth-Maker Semantics for ST: Refusing to Climb the Strict/Tolerant Hierarchy.Ulf Hlobil - 2022 - Synthese 200 (5):1-23.
    The paper presents a truth-maker semantics for Strict/Tolerant Logic, which is the currently most popular logic among advocates of the non-transitive approach to paradoxes. Besides being interesting in itself, the truth-maker presentation of ST offers a new perspective on the recently discovered hierarchy of meta-inferences that, according to some, generalizes the idea behind ST. While fascinating from a mathematical perspective, there is no agreement on the philosophical significance of this hierarchy. I aim to show that there is no clear philosophical (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. Limits of Abductivism About Logic.Ulf Hlobil - 2021 - Philosophy and Phenomenological Research 103 (2):320-340.
    I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  24. Grim Variations.Fabio Lampert & John William Waldrop - 2021 - Faith and Philosophy 38 (3):287-301.
    Patrick Grim advances arguments meant to show that the doctrine of divine omniscience—the classical doctrine according to which God knows all truths—is false. In particular, we here have in mind to focus on two such arguments: the set theoretic argument and the semantic argument. These arguments due to Grim run parallel to, respectively, familiar paradoxes in set theory and naive truth theory. It is beyond the purview of this article to adjudicate whether or not these are successful arguments against the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. Semantyczna teoria prawdy a antynomie semantyczne [Semantic Theory of Truth vs. Semantic Antinomies].Jakub Pruś - 2021 - Rocznik Filozoficzny Ignatianum 1 (27):341–363.
    The paper presents Alfred Tarski’s debate with the semantic antinomies: the basic Liar Paradox, and its more sophisticated versions, which are currently discussed in philosophy: Strengthen Liar Paradox, Cyclical Liar Paradox, Contingent Liar Paradox, Correct Liar Paradox, Card Paradox, Yablo’s Paradox and a few others. Since Tarski, himself did not addressed these paradoxes—neither in his famous work published in 1933, nor in later papers in which he developed the Semantic Theory of Truth—therefore, We try to defend his concept of truth (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.
    Since Saul Kripke’s influential work in the 1970s, the revisionary approach to semantic paradox—the idea that semantic paradoxes must be solved by weakening classical logic—has been increasingly popular. In this paper, we present a new revenge argument to the effect that the main revisionary approaches breed new paradoxes that they are unable to block.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   13 citations  
  27. Recensione di 'The Outer Limits of Reason' (I limiti esterni della ragione) di Noson Yanofsky 403p (2013)(revisto 2019).Michael Richard Starks - 2020 - In Benvenuti all'inferno sulla Terra: Bambini, Cambiamenti climatici, Bitcoin, Cartelli, Cina, Democrazia, Diversità, Disgenetica, Uguaglianza, Pirati Informatici, Diritti umani, Islam, Liberalismo, Prosperità, Web, Caos, Fame, Malattia, Violenza, Intellige. Las Vegas, NV, USA: Reality Press. pp. 182-196.
    Io do una recensione dettagliata di 'The Outer Limits of Reason' di Noson Yanofsky da una prospettiva unificata di Wittgenstein e psicologia evolutiva. Inditesto che la difficoltà con questioni come il paradosso nel linguaggio e nella matematica, l'incompletezza, l'indecidibilità, la computabilità, il cervello e l'universo come computer ecc., derivano tutto dall'incapacità di guardare attentamente al nostro uso del linguaggio nel contesto appropriato e quindi alla mancata separazione delle questioni di fatto scientifico dalle questioni di come funziona il linguaggio. Discuto le (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Wolpert, Chaitin и Wittgenstein о невозможности, неполноте, парадоксе лжецов, теизм, границах вычислений, принципе неквантовой механической неопределенности и вселенной как компьютер – конечной теорете в Тuring машин Тьюринга (пересмотренный 2019).Michael Richard Starks - 2020 - In ДОБРО ПОЖАЛОВАТЬ В АД НА НАШЕМ МИРЕ : Дети, Изменение климата, Биткойн, Картели, Китай, Демократия, Разнообразие, Диссигеника, Равенство, Хакеры, Права человека, Ислам, Либерализм, Процветание, Сеть, Хаос, Голод, Болезнь, Насилие, Искусственный интелле. Las Vegas, NV USA: Reality Press. pp. 187-192.
    Я читал много недавних дискуссий о границах вычислений и Вселенной, как компьютер, надеясь найти некоторые комментарии по удивительной работы физика полимата и теоретик решений Дэвид Вольперт, но не нашли ни одной цитаты, и поэтому я представляю это очень краткое резюме. Вольперт доказал некоторые потрясающие невозможности или теоремы неполноты (1992 до 2008-см arxiv dot org) на пределы выводов (вычисления), которые настолько общие они не зависят от устройства делать вычисления, и даже независимо от законов физики, поэтому они применяются через компьютеры, физика, и (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Wolpert, Chaitin e Wittgenstein sull'impossibilità, l'incompletezza, il paradosso bugiardo, il teismo, i limiti del calcolo, un principio di incertezza meccanica non quantistica e l'universo come computer, il teorema finale della Teoria della Macchina di Turing (rivisto 2019).Michael Richard Starks - 2020 - In Benvenuti all'inferno sulla Terra: Bambini, Cambiamenti climatici, Bitcoin, Cartelli, Cina, Democrazia, Diversità, Disgenetica, Uguaglianza, Pirati Informatici, Diritti umani, Islam, Liberalismo, Prosperità, Web, Caos, Fame, Malattia, Violenza, Intellige. Las Vegas, NV, USA: Reality Press. pp. 177-181.
    Ho letto molte recenti discussioni sui limiti del calcolo e dell'universo come computer, sperando di trovare alcuni commenti sull'incredibile lavoro del fisico polimatematico e del teorista delle decisioni David Wolpert, ma non ho trovato una sola citazione e quindi presento questo brevissimo riassunto. Wolpert si dimostrò una straordinaria impossibilità o incompletezza teoremi (1992-2008-see arxiv dot org) sui limiti dell'inferenza (calcolo) che sono così generali che sono indipendenti dal dispositivo che fa il calcolo, e anche indipendenti dalle leggi della fisica, in (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. Editorial Introduction to ‘Truth: Concept Meets Property’.Jeremy Wyatt - 2020 - Synthese 198 (2):591-603.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Paradoxical Hypodoxes.Alexandre Billon - 2019 - Synthese 196 (12):5205-5229.
    Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Inconsistency and Replacement.Matti Eklund - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (4):387-402.
    The article is an extended critical discussion of Kevin Scharp’s Replacing Truth. Scharp’s case for the claim that the concept of truth is inconsistent is criticized, and so is his case for the claim that the concept of truth must be replaced because of its inconsistency.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Justifying a Large Part of Philosophy.Bryan Frances - 2019 - Think 18 (51):93-99.
    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.Export citation.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. Conceptual Marxism and Truth: Inquiry Symposium on Kevin Scharp’s Replacing Truth.Patrick Greenough - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (4):403-421.
    In Replacing Truth, 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, but that the word ‘true’ be replaced too. Only Tarski has attempted anything like it (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Faithfulness for Naive Validity.Ulf Hlobil - 2019 - Synthese 196 (11):4759-4774.
    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   7 citations  
  36. Non‐Classical Knowledge.Ethan Jerzak - 2019 - Philosophy and Phenomenological Research 98 (1):190-220.
    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   3 citations  
  37. Paradoxical Desires.Ethan Jerzak - 2019 - Proceedings of the Aristotelian Society 119 (3):335-355.
    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   1 citation  
  38. Fixed-Point Posets in Theories of Truth.Stephen Mackereth - 2019 - Journal of Philosophical Logic (1).
    We show that any coherent complete partial order 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  
  39. Wolpert, Chaitin e Wittgenstein em impossibilidade, incompletude, o paradoxo do mentiroso, o teísmo, os limites da computação, um princípio de incerteza mecânica não quântica e o universo como computador — o teorema final na teoria da máquina de Turing (revisado 2019).Michael Richard Starks - 2019 - In Delírios Utópicos Suicidas no Século XXI Filosofia, Natureza Humana e o Colapso da Civilization- Artigos e Comentários 2006-2019 5ª edição. Las Vegas, NV USA: Reality Press. pp. 183-187.
    Eu li muitas discussões recentes sobre os limites da computação e do universo como computador, na esperança de encontrar alguns comentários sobre o trabalho surpreendente do físico polimatemático e teórico da decisão David Wolpert, mas não encontrei uma única citação e assim que eu apresento este muito breve Resumo. Wolpert provou alguma impossibilidade impressionante ou teoremas da incompletude (1992 a 2008-Veja arxiv dot org) nos limites à inferência (computação) que são tão gerais que são independentes do dispositivo que faz a (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Truth and Generalized Quantification.Bruno Whittle - 2019 - Australasian Journal of Philosophy 97 (2):340-353.
    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  
  41. Radical Anti‐Disquotationalism.Andrew Bacon - 2018 - Philosophical Perspectives 32 (1):41-107.
    A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Naïve Proof and Curry’s Paradox.Massimilano 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  
  43. The Completeness: From Henkin's Proposition to Quantum Computer.Vasil Penchev - 2018 - Логико-Философские Штудии 16 (1-2):134-135.
    The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. 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   2 citations  
  45. Minimalismo e suas Mentiras Generalizadas (Minimalism's General Lies).Danilo Fraga Dantas - 2017 - Analytica (Rio) 21 (2):183-194.
    A teoria minimalista da verdade consiste em todas as instâncias do esquema 'φ é verdadeira sse φ' e na afirmação de que nossa aceitação (primitiva) dessas instâncias é suficiente para explicar nossas atitudes em relação a todas sentenças envolvendo ‘verdade’. Filósofos têm apontado que o minimalismo tem dificuldades em explicar nossas atitudes em relação a generalizações envolvendo ‘verdade’ bem como em lidar com instanciações contraditórias do esquema para sentenças paradoxais (ex. paradoxo do mentiroso). Proponentes do minimalismo apresentam soluções para esses (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. 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   5 citations  
  47. 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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48. 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  
  49. Naïve Validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.
    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   5 citations  
  50. 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   1 citation  
1 — 50 / 147