Search results for 'Provability' (try it on Scholar)

562 found
Sort by:
  1. Walter Dean (2014). Montague’s Paradox, Informal Provability, and Explicit Modal Logic. Notre Dame Journal of Formal Logic 55 (2):157-196.score: 24.0
    The goal of this paper is to explore the significance of Montague’s paradox—that is, any arithmetical theory $T\supseteq Q$ over a language containing a predicate $P$ satisfying $P\rightarrow \varphi $ and $T\vdash \varphi \,\therefore\,T\vdash P$ is inconsistent—as a limitative result pertaining to the notions of formal, informal, and constructive provability, in their respective historical contexts. To this end, the paradox is reconstructed in a quantified extension $\mathcal {QLP}$ of Artemov’s logic of proofs . $\mathcal {QLP}$ contains both explicit modalities (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Paul Égré (2005). The Knower Paradox in the Light of Provability Interpretations of Modal Logic. Journal of Logic, Language and Information 14 (1):13-48.score: 24.0
    This paper propounds a systematic examination of the link between the Knower Paradox and provability interpretations of modal logic. The aim of the paper is threefold: to give a streamlined presentation of the Knower Paradox and related results; to clarify the notion of a syntactical treatment of modalities; finally, to discuss the kind of solution that modal provability logic provides to the Paradox. I discuss the respective strength of different versions of the Knower Paradox, both in the framework (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Mingzhong Cai (2012). Degrees of Relative Provability. Notre Dame Journal of Formal Logic 53 (4):479-489.score: 24.0
    There are many classical connections between the proof-theoretic strength of systems of arithmetic and the provable totality of recursive functions. In this paper we study the provability strength of the totality of recursive functions by investigating the degree structure induced by the relative provability order of recursive algorithms. We prove several results about this proof-theoretic degree structure using recursion-theoretic techniques such as diagonalization and the Recursion Theorem.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Albert Visser (2008). Closed Fragments of Provability Logics of Constructive Theories. Journal of Symbolic Logic 73 (3):1081-1096.score: 24.0
    In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the closed fragment of the provability logic of Heyting's Arithmetic plus Markov's Principle and Heyting's Arithmetic plus Primitive Recursive Markov's Principle.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Thomas F. Icard & Joost J. Joosten (2012). Provability and Interpretability Logics with Restricted Realizations. Notre Dame Journal of Formal Logic 53 (2):133-154.score: 24.0
    The provability logic of a theory $T$ is the set of modal formulas, which under any arithmetical realization are provable in $T$. We slightly modify this notion by requiring the arithmetical realizations to come from a specified set $\Gamma$. We make an analogous modification for interpretability logics. We first study provability logics with restricted realizations and show that for various natural candidates of $T$ and restriction set $\Gamma$, the result is the logic of linear frames. However, for the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten (2014). On Provability Logics with Linearly Ordered Modalities. Studia Logica 102 (3):541-566.score: 24.0
    We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Vedran Čačić & Domagoj Vrgoč (2013). A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic. Studia Logica 101 (1):31-44.score: 24.0
    Provability logic is a modal logic for studying properties of provability predicates, and Interpretability logic for studying interpretability between logical theories. Their natural models are GL-models and Veltman models, for which the accessibility relation is well-founded. That’s why the usual counterexample showing the necessity of finite image property in Hennessy-Milner theorem (see [1]) doesn’t exist for them. However, we show that the analogous condition must still hold, by constructing two GL-models with worlds in them that are modally equivalent (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Larisa Maksimova (2008). Interpolation and Implicit Definability in Extensions of the Provability Logic. Logic and Logical Philosophy 17 (1-2):129-142.score: 24.0
    The provability logic GL was in the field of interest of A.V. Kuznetsov, who had also formulated its intuitionistic analog—the intuitionistic provability logic—and investigated these two logics and their extensions. In the present paper, different versions of interpolation and of the Beth property in normal extensions of the provability logic GL are considered. It is proved that in a large class of extensions of GL (including all finite slice logics over GL) almost all versions of interpolation and (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Vítězslav Švejdar (2003). The Decision Problem of Provability Logic with Only One Atom. Archive for Mathematical Logic 42 (8):763-768.score: 24.0
    The decision problem for provability logic remains PSPACE-complete even if the number of propositional atoms is restricted to one.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Taishi Kurahashi (2013). On Predicate Provability Logics and Binumerations of Fragments of Peano Arithmetic. Archive for Mathematical Logic 52 (7-8):871-880.score: 24.0
    Solovay proved (Israel J Math 25(3–4):287–304, 1976) that the propositional provability logic of any ∑2-sound recursively enumerable extension of PA is characterized by the propositional modal logic GL. By contrast, Montagna proved in (Notre Dame J Form Log 25(2):179–189, 1984) that predicate provability logics of Peano arithmetic and Bernays–Gödel set theory are different. Moreover, Artemov proved in (Doklady Akademii Nauk SSSR 290(6):1289–1292, 1986) that the predicate provability logic of a theory essentially depends on the choice of a (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Dov M. Gabbay (2009). Modal Provability Foundations for Argumentation Networks. Studia Logica 93 (2/3):181 - 198.score: 21.0
    Given an argumentation network we associate with it a modal formula representing the 'logical content' of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Paolo Gentilini & P. Gentilini (1992). Provability Logic in the Gentzen Formulation of Arithmetic. Mathematical Logic Quarterly 38 (1):535-550.score: 21.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Panu Raatikainen (2005). Truth and Provability: A Comment on Redhead. British Journal for the Philosophy of Science 56 (3):611-613.score: 18.0
    Michael Redhead's recent argument aiming to show that humanly certifiable truth outruns provability is critically evaluated. It is argued that the argument is at odds with logical facts and fails.
    Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  14. George Boolos (1993). The Logic of Provability. Cambridge University Press.score: 18.0
    This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (CUP, 1979). Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self referential' (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.score: 18.0
    In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Francesca Poggiolesi (2009). A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability. Review of Symbolic Logic 2 (4):593-611.score: 18.0
    In this paper we present a sequent calculus for the modal propositional logic GL (the logic of provability) obtained by means of the tree-hypersequent method, a method in which the metalinguistic strength of hypersequents is improved, so that we can simulate trees shapes. We prove that this sequent calculus is sound and complete with respect to the Hilbert-style system GL, that it is contraction free and cut free and that its logical and modal rules are invertible. No explicit semantic (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. David Fair (1984). Provability and Mathematical Truth. Synthese 61 (3):363 - 385.score: 18.0
    An insight, Central to platonism, That the objects of pure mathematics exist "in some sense" is probably essential to any adequate account of mathematical truth, Mathematical language, And the objectivity of the mathematical enterprise. Yet a platonistic ontology makes how we can come to know anything about mathematical objects and how we use them a dark mystery. In this paper I propose a framework for reconciling a representation-Relative provability theory of mathematical truth with platonism's valid insights. Besides helping to (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  18. Sergei Artëmov & Franco Montagna (1994). On First-Order Theories with Provability Operator. Journal of Symbolic Logic 59 (4):1139-1153.score: 18.0
    In this paper the modal operator "x is provable in Peano Arithmetic" is incorporated into first-order theories. A provability extension of a theory is defined. Presburger Arithmetic of addition, Skolem Arithmetic of multiplication, and some first order theories of partial consistency statements are shown to remain decidable after natural provability extensions. It is also shown that natural provability extensions of a decidable theory may be undecidable.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. Sergei Artemov & Giorgie Dzhaparidze (1990). Finite Kripke Models and Predicate Logics of Provability. Journal of Symbolic Logic 55 (3):1090-1098.score: 18.0
    The paper proves a predicate version of Solovay's well-known theorem on provability interpretations of modal logic: If a closed modal predicate-logical formula R is not valid in some finite Kripke model, then there exists an arithmetical interpretation f such that $PA \nvdash fR$ . This result implies the arithmetical completeness of arithmetically correct modal predicate logics with the finite model property (including the one-variable fragments of QGL and QS). The proof was obtained by adding "the predicate part" as a (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Konstantin N. Ignatiev (1993). On Strong Provability Predicates and the Associated Modal Logics. Journal of Symbolic Logic 58 (1):249-290.score: 18.0
    PA is Peano Arithmetic. Pr(x) is the usual Σ1-formula representing provability in PA. A strong provability predicate is a formula which has the same properties as Pr(·) but is not Σ1. An example: Q is ω-provable if PA + ¬ Q is ω-inconsistent (Boolos [4]). In [5] Dzhaparidze introduced a joint provability logic for iterated ω-provability and obtained its arithmetical completeness. In this paper we prove some further modal properties of Dzhaparidze's logic, e.g., the fixed point (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Rajeev Gore & Revantha Ramanayake (2012). Valentini's Cut-Elimination for Provability Logic Resolved. Review of Symbolic Logic 5 (2):212-238.score: 18.0
    In 1983, Valentini presented a syntactic proof of cut elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for “Valentini”. The sequents in GLSV were built from sets, as opposed to multisets, thus avoiding an explicit contraction rule. From a syntactic point of view, it is more satisfying and formal to explicitly identify the applications of the contraction rule that are ‘hidden’ in these set based proofs of cut elimination. There (...)
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  22. Giorgie Dzhaparidze (1991). Predicate Provability Logic with Non-Modalized Quantifiers. Studia Logica 50 (1):149 - 160.score: 18.0
    Predicate modal formulas with non-modalized quantifiers (call them Q-formulas) are considered as schemata of arithmetical formulas, where is interpreted as the provability predicate of some fixed correct extension T of arithmetic. A method of constructing 1) non-provable in T and 2) false arithmetical examples for Q-formulas by Kripke-like countermodels of certain type is given. Assuming the means of T to be strong enough to solve the (undecidable) problem of derivability in QGL, the Q-fragment of the predicate version of the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Lev Dmitrievich Beklemishev (1999). Provability, Complexity, Grammars. American Mathematical Society.score: 18.0
    (2) Vol., Classification of Propositional Provability Logics LD Beklemishev Introduction Overview. The idea of an axiomatic approach to the study of ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Dick de Jongh & Frank Veltman, Provability Logics for Relative Interpretability.score: 18.0
    In this paper the system IL for relative interpretability described in Visser (1988) is studied.1 In IL formulae A|> B (read: A interprets B) are added to the provability logic L. The intended interpretation of a formula A|> B in an (arithmetical) theory T is: T + B is relatively interpretable in T + A. The system has been shown to be sound with respect to such arithmetical interpretations (˘Svejdar 1983, Montagna 1984, Visser 1986, 1988P). As axioms for (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. Shelley L. Trianosky-Stillwell (1983). 'Necessity' and 'Provability' in the Later Wittgenstein. History and Philosophy of Logic 4 (1-2):39-61.score: 18.0
    I present a new interpretation of Wittgenstein's later philosophy of logic and mathematics. This interpretation, like others, emphasizes Wittgenstein's attempt to reconcile platonistic and constructivistic approaches. But, unlike other interpretations, mine explains that attempt in terms of Wittgenstein's position about the relations between our concepts of necessity and provability. If what I say here is correct, then we can rescue Wittgenstein from the charge of naive relativism. For his relativism extends only to provability, and not to necessity.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Frank Veltman, Provability Logics for Relative Interpretability.score: 18.0
    In this paper the system IL for relative interpretability described in Visser (1988) is studied.1 In IL formulae A|> B (read: A interprets B) are added to the provability logic L. The intended interpretation of a formula A|.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Jan Krajíček (2004). Dual Weak Pigeonhole Principle, Pseudo-Surjective Functions, and Provability of Circuit Lower Bounds. Journal of Symbolic Logic 69 (1):265 - 286.score: 18.0
    This article is a continuation of our search for tautologies that are hard even for strong propositional proof systems like EF, cf. [14, 15]. The particular tautologies we study, the τ-formulas, are obtained from any ᵊ/poly map g; they express that a string is outside of the range of g. Maps g considered here are particular pseudorandom generators. The ultimate goal is to deduce the hardness of the τ-formulas for at least EF from some general, plausible computational hardness hypothesis. In (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  28. Ulrich Nortmann (2001). How to Extend the Dialogical Approach to Provability Logic. Synthese 127 (1-2):95 - 103.score: 18.0
    The core ideas of the dialogicalapproach to modal propositional logic are explainedby means of an elementary example. Subsequently,ways of extending this approach to the system G ofso-called provability logic are checked, therebyraising the question whether the dialogician is inneed of shaping his Nichtverzögerungsregel(non-delay-rule), in order to get it sufficiently precise,in different ways for different modal systems.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  29. Peter Roeper (2003). Giving an Account of Provability Within a Theory. Philosophia Mathematica 11 (3):332-340.score: 18.0
    This paper offers a justification of the ‘Hilbert-Bernays Derivability Conditions’ by considering what is required of a theory which gives an account of provability in itself.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  30. Albert Visser (1992). An Inside View of Exp; or, the Closed Fragment of the Provability Logic of Iδ0 + Ω1 with a Propositional Constant for $\Operatorname{Exp}$. [REVIEW] Journal of Symbolic Logic 57 (1):131 - 165.score: 18.0
    In this paper I give a characterization of the closed fragment of the provability logic of I ▵0 + EXP with a propositional constant for EXP. In three appendices many details on arithmetization are provided.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. L. D. Beklemishev (1991). Provability Logics for Natural Turing Progressions of Arithmetical Theories. Studia Logica 50 (1):107 - 128.score: 18.0
    Provability logics with many modal operators for progressions of theories obtained by iterating their consistency statements are introduced. The corresponding arithmetical completeness theorem is proved.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Taishi Kurahashi (2012). Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability. Review of Symbolic Logic 6 (1):1-18.score: 18.0
    Solovay proved the arithmetical completeness theorem for the system GL of propositional modal logic of provability. Montagna proved that this completeness does not hold for a natural extension QGL of GL to the predicate modal logic. Let Th(QGL) be the set of all theorems of QGL, Fr(QGL) be the set of all formulas valid in all transitive and conversely well-founded Kripke frames, and let PL(T) be the set of all predicate modal formulas provable in Tfor any arithmetical interpretation. Montagna’s (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. V. V. Rybakov (1990). Logical Equations and Admissible Rules of Inference with Parameters in Modal Provability Logics. Studia Logica 49 (2):215 - 239.score: 18.0
    This paper concerns modal logics of provability — Gödel-Löb systemGL and Solovay logicS — the smallest and the greatest representation of arithmetical theories in propositional logic respectively. We prove that the decision problem for admissibility of rules (with or without parameters) inGL andS is decidable. Then we get a positive solution to Friedman''s problem forGL andS. We also show that A. V. Kuznetsov''s problem of the existence of finite basis for admissible rules forGL andS has a negative solution. Afterwards (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Lev D. Beklemishev (2010). Kripke Semantics for Provability Logic GLP. Annals of Pure and Applied Logic 161 (6):756-774.score: 18.0
    A well-known polymodal provability logic inlMMLBox due to Japaridze is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in arithmetic. This system plays an important role in some recent applications of provability algebras in proof theory. However, an obstacle in the study of inlMMLBox is that it is incomplete w.r.t. any class of Kripke frames. In this paper we provide a complete Kripke semantics for inlMMLBox . First, we isolate a certain (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Giorgie Dzhaparidze (1990). Decidable and Enumerable Predicate Logics of Provability. Studia Logica 49 (1):7 - 21.score: 18.0
    Predicate modal formulas are considered as schemata of arithmetical formulas, where is interpreted as the standard formula of provability in a fixed sufficiently rich theory T in the language of arithmetic. QL T(T) and QL T are the sets of schemata of T-provable and true formulas, correspondingly. Solovay's well-known result — construction an arithmetical counterinterpretation by Kripke countermodel — is generalized on the predicate modal language; axiomatizations of the restrictions of QL T(T) and QL T by formulas, which contain (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. Michael C. Laskowski & Shirin Malekpour (2007). Provability in Predicate Product Logic. Archive for Mathematical Logic 46 (5-6):365-378.score: 18.0
    We sharpen Hájek’s Completeness Theorem for theories extending predicate product logic, ${\Pi\forall}$ . By relating provability in this system to embedding properties of ordered abelian groups we construct a universal BL-chain L in the sense that a sentence is provable from ${\Pi\forall}$ if and only if it is an L-tautology. As well we characterize the class of lexicographic sums that have this universality property.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Rineke Verbrugge & Alessandro Berarducci (1993). On the Provability Logic of Bounded Arithmetic. Annals of Pure and Applied Logic 61 (1-2):75-93.score: 18.0
    Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. David Fernández-Duque & Joost J. Joosten (2013). Models of Transfinite Provability Logic. Journal of Symbolic Logic 78 (2):543-561.score: 18.0
    For any ordinal $\Lambda$, we can define a polymodal logic $\mathsf{GLP}_\Lambda$, with a modality $[\xi]$ for each $\xi < \Lambda$. These represent provability predicates of increasing strength. Although $\mathsf{GLP}_\Lambda$ has no Kripke models, Ignatiev showed that indeed one can construct a Kripke model of the variable-free fragment with natural number modalities, denoted $\mathsf{GLP}^0_\omega$. Later, Icard defined a topological model for $\mathsf{GLP}^0_\omega$ which is very closely related to Ignatiev's. In this paper we show how to extend these constructions for arbitrary (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Wilfried Sieg, Effectiveness and Provability.score: 18.0
    Wilfred Sieg. Effectiveness and Provability.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40. Frank Wolter (1998). All Finitely Axiomatizable Subframe Logics Containing the Provability Logic CSM_{0} Are Decidable. Archive for Mathematical Logic 37 (3):167-182.score: 18.0
    In this paper we investigate those extensions of the bimodal provability logic ${\vec CSM}_{0}$ (alias ${\vec PRL}_{1}$ or ${\vec F}^{-})$ which are subframe logics, i.e. whose general frames are closed under a certain type of substructures. Most bimodal provability logics are in this class. The main result states that all finitely axiomatizable subframe logics containing ${\vec CSM}_{0}$ are decidable. We note that, as a rule, interesting systems in this class do not have the finite model property and are (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. Jeffrey Ketland & Panu Raatikainen, Truth and Provability Again.score: 15.0
    Lucas and Redhead ([2007]) announce that they will defend the views of Redhead ([2004]) against the argument by Panu Raatikainen ([2005]). They certainly re-state the main claims of Redhead ([2004]), but they do not give any real arguments in their favour, and do not provide anything that would save Redhead’s argument from the serious problems pointed out in (Raatikainen [2005]). Instead, Lucas and Redhead make a number of seemingly irrelevant points, perhaps indicating a failure to understand the logico-mathematical points at (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. John R. Lucas & Michael Redhead (2007). Truth and Provability. British Journal for the Philosophy of Science 58 (2):331-2.score: 15.0
    The views of Redhead ([2004]) are defended against the argument by Panu Raatikainen ([2005]). The importance of informal rigour is canvassed, and the argument for the a priori nature of induction is explained. The significance of Gödel's theorem is again rehearsed.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  43. Cezary Cieśliński (2010). Truth, Conservativeness, and Provability. Mind 119 (474):409-422.score: 15.0
    Conservativeness has been proposed as an important requirement for deflationary truth theories. This in turn gave rise to the so-called ‘conservativeness argument’ against deflationism: a theory of truth which is conservative over its base theory S cannot be adequate, because it cannot prove that all theorems of S are true. In this paper we show that the problems confronting the deflationist are in fact more basic: even the observation that logic is true is beyond his reach. This seems to conflict (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  44. George Boolos (1980). Provability, Truth, and Modal Logic. Journal of Philosophical Logic 9 (1):1 - 7.score: 15.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. George Boolos & Giovanni Sambin (1991). Provability: The Emergence of a Mathematical Modality. Studia Logica 50 (1):1 - 23.score: 15.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  46. Toshiyasu Arai (1990). Derivability Conditions on Rosser's Provability Predicates. Notre Dame Journal of Formal Logic 31 (4):487-497.score: 15.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. Luca Incurvati (2009). Does Truth Equal Provability in the Maximal Theory? Analysis 69 (2):233-239.score: 15.0
    According to the received view, formalism – interpreted as the thesis that mathematical truth does not outrun the consequences of our maximal mathematical theory – has been refuted by Goedel's theorem. In support of this claim, proponents of the received view usually invoke an informal argument for the truth of the Goedel sentence, an argument which is supposed to reconstruct our reasoning in seeing its truth. Against this, Field has argued in a series of papers that the principles involved in (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  48. Per Lindström (1996). Provability Logic-a Short Introduction. Theoria 62 (1-2):19-61.score: 15.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Charles Parsons & Herbert R. Kohl (1960). Self-Reference, Truth, and Provability. Mind 69 (273):69-73.score: 15.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  50. Hannes Leitgeb (2007). An Austrian Mélange • Eckehart Köler, Peter Weibel, Michael Stöltzner, Bernd Buldt, Carsten Klein, and Werner Depauli-Schimanovich-Göttig, Eds. Kurt Gödel. Wahrheit & Beweisbarkeit. Band 1: Dokumente Und Historische Analysen [Kurt Gödel. Truth and Provability. Vol. 1: Documents and Historical Analyses]. Vienna: Öbv Et Hpt, 2002. Isbn 3-209-03824-1. Pp. 279. • Bernd Buldt, Eckehart Köhler, Michael Stöltzner, Peter Weibel, Carsten Klein, and Werner Depauli-Schimanovich-Göttig, Eds. Kurt Gödel. Wahrheit & Beweisbarkeit. Band 2: Kompendium Zum Werk [Vol. 2: Compendium of Work]. Vienna: Öbv Et Hpt, 2002. Isbn 3-209-03835-X. Pp. 447. [REVIEW] Philosophia Mathematica 15 (2):245-257.score: 15.0
1 — 50 / 562