Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Enrico Moriconi"'
Autor:
Enrico Moriconi
Publikováno v:
Rivista Internazionale di Filosofia e Psicologia, Vol 10, Iss 2, Pp 224-225 (2019)
Externí odkaz:
https://doaj.org/article/af1bfd7723b8476daa87e0a466f5d654
Autor:
Luca Bellotti, Enrico Moriconi
Publikováno v:
Studies in Applied Philosophy, Epistemology and Rational Ethics ISBN: 9783030440176
In this paper we consider the role of trust in relation to mathematical proof. After some basic remarks on the main philosophical issues involved, we give material for five case studies, dealing in particular with a few recent disputes on controversi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0549b018138e5d2a02ee0a3034b5c03
https://doi.org/10.1007/978-3-030-44018-3_7
https://doi.org/10.1007/978-3-030-44018-3_7
Autor:
Alfeo Bertondini, Maria Rosaria Colangelo, Giannino Di Tommaso, Paolo Impara, Enrico Moriconi, Leo Lugarini, Livio Sichirollo, Paolo Vincieri, Eric Weil
Riedizione per i 60 anni della rivista Il Pensiero. In questo volume saggi di Alfeo Bertondini, Maria Rosaria Colangelo, Giannino V. Di Tommaso, Paolo Impara, Leo Lugarini, Enrico Moriconi, Livio Sichirollo, Paolo Vincieri, Eric Weil.
Autor:
Enrico Moriconi
Publikováno v:
History and Philosophy of Logic. 38:190-200
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3fa9796cc72d503f4d29164b94642c2
https://doi.org/10.1080/01445340.2016.1268083
https://doi.org/10.1080/01445340.2016.1268083
Autor:
Enrico Moriconi
Publikováno v:
Boston Studies in the Philosophy and History of Science ISBN: 9783319933412
In this paper I try to discuss the question of the truth-value of Godel-type undecidable sentences in a framework which keeps into due account the idea that mathematical inquiry develops in a three-level framework: informal (or pre-formal) mathematic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58c630561b2f38926ef22706fee8c0bb
https://doi.org/10.1007/978-3-319-93342-9_1
https://doi.org/10.1007/978-3-319-93342-9_1
Autor:
Enrico Moriconi
Publikováno v:
The Review of Symbolic Logic. 8: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 Gentz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4703ab4036e60e3a72e539686b52e77
https://doi.org/10.1017/s1755020315000222
https://doi.org/10.1017/s1755020315000222
Autor:
Enrico Moriconi
Publikováno v:
Synthese. 137: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 (Godel's) completeness theor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::62d5a1d5ad17fcd5a7f9f1d2c82d965c
https://doi.org/10.1023/a:1026282901818
https://doi.org/10.1023/a:1026282901818
Autor:
Enrico Moriconi
Publikováno v:
Boston Studies in the Philosophy and History of Science ISBN: 9783030847050
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a1eb61c151c0a814fe50516e996b6361
https://doi.org/10.1007/978-3-030-84706-7_13
https://doi.org/10.1007/978-3-030-84706-7_13
Autor:
Enrico Moriconi
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 a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a154ff22e13195c90a0ca45a0ac7321
http://hdl.handle.net/11568/153634
http://hdl.handle.net/11568/153634
Publikováno v:
Husserl Studies. 8:151-167
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::203612d07e045973265add4a5ce3d458
https://doi.org/10.1007/bf00123539
https://doi.org/10.1007/bf00123539