La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] e l'operatore modale ha effetto sull'intera proposizione; se invece esso interrompe ciò che è espresso dal soggetto e dal predicato, allora si ha una proposizione divisa e in questo caso l'operatore modale modifica soltanto la copula: per esempio, la ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] punto di vista ha indubbiamente favorito l’elaborazione della logica moderna, lo sviluppo dei sistemi formali, del calcolo dei predicati, delle teorie della deduzione e così via. Tuttavia, se è certamente vero che il punto di vista formalista ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] Jan Bergstra e Jan Willem Klop all'inizio degli anni Ottanta).
Le logiche temporali sono logiche modali (di tipo proposizionale o predicativo), i cui operatori fondamentali esprimono la validità di un'asserzione p da un certo istante in poi (Gp) o in ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] ) di Hilbert e Wilhelm Ackermann, il primo manuale moderno di logica matematica che presenta gli assiomi per il calcolo dei predicati, rispetto al quale viene posta la questione della completezza e della decidibilità. L’epoca d’oro della logica era ...
Leggi Tutto
predica
prèdica s. f. [der. di predicare]. – 1. a. Discorso che il sacerdote tiene in chiesa ai fedeli, parlando dal pulpito, dall’altare o dal presbiterio, su qualche passo della Scrittura o su argomenti di carattere morale, liturgico, sociale,...
predicabile
predicàbile agg. [nel sign. 1 a, der. di predicare; nel sign. 1 b, dal lat. praedicabĭlis, der. di praedicare nel senso di «celebrare, lodare»; il sign. 2 è dal lat. mediev. praedicabilia, tratto da praedicare nell’accezione assunta...