2
Palladino Claudia, Palladino Dario
Breve dizionario di logica
(Bussole)
Roma: Carocci, 2005
La logica è una disciplina le cui origini risalgono all’antichità e che si è molto sviluppata negli ultimi decenni anche per le sempre più numerose applicazioni nelle discipline scientifiche e umanistiche. Il dizionario, comprendente più di 300 lemmi, si rivolge ad un pubblico non specializzato e ha lo scopo di illustrare i concetti fondamentali della disciplina. Si propone inoltre di far conoscere i più importanti teoremi relativi alle teorie formali e le caratteristiche di alcuni sistemi logici che estendono o sono alternativi a quelli classici. (Da sito Carocci)
Vedi indiceAbduzione - Alfabeto - Algebra - Algebra della logica - Algoritmo - Analisi matematica - Analisi non standard - Antecedente - Antinomia - Apodosi - Appartenenza (relazione di) - Aritmetica - Assioma - Assiomatica - Assiomatizzabilità - Assiomatizzazione - Assiomi di Peano - Assiomi (indipendenza degli) - Associativa (proprietà) - Assorbimento (proprietà di) - Base di connettivi - Bicondizionale - Boole (algebra di) - Bourbakismo - Calcolo dei seguenti - Calcolo della deduzione naturale - Calcolo logico - Campo - Campo d’azione di un quantificatore - Cardinali (numeri) - Categorematico - Categoricità - Church (teorema di) - Church (tesi di) - Classe - Coerenza - Coerenza (teorema di) - Commutativa (proprietà) - Compattezza (teorema di) - Complementare (insieme) - Completezza semantica - Completezza sintattica - Completezza (teorema di) - Concetto primitivo - Condizionale - Condizionale controfattuale - Condizionale materiale - Condizionale stretto - Condizione necessaria e sufficiente - Congiunzione - Connettivo - Connettivo principale di una forma proposizionale - Connettivo vero-funzionale - Conseguente - Conseguenza logica - Consequentia mirabilis - Consistenza - Contraddittorietà - Contraddizione - Contraria di una proposizione condizionale - Controesempio - Contronominale di una proposizione condizionale - Convenzionalismo - Corollario - Correttezza - Correttezza (teorema di) - Costanti funzionali - Costanti individuali - Costanti logiche - Costanti predicative - Crisippo (legge di) - Decidibilità - Decisione (problema della) - Dedekind (teorema di) - Deduzione (teorema di) - Definizione - Definizione induttiva - De Morgan (leggi di) - Derivabile (formula) - Derivazione - Descrizione definita - Descrizioni (teoria delle) - Diallele - Dimostrazione - Dimostrazione per assurdo - Dimostrazione (teoria della) - Disgiunzione esclusiva - Disgiunzione inclusiva - Distributiva (proprietà) - Dominio - Enumerabilità - Enunciato - Equivalenza di teorie - Equivalenza logica - Esistenza del modello (teorema di) - Esportazione (legge di) - Estensione - Estensione di teorie - Fallacia - Fallacia dell’affermazione del conseguente - Fallacia della negazione dell’antecedente - Filone di Megara (legge di) - Fondamenti della matematica - Formalismo matematico - Formalizzazione - Forma proposizionale - Formule (insieme delle) - Frege (legge di) - Funzione - Funzione caratteristica - Funzione computabile - Funzione proposizionale - Funzione ricorsiva - Funzione Turing computabile - Geometria euclidea e non - Gödelizzazione - Gödel (teoremi di incompletezza di) - Gruppo - Heyting (algebra di) - Hilbert (programma di) - Idempotenza (proprietà di) - Identità - Implicazione - Implicazione materiale - Implicazione stretta - Importazione (legge di) - Inclusione (relazione di) - Incompletezza semantica - Incompletezza sintattica - Indecidibilità - Indice di un quantificatore - Inferenza - Infinito matematico - Insieme - Insiemi (teoria degli) - Intensione - Interpretazione - Intersezione - Intuizionismo - Inversa di una proposizione condizionale - Ipotesi - Isomorfismo - Legge delle inverse - Legge logica - Leggi della doppia negazione - Lemma - Lindenbaum (algebra di) - Lindenbaum (lemma di) - Linguaggio di una teoria formale - Logica - Logica apodittica - Logica classica - Logica condizionale - Logica dei predicati del primo ordine - Logica dei predicati del secondo ordine - Logica del tempo - Logica deontica - Logica epistemica - Logica estensionale - Logica formale - Logica intensionale - Logica intensionale minimale - Logica intuizionista - Logica libera - Logica lineare - Logica matematica - Logica minimale - Logica modale - Logica modale aletica - Logica non monotòna - Logica paracoerente - Logica paraconsistente - Logica polivalente - Logica probabilistica - Logica preposizionale - Logica quantistica - Logica rilevante - Logica simbolica - Logica temporale - Logica vaga - Logicismo - Löwenheim-Skolem (teorema di) - Löwenheim-Skolem (teorema superiore di) - Macchina di Turing - Metalinguaggio - Metateoria - Modello - Modello non standard - Modus ponens (regola del) - Modus tollens (regola del) - Monotonia (proprietà di) - NAND - Negazione - Negazione classica (regola di) - Negazione intuizionista (regola di) - Negazione minimale (regola di) - Nome proprio - Non contraddittorietà - NOR - Numerabilità - Numerale - Numero - ω-coerenza - Operatore - Operatore logico - Operazione - Ordinali (numeri) - Ordine (relazione d’) - Paradossi dell’implicazione materiale - Paradosso - Paralogismo - Petizio principii - Platonismo matematico - Postulato - Predicativismo - Predicato - Principio del terzo escluso - Principio di bivalenza - Principio di identità degli indiscernibili - Principio di indiscernibilità degli identici - Principio di non contraddizione - Prodotto cartesiano - Proposizione - Proposizione atomica o semplice - Proposizione composta - Proposizione quantificata esistenzialmente - Proposizione quantificata universalmente - Proprietà - Protasi - Quadrilatero aristotelico delle proposizioni - Quantificatore - Quantificatore esistenziale - Quantificatore universale - Quantificatori numerici - Quaternio Terminorum - Ragionamento abduttivo - Ragionamento deduttivo - Ragionamento induttivo - Ragionamento per default - Reductio ad absurdum - Regola del sillogismo disgiuntivo - Regola del taglio - Regola di concatenazione - Regola di eliminazione del bicondizionale - Regola di eliminazione del condizionale - Regola di eliminazione della congiunzione - Regola di eliminazione della disgiunzione - Regola di eliminazione del quantificatore esistenziale - Regola di eliminazione del quantificatore universale - Regola di esaustione - Regola di inferenza - Regola di introduzione del bicondizionale - Regola di introduzione del condizionale - Regola di introduzione della congiunzione - Regola di introduzione della disgiunzione - Regola di introduzione del quantificatore esistenziale - Regola di introduzione del quantificatore universale - Regola di sostituibilità degli identici - Regola logica - Regole di contrapposizione - Regole di formazione - Relazione - Relazione di equivalenza - Semantica - Semantica di Kripke - Semantica modellistica - Sheffer (funtori di) - Sillogismo - Simboli di funzione - Simboli di predicato - Sincategorematico - Sintassi - Sistema formale - Skolem (teorema di) - Soddisfacibilità - Sofisma - Sottoformule - Sottoinsieme - Sufficientemente potente (teoria) - Tarski (teorema di) - Tautologia - Tavole di verità - Teorema - Teoria - Teoria deduttiva - Teoria della computabilità - Teoria dell’argomentazione - Teoria essenzialmente incompleta - Teoria formale - Teoria formale dei numeri naturali - Termini - Tertium non datur - Unione - Validità - Valore di verità - Valutazione - Variabili individuali - Variabili libere - Variabili predicative - Variabili vincolate - Zermelo (assioma di).