[kourosh_bikhoda]

چون ما میدونیم که که چنین چیزی از لحاظ منطقی غیر ممکنه

با این تفسیر هر استدلال قیاسی رو میشه ابطال ناپذیر تلقی کرد چون از لحاظ منطقی غیر ممکنه.

در واقع اگر خبوایم تعریف پوچش پذیری رو اینقدر گسترده کنیم که چیزهای "بدیهی" هم پوچش پذیر محسوب بشند اون وقت دیگه چیزی به نام پوچش ناپذیری نداریم:)

ما چه کار به تعریف پوچش پذیری داریم؟ ما که نباید معیار برای پوچش پذیری تعیین کنیم! ما تنها وظیفمون اینه که ببینیم چه چیزی قابل پوچ شدن هست یا نیست. این کار رو هم کردیم. کافیه ایکسی پیدا کنید که ایکس نباشه. این در واقع پوچش پذیره. ولی انقدر بدیهی هست که به نظر ما تمسخر آمیز میرسه. دلیلشم اینه که واقعن بدیهیه.