13 relazioni: Algebra di Boole, Aristotele, Fondamenti della matematica, Intuizionismo, Lingua latina, Locuzioni latine, Logica fuzzy, Metafisica (Aristotele), Principio di bivalenza, Principio di non contraddizione, Proposizione (logica), Tautologia, Verità.
Algebra di Boole
L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.
Nuovo!!: Tertium non datur e Algebra di Boole · Mostra di più »
Aristotele
È ritenuto una delle menti filosofiche più innovative, prolifiche e influenti del mondo antico occidentale, sia per la vastità che per la profondità dei suoi campi di conoscenza, compresa quella scientifica.
Nuovo!!: Tertium non datur e Aristotele · Mostra di più »
Fondamenti della matematica
Nei ''Principia Mathematica'', Bertrand Russell e Alfred North Whitehead propongono di fondare la matematica su basi logiche Per fondamenti della matematica si intende lo studio delle basi logiche e filosofiche della matematica.
Nuovo!!: Tertium non datur e Fondamenti della matematica · Mostra di più »
Intuizionismo
Nella filosofia della matematica, l'intuizionismo, o neointuizionismo (opposto al preintuizionismo), è un approccio alla matematica in cui ogni oggetto matematico è considerato un prodotto dell'attività costruttiva della mente umana.
Nuovo!!: Tertium non datur e Intuizionismo · Mostra di più »
Lingua latina
Il latino è una lingua indoeuropea appartenente al gruppo delle lingue latino-falische.
Nuovo!!: Tertium non datur e Lingua latina · Mostra di più »
Locuzioni latine
Elenco delle locuzioni latine, molte delle quali in uso presso gli antichi Romani.
Nuovo!!: Tertium non datur e Locuzioni latine · Mostra di più »
Logica fuzzy
La logica fuzzy o logica sfumata o logica sfocata è una logica in cui si può attribuire a ciascuna proposizione un grado di verità diverso da 0 e 1 e compreso tra di loro.
Nuovo!!: Tertium non datur e Logica fuzzy · Mostra di più »
Metafisica (Aristotele)
Con Metafisica (parentesi, ma anche "al di là delle cose fisiche") si intende una serie di trattati scritti da Aristotele (IV secolo a.C.) e raccolti successivamente sotto questo titolo.
Nuovo!!: Tertium non datur e Metafisica (Aristotele) · Mostra di più »
Principio di bivalenza
In logica, il principio di bivalenza afferma che per ogni proposizione P, o P è vera oppure P è falsa, ossia che il grado di verità di una proposizione ammette valori nell'insieme discreto.
Nuovo!!: Tertium non datur e Principio di bivalenza · Mostra di più »
Principio di non contraddizione
Nella logica classica, il principio di non-contraddizione afferma la falsità di ogni proposizione implicante che una certa proposizione A e la sua negazione, cioè la proposizione non-A, siano entrambe vere allo stesso tempo e nello stesso modo.
Nuovo!!: Tertium non datur e Principio di non contraddizione · Mostra di più »
Proposizione (logica)
In filosofia e logica moderna una proposizione è una proposizione (linguistica) avente un significato che afferma o nega qualcosa, ad esempio “la neve è bianca”.
Nuovo!!: Tertium non datur e Proposizione (logica) · Mostra di più »
Tautologia
Una tautologia (dal greco ταυτολογία, composto di ταὐτό lo stesso — τό lo e αὐτό stesso — e λογία per λόγος discorso), in logica, è un'affermazione vera per definizione, quindi fondamentalmente priva di valore informativo.
Nuovo!!: Tertium non datur e Tautologia · Mostra di più »
Verità
Con il termine verità (in latino veritas, in greco αλήϑεια) si indica il senso di accordo o di coerenza con un dato o una realtà oggettiva, o la proprietà di ciò che esiste in senso assoluto e non può essere falso.
Nuovo!!: Tertium non datur e Verità · Mostra di più »