La storia della metafisica occidentale, al di là di tutte le differenze specifiche proprie di autori, periodi e contesti culturali diversi, ha sempre avuto, dall’antichità all’epoca moderna, una caratteristica [...] che certamente contribuì a costituire la metafisica whiteheadiana fu la nuova logicaproposizionale di Frege. Superando, infatti, dopo più di due millenni, la logica aristotelica fondata sul binomio di soggetto e predicato, rigidamente distinti, la ...
Leggi Tutto
proposizionale
propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...
verita, funzione di
verità, funzione di nella logica proposizionale (→ enunciati, linguaggio degli), legge che associa a ogni stringa finita di valori di verità (per esempio VVFVFVVVF), uno dei due valori V o F. Ogni tavola di verità definisce...
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. affidabilità: I 85 f. (b) [ALG] [ELT] [FAF]...