13 found
Order:
  1.  36
    Analytic Calculi for Circular Concepts by Finite Revision.Riccardo Bruni - 2013 - Studia Logica 101 (5):915-932.
    The paper introduces Hilbert– and Gentzen-style calculi which correspond to systems ${\mathsf{C}_{n}}$ from Gupta and Belnap [3]. Systems ${\mathsf{C}_{n}}$ were shown to be sound and complete with respect to the semantics of finite revision. Here, it is shown that Gentzen-style systems ${\mathsf{GC}_{n}}$ admit a syntactic proof of cut elimination. As a consequence, it follows that they are consistent.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  17
    A Rational Way of Playing: Revision Theory for Strategic Interaction.Riccardo Bruni & Giacomo Sillari - 2018 - Journal of Philosophical Logic 47 (3):419-448.
    Gupta has proposed a definition of strategic rationality cast in the framework of his revision theory of truth. His analysis, relative to a class of normal form games in which all players have a strict best reply to all other players’ strategy profiles, shows that game-theoretic concepts have revision-theoretic counterparts. We extend Gupta’s approach to deal with normal form games in which players’ may have weak best replies. We do so by adapting intuitions relative to Nash equilibrium refinements to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  6
    Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - forthcoming - Journal of Philosophical Logic:1-9.
  4.  4
    Approximating Beppo Levi's "Principio di Approssimazione".Riccardo Bruni & Peter Schuster - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    We try to recast in modern terms a choice principle conceived by Beppo Levi. who called it the Approximation Principle (AP). Up to now. there was almost no discussion about Levi's contribution. due to the quite obscure formulation of AP the author has chosen. After briefly reviewing the historical and philosophical surroundings of Levi's proposal. we undertake our own attempt at interpreting AP. The idea underlying the principle. as well as the supposed faithfulness of our version to Levi's original intention. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  16
    Beppo Levi's Analysis of the Paradoxes.Riccardo Bruni - 2013 - Logica Universalis 7 (2):211-231.
    This paper presents and comments the content of a note by Beppo Levi on logical paradoxes. Though the existence of this contribution is known, very little analysis of it is available in the literature. I put the emphasis on Levi’s usage of “elementation procedures” for solving the set-theoretical paradoxes, which is the most original part of Levi’s approach to the topic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  18
    Deflationism. Time for a Balance.Riccardo Bruni - 2012 - Rivista di Filosofia 103 (2):305-326.
  7.  21
    A Note on Theories for Quasi-Inductive Definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.
    This paper introduces theories for arithmetical quasi-inductive definitions (Burgess, 1986) as it has been done for first-order monotone and nonmonotone inductive ones. After displaying the basic axiomatic framework, we provide some initial result in the proof theoretic bounds line of research (the upper one being given in terms of a theory of sets extending Kripke–Platek set theory).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    Paradoxes: How to Learn Loving Them, and Stop Worrying.Riccardo Bruni - 2014 - Metascience 23 (2):273-276.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  1
    Approximating beppo levi’s principio di approssimazione.Riccardo Bruni & Peter Schuster - 2014 - Bulletin of Symbolic Logic 20 (2):141-169.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  1
    On Some Recently Debated Issues in the Theory of Formal Truth.Riccardo Bruni - 2007 - Annali Del Dipartimento di Filosofia 13:117-146.
    As the title suggests, this paper aims at surveying some recent advances in the theory of formal truth. It contains an account of the debate concerning the deflationist approach to truth, according to which truth is a ‘thin’ notion in that it should involve no assumption of whatsoever nature. We review here the main issues that were comprised by the discussion accompanying the attempts of translating this idea into logical terms. In the second half of the paper, we focus on (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  1
    Su alcune ricadute concettuali dei teoremi di incompletezza di Kurt Gödel.Riccardo Bruni - unknown - Annali Del Dipartimento di Filosofia 9:209-226.
    The present paper deals with two distinct but related purposes: to shed light on certain controversial aspects of Gödel’s view toward mathematics by referring to that part of Gödel’s writings belonging to his Nachlass ; to discuss recent developments of the debate concerning some implications of Gödel’s well known incompleteness theorems, which have been looked by someone as a tool to ‘disprove’ the mechanistic view of human mind. We emphasize an ‘epistemological flavour’ of Gödel’s view which usually remains unnoticed on (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. From Incompleteness to Incompletability: A Note on Godel's View of Mathematical Knowledge.Riccardo Bruni - 2007 - Epistemologia 30 (2):345-364.
     
    Export citation  
     
    Bookmark  
  13. Some Remarks on the Finite Theory of Revision.Riccardo Bruni - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag. pp. 169-187.
     
    Export citation  
     
    Bookmark