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. [...] dell'opera si discutono circa cinquanta sofismi, o paradossi logici, che sono vere e proprie prove di validità di norme logiche sul funzionamento proposizionale dei sincategoremi. Per esempio, la logica del mutamento è accennata nel trattato VI, sui ...
Leggi Tutto
GREGORIO da Rimini
Roberto Lambertini
A. Tabarroni
Alessandro Conti
Le informazioni relative alla provenienza familiare di G., nato probabilmente a Rimini agli inizi del Trecento, sono pressoché inesistenti: [...] due tipi: le cose (res) e i significati proposizionali (enuntiabilia). Le prime può conoscerle attraverso la semplice apprensione c'è spazio per una analisi dettagliata delle dottrine logiche e metafisiche di Gregorio da Rimini. Né maggiore chiarezza ...
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,...