Avanzare le ricerche sulle teorie della verità
Il progetto STSTT (“The set theory of semantic theories of truth”) ha lavorato per collegare la teoria degli insiemi con le teorie della verità formali, nonché avanzare tecniche semplici per facilitare la ricerca contemporanea sulla logica della verità. Utilizzando strumenti di teoria degli insiemi, STSTT ha raggiunto i suoi obiettivi iniziali. Ha prodotto un sistema di prova tableau per varie teorie della verità, permettendo una migliore comprensione delle teorie della verità a punti fissi. Il tableau fornisce una presentazione più chiara per l’analisi matematica di tali teorie. L’approccio ha portato allo sviluppo di una prova di coerenza per un forte predicato di validità, soddisfacendo principi ritenuti impossibili in precedenza. L’utilizzo della teoria teorica degli insiemi ha permesso di gettare le basi per l’analisi della revisione della teoria della verità, sfatando le affermazioni sull’infondatezza della teoria della revisione. Altri risultati includono l’utilizzo di strumenti delle teorie della verità formali per mostrare come esse possono essere applicate ai problemi della teoria degli insiemi. Infine, STSTT ha aperto la strada all’utilizzo di un quadro comune per capire i paradossi logici nella teoria degli insiemi e nella teoria della verità formale. Il lavoro di STSTT è stato divulgato tramite pubblicazioni su riviste e presentato presso centri importanti di logica filosofica e matematica. I risultati del progetto aprono nuove vie alla teoria della verità e alla teoria degli insiemi e dovrebbero permettere un’adeguata comprensione matematica del paradosso logico e argomentazione diagonale. Lo strumento offre mezzi appropriati per la classificazione di tali problemi e la comprensione degli elementi necessari per risolverli.
Parole chiave
Teorie della verità, teoria degli insiemi, teorie semantiche, paradosso della logica, argomento diagonale
