logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] principi logici e le regole valide dal punto di vista brouweriano. L’idea base era l’interpretazione dei connettivi e dei j che A→B è vera significa affermare che per ogni livello successivo i>j non si potrà avere A e ¬B. Stesso discorso per ← e ...
Leggi Tutto
Anima
Giancarlo Movia
Marta Cristiani
Paolo Casini
Gianni Carchia
Lucio Pinkus
È il greco ἄνεμος, latino anima, il cui primo senso è "aria", poi "respiro, soffio", e, di qui, "principio vitale", [...] , Macmillan, 1994 (trad. it. La scienza el'anima, Milano, Rizzoli, 1994).
j.c. eccles, How the self controls its brain e Pensiero, 1965.
g. verbeke, L'évolution de la doctrine du pneuma: du stoïcisme à saint Augustin, Paris-Lovain, Desclee de Brouwer ...
Leggi Tutto