Content-Length: 93250 | pFad | http://it.wikipedia.org/wiki/Paradosso_di_Yablo

Paradosso di Yablo - Wikipedia Vai al contenuto

Paradosso di Yablo

Da Wikipedia, l'enciclopedia libera.

Il paradosso di Yablo è un paradosso logico pubblicato da Stephen Yablo nel 1993. È simile al paradosso del mentitore[1], in particolare alla sua variante del paradosso delle carta di Jourdain. A differenza del paradosso del mentitore, formato da un solo enunciato, questo ne utilizza una sequenza infinita numerabile, ognuno che si riferisce al valore di verità dei successivi. In questo sta la maggiore differenza, a livello logico, con il paradosso della carta, dove in una lista, finita, degli enunciati si riferiscono l'un l'altro al proprio valore di verità, in modo perciò circolare. L'analisi dell'enunciato stabilisce che è impossibile assegnare valori di verità a tutti gli enunciati della lista in modo coerente. Poiché nessuno degli enunciati della lista si riferisce in alcun modo, neanche indirettamente come nel riferimento circolare, a se stesso, Yablo ha sostenuto che il paradosso sia "in nessun modo circolare"[1], sebbene Graham Priest lo abbia messo in dubbio[2][3]. I paradossi che presentano riferimento "alla Yablo" sono spesso anche detti "rettilinei", in antitesi con il "circolare" dei paradossi con riferimento "alla Jourdain".

Consideriamo il seguente elenco infinito numerabile di enunciati numerati:

  • () Per ogni , è falso.
  • () Per ogni , è falso.
  • ...
  • () Per ogni , è falso.
  • ...

Assumiamo che ci sia un tale che sia vero. Allora in particolare è falso, quindi esiste qualche tale che è vero. Ma non può essere vero poiché è vero e . Quindi, assumere vero implica una contraddizione, cioè che, per qualche , sia contemporaneamente vero e falso, quindi la nostra assunzione è assurda. Dobbiamo quindi concludere che per ogni l'enunciato sia falso. Ma se ogni è falso, allora in particolare è falso, e quindi per qualche , dev'essere vero: anche in questo caso otteniamo quindi una contraddizione, cioè che è contemporaneamente vero e falso.

  1. ^ a b S. Yablo, Paradox without Self-Reference, in Analysis, vol. 53, n. 4, 1º ottobre 1993, pp. 251–252, DOI:10.1093/analys/53.4.251, ISSN 0003-2638,1467-8284 (WC · ACNP).
  2. ^ G. Priest (1997). "Yablo’s paradox" (PDF). Analysis 57 (4): 236–242. doi:10.1093/analys/57.4.236.
  3. ^ J. C. Beall (2001). "Is Yablo’s paradox non-circular?" (PDF). Analysis 61 (3): 176–187. doi:10.1093/analys/61.3.176.

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]








ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: http://it.wikipedia.org/wiki/Paradosso_di_Yablo

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy