biblio toscana

Il principio di individuazione afferma che un ente esiste nella sua individualità come un essere differente e distinto nei confronti di tutti gli altri enti che pure partecipano della sua stessa natura. Per esempio: un essere può avere come sua specificità quella di essere uomo in base alla sua caratteristica essenziale (l'umanità), ma anche una sua esistenza particolare nel tempo e nello spazio tale da distinguerlo da tutti gli altri uomini.

La locuzione latina ex falso sequitur quodlibet (ossia: "dal falso segue qualsiasi cosa (scelta) a piacere"), abbreviata, in modo ellittico, anche in ex falso quodlibet, è una frase latina che indica, nella logica classica un principio logico (valido anche nella logica intuizionista) che stabilisce come da un enunciato contraddittorio consegue logicamente qualsiasi altro enunciato. Si tratta, in realtà, di un teorema, la cui conoscenza, peraltro, risale all'antichità: era già noto, ad esempio, alla Scuola megarica. Non si tratta, invece, di un paradosso, dal momento che non conduce ad alcuna contraddizione. Il fatto che, pur non essendolo, venga a volte indicato come paradosso, dipende dal fatto che le conseguenze implicate dal teorema sembrano contraddire l'intuizione ed esulare dal comune sentire. La definizione ex falso quodlibet per questo teorema è attribuita, per tradizione, a Duns Scoto, sebbene in realtà sia opera di un autore sconosciuto. Pertanto, a volte ci si riferisce ad esso anche come teorema dello pseudo-Scoto. La prima dimostrazione del teorema è attribuita al logico francese del XII secolo Guglielmo di Soissons, appartenente alla scuola dei Parvipontani, fondata da Adamo del Petit-Pont.Nel linguaggio della logica proposizionale si può esprimere il principio con la formula: ( A ∧ ¬ A ) → B . {\displaystyle (A\land \lnot A)\to B.}

Giovanni Duns Scoto, conosciuto anche con l'epiteto di Doctor Subtilis (Duns, 1265/1266 – Colonia, 8 novembre 1308), è stato un filosofo e teologo scozzese francescano. È stato beatificato da papa Giovanni Paolo II il 20 marzo 1993.