De Giorgi, Ennio and Forti, Marco and Lenzi, Giacomo and Tortorelli, Vincenzo Maria:
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni Serie 9 6 (1995), fasc. n.2, p. 79-92, (Italian)
pdf (1.77 MB), djvu (305 Kb). | MR1354222 | Zbl 0833.03003
Sunto
I primi elementi della sintassi e della semantica del Calcolo dei Predicati del primo ordine (predicati, proposizioni, formule, interpretazioni, ecc.) sono introdotti nell'ambiente delle teorie base dei Fondamenti della Matematica di [11]. Il problema della verità e falsità delle proposizioni è affontato introducendo, a fianco delle ordinarie qualità \( Qver \), \( Qfals \), che non possono valutare tutte le proposizioni (Teorema 1), nuovi «oggetti metateorici», le metaqualità \( Mver \), \( Mfals \) che, indipendenti dalle relazioni fondamentali \( Rfond \)\( h \) di [11], costituiscono un «osservatorio» più potente in grado di fornire un giudizio di verità-sulle interpretazioni di tutte le usuali formule del primo ordine.
Referenze Bibliografiche
[1]
H. P. BARENDKEGT,
The Lambda-Calculus. Amsterdam
1981. |
Zbl 0551.03007[2]
Y. BAR HILLEL -
A. A. FRAENKEL -
A. LEVY,
Foundations of Set Theory. Amsterdam
1973. |
MR 345816 |
Zbl 0248.02071[3]
A. CHURCH,
Set theory with an universal set. In:
L. HENKIN et al. (eds.),
Proceedings of the Tarski Symposium.
Proc. of Symp. P. Math. XXV, Rhode Island
1974, 297-308. |
MR 369069 |
Zbl 0317.02079[4]
M. CLAVELLI,
Variabili e teoria A.
Rend. Sem. Fac. Sci. Univ. Cagliari, (2)
59,
1985, 125-130. |
MR 1098883 |
Zbl 0800.03030[5]
M. CLAVELLI -
E. DE GIORGI -
M. FORTI -
V. M. TORTORELLI,
A self reference oriented theory for the Foundations of Mathematics. In:
Analyse Mathématique et applications. Contributions en l'honneur de Jacques-Louis Lions.
Gauthiers-Villars, Parigi
1988, 67-115. |
MR 956954 |
Zbl 0675.03003[6]
H. B. CURRY -
R. FEYS,
Combinatory Logic. Amsterdam
1958. |
Zbl 0081.24104[7] E. DE GIORGI, Contributo. In: Fundamental Principles of Mathematics, Plenary Session of the Pontifical Academy of Sciences (25-29 October 1994), in corso di stampa.
[8]
E. DE GIORGI -
M. FORTI,
Una teoria quadro per i fondamenti della Matematica.
Atti Acc. Lincei Rend. fis., s. 8, vol.
79,
1985, 55-67. |
MR 944373 |
Zbl 0635.03045[9]
E. DE GIORGI -
M. FORTI,
«5 X 7»; A Basic Theory for the Foundations of Mathematics. Preprint di Matematica, n. 74, Scuola Normale Superiore, Pisa
1990. |
MR 2153314[10]
E. DE GIORGI -
M. FORTI -
V. M. TORTORELLI,
Sul problema dell'autoriferimento.
Atti Acc. Lincei Rend. fis., s. 8, vol.
80,
1986, 363-372. |
MR 976937 |
Zbl 0659.03035[11]
E. DE GIORGI -
M. FORTI -
G. LENZI,
Una proposta di teorie base dei Fondamenti della Matematica.
Rend. Mat. Acc. Lincei, s. 9, vol.
5,
1994, 11-22. |
fulltext bdim |
Zbl 0797.03006[12]
E. DE GIORGI -
M. FORTI -
G. LENZI,
Introduzione delle variabili nel quadro delle teorie base dei Fondamenti della Matematica.
Rend. Mat. Acc. Lincei, s. 9, vol.
5,
1994, 117-128. |
fulltext bdim |
MR 1292567 |
Zbl 0807.03003[13]
S. FEFERMAN,
Constructive theories of functions and classes. In:
M. BOFFA et al. (eds.),
Logic Colloquium 1978. Amsterdam
1979. |
MR 567670 |
Zbl 0441.03022[14]
M. FORTI -
F. HONSELL,
Models of self-descriptive set theories. In:
F. COLOMBINI et al. (eds.),
Partial Differential Equations and the Calculus of Variations - Essays in Honor of Ennio De Giorgi. Boston
1989, 473-518. |
MR 1034017 |
Zbl 0709.03030[15] M. FORTI - F. HONSELL, Sets and classes within the basic theories for the Foundations of Mathematics. In: F. MONTAGNA - A. URSINI (eds.), Proceedings of the International Conference on Logic and Algebra in Memory of Roberto Magari. 1994, in corso di pubblicazione.
[16]
G. FREGE,
Grundgesetze der Aritmetik, begriffsschriftlich abgeleitet. Vol.
1, Jena
1893; vol.
2, Phole, Jena
1903 (ristampato Olms, Hildesheim 1962). |
MR 211840 |
Jbk 25.0101.02[18]
M. GRASSI -
G. LENZI -
V. M. TORTORELLI,
A formalization of a basic theory for the foundations of Mathematics. Preprint n. 1.98.804, Dipartimento di Matematica, Università di Pisa,
1994. |
Zbl 0944.03005[19]
G. LENZI,
Estensioni contraddittorie della teoria Ampia.
Atti Acc. Lincei Rend. fis., s. 8, vol.
83,
1989, 13-28. |
Zbl 0734.03029[20] G. LENZI - V. M. TORTORELLI, Introducing predicates into a basic theory for the foundations of Mathematics. Preprint di Matematica n. 51, Scuola Normale Superiore, Pisa.
[22]
B. RUSSELL -
A. N. WHITEHEAD,
Principia Mathematica. Cambridge
1925. |
Jbk 51.0046.06[23]
D. SCOTT,
Combinators and classes. In:
C. BÖHM (eds.),
\( \lambda \)
λ
-Calculus and Computer Science Theory.
Lect. Notes Comp. Sc.,
37, Berlino
1975. |
MR 505296 |
Zbl 0342.02018[24]
J. VON NEUMANN,
Eine Axiomatisierung der Mengenlehre.
J. f. Reine und Angew. Math.,
154,
1925, 219-240. |
fulltext EuDML |
Jbk 51.0163.04
Con il contributo del Ministero per i Beni e le Attività Culturali