24 found
Order:
  1.  99
    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 (3 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  2.  34
    Early Structural Reasoning. Gentzen 1932.Enrico Moriconi - 2015 - Review of Symbolic Logic 8 (4):662-679.
    This paper is a study of the opening section of Gentzen’s first publication of 1932,Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen, a text which shows the relevance of Hertz’s work of the 1920’s for the young Gentzen. In fact, Gentzen borrowed from Hertz the analysis of the notion of consequence, which was given in terms of the rules of thinning (Verdünnung) and cut (Schnitt) on sequents (there called “sentences”(Sätze)). Moreover, following Hertz again, he also judged it necessary to justify (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Normalization and meaning theory.Enrico Moriconi - 2000 - Epistemologia 23 (2):281-304.
     
    Export citation  
     
    Bookmark   4 citations  
  4.  10
    From Proof-Objects to Grounds.Enrico Moriconi - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 115-138.
    The paper is devoted to an examination of the epistemic account of the notion of deductive inference recently provided by D. Prawitz, and based on the notion of ground. This is part of the general scenario constituted by the “Proof-theoretic semantics”, presented since the ’70s of the last century as an alternative to the standard model-theoretic explication of the notion of logical consequence.Our argument pivots on the so-called “Curry–Howard Correspondence”, which exploited the idea of considering proofs as proper mathematical objects (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  16
    Third Pisa Colloquium in Logic, Language and Epistemology. Essays in Honour of Mauro Mariani and Carlo Marletti.Luca Bellotti, Luca Gili, Enrico Moriconi & Giacomo Turbanti (eds.) - 2019 - Pisa: Edizioni ETS.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  11
    Logica e teologia: studi in onore di Vittorio Sainati.Adriano Fabris, Gianfranco Fioravanti & Enrico Moriconi - 1997 - ETS (Italy).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Momenti della filosofia italiana del Novecento.Ornella Faracovi & Enrico Moriconi - 2003 - Nuova Civiltà Delle Macchine 21 (4):7-8.
    No categories
     
    Export citation  
     
    Bookmark  
  8. Etchemendy on Logical Truth.Mauro Mariani & Enrico Moriconi - 1997 - Epistemologia 20 (2):267-296.
  9.  2
    Dimostrazioni e significato: Michael Dummett, Dag Prawitz, Per Martin-Löf.Enrico Moriconi - 1993 - Francoangeli.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  47
    Dummett's transcendence.Enrico Moriconi & Ernesto Napoli - 1988 - Philosophia 18 (4):371-383.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. 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
     
    Export citation  
     
    Bookmark  
  12. Il "Neopositivismo logico" venticinque anni dopo.Enrico Moriconi - 2003 - Nuova Civiltà Delle Macchine 21 (2):78-86.
    No categories
     
    Export citation  
     
    Bookmark  
  13. I teoremi di Godel e la fine del fondazionalismo.Enrico Moriconi - 2004 - Epistemologia 27 (2):319-326.
     
    Export citation  
     
    Bookmark  
  14. I Tre Strati Della Logica Formale In Edmund Husserl.Enrico Moriconi - 1985 - Nuova Civiltà Delle Macchine 3 (3/4):87-98.
    No categories
     
    Export citation  
     
    Bookmark  
  15. 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   1 citation  
  16.  22
    Ricordo di Ettore Casari.Enrico Moriconi - 2019 - Rivista Internazionale di Filosofia e Psicologia 10 (2):224-225.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Some Remarks on True Undecidable Sentences.Enrico Moriconi - 2018 - In John Baldwin (ed.), Truth, Existence and Explanation. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  75
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Zur Frage der IV. syllogistischen Figur in der "Dissertatio de arte combinatoria". Eine Jugendsünde Leibnizens?Enrico Moriconi - 1984 - Studia Leibnitiana 16:212.
  20. A. Peruzzi, "Noema: Mente e logica attraverso Husserl". [REVIEW]Enrico Moriconi - 1991 - Husserl Studies 8 (2):151-153.
     
    Export citation  
     
    Bookmark  
  21.  12
    Book Review. [REVIEW]Enrico Moriconi - 1981 - Revue Internationale de Philosophie 35 (136/137):385.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  16
    Logic and Semiotics in the Philosophie of Leibniz. [REVIEW]Enrico Moriconi - 1983 - Philosophy and History 16 (2):105-107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  18
    Leibniz Bibliography. Literature on Leibniz up to 1980. [REVIEW]Enrico Moriconi - 1985 - Philosophy and History 18 (2):108-109.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. La Formalizzazione delle Dialettica. [REVIEW]Enrico Moriconi - 1981 - Revue Internationale de Philosophie 35 (2):385.
    No categories
     
    Export citation  
     
    Bookmark