Verità, Prova e Paradosso: Workshop in Filosofia della Logica

Cosa è una prova? Quali sono le relazioni formali tra prova e verità? Quali paradossi e possibili errori sorgono da un non corretto uso di tali nozioni?

Il Primo Lecce Workshop in Filosofia della Logica (Filog) dal titolo: "Verità, Prova e Paradosso" cercherà di fornire possibili risposte a queste domande. Filog ha come obiettivo quello di proporre una esplicazione dei concetti di verità e prova alla luce della discussione classica e dei risultati più recenti della riflessione filosofica in logica in modo da valutarne l'adeguatezza materiale e formale.

Particolare enfasi verrà riservata alle differenti forme di realismo e antirealismo semantico in filosofia della logica e alla loro relazione con i sistemi di pragmatica formale.