Discussione:Ex falso sequitur quodlibet: differenze tra le versioni

Versione delle 13:08, 18 mar 2011

Versione delle 09:20, 23 mar 2011

Riga 112:

mettili va! grazie--[[Utente:82.56.43.189|82.56.43.189]] 20:42, 12 nov 2007 (CET)

== "dal falso non può derivare neanche una piccola parte di verità" - Platone ==

== perchè una proposizione implica formalmente la sua disgiunzione con ogni altra? ==

Sono all'inizio de "il diavolo in cattedra" di Piergiorgio Odifreddi. Non mi è chiaro il punto in cui si afferma: da "Socrate non esiste" segue: "Socrate non esiste" o "l'uomo è un asino", perchè ogni proposizione implica formalmente la disgiunzione di se stessa con ogni altra proposizione.

L'argomento "ex falso quodlibet" vuole dimostrare che partendo da una falsità si può dedurre che è vera qualunque affermazione: da "Socrate esiste e non esiste" che è falsa per il principio di non contraddizione, si può dedurre ad esempio: "l'uomo è un asino" o qualsiasi altra cosa. Contro e oltre (secondo Odifreddi) l'opinione di Platone secondo cui "dal falso non può derivare neanche una piccola parte di verità".

A me intuitivamente sembrerebbe che una proposizione non implichi formalmente la disgiunzione con ogni altra proposizione. Ad esempio: "oggi piove" non implica che "o oggi piove o la vita è bella"...

Qualcuno mi può chiarire il punto? Grazie [[Utente:Zenbonzo|Zenbonzo]] ([[Discussioni utente:Zenbonzo|msg]]) 12:08, 18 mar 2011 (CET)

Infatti da "Socrate esiste" discende che la disgiunzione "Socrete esiste o (vel) l'uomo è un'asino" è vera, ma la premessa dice che "Socrate non esiste", dunque se come abbiamo detto: "Socrete esiste o (vel) l'uomo è un'asino" è vera, dev'essere vero che l'uomo è un asino.

A me pare però che affermare che da una contraddizione discende la verità di qualunque affermazione porta ad affermare che dalla contraddizione discende la verità di qualunque affermazione e della sua negazione. Cioè dalla contraddizione non si possono dedurre che congiunzioni di coppie affermazione - negazione, cioè altre contraddizioni. Aveva ragione Platone? - [[Utente:Zenbonzo|Zenbonzo]] ([[Discussioni utente:Zenbonzo|msg]]) 08:20, 23 mar 2011 (CET)