GIOVANNI XXI, papa
José Francisco Meirinhos
Sono stati identificati diversi Pietro Ispano - nome di G. prima dell'elezione al pontificato - che hanno operato in Portogallo nella prima metà del sec. [...] e prese il nome di Giovanni XXI (per un errore di calcolo non è mai esistito un papa Giovanni XX), scegliendo come proprie prove di validità di norme logiche sul funzionamento proposizionale dei sincategoremi. Per esempio, la logica del mutamento ...
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,...