Introduzione alla logica e alla metodologia delle scienze deduttive

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 8 voti.

Titolo originale:

Introduction to Logic: and to the Methodology of Deductive Sciences

Contenuto del libro:

Questa classica trattazione per studenti esamina il metodo deduttivo nella prima parte ed esplora le applicazioni della logica e della metodologia nella costruzione di teorie matematiche nella seconda parte.

Gli esercizi sono presenti in tutta la trattazione. Alfred Tarski, uno dei più grandi logici di tutti i tempi, è considerato "l'uomo che ha definito la verità".

Il suo lavoro sui concetti di verità e di conseguenza logica definiti dalla teoria matematica è una pietra miliare della logica moderna, che ha influenzato gli sviluppi in matematica, filosofia, linguistica e informatica. Il suo insegnamento sulla logica e sulla matematica è culminato nel classico INTRODUZIONE ALLA LOGICA del 1941, che utilizza il metodo della deduzione ed esplora la logica e la metodologia in relazione alla creazione di teorie matematiche.