Fonte: A. Tarski, Truth and Proof, trad. it. in E. Casari, La filosofia della matematica del ‘900, Sansoni, Firenze, 1973, pagg. 75-77 Un’antinomia sorge, invece, ogniqualvolta si sia in grado di dimostrare che una delle proposizioni del…
Il concetto di verità nei linguaggi formalizzati
Fonte: A. Tarski, Truth and Proof, trad. it. in E. Casari, La filosofia della matematica del ‘900, Sansoni, Firenze, 1973, pagg. 79-82 Il compito di spiegare il significato del termine “vero” sarà qui interpretato in modo restrittivo.…
Il paradosso del mentitore
Fonte: A. Tarski, Truth and Proof, trad. it. in E. Casari, La filosofia della matematica del ‘900, Sansoni, Firenze, 1973, pagg. 79-83 A questo scopo dobbiamo analizzare quei tratti caratteristici del linguaggio comune che sono la fonte…
Metalinguaggio
Fonte: A. Tarski, Truth and Proof, trad. it. in E. Casari, La filosofia della matematica del ‘900, Sansoni, Firenze, 1973, pagg. 80-84 Ci si può chiedere ora se possa definirsi in modo preciso un concetto di verità…