Eeldus, et väide on identne väitega, millest järeldub selle väite eitus
Karmo Talts
Vaatame eeldust, et X on identne väitega, millest järeldub X-i eitus. Kuna selle eelduse tõesuse korral järeldub X-ist X-i eitus ja X-i eitusest X-i eituse eitus, siis järeldub sellest eeldusest igal juhul vasturääkivus. Seega me saame sisse tuua eituse: X pole identne väitega, millest järeldub X-i eitus.
Vaatame nüüd valetajalauset. Eelduse "väide "see väide on väär" on identne väitega "väide "see väide on väär" on väär" tõesuse korral järeldub sellest, et see väide on väär, et see väide pole väär ja sellest, et see väide pole väär, et pole nii, et see väide pole väär. Seega järeldub selle eelduse tõesuse korral igal juhul vasturääkivus. Seega pole nii, et väide "see väide on väär" on identne väitega "väide "see väide on väär" on väär".
No comments:
Post a Comment