21 relazioni: Algebra di Boole, Argomentazione, Aristotele, Costruttivismo matematico, George Boole, Logica della computabilità, Logica fuzzy, Logica intuizionista, Logica lineare, Logica matematica, Logica modale, Logica paraconsistente, Logica polivalente, Monotonia dell'implicazione, Organon, Principio di complementarità, Principio di non contraddizione, Quadrato delle opposizioni, Sillogismo, Teoremi di De Morgan, Tertium non datur.
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!!: Logica classica e Algebra di Boole · Mostra di più »
Argomentazione
L'argomentazione è un ragionamento situato.
Nuovo!!: Logica classica e Argomentazione · 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!!: Logica classica e Aristotele · Mostra di più »
Costruttivismo matematico
Nella filosofia della matematica, il costruttivismo afferma la necessità di trovare o costruire un oggetto matematico per dimostrare la sua esistenza.
Nuovo!!: Logica classica e Costruttivismo matematico · Mostra di più »
George Boole
Padre della matematica Alicia Boole, la sua opera influenzò anche settori della filosofia e diede vita alla scuola degli algebristi della logica.
Nuovo!!: Logica classica e George Boole · Mostra di più »
Logica della computabilità
La Logica della computabilità (Computability logic o CoL) è un programma di ricerca e un modello matematico per riqualificare la logica come una teoria formale sistematica della computabilità, in contrapposizione alla logica classica che può essere vista come una teoria formale della verità.
Nuovo!!: Logica classica e Logica della computabilità · 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!!: Logica classica e Logica fuzzy · Mostra di più »
Logica intuizionista
La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.
Nuovo!!: Logica classica e Logica intuizionista · Mostra di più »
Logica lineare
La logica lineare è una logica substrutturale proposta da Jean-Yves Girard come un raffinamento della logica classica ed intuizionista, coniugando le dualità che caratterizzano i connettivi della prima con le proprietà costruttive della seconda.
Nuovo!!: Logica classica e Logica lineare · Mostra di più »
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Nuovo!!: Logica classica e Logica matematica · Mostra di più »
Logica modale
Nell'ambito della logica formale, si indica come logica modale una qualsiasi logica in cui è possibile esprimere il "modo" in cui una proposizione è vera o falsa.
Nuovo!!: Logica classica e Logica modale · Mostra di più »
Logica paraconsistente
In logica, per logica paraconsistente, detta anche logica brasiliana per motivi storici, si intende un sistema formale in cui possono verificarsi in modo controllato delle eccezioni al principio di non contraddizione, cioè possono presentarsi delle contraddizioni, senza però che con questo sia possibile derivare nel sistema ogni proposizione, evitando quindi il principio di esplosione.
Nuovo!!: Logica classica e Logica paraconsistente · Mostra di più »
Logica polivalente
Le logiche polivalenti sono estensioni della logica classica in cui sono presenti più valori di verità rispetto ai canonici vero, falso e pertanto in esse non vale il principio del terzo escluso.
Nuovo!!: Logica classica e Logica polivalente · Mostra di più »
Monotonia dell'implicazione
La monotonia è la proprietà di un connettivo di implicazione logica di conservare un valore di verità positivo trasformando l'antecedente "a" nella congiunzione dello stesso antecedente "a" con una qualsiasi altra formula.
Nuovo!!: Logica classica e Monotonia dell'implicazione · Mostra di più »
Organon
Organon (Órganon, "strumento") è il nome dato da Andronico di Rodi, seguace di Aristotele tra i Peripatetici, all'edizione delle sue sei opere di logica.
Nuovo!!: Logica classica e Organon · Mostra di più »
Principio di complementarità
In meccanica quantistica il principio di complementarità afferma che il duplice aspetto di alcune rappresentazioni fisiche dei fenomeni a livello atomico e subatomico non può essere osservato contemporaneamente durante lo stesso esperimento.
Nuovo!!: Logica classica e Principio di complementarità · 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!!: Logica classica e Principio di non contraddizione · Mostra di più »
Quadrato delle opposizioni
Nella logica aristotelica, il quadrato delle opposizioni è un diagramma che rappresenta i diversi modi in cui ciascuna delle quattro proposizioni del sistema è logicamente correlata ('opposta') alle altre.
Nuovo!!: Logica classica e Quadrato delle opposizioni · Mostra di più »
Sillogismo
Il sillogismo (dal greco συλλογισμός, syllogismòs, formato da σύν, syn, "insieme", e λογισμός, logismòs, "calcolo": quindi, "ragionamento concatenato") è un tipo di ragionamento dimostrativo che fu teorizzato per la prima volta da Aristotele, il quale, partendo dai tipi di termine "maggiore" (che funge da predicato nella conclusione), "medio" e "minore" (che funge da soggetto nella conclusione) classificati in base al rapporto contenente-contenuto, giunge ad una conclusione collegando i suddetti termini attraverso brevi enunciati (premesse).
Nuovo!!: Logica classica e Sillogismo · Mostra di più »
Teoremi di De Morgan
I teoremi di De Morgan, o leggi di De Morgan sono relativi alla logica booleana e stabiliscono relazioni di equivalenza tra gli operatori di congiunzione logica "and" e "or".
Nuovo!!: Logica classica e Teoremi di De Morgan · Mostra di più »
Tertium non datur
Tertium non datur (tradotto: «Una terza cosa non è data») è una locuzione che appartiene al repertorio delle celebri frasi in lingua latina entrate nel patrimonio culturale mondiale.
Nuovo!!: Logica classica e Tertium non datur · Mostra di più »