law of excluded middle

💡 The law of Excluded Middle contains an extension or doubling of the law of Identity, in that the identity here appears, not in the form of consistency, but in that of contradiction; as, "either—or."

قانون طرد شق ثالث، بسط یا مضاعف شدن قانون اینهمانی را در بر دارد، به این صورت که اینهمانی در اینجا نه به شکل سازگاری، بلکه به شکل تناقض ظاهر می‌شود؛ مانند «یا این یا آن».

💡 I concluded that the maid was uncertain as to the objective validity of the law of excluded middle, and remarked that to her mistress.

من به این نتیجه رسیدم که ندیمه در مورد اعتبار عینی قانون طرد طبقه متوسط مطمئن نیست و این را به خانمش گوشزد کردم.

💡 We discussed Brouwer and intuitionism, wrestling with proofs that reject the law of excluded middle to emphasize constructibility over abstract existence.

ما در مورد براور و شهودگرایی بحث کردیم و با اثبات‌هایی که قانون طرد شق ثالث را رد می‌کنند تا بر ساخت‌پذیری به جای وجود انتزاعی تأکید کنند، دست و پنجه نرم کردیم.

💡 The law of excluded middle claims every proposition is true or false; intuitionists, skeptical of blanket certainty, pace thoughtfully at the door.

قانون طرد شق ثالث مدعی است که هر گزاره‌ای یا درست است یا نادرست؛ شهودگرایان، که نسبت به قطعیت مطلق تردید دارند، متفکرانه به سمت در می‌روند.

💡 Take, for example, the law of excluded middle in the form ‘all propositions are true or false.’

برای مثال، قانون طرد شق ثالث را به شکل «همه گزاره‌ها درست یا نادرست هستند» در نظر بگیرید.