24 found
Order:
  1.  67
    On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.
    The idea of an ?inversion principle?, and the name itself, originated in the work of Paul Lorenzen in the 1950s, as a method to generate new admissible rules within a certain syntactic context. Some fifteen years later, the idea was taken up by Dag Prawitz to devise a strategy of normalization for natural deduction calculi (this being an analogue of Gentzen's cut-elimination theorem for sequent calculi). Later, Prawitz used the inversion principle again, attributing it with a semantic role. Still working (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  15
    Early Structural Reasoning. Gentzen 1932.Enrico Moriconi - 2015 - Review of Symbolic Logic 8 (4):662-679.
  3. Third Pisa Colloquium in Logic, Language and Epistemology.Luca Bellotti, Luca Gili, Giacomo Turbanti & Enrico Moriconi (eds.) - 2019
    No categories
     
    Export citation  
     
    Bookmark  
  4. Third Pisa Colloquium in Logic, Language and Epistemology.Luca Bellotti, Luca Gili, Enrico Moriconi & Giacomo Turbanti (eds.) - 2019 - Edizioni ETS.
    No categories
     
    Export citation  
     
    Bookmark  
  5. Logica E Teologia Studi in Onore di Vittorio Sainati.Adriano Fabris, Gianfranco Fioravanti, Enrico Moriconi & Vittorio Sainati - 1997
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Momenti della filosofia italiana del Novecento.Ornella Faracovi & Enrico Moriconi - 2003 - Nuova Civiltà Delle Macchine 21 (4):7-8.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Etchemendy on Logical Truth.Mauro Mariani & Enrico Moriconi - 1997 - Epistemologia 20 (2):267-296.
  8. A. Peruzzi, "Noema: Mente E Logica Attraverso Husserl". [REVIEW]Enrico Moriconi - 1991 - Husserl Studies 8 (2):151-153.
     
    Export citation  
     
    Bookmark  
  9.  3
    Book Review. [REVIEW]Enrico Moriconi - 1981 - Revue Internationale de Philosophie 35 (136/137):385.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Dimostrazioni E Significato Michael Dummett - Dag Prawitz - Per Martin-Löf.Enrico Moriconi - 1993
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  22
    Dummett's Transcendence.Enrico Moriconi & Ernesto Napoli - 1988 - Philosophia 18 (4):371-383.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  26
    Essay Review.Enrico Moriconi - 2017 - History and Philosophy of Logic 38 (2):190-200.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13. Il mito del sistema completo.Enrico Moriconi - 2005 - Teoria 25 (2):183-190.
    The focus of this paper is on two attempts Sainati made to renew neo-idealistic themes by means of suggestions drawn from the famous Goedel’s Incompleteness Theorems of 1931. Sainati’s remarks on the relationship between «logo astratto » and «logo concreto» are here pursued by reference to some of Goedel’s unpublished texts.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Il "Neopositivismo logico" venticinque anni dopo.Enrico Moriconi - 2003 - Nuova Civiltà Delle Macchine 21 (2):78-86.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. I teoremi di Godel e la fine del fondazionalismo.Enrico Moriconi - 2004 - Epistemologia 27 (2):319-326.
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. I Tre Strati Della Logica Formale In Edmund Husserl.Enrico Moriconi - 1985 - Nuova Civiltà Delle Macchine 3 (3/4):87-98.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  11
    Logic and Semiotics in the Philosophie of Leibniz.Enrico Moriconi - 1983 - Philosophy and History 16 (2):105-107.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  12
    Leibniz Bibliography. Literature on Leibniz Up to 1980.Enrico Moriconi - 1985 - Philosophy and History 18 (2):108-109.
  19. La Formalizzazione delle Dialettica. [REVIEW]Enrico Moriconi - 1981 - Revue Internationale de Philosophie 35 (2):385.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Normalization and Meaning Theory.Enrico Moriconi - 2000 - Epistemologia 23 (2):281-304.
     
    Export citation  
     
    Bookmark   3 citations  
  21.  76
    On the Meaning of Hilbert's Consistency Problem (Paris, 1900).Enrico Moriconi - 2003 - Synthese 137 (1-2):129 - 139.
    The theory that ``consistency implies existence'' was put forward by Hilbert on various occasions around the start of the last century, and it was strongly and explicitly emphasized in his correspondence with Frege. Since (Gödel's) completeness theorem, abstractly speaking, forms the basis of this theory, it has become common practice to assume that Hilbert took for granted the semantic completeness of second order logic. In this paper I maintain that this widely held view is untrue to the facts, and that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  6
    Ricordo di Ettore Casari.Enrico Moriconi - 2019 - Rivista Internazionale di Filosofia e Psicologia 10 (2):224-225.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  56
    Steps Towards a Proof-Theoretical Semantics.Enrico Moriconi - 2012 - Topoi 31 (1):67-75.
    The aim of this paper is to reconsider several proposals that have been put forward in order to develop a Proof-Theoretical Semantics, from the by now classical neo-verificationist approach provided by D. Prawitz and M. Dummett in the Seventies, to an alternative, more recent approach mainly due to the work of P. Schroeder-Heister and L. Hallnäs, based on clausal definitions. Some other intermediate proposals are very briefly sketched. Particular attention will be given to the role played by the so-called Fundamental (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. Zur Frage der IV. syllogistischen Figur in der "Dissertatio de arte combinatoria". Eine Jugendsünde Leibnizens?Enrico Moriconi - 1984 - Studia Leibnitiana 16:212.
    Translate
     
     
    Export citation  
     
    Bookmark