اصل دو ظرفیتی

در منطق، اصل دو ظرفیتی (به انگلیسی: Principle of bivalence) بیان می‌کند که هر گزاره دقیقاً یک ارزش دارد، یا درست و یا نادرست.^[۱]^[۲] منطقی که این اصل در آن وجود دارد و آن را می‌پذیرد، منطق دو ارزشی^[۳] یا منطق دو ظرفیتی نامیده می‌شود.^[۲]^[۴]

در منطق صوری، اصل دو ظرفیتی به خاصیتی تبدیل می‌شود که یک معناشناسی منطقی ممکن است آن را داشته باشد یا نداشته باشد. با این حال، با اصل طرد شق ثالث یکسان نیست و یک معناشناسی ممکن است بدون دو ظرفیتی بودن، آن قانون را بپذیرد.^[۲]

اصل دو ظرفیتی در منطق فلسفی مورد بررسی قرار می‌گیرد تا به این پرسش پرداخته شود که «کدام گزاره‌های زبان طبیعی دارای ارزش کاملاً مشخصی هستند؟». تعیین ارزش جملاتی که رویدادهای آینده را پیش‌بینی می‌کنند و جملاتی که به‌نظر می‌آیند قابل تفسیر هستند، به‌ویژه برای فیلسوفانی که معتقدند اصل دو ظرفیتی برای همۀ گزاره‌های بیانی زبان طبیعی اعمال می‌شود، دشوار است.^[۲] منطق‌های چند-ارزشی، ایده‌هایی را رسمیت می‌دهند که توصیف واقع‌گرایانۀ مفهوم استلزام، مستلزم پذیرفتن مقدماتی است که به دلیل ابهام، عدم قطعیت زمانی یا کوانتومی، یا عدم ارجاع، نمی‌توان به‌طور کلاسیک آن‌ها را دو ظرفیتی در نظر گرفت. خرابی‌های مرجع را می‌توان با منطق‌های آزاد نیز برطرف کرد.^[۵]

رابطه با اصل طرد شق ثالث

اصل دو ظرفیتی با اصل طرد شق ثالث مرتبط است، اگرچه که اصل طرد شق ثالث بیان نحوی زبان منطقی به شکل " $P\lor \neg P$ " است. تفاوت بین اصل دو ظرفیتی و اصل طرد شق ثالث مهم است؛ زیرا منطق‌هایی وجود دارند که قانون را معتبر می‌دانند اما اصل را تأیید نمی‌کنند.^[۲] به عنوان مثال، منطق فراسازگار سه ارزشی، اصل طرد شق ثالث را تأیید می‌کند، اما اصل امتناع تناقض، $\neg (P\land \neg P)$ را تایید نمی‌کند و معنایی مورد نظر آن دو ظرفیتی نیست.^[۶] منطق شهودی، یک منطق دو ارزشی است، اما در آن اصل طرد شق ثالث برقرار نیست. در منطق کلاسیک دو ارزشی، هم اصل طرد شق ثالث و هم اصل امتناع تناقض برقرار است.^[۱]

منابع

↑ ^۱٫۰ ^۱٫۱ Lou Goble (2001). The Blackwell guide to philosophical logic. Wiley-Blackwell. p. 309. ISBN 978-0-631-20693-4.
↑ ^۲٫۰ ^۲٫۱ ^۲٫۲ ^۲٫۳ ^۲٫۴ Paul Tomassi (1999). Logic. Routledge. p. 124. ISBN 978-0-415-16696-6.
↑ Lou Goble (2001). The Blackwell guide to philosophical logic. Wiley-Blackwell. p. 4. ISBN 978-0-631-20693-4.
↑ Mark Hürlimann (2009). Dealing with Real-World Complexity: Limits, Enhancements and New Approaches for Policy Makers. Gabler Verlag. p. 42. ISBN 978-3-8349-1493-4.
↑ Dov M. Gabbay; John Woods (2007). The Many Valued and Nonmonotonic Turn in Logic. The handbook of the history of logic. Vol. 8. Elsevier. p. vii. ISBN 978-0-444-51623-7.
↑ Graham Priest (2008). An introduction to non-classical logic: from if to is. Cambridge University Press. pp. 124–125. ISBN 978-0-521-85433-7.

پیوند به بیرون

Shramko, Yaroslav; Wansing, Heinrich. "Truth Values". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.

[Goble2001bis2-1] ۱٫۰ ^۱٫۱ Lou Goble (2001). The Blackwell guide to philosophical logic. Wiley-Blackwell. p. 309. ISBN 978-0-631-20693-4.

[Tomassi19992-2] ۲٫۰ ^۲٫۱ ^۲٫۲ ^۲٫۳ ^۲٫۴ Paul Tomassi (1999). Logic. Routledge. p. 124. ISBN 978-0-415-16696-6.

[Goble20012-3] Lou Goble (2001). The Blackwell guide to philosophical logic. Wiley-Blackwell. p. 4. ISBN 978-0-631-20693-4.

[Hürlimann20092-4] Mark Hürlimann (2009). Dealing with Real-World Complexity: Limits, Enhancements and New Approaches for Policy Makers. Gabler Verlag. p. 42. ISBN 978-3-8349-1493-4.

[GabbayWoods20072-5] Dov M. Gabbay; John Woods (2007). The Many Valued and Nonmonotonic Turn in Logic. The handbook of the history of logic. Vol. 8. Elsevier. p. vii. ISBN 978-0-444-51623-7.

[Priest20082-6] Graham Priest (2008). An introduction to non-classical logic: from if to is. Cambridge University Press. pp. 124–125. ISBN 978-0-521-85433-7.

[۱]

[۲]

[۳]

[۴]

[۵]

[۶]