15 found
Order:
  1.  59
    Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
  2.  55
    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   5 citations  
  3.  82
    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 (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  35
    Truth Meets Vagueness. Unifying the Semantic and the Soritical Paradoxes.Riccardo Bruni & Lorenzo Rossi - 2023 - Journal of Philosophical Logic 52 (6):1637-1671.
    Semantic and soritical paradoxes display remarkable family resemblances. For one thing, several non-classical logics have been independently applied to both kinds of paradoxes. For another, revenge paradoxes and higher-order vagueness—among the most serious problems targeting solutions to semantic and soritical paradoxes—exhibit a rather similar dynamics. Some authors have taken these facts to suggest that truth and vagueness require a unified logical framework, or perhaps that the truth predicate is itself vague. However, a common core of semantic and soritical paradoxes has (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Addressing Circular Definitions via Systems of Proofs.Riccardo Bruni - 2019 - In Stefania Centrone, Sara Negri, Deniz Sarikaya & Peter M. Schuster (eds.), Mathesis Universalis, Computability and Proof. Cham, Switzerland: Springer Verlag.
     
    Export citation  
     
    Bookmark   1 citation  
  6. Some Remarks on the Finite Theory of Revision.Riccardo Bruni - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 169-187.
     
    Export citation  
     
    Bookmark   1 citation  
  7.  13
    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  
  8.  25
    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  
  9.  11
    Approximating beppo levi’s principio di approssimazione.Riccardo Bruni & Peter Schuster - 2014 - Bulletin of Symbolic Logic 20 (2):141-169.
    We try to recast in modern terms a choice principle conceived by Beppo Levi, who called it the Approximation Principle. 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, are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  53
    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 (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  15
    A Unified Approach to Semantic and Soritical Paradoxes.Riccardo Bruni & Lorenzo Rossi - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 31-40.
    The semantic paradoxes and the paradoxes of vagueness display remarkable family resemblances. In particular, the same non-classical logics have been applied to both kinds of paradoxes. These facts have been taken by some authors to suggest that truth and vagueness require a unified logical framework. Some authors go further, and argue that truth is itself a vague or indeterminate concept. Importantly, however, there currently is no identification of what the common features of semantic and soritical paradoxes exactly consist in. This (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  29
    Deflationism. Time for a Balance.Riccardo Bruni - 2012 - Rivista di Filosofia 103 (2):305-326.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. From Incompleteness to Incompletability: A Note on Godel's View of Mathematical Knowledge.Riccardo Bruni - 2007 - Epistemologia 30 (2):345-364.
  14.  17
    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  
  15.  8
    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  
     
    Export citation  
     
    Bookmark