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.
Elementi di storia della logica formale
| Titolo | Elementi di storia della logica formale |
| Autore | Giorgio T. Bagni |
| Argomento | Scienze umane Filosofia |
| Collana | Matematica: didattica, storia e divulgazione |
| Editore | Bonomo |
| Formato |
Libro: Libro in brossura |
| Pagine | 127 |
| Pubblicazione | 09/2023 |
| ISBN | 9788869722981 |
Libri dello stesso autore
Introduzione alla logica e al linguaggio matematico
Giorgio T. Bagni, Daniele Gorla, Anna Labella
McGraw-Hill Education
Interpretare la matematica. Introduzione all'ermeneutica dell'apprendimento
Giorgio T. Bagni
Archetipo Libri