Väide, millest järeldub vasturääkivus, ja suvalise väite eitus
Karmo Talts
Vaatame väidet P, millest järeldub vasturääkivus, selle seisukohast, et vasturääkivusest järeldub suvaline järeldus. Transitiivselt järeldub sellest, et P-st järeldub suvaline väide.
Vaatame nüüd konditsionaali "kui P, siis Q" kontrapositsiooni. Selleks on, et kui pole nii, et Q, siis pole nii, et P. St., et suvalise väite eitus räägib väitele, millest järeldub vasturääkivus, vastu.
Vaatame nüüd selle tähendust paradokside jaoks. Kui leidub vähemalt üks väär väide, siis räägivad paradoksaalsed väited selle väite eitusele vastu.
No comments:
Post a Comment