Libro acquistabile con carte di credito e carte prepagate Postepay.

 

Libro acquistabile con Carta Docente.

 

Libro acquistabile con Carta Cultura Giovani e Carta del Merito.

 

Libro acquistabile in tre rate mensili Klarna.

 

Il costo del libro sarà addebitato solo all’avvio della consegna.

 

Scegli il punto di ritiro dei libri più comodo.

Elementi di storia della logica formale

Riferimento: 9788869722981

Editore: Bonomo
Autore: Bagni Giorgio T.
Collana: Matematica: didattica, storia e divulgazione
In commercio dal: 01 Settembre 2023
Pagine: 127 p., Libro in brossura
EAN: 9788869722981
14,50 €
IVA inclusa
Quantità
Non disponibile

Descrizione

La logica formale è lo studio del ragionamento deduttivo: quello che conta è la forma delle affermazioni, non la loro verità; conta la validità della deduzione (comunque, una deduzione valida porta da un'affermazione vera a un'affermazione pure vera). Essa risale ad Aristotele, che per primo costruì la teoria di una particolare forma di ragionamento, il sillogismo. Con la scolastica medioevale si ebbe un'altra rifioritura della logica formale, con acute analisi. La logica formale si identifica oggi con la logica matematica, sviluppatasi a partire dalla metà dell'Ottocento come applicazione alla logica di metodi matematici. Con la crisi dei fondamenti della matematica, la logica è considerata da alcuni come la base su cui costruire la matematica, da altri come il linguaggio base delle teorie formalizzate.