RICERCA ITALIANA     

Programmi di ricerca simili:

• 1 - MODELLI, STRATEGIE E RAPPRESENTAZIONI NELL' EPISTEMOLOGIA DELLA RICERCA SCIENTIFICA
• 2 - Sviluppo su grande scala di dimostrazioni certificate
• 3 - La nascita dell'individuo europeo: il tema dell'individualità come problema filosofico
• 4 - Logica, cognizione e computazione nella dinamica della scoperta scientifica
• 5 - Web Ram: web retrieval and mining
• 6 - Controllo e certificazione dell'uso delle risorse (CONCERTO)
• 7 - Architettura della conoscenza teorica e pratica. Un'indagine critica dei concetti di credenza, verità e giustificazione razionale.
• 8 - Aspetti della verità.
• 9 - La metafisica tra a priori e a posteriori
• 10 - La ricerca qualitativa: teorie, metodi ed applicazioni

Classificazione scientifico-disciplinare

• Area scientifico disciplinare: Scienze storiche, filosofiche, pedagogiche e psicologiche
  • FILOSOFIA TEORETICA
  • LOGICA E FILOSOFIA DELLA SCIENZA
  • FILOSOFIA E TEORIA DEI LINGUAGGI
  • STORIA DELLA FILOSOFIA

Classificazione geografica

• Regione: Toscana

Bibliografia

A.VV., Bolzano’s Wissenschaftslehre 1837 – 1987, Olschki, Firenze 1992.
P. Aczel, Frege structures and the notions of proposition, truth and set, in J.Barwise et al. (a cura di), The Kleene Symposium, North-Holland, Amsterdam, 1980, pp. 31-59.
P. Aczel, The type theoretic interpretation of constructive set theory: inductive definitions, in: Logic, Methodology and Philosophy of Science, VII (Salzburg, 1983), Stud. Logic. Found. Math. 114, North Holland, Amsterdam, 1986, pp. 17-49.
P. Aczel, On relating type theories and set theories, in: Types for proofs and programs (Irsee, 1998), Lecture Notes in Comput. Sci., 1657, Springer Verlag, Berlin, 1999, pp. 1-18.
J. Avigad – S. Feferman, Gödel's Functional (Dialectica) Interpretation, in Handbook of Proof Theory, pp. 337-405, 1998.
H.P. Barendregt, Lambda Calculi with types, in Handbook of Logic in Computer Science, vol. II, Oxford University Press, 1992.
P. Bernays, Sur le platonisme dans les mathématiques, in “L'enseignement mathématique” 34, 1935, pp. 52-69.
R. BERNET, I. KERN, E. MARBACH, Edmund Husserl. Darstellung seines Denkes, Meiner, Hamburg 1989. Trad. it., Edmund Husserl, Il Mulino, Bologna 1992.
B. BOLZANO, Wissenschaftslehre. Versuch einer ausfürlichen und gröβtentheils neuen Darstellung der Logik mit steter Rücksicht auf deren bisherige Bearbeiter (Sulzbach 1837), ediz. a cura di J. Berg, in: “Bernard Bolzano-Gesamtausgabe”, Frommann, Stuttgart-Bad Cannstatt 1985.
L. E. J. Brouwer, Collected Works, North-Holland, Amsterdam 1975.
L. E. J. Brouwer, Intuitionismus, Bibliographische Institut, Mannheim, 1992.
P. BUCCI, Husserl e Bolzano. Alle origini della fenomenologia, Unicopli, Milano 2000.
A. Cantini, The undecidability of Grishin's set theory, in “Studia Logica”, vol.74 (2003), pp. 345-368.
A. Cantini - P. Minari, Uniform inseparability in explicit mathematics, in “The Journal of Symbolic Logic”, vol.64,1999 pp. 313-326.
E. CASARI, L’universo logico bolzaniano, Rivista di Filosofia 76 (1985), pp. 339-366.
E. CASARI, Sull'origine dell'«oggettivo» in Bolzano, in: A. Fabris, G. Fioravanti, E. Moriconi (a cura di), Logica e teologia. Studi in onore di Vittorio Sainati, ETS, Pisa 1997, pp. 93- 115.
E. CASARI, Husserl, in: P. Rossi, C. A. Viano (Edd.), Storia della Filosofia, Vol. 6/1, Laterza, Roma-Bari 1999, pp. 16- 43.
S. Centrone, Husserl on the concepts of 'operation' and 'system of operation', in “Proceedings of the Husserl Circle At University College Dublin”, 35th Annual Meeting, Humanities Institute of Ireland 2005, pp. 283-300.
G. Chen, Subtyping, type conversions and elimination of transitivity, PhD thesis, Université Paris VII (1998)
G. Chen, Coercive subtyping for the Calculus of Constructions, in Conference record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles in Programming Languages, New Orleans, January 2003, pp. 150-159.
Cook, S.A. and Urquhart A., Functional interpretations of feasibly constructive arithmetic, in “Annals of Pure and Applied Logic”, 63, 1993, pp. 103-200.
L. Crosilla, P. Schuster, From sets and types to topology and analysis: towards practicable foundations for constructive mathematics, Oxford University Press, 2005.
L. Crosilla, H. Ishihara, P. Schuster, On constructing completions, in “Journal of Symbolic Logic” 70, 2005, pp. 969-978.
S. Feferman, Constructive theories of functions and classes, in: “Logic colloquium .78”, M. Boffa et al. (a cura di), North Holland, Amsterdam, 1979, pp. 159-224.
R. Flagg and J. Myhill, A type-free system extending ZFC, in “Annals of Pure and Applied Logic”, 43, 1989 pp. 79-97.
D. Follesdal, Husserl's Notion of Noema,in “Journal of Philosophy”, 66, 1966, pp. 680-687.
J. Y. Girard, Linear Logic, in “Theoretical Computer Science”, 50 (1987), pp. 1-102.
J. Y. Girard, Light Linear Logic, in “Information and Computation”, 143 (1998), pp. 175-204
G. Jäger, First Order Theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo, in “Journal of Symbolic Logic”, 66, 2001, pp. 1073-1089.
G. Jäger, Fixed points in Peano arithmetic with ordinals, in “Annals of Pure and Applied Logic”, 60, 1993, pp. 119--132.
E. HUSSERL, Husserliana, Gesammelte Werke, Martinus Nijhoff, Den Haag 1950 sgg. (I-XXVI:); Kluwer, Dordrecht 1989 sgg. (XXVII – ):

Husserliana, Materialienbände, Kluwer, Dordrecht: Vol I: Logik: Vorlesung 1896, a cura di E. Schumann, 2001; Vol II: Logik Vorlesung 1902/03, a cura di E. Schumann, 2001.
S. Lapointe, Husserl et Frege sur la sémiotique des langages algorithmiques in “Recherches husserliennes” vol. 22, p.111-144, 2004.
G. W. Leibniz, Sämtliche Schriften und Briefe, Sechste Reihe: Philosophische Schriften, Band 4: 1677 – Juni 1690, Berlin, Akademie Verlag, 1999.
G. W. Leibniz, Opuscules et fragments inédits de Leibniz, a cura di L. Couturat, Paris, 1903.
D. LOHMAR, Phänomenologie der Mathematik. Elemente einer phänomenologischen Aufklärung der mathematischen Erkenntnis nach Husserl, Kluwer, Dordrecht 1989.
D. LOHMAR, Edmund Husserls “Formale und transzendentale Logik”, Wissenschaftliche Buchgesellschaft, Darmstadt 2000.
U. Majer, Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics, in “Synthese”, 110 (1997), pp. 37-56
P. Mancosu, From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, 1998, Oxford.
P. Martin-Loef, Intuitionistic Type Theory, Bibliopolis, Napoli, 1984.
P. Martin-Löf, An intuitionistic theory of types: predicative part. In: H.E. Rose, J.C. Sheperdson, a cura di, Logic Colloquium '73. Stud. Logic Found. Math., North--Holland, Amsterdam, 1975, pp.73--118.
P. Minari, Analytic combinatory calculi and the elimination of transitivity, in “Archive for Mathematical Logic”, 43 (2), 2004, pp. 159-191
K. MULLIGAN, Judgings: their Parts and Counterparts, in: La scuola di Brentano, Topoi, vol. VI n. 1, supplemento (1988), pp. 117-148.
K. Mulligan, Essence and modality. The quintessence of Husserl’s theory; in M. Siebel et al. (Eds), Semantik und Ontologie, Frankfurt, Ontos Verlag 2004, pp. 387-418.
J. Myhill, Constructive Set Theory, in “The Journal of Symbolic Logic”, 40, 1975, pp. 347-382.
G. T. NULL, R. A. SIMONS, Manifolds, Concepts and Moment Abstrakta, in B. Smith (a cura di), Parts and Moments. Studies in Logic and Formal Ontology, Philosophia Verlag, München 1982, pp. 439-479.
F. Paoli, Substructural Logics. A primer, Kluwer, Dordrecht 2002.
M. Rathjen, The constructive Hilbert program and the limits of Martin-Loef type theory, in “Synthese” (2005), pp. 147: 81-120
M. Rathjen, Replacement versus Collection and related topics in Constructive Zermelo-Fraenkel Set Theory, in “Annals of Pure and Applied Logic”, 136, 2005, pp. 156-174.
A. Schlueter, A theory of rules for enumerated classes of functions, in “Archive for Mathematical Logic”, 34, 1995, pp. 45-61.
C. Swoyer, Leibniz’s Calculus of Real Addition, in “Studia Leibnitiana”, XXVI, 1, 1994, pp. 1-30.
C. Swoyer, Leibniz on Intension and Extension, in “Noûs”, 29, 1995, pp. 96 – 114.
A. Tatzel, Bolzano's theory of Ground and Consequence, Notre Dame Journal of Formal Logic 43
(2002), pp. 1-25.
A. S. Troelstra and D. van Dalen, Constructivism in Mathematics: an Introduction, volumes I and II, North Holland, Amsterdam, 1988.
K. TWARDOWSKI, Zur Lehre vom Inhalt und Gegenstand der Vorstellungen. Eine psychologische Untersuchung (1894), München-Wien, Philosophia, 1982.
M. van Atten, Phenomenology of Choice Sequences, Ph. Thesis, Utrecht University, 1999.
M. van Atten, Why Husserl Should have been a Strong Revisionist in Mathematics, Husserl Studies 18, 2002, pp. 1-18.
M. van Atten, On Brouwer, Wadsworth, Belmont CA, 2004.
M. van Atten – D. van Dalen, Arguments for the Continuity Principle, in “Bulletin of Symbolic Logic 8, 2002, pp. 329-347.
H. Xi, Upper bounds for standardizations and an application, in “Journal of Symbolic Logic” 64, 1999, pp. 291-303.

Parole Chiave

DIMOSTRAZIONE, VERITÀ, ESTENSIONE/INTENSIONE, OGGETTIVISMO LOGICO, TIPO, REGOLA, LEIBNIZ, HUSSERL, FREGE