Carocci editore - Breve dizionario di logica

Password dimenticata?

Registrazione

Breve dizionario di logica

Claudia Palladino, Dario Palladino

Breve dizionario di logica

Edizione: 2005

Ristampa: 2^, 2011

Collana: Bussole

ISBN: 9788843035069

  • Pagine: 128
  • Prezzo:12,00 11,40
  • Acquista

In breve

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.

Indice

Abduzione/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).