View topic on PhilPapers for more information
Related categories

131 found
Order:
More results on PhilPapers
1 — 50 / 131
  1. De las pericias con que el gobernador Sancho Panza resolvió 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. 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  
  3. How to Conquer the Liar - 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 paradoxes that were invented as counter-arguments for various proposed solutions to the paradoxes of truth (``revenges of the Liar''). Also, one erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out.
    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  
  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. 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  
  9. 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. 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  
  11. 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  
  12. 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  
  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. Liar Sentences Are Truth-Apt.Matheus Silva - manuscript
    Lycan (2010: 617) maintained that if we know about a deductive argument P1, P2…, ∴C that it is valid, this shows that a set containing the premises and the negation of conclusion is internally inconsistent {P1, P2,…, ~C}. Using a similar reasoning, we should conclude that an invalid deductive argument shows that a set containing the premises and the negation of conclusion is internally consistent. This implies that premises and conclusion of any deductive argument are truth-apt. Since it is uncontroversial (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. 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  
  16. Limits of Abductivism About Logic.Ulf Hlobil - forthcoming - Philosophy and Phenomenological Research.
    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   1 citation  
  17. 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 citations  
  18. 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  
  19. 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   6 citations  
  20. 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  
  21. 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  
  22. 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  
  23. Editorial Introduction to ‘Truth: Concept Meets Property’.Jeremy Wyatt - 2020 - Synthese 198 (2):591-603.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. 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  
  25. 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   1 citation  
  26. 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  
  27. 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   1 citation  
  28. 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  
  29. 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  
  30. 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  
  31. 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  
  32. 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  
  33. 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  
  34. 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  
  35. 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  
  36. 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  
  37. 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   4 citations  
  38. 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  
  39. 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  
  40. 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  
  41. 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  
  42. Pluralism and the Liar.Cory Wright - 2017 - In Bradley Armour-Garb (ed.), Reflections on the Liar. Oxford University Press. pp. 347–373.
    Pluralists maintain that there is more than one truth property in virtue of which bearers are true. Unfortunately, it is not yet clear how they diagnose the liar paradox or what resources they have available to treat it. This chapter considers one recent attempt by Cotnoir (2013b) to treat the Liar. It argues that pluralists should reject the version of pluralism that Cotnoir assumes, discourse pluralism, in favor of a more naturalized approach to truth predication in real languages, which should (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  43. Knights, Knaves, Truth, Truthfulness, Grounding, Tethering, Aboutness, and Paradox.Stephen Yablo - 2017 - In Brian Rayman & Melvin Fitting (eds.), Raymond Smullyan on Self Reference. Springer Verlag.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. 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   1 citation  
  45. 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  
  46. 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   2 citations  
  47. 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   4 citations  
  48. 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  
  49. Paths to Triviality.Tore Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  50. The Inherent Risks in Using a Name-Forming Function at Object Language Level.Ferenc András - 2015 - The Reasoner 9 (5).
    The Truth problem is one of the central problems of philosophy. Nowadays, every major theory of truth that applies to formal languages utilizes devices referring to formulae. Such devices include name-forming functions. The theory of truth discussed in this paper applies to strict formal logic languages, the critique of which must, therefore, also obey mathematical rigour. This is why I have used formal logic derivations below rather than the argumentation of ordinary language.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 131