This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

40 found
Order:
  1. 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   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Vagueness as Arbitrariness: Outline of a Theory of Vagueness.Sagid Salles - 2021 - Springer.
    This book proposes a new solution to the problem of vagueness. There are several different ways of addressing this problem and no clear agreement on which one is correct. The author proposes that it should be understood as the problem of explaining vague predicates in a way that systematizes six intuitions about the phenomenon and satisfies three criteria of adequacy for an ideal theory of vagueness. The third criterion, which is called the “criterion of precisification”, is the most controversial one. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Supervaluationism, Subvaluationism and the Sorites Paradox.Pablo Cobreros & Luca Tranchini - 2019 - In Elia Zardini & Sergi Oms (eds.), The Sorites Paradox. Cambridge, Reino Unido: pp. 38-62.
    One way in which we might approach the challenge posed by the Sorites Paradox is considering that Sorites-susceptible predicates have several candidate extensions, or several ways in which these expressions can be made precise. For example, a candidate extension for the predicate ‘is a baby’ is the set of humans of less than two years, but also the set of those less than two years and one second, and of those less than two years and two seconds. In this chapter (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. In Defence of Radical Restrictionism.David Liggins - 2019 - Philosophy and Phenomenological Research 98 (1):3-25.
    Restrictionism is a response to the Liar and other paradoxes concerning truth. Restrictionists—as I will call proponents of the strategy—respond to these paradoxes by giving up instances of the schema -/- <p> is true iff p. -/- My aim is to show that the current unpopularity of restrictionism is undeserved. I will argue that, whilst cautious versions of the strategy may face serious problems, a radical and previously overlooked version of restrictionism provides a strong and defensible response to the paradoxes.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. A Teoria Trivalente da Vagueza e o Problema da Precisão.Sagid Salles - 2019 - In Marcus José Alves de Souza & Maxwell Morais de Lima Filho (eds.), Escritos de Filosofia III: Linguagem e Cognição. Porto Alegre, RS, Brasil: pp. 184-200..
    Há pelo menos duas coisas que tornam o fenômeno da vagueza interessante. Primeiro, a vagueza está espalhada por toda a linguagem natural. Uma parte significativa das expressões de nossa linguagem são vagas e podemos encontrar a vagueza em expressões de diferentes categorias lógicas, como termos singulares, predicados e quantificadores. Por razões de simplicidade, contudo, ao longo deste artigo considero apenas o caso dos predicados vagos. Segundo, o fenômeno da vagueza está por trás de um difícil paradoxo, conhecido como Paradoxo Sorites. (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. An Acquittal for Epistemicism.Hesam Mohamadi - 2018 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 31 (4):905-928.
    Scott Soames argues that consideration of the practice of legal judgement gives us good reason to favor the partial-definition/context-sensitive theory of vagueness against epistemicism. Despite the fact that the value of power-delegation through vagueness is evidenced in practice, Soames says, epistemicism cannot account for it theoretically, while the partial-definition/context-sensitive theory is capable of it. In this paper, I examine the two possible arguments against epistemicism that can be extracted from Soames’s account: (i) an argument based on unknown obligations, and (ii) (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Supervaluationism: Truth, Value and Degree Functionality.Pablo Cobreros & Luca Tranchini - 2014 - Thought: A Journal of Philosophy 3 (2):136-144.
    This article deals with supervaluationism and the failure of truth-functionality. It draws some distinctions that may contribute to a better understanding of this semantic framework.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Category Mistakes.Ofra Magidor - 2013 - Oxford University Press.
    Category mistakes are sentences such as 'Green ideas sleep furiously' or 'Saturday is in bed'. They strike us as highly infelicitous but it is hard to explain precisely why this is so. Ofra Magidor explores four approaches to category mistakes in philosophy of language and linguistics, and develops and defends an original, presuppositional account.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  9. Liars, Truthtellers and Naysayers: A Broader View of Semantic Pathology I.Bradley Armour-Garb & James A. Woodbridge - 2012 - Language and Communication 32 (4):293-311.
    Semantic pathology is most widely recognized in the liar paradox, where an apparent inconsistency arises in ‘‘liar sentences’’ and their ilk. But the phenomenon of semantic pathology also manifests a sibling symptom—an apparent indeterminacy—which, while not largely discussed (save for the occasional nod to ‘‘truthteller sentences’’), is just as pervasive as, and exactly parallels, the symptom of inconsistency. Moreover, certain ‘‘dual symptom’’ cases, which we call naysayers, exhibit both inconsistency and indeterminacy and also manifest a higher-order indeterminacy between them. In (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.
    In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  11. My Own Truth ---Pathologies of Self-Reference and Relative Truth.Alexandre Billon - 2011 - In Rahman Shahid, Primiero Giuseppe & Marion Mathieu (eds.), Logic, Epistemology, and the Unity of Science, Vol. 23. springer.
    emantic pathologies of self-reference include the Liar (‘this sentence is false’), the Truth-Teller (‘this sentence is true’) and the Open Pair (‘the neighbouring sentence is false’ ‘the neighbouring sentence is false’). Although they seem like perfectly meaningful declarative sentences, truth value assignment to their uses seems either inconsistent (the Liar) or arbitrary (the Truth-Teller and the Open-Pair). These pathologies thus call for a resolution. I propose such a resolution in terms of relative-truth: the truth value of a pathological sentence use (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  12. Truth.Alexis G. Burgess & John P. Burgess - 2011 - Princeton University Press.
    This is a concise, advanced introduction to current philosophical debates about truth. A blend of philosophical and technical material, the book is organized around, but not limited to, the tendency known as deflationism, according to which there is not much to say about the nature of truth. In clear language, Burgess and Burgess cover a wide range of issues, including the nature of truth, the status of truth-value gaps, the relationship between truth and meaning, relativism and pluralism about truth, and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  13. MacColl’s Modes of Modalities.Fabien Schang - 2011 - Philosophia Scientiae 15:149-188.
    Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood. But a closer examination shows that such a legacy is debatable and should take into account the way in which these modalities proceeded. We argue that, while MacColl devised a modal logic in the broad sense of the word, he did not give rise to a many-valued logic in the strict sense. Rather, his logic is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Indeterminacy and Truth Value Gaps.Mark Richard - 2010 - In Richard Dietz & Sebastiano Moruzzi (eds.), Cuts and Clouds: Vaguenesss, its Nature and its Logic. Oxford University Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark   3 citations  
  15. New Waves in Truth.Cory Wright & Nikolaj Jang Lee Linding Pedersen (eds.) - 2010 - Palgrave-Macmillan.
    What is truth? Philosophers are interested in a range of issues involving the concept of truth beginning with what sorts of things can be true. This is a collection of eighteen new and original research papers on truth and other alethic phenomena by twenty of the most promising young scholars working on truth today.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  16. A Plea for Epistemic Truth: Jaina Logic From a Many-Valued Perspective.Fabien Schang - 2009 - In A. Schuman (ed.), Logic in Religious Discourse. Ontos Verlag. pp. 54--83.
    We present the Jaina theory of sevenfold predication as a 7-valued logic, in which every logical value consists in a 3-tuple of opinions. A question-answer semantics is used in order to give an intuitive characterization of these logical values in terms of opinion polls. Two different interpretations are plausible for the latest sort of opinion, depending upon whether "non-assertability" refers to incompleteness or inconsistency. It is shown hat the incomplete version of JL_{G} is equivalent to Kleene's logic K3, whereas the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Conceptual Schemes and Presuppositional Languages.Xinli Wang - 2007 reprint - The Proceedings of the Twenty-First World Congress of Philosophy 6:119-124.
    The current discussions of conceptual schemes and related topics are misguided; for they are based on a tacit assumption that the difference between two schemes consists in the different distributions in truth-values. I argue that what should concern us, in the discussions of conceptual schemes and related issues, is not truth-values of assertions, but rather the truth-value-status of the sentences used to make the assertions. This is because the genuine conceptual innovation between alternative theories or languages does not lie in (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Congiunzione e contraddizione.Achille C. Varzi - 2007 - In Francesco Altea & Francesco Berto (eds.), Scenari dell’impossibile. La contraddizione nel pensiero contemporaneo. Il Poligrafo. pp. 63–86.
    Italian translation of "Conjunction and Contradiction" (2004), by Francesco Berto.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Vagueness and Inductive Molding.J. R. Welch - 2007 - Synthese 154 (1):147-172.
    Vagueness is epistemic, according to some. Vagueness is ontological, according to others. This article deploys what I take to be a compromise position. Predicates are coined in specific contexts for specific purposes, but these limited practices do not automatically fix the extensions of predicates over the domain of all objects. The linguistic community using the predicate has rarely considered, much less decided, all questions that might arise about the predicate’s extension. To this extent, the ontological view is correct. But a (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Imperativos, preceptos y normas.Lorenzo Peña - 2006 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 39:111-142.
    The paper goes into the intricate logical relation between imperatives, precepts and norms. It shows that there need not be two senses of "ought", the one descriptive and the other prescriptive, since when the law-giver enacts a fresh statute he is hereby making a tru statement, whose truth is grounded on the statement itself.
    Remove from this list   Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Fuzziness and the Sorites Paradox.Marcelo Vasconez - 2006 - Dissertation, Catholic University of Louvain
    The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. 4. Contradictorial Gradualism Vs. Discontinuism: Two Views On Fuzziness And The Transition Problem.Marcelo VÁsconez - 2006 - Logique Et Analyse 49 (195).
    The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Two Conceptions of Truth? – Comment.V. Mc Gee - 2005 - Philosophical Studies 124 (1):71 - 104.
    Following Hartry Field in distinguishing disquotational truth from a conception that grounds truth conditions in a community's usage, it is argued that the notions are materially inequivalent (since the latter allows truth-value gaps) and that both are needed. In addition to allowing blanket endorsements ("Everything the Pope says is true"), disquotational truth facilitates mathematical discovery, as when we establish the Gödel sentence by noting that the theorems are all disquotationally true and the disquotational truths are consistent. We require a more (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24. Modeling the concept of truth using the largest intrinsic fixed point of the strong Kleene three valued semantics (in Croatian language).Boris Culina - 2004 - Dissertation, University of Zagreb
    The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Bivalence and the Challenge of Truth-Value Gaps.Teresa Marques - 2004 - Dissertation, Stirling
    This thesis is concerned with the challenge truth-value gaps pose to the principle of bivalence. The central question addressed is: are truth-value gaps counterexamples to bivalence and is the supposition of counterexamples coherent? My aim is to examine putative cases of truth-value gaps against an argument by Timothy Williamson, which shows that the supposition of counterexamples to bivalence is contradictory. The upshot of his argument is that either problematic utterances say nothing, or they cannot be neither true nor false. I (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. Conjunction and Contradiction.Achille C. Varzi - 2004 - In Graham Priest, J. C. Beall & Bradley Armour-Garb (eds.), The Law of Non-Contradiction: New Philosophical Essays. Clarendon Press. pp. 93–110.
    There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27. 语言分类系统、真值间隔和不可通约性 — 对库恩关于不可通约性的分类学解释之重建.Xinli Wang & 王 新力 - 2004 - World Philosophy 世界哲学 2004 (5).
    摘要:通常所接受对库恩有关不可通约性的分类学解释的理解建立在不可译性概念之上,因而是相当不完善的。为了弥补此不足,本文在分类之逻辑语义理论 (a logical-semantic theory of taxonomy)、真值语义理论 (a semantic theory of truth-value),以及跨语言交流的真值条件理论 (a truth-value conditional theory of cross-language communication) 之基础上,对库恩有关不可通约性的分类学解释进行了重建。根据这种重建,如果两个科学语言具有不相匹配的分类结构,则当一科学语言的核心语句在其所属语境中具有真值、而在另一科学语言之语境中考虑缺乏真值时,这两 种科学语言乃不可通约。通过这种重建,库恩对于不可通约性的成熟解释并非基于保真 (truth-preserving) 可译性或不可译性的概念,而是基于保留真值状态 (truth-value-preserving) 的跨语言交流概念之上。这种重建使得库恩有关不可通约性的解释更具坚实的理论基础、也在概念上更加完整。.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Presuppositional Languages and the Failure of Cross-Language Understanding.Xinli Wang - 2003 - Dialogue 42 (1):53-77.
    Why is mutual understanding between two substantially different comprehensive language communities often problematic and even unattainable? To answer this question, the author first introduces a notion of presuppositional languages. Based on the semantic structure of a presuppositional language, the author identifies a significant condition necessary for effective understanding of a language: the interpreter is able to effectively understand a language only if he/she is able to recognize and comprehend its metaphysical presuppositions. The essential role of the knowledge of metaphysical presuppositions (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29. 语言预设概念空泛无物吗?(A Defense of the Notion of Semantic Presupposition).Xinli Wang & 王 新力 - 2002 - In Bo Mou & 博 牟 (eds.), 留美哲学博士文选:当代基础理论研究 (Contemporary Inquiries into the Foundational Issues of Philosophy). 商务印书馆 (the Commercial Press, China). pp. 190-224.
    斯特劳逊 (Strawson)的语义预设概念在语义学和语言哲学研究上颇有建树。尽管如此,语义预设概念一直遭受来自各方面的批判。概要说来,对语义预设概念之批判主要来自两个方面:其一,试图抽去语义预设概念的逻辑基础 ,即非真值概念 (the notion of truthvaluelessness),从而达到间接地拒斥语义预设概念之目的。其二,直接批判语义预设概念本身。他们或者论证此概念在理论上不自恰或微不足道,或者断定即使此概念本身在理论上自恰,但实为一空 洞无物之概念。因为我们根本找任何一个语义预设的具体例证。所以,语义预设概念不具任何真正的哲学意义。它只是一个当代神话,理应拒斥。 -/- 玻尔(S. Ber)和莱肯(W. Lycan)对语义预设概念的批判集中代表了以上两个方面。据我所知,迄今不曾有人对他们的批判予以全面和公正的反驳,以致于许多人人云亦云,使得他们的论点至今颇有影响。给予玻尔和莱恩的批判以全面反驳乃本文初 衷。于此相关,我以为很有必要澄清对语义预设概念的诸多误解,从而确立一个理论上自恰,实际上可行,和确有实质性内容的语义预设概念。基于以上考虑,我对语义预设概念批判之反驳包括正 反两个方面。在第二节,我试图建立一个自恰,完备,非庸俗的语义预设概念。基于这一概念,第三节对玻尔和莱恩反对语义预设的两个核心批判予以全面反驳。第四节着重辩护非真值概念。本文的最后结论是:各种批判并未损 伤斯特劳逊的语义预设概念的精髓。语 义预设概念非但不是一个当代神话,而且具有重大哲学意义。 .
    Remove from this list   Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. 语义预设概念空泛无物吗?(Is the Notion of Semantic Presupposition Empty?).Xinli Wang(王新力) - 2002 - In Contemporary Inquiries Into the Foundational Issues of Philosophy. the Commercial Press, China.
    This paper is an attempt to clarify the notion of semantic presupposition and to refute Böer and Lycan's critique of that notion. The author presents a feasible and coherent formal definition of semantic presupposition after examining several popular definitions of the notion. In terms of this definition, two central arguments against semantic presupposition presented by Böer and Lycan are analyzed and responded to with care. It is concluded that the notion of semantic presupposition is not empty but rather is philosophically (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Minimalism, Gaps, and the Holton Conditional.J. C. Beall - 2000 - Analysis 60 (4):340–351.
  32. Supervaluationism and Paraconsistency.Achille C. Varzi - 2000 - In Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.), Frontiers in Paraconsistent Logic. Research Studies Press. pp. 279–297.
    Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  33. Is the Notion of Semantic Presupposition Empty?Wang Xinli - 1999 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 34 (73):61-93.
    This paper is an attempt to clarify the notion of semantic presupposition and to refute Böer and Lycan's critique of that notion. The author presents a feasible and coherent formal definition of semantic presupposition after examining several popular definitions of the notion. In terms of this definition, two central arguments against semantic presupposition presented by Böer and Lycan are analyzed and responded to with care. It is concluded that the notion of semantic presupposition is not empty but rather is philosophically (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Truth-Value Gaps, Ontological Commitments, and Incommensurability (Doctoral Dissertation).Xinli Wang - 1998 - Dissertation, The University of Connecticut
    According to the accepted translation-failure interpretation, the problem of incommensurability involves the nature of the meaning-referential relation between scientific languages. The incommensurability thesis is that some competing scientific languages are mutually untranslatable due to the radical variance of meaning or/and reference of the terms they employ. I argue that this interpretation faces many difficulties and cannot give us a tenable, coherent, and integrated notion of incommensurability. It has to be rejected. ;On the basis of two case studies, I find that (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Supervaluations and Theories.Ermanno Bencivenga - 1984 - Grazer Philosophische Studien 21 (1):89-98.
    When applying supervaluations to the analysis of a theory, one may encounter the following problem: in supervaluational semantics, contingent statements often have existential presuppositions, and these presuppositions may either contradict the theory or make the application of supervaluations pointless. The most natural way of handling this problem consists in revising the semantics each time a specific theory is considered, and in making the status of the axioms of the theory technically indistinguishable from that of logical truths. Philosophically, this position has (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  36. Supervaluations Without Truth-Value Gaps.Hans G. Herzberger - 1980 - Canadian Journal of Philosophy, Supplementary Volume 6:15.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  37. Truth-Value Gaps in Natural Language.James Hewins Waldo - 1980 - Dissertation, University of Massachusetts Amherst
    In the fourth chapter, I show how the semantics developed in the third chapter can be applied to the seemingly unrelated problem of discourse concerning fictional objects. Using the theory of nonexistent objects developed by Parsons as a point of departure, I show how this theory can be both simplified and enriched by the use of a truth-value gap semantics. ;In the third chapter, I develop a truth-value gap semantics for a fragment of English which includes both sortally correct and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38. On Closing the Truth-Value Gap.Douglas Odegard - 1964 - Analysis 25 (1):10 - 12.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  39. Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott - manuscript
    Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  40. Eliminating Undecidability and Incompleteness in Formal Systems.Pete Olcott - manuscript
    To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark