We study the cube of type assignment systems, as introduced in Giannini et al. 87–126), and confront it with Barendregt's typed gl-cube . The first is obtained from the latter through applying a natural type erasing function E to derivation rules, that erases type information from terms. In particular, we address the question whether a judgement, derivable in a type assignment system, is always an erasure of a derivable judgement in a corresponding typed system; we show that this property holds (...) only for systems without polymorphism. The type assignment systems we consider satisfy the properties ‘subject reduction’ and ‘strong normalization’. Moreover, we define a new type assignment cube that is isomorphic to the typed one. (shrink)

Risposte alle censure dell' "Ateismo triunfato" (1631).--Documenta ad Gallorum nationem.--Consultationes aphoristicae gerendae rei praesentis temporis cum Austriacis ac Italis ad hispanismi delectionem perficiendam (1635).--Compendium veritatis catholicae et falsitatis sectariorum de praedestinatione.--Censure al "De praedestinationes" (1636).

1. Prodromus philosophiae instaurandae. De sensu rerum et magia. Apologia pro Galileo.--2. Realis philosophia epilogistica. Astrologicorum libri VII.

1. Critica de capire e altri scritti. 2. Scritti kantiani. 3. L'analitica trascendentale. 4. Il problema della scienza e il giudizio storico.

1. Teoria del diritto -- 2. Teoria della democrazia -- 3. La sintassi del diritto.

Luigi Giussani, a high school religion teacher throughout the 1950s and 1960s, grounded his teachings in the vast body of experience to be found in Christianity's two-thousand-year history. He told his students, “I'm not here to make you adopt the ideas I will give you as your own, but to teach you a method for judging the things I will say.” Throughout his life, education was one of Giussani's primary intellectual interests. He believed that effective education required an adequate (...) background in the Christian tradition, presented within a lived experience that underscored the capacity of the faith to answer universal questions. What he proposed was a process that allowed one to sift through tradition, critically examining it and comparing it against the ultimate criteria for judgment: the desires of the heart. In Giussani's view, the primary concern was to “educate the human heart as God made it.” In The Risk of Education he states that fear leads students to associate this process of criticism with negativity or doubt. Yet, without an education in criticism, students cannot develop conviction. At a time when young people are abandoning the church and questioning the value of faith, Giussani's method of judging and verifying Christianity as an experience seems a necessary intervention. In The Risk of Education he argues that, ultimately, education and the Christian message reveal themselves through human freedom. (shrink)