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)

This book focuses on analyzing data on current initiatives and best practices in citizen engagement and education programs across various disciplines by highlighting emergent research and application techniques within citizen science initiatives.

This article discusses the logic of the Epimenides Paradox using a graphical representation of the logical operators involved. The graphical representation of the Logical Operators is the one used in digital electronics. This method of investigation is very effective in revealing the hidden error in the reasoning that leads to the contradiction. The article explains the vicious circle that the mind goes through when trying to analyze the Paradox. Finally, the article proposes a solution of the Paradox with final conclusions (...) that are not paradoxical but simply counterintuitive. The endless deduction is generated by subsequent evaluations that take place on different levels. In its evaluation the Mind alternates a level of logical evaluation with a level of semantic evaluation. (shrink)

"Results presented in two international seminars held in Palermo and Milan in 2012"--Page 1.

The present book is a collection of 9 essays, focusing on the ethical, religious, and political aspects of Wittgenstein's thought, illustrated and investigated with reference to their complex interaction with Wittgenstein's philosophical method and with his conception of language and human agency.

Principi e ordinamento romano : una riflessione sulle orme di Fritz Schulz -- Homo liber e homo sacer : due archetipi dell'appartenenza -- L'humanitas tra diritto romano e totalitarismo hitleriano -- Sull'eccezione di dolo generale -- L'arbitraggio sul prezzo -- Diritto romano e scienza del diritto -- Roma e i suoi giuristi nel pensiero di Nicolás Gómez Dávila -- Tradizione e misura umana del diritto: considerazioni sulla figura del giurista a partire da Giuseppe Grosso.