
handle: 11568/166166
Inside a very general higher-order foundational framework, aimed at accomodating a variety of scientific theories, and thus by design less formal than that of mathematical formal systems, promoted by E. De Giorgi [see \textit{E. De Giorgi, M. Forti} and \textit{G. Lenzi}, Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 5, No. 1, 11-22 (1994; Zbl 0797.03006)], which uses `quality' and `relation' in various ways, the authors analyze such concepts as `contingent', `positive', `necessary existence', with the ultimate aim of proving several ontological arguments: Gödel's, as well as variations thereof by C. A. Anderson and J. H. Sobel.
Philosophy of mathematics, positive qualities, Philosophical and critical aspects of logic and foundations, Foundations of classical theories (including reverse mathematics), ontological argument
Philosophy of mathematics, positive qualities, Philosophical and critical aspects of logic and foundations, Foundations of classical theories (including reverse mathematics), ontological argument
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
