semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] teoria della verità per L’ dai cui assiomi è deducibile per ciascun enunciato E di L un’equivalenza metalinguistica ‘E è logica.
Mentre la teoria della dimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al ...
Leggi Tutto
Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] geometrici). Nella logica moderna la differenziazione tra assiomi e p. è venuta meno a partire dalla fine del 19° sec., specialmente per opera di G. Frege, G. Peano, B. Russell e D. Hilbert. Oggi per assioma o p. si intende un enunciato primitivo ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...