IL TESTO RIPORTA GLI ATTI DEL II SIMPOSIO INTERNAZIONALE DELLA FACOLTA DI TEOLOGIA TENUTOSI A ROMA DEL 14 AL 15 MARZO 1996 SULLA GIUSTIFICAZIONE IN CRISTO.
Il volume si articola in cinque capitoli. Il primo contiene una introduzione al linguaggio formale, che può essere oggetto a sé stante di un corso di avviamento alla logica. Nel capitolo si presenta una panoramica generale dei linguaggi formali, comprensiva anche dei linguaggi intensionali (modale deontico, epistemico e intenzionale) che non sono tema specifico di approfondimento tecnico nei capitoli successivi. Questo capitolo è principalmente rivolto agli studenti interessati all'utilizzo della logica nell'ambito filosofico. Il secondo e il terzo capitolo presentano la sintassi e la semantica del calcolo dei predicati del primo ordine. Nel terzo capitolo, dedicato alla semantica della logica dei predicati, sono dimostrati in dettaglio i teoremi di correttezza e di completezza secondo lo stile di Henkin. Il quarto capitolo introduce l'idea di teoria del primo ordine. Infine l'ultimo capitolo è dedicato ad un esame delle principali proprietà metateoriche delle teorie.
Il frutto del Congresso Internazionale di Teologia L'Uomo:Immagine, Via, Destino" organizzate da diverse Universita Pontificie, tenutosi a Roma nel Settembre 2000. " Una riflessione di carattere filosofico e teologico orientata a mettere in rilevo il ruolo specifico di Cristo nel cammino storico dell'uomo. Il contenuto dei diversi interventi e incentrato sulla linea del fondamento cristologico del discorso teologico sull'uomo, con una sottolineatura degli aspetti che, dalla condizione concreta del cristiano nel mondo, costituiscono una possibile premessa filosofica e culturale alla riflessione sul ruolo di Cristo.