Nella Lettera di San Paolo a Tito, al versetto 12, si riporta la diceria secondo cui un certo cretese diceva "tutti i cretesi mentono". Al versetto successivo, San Paolo afferma che questa testimonianza è vera. Ma se l'affermazione del cretese fosse stata vera per tutte le altre affermazioni dei cretesi, allora sarebbe stata paradossale. Se infatti il cretese avesse detto la verità, allora avrebbe mentito anche lui. Se invece avesse mentito anche lui, allora avrebbe detto la verità sul fatto che tutti i cretesi mentivano. Questo passaggio biblico è spesso usato per introdurre il noto "paradosso del mentitore". Una versione del paradosso consiste in una frase, chiamiamola "F", che dice "la frase F è falsa". Ragionando un attimo in modo simile al caso delle parole del cretese, è facile vedere che F è vera se e solo se è falsa. Paradossi come questo si possono presentare anche in contesti diversi da quello del linguaggio naturale. Si può infatti dimostrare che affermazioni paradossali di questo tipo sono derivabili all'interno di teorie matematiche molto semplici. Questo fatto ha portato diversi filosofi, logici e matematici a cercare di capire come trattare questi casi. Per questo video, abbiamo invitato il ricercatore/Prof. Carlo Nicolai, esperto di teorie formali della verità, per introdurci al problema e ad alcuni modi per affrontarlo, in particolare partendo dal paper "Outline of a Theory of Truth" di Saul Kripke (1975).In collaborazione con il canale @gruppo_filosofiaConducono Andrea Salvador e Luca Olivieri#filosofia #divulgazione #istruzione ________Bibliografia
Beall, Jc, Michael Glanzberg, and Ellie Ripley, "Liar Paradox", The Stanford Encyclopedia of Philosophy (Fall 2025 Edition), Edward N. Zalta & Uri Nodelman (eds.), URL = https://plato.stanford.edu/archives/f...
Borghini, A. (a cura di) (2010), Il genio compreso. La filosofia di Saul Kripke. Carocci, Roma.
Galvan, Sergio (2023). Il paradosso del mentitore. Pelago, Milano.
Horsten, L. (2011). The Tarskian turn: Deflationism and axiomatic truth. The MIT Press.
Kripke, Saul (1975). "Outline of a theory of truth". Journal of Philosophy 72 (19): 690–716. Trad. it. Franci, G. (a cura di). "Lineamenti di una teoria della verità", in Esistenza e necessità. Saggi scelti, Ponte alle Grazie, Firenze, 1992, pp. 94–118.
Tarski, Alfred (1956). "The concept of truth in formalized languages". In Logic, semantics, metamathematics. Oxford: Clarendon Press, pp. 152–278.
________Speaker, Bio e RisorseCarlo Nicolai Reader in Logic | King's College di LondraHa conseguito il DPhil presso l'Università of Oxford. Prima del King's College, è stato a Monaco (MCMP) con una Marie Skłodowska-Curie Individual Fellowship e a Utrecht con una borsa VENI (NWO). La sua ricerca si concentra principalmente sulla logica e sulla natura delle nozioni di verità, conseguenza, predicazione e impegno implicito in matematica.https://www.kcl.ac.uk/people/carlo-ni...https://carlonicolai.github.io/ ___________Seguici sui nostri social:Twitter/𝕏 » / liberioltre Instagram » / liberioltre Sito » https://www.liberioltreleillusioni.it/Telegram » https://t.me/liberioltre_______Articoli, Eventi e Attività Associative ‧ https://www.liberioltreleillusioni.it/Seguici su YouTube
Politica Internazionale e Interna, Attualità, Economia ‧ @LiberiOltre Scienza e Tecnologia ‧ @liberioltreSTEM Storia, Filosofia, Arte e Scienze Umane ‧ @LiberiOltreAgora Un luogo Aperto, Plurale, non Ideologico e non Identitario. Cerchiamo di diffondere i principi del Merito, della Competenza, della Responsabilità Individuale, della Trasparenza Decisionale e Informativa, della Sussidiarietà, della Tutela delle Libertà Individuali, dell'Economia di Mercato, della Concorrenza e della Solidarietà Individuale e Collettiva... Questa è Liberi Oltre!Contenuto distribuito con licenza CC BY-NC 4.0 da Liberi Oltre le Illusioni. https://creativecommons.org/licenses/...