Libri di
Bibliografia di : tutti i libri in vendita online editi da Bonomo con argomento Logica Storia
Prossime uscite di
Libri previsti in uscita su Unilibro.it:
- 9788894948516 Onde. Poesie scelte
- 9788822921000 Respiravamo allo stesso ritmo. Herbie Hancock e la Mwandishi Band
Elementi di storia della logica formale Bagni Giorgio T. - Bonomo, 2023 - Matematica: Didattica, Storia E Divulgazione
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.