9 found
Order:
See also
Edoardo Rivello
Università di Torino
  1.  6
    Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - forthcoming - Journal of Philosophical Logic:1-29.
    The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Eliminating the Ordinals From Proofs. An Analysis of Transfinite Recursion.Edoardo Rivello - 2014 - In Proceedings of the conference "Philosophy, Mathematics, Linguistics. Aspects of Interaction", St. Petersburg, April 21-25, 2014. pp. 174-184.
    Transfinite ordinal numbers enter mathematical practice mainly via the method of definition by transfinite recursion. Outside of axiomatic set theory, there is a significant mathematical tradition in works recasting proofs by transfinite recursion in other terms, mostly with the intention of eliminating the ordinals from the proofs. Leaving aside the different motivations which lead each specific case, we investigate the mathematics of this action of proof transforming and we address the problem of formalising the philosophical notion of elimination which characterises (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Frege and Peano on Definitions.Edoardo Rivello - forthcoming - In Proceedings of the "Frege: Freunde und Feinde" conference, held in Wismar, May 12-15, 2013.
    Frege and Peano started in 1896 a debate where they contrasted the respective conceptions on the theory and practice of mathematical definitions. Which was (if any) the influence of the Frege-Peano debate on the conceptions by the two authors on the theme of defining in mathematics and which was the role played by this debate in the broader context of their scientific interaction?
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  7
    Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.
    Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 as the main mathematical tool for developing their respective revision theories of truth. We generalise revision sequences to the notion of cofinally invariant sequences, showing that several known facts about Herzberger’s and Gupta’s theories also hold for this more abstract kind of sequences and providing new and more informative proofs of the old results.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  5
    Periodicity and Reflexivity in Revision Sequences.Edoardo Rivello - 2015 - Studia Logica 103 (6):1279-1302.
    Revision sequences were introduced in 1982 by Herzberger and Gupta as a mathematical tool in formalising their respective theories of truth. Since then, revision has developed in a method of analysis of theoretical concepts with several applications in other areas of logic and philosophy. Revision sequences are usually formalised as ordinal-length sequences of objects of some sort. A common idea of revision process is shared by all revision theories but specific proposals can differ in the so-called limit rule, namely the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  5
    Revision Without Revision Sequences: Circular Definitions.Edoardo Rivello - forthcoming - Journal of Philosophical Logic:1-29.
    The classical theory of definitions bans so-called circular definitions, namely, definitions of a unary predicate P, based on stipulations of the form $$Px =_{\mathsf {Df}} \phi,$$where ϕ is a formula of a fixed first-order language and the definiendum P occurs into the definiensϕ. In their seminal book The Revision Theory of Truth, Gupta and Belnap claim that “General theories of definitions are possible within which circular definitions [...] make logical and semantic sense” [p. IX]. In order to sustain their claim, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  3
    Beneš’s Partial Model of $Mathsf {NF}$: An Old Result Revisited.Edoardo Rivello - 2014 - Notre Dame Journal of Formal Logic 55 (3):397-411.
    A paper by Beneš, published in 1954, was an attempt to prove the consistency of $\mathsf{NF}$ via a partial model of Hailperin’s finite axiomatization of $\mathsf{NF}$. Here, I offer an analysis of Beneš’s proof in a De Giorgi-style setting for set theory. This approach leads to an abstract version of Beneš’s theorem that emphasizes the monotone and invariant content of the axioms proved to be consistent, in a sense of monotony and invariance that this paper intends to state rigorously and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Proceedings of the Conference "Philosophy, Mathematics, Linguistics. Aspects of Interaction", St. Petersburg, April 21-25, 2014. [REVIEW]Edoardo Rivello - 2014
    No categories
     
    Export citation  
     
    Bookmark  
  9. Proceedings of the "Frege: Freunde Und Feinde" Conference, Held in Wismar, May 12-15, 2013.Edoardo Rivello - forthcoming
     
    Export citation  
     
    Bookmark