La logica del secondo ordine e la prova ontologica di Gödel

Nel mio lavoro ho deciso di dedicare il primo capitolo all'evoluzione della prova ontologica nella storia della filosofia e della logica e all'analisi, da un punto di vista logico, della prova di Gödel. Nella prima sezione, quindi, ho riportato l'argomentazione di Anselmo d'Aosta, il primo a proporre una prova ontologica, e a seguire quelle di Scoto, Spinoza, Leibniz e Russell, evidenziando dove opportuno le critiche ad esse apportate. Nella seconda sezione ho ripercorso le tappe della prova ontologica di Gödel e ho riportato e analizzato alcuni dei passaggi logici tratti da uno dei suoi taccuini. Nel secondo capitolo ne ho analizzato in particolare la logica del secondo ordine. Inoltre ho dedicato la prima sezione a un breve richiamo di logica modale S5. Ho infine brevemente trattato un caso particolare della logica del secondo ordine, vale a dire la logica del secondo ordine debole.

La diaconale Basilica de' SS. Cosmo, e Damiano nel Romano Foro, detto volgarmente Campo Vaccino de' padri del terz' ordine di S. Francesco : proposta a gl' occhi de' fedeli nella sua antichità, venerazione, privilegj, indulgenze, e reliquie secondo l'antichissime memorie della medesima /

Title ornament; decorative initial; tail-pieces.

Il Decameron di messer Giouanni Boccacci ... : ricorretto in Roma, et emendato secondo l'ordine del Sacro Conc. di Trento, et riscontrato in Firenze con testi antichi [et] alla sua vera lezione ridotto ...

Edit16,

Serie cronologica degli eminentissimi, e reverendissimi signori cardinali bolognesi compresi quelli assunti al sommo pontificato disposta secondo l'ordine del tempo dal giorno della loro esaltazione, ed avente il suo principio dall'anno 1060 sino al 1775 : con l'epilogo della loro nascita, vita, e morte, e rispetto ai viventi dei loro fasti sino al tempo corrente

Mode of access: Internet.

Istoria delle guerre del Regno del Brasile : accadute tra la corona di Portogallo e la Republica di Olanda, composta, ed offerta alla sagra reale maesda di Pietro Secondo, Re di Portogallo & C. dal P. F. Gio. Gioseppe di S. Teresa Carmelitano Scalzo : Parte prima e Parte seconda

As negociações entre Portugal e Holanda a respeito da devolução dos territórios portugueses ocupados se desenvolveram ao longo de um decênio. As propostas iniciais de Portugal referiam-se aos territórios ocupados pelos holandeses na África e no Maranhão. Estão no raríssimo folheto.

La Giovinezza del conte di Cavour, saggi storici secondo lettere e documenti inediti.... Partie 2 / Francesco Ruffini,...

Collection : Biblioteca di storia contemporanea ; 5-6

La Giovinezza del conte di Cavour, saggi storici secondo lettere e documenti inediti.... Partie 1 / Francesco Ruffini,...

Collection : Biblioteca di storia contemporanea ; 5-6

Il complesso di San Giovanni in Monte: la vulnerabilità sismica analizzata secondo le linee guida del ministero dei beni culturali

L’obiettivo della presente dissertazione è la valutazione della vulnerabilità sismica del nucleo storico del complesso di San Giovanni in Monte a Bologna, con i metodi indicati nelle “Linee Guida” del Ministero per i Beni e le Attività Culturali, secondo i livelli di valutazione LV1 ed LV3. Gli edifici oggetto di studio si inseriscono all’interno di un aggregato storico unico nel suo genere che ha avuto come centro di sviluppo la Chiesa di San Giovanni in Monte e successivamente il complesso costituito da Chiesa e monastero adiacente.

Prove di caratterizzazione meccanica e materiale di solai compositi, realizzati secondo la tecnologia costruttiva del Pannello Sandwich

Il lavoro della tesi riguarda lo studio del comportamento di solai compositi, realizzati con tre strati di materiale. Questa metodologia costruttiva li fa ricadere nella tipologia strutturale del PANNELLO SANDWICH. Sono state condotte delle prove su campioni di materiali estratti da un provino di solaio, per determinare le caratteristiche meccaniche dei materiali stessi, poi sono state condotte le prove di carico su provini di solai integri, dai quali si sono ottenuti i diagrammi carico-spostamento. Successivamente sono state applicate due teorie sui pannelli sandwich, la teoria di Pantema e la teoria di Allen, allo scopo di vedere come riescano ad interpretare il comportamento sperimentale. Infine sono stati studiati i comportamenti agli SLE in termini di tensioni e frecce, e agli SLU in termini di capacità portante (taglio e momento flettente) secondo quanto dettato dal D.M. 14/01/2008.