La forma della verità. Logica e filosofia nellopera di Alfred Tarski

Il problema della verità è antico quanto la filosofia stessa: in questo cammino una tappa fondamentale è costituita dallopera di Alfred Tarski. Ogni lavoro filosofico che si interessi al tema della verità non può non prendere in considerazione - magari anche in senso assolutamente negativo - la concezione semantica della verità. Il volume indaga se, e in che misura, la teoria di Tarski possa essere considerata una teoria della verità come corrispondenza e come lapparato logico tarskiano possa gettare luce sul problema dellessenza della verità intesa come una particolare relazione tra linguaggio e mondo. Attraverso lanalisi di alcune teorie formali della verità (che rispecchiano le intuizioni di Tarski) si mostreranno le criticità delle posizioni deflazioniste, affermando al contrario la portata epistemica, ontologica e fondazionale di una concezione sostanziale della verità.

del Dipartimento di Filosofia e Teoria delle Scienze dell'Università Ca' Foscari di ... introdusse la prima logica moderna con gaps nei valori di verità; Heyting propo - ... contraddizione scoperta, nel senso di qualcosa della forma di (C1): α ∧ ¬α. ... qualcosa su cui oggi, dopo le procedure formali di Gödel e Tarski per ottenere. 16 set 2019 ... Logica e filosofia sono amici del diritto?; ... nei tanti incarichi ricoperti nell' interesse della Francia, ma non posso non pensare che ... di verità o falsità, se prendiamo la “forma proposizionale” kelseniana tipo “se accade la ... teoria dei tipi ed in seguito un altro logico, il polacco Alfred Tarski (nato Teitelbaum ...