همانگویی (منطق)
همانگویی در منطق، (به یونانی: ταυτολογία) (به انگلیسی: Tautology؛ توتولوژی) گزارهای است که با هر تعبیر برای منطق گزارهها (یا تابع ارزشگذاری) همواره صادق است. اولینبار در سال ۱۹۲۱ ویتگنشتاین در رساله منطقی-فلسفی خود واژهٔ توتولوژی را بکار برد، همانگو ترجمهای از این کلمه میباشد.[۱]
تاریخچه
[ویرایش]در سال ۱۸۰۰ امانوئل کانت در کتاب منطق خود نوشت:
«یکسانی مفاهیم در احکام تحلیلی میتواند صریح یا غیرصریح باشد. در مورد نخست گزارههای تحلیلی همانگو هستند.»
در اینجا گزارهٔ تحلیلی به صدق تحلیلی اشاره میکند، گزارهای در زبان طبیعی که تنها به سبب عباراتی که شامل آنهاست درست است.
در سال ۱۸۸۴ گوتلوب فرگه در کتاب بنیادها پیشنهاد کرد که یک حقیقت هنگامی تحلیلی است که بتواند با استفاده از منطق حاصل شود، اما میان حقیقتهای تحلیلی (که درستیشان تنها بر اساس معنی عباراتشان است) و همانگوها (گزارههای بیمحتوا) تفاوت قائل شد.
مثال
[ویرایش]گزارههای زیر همانگو هستند:
- روابط دمورگان
- خاصیت توزیعی نسبت به
- خاصیت توزیعی نسبت به
جستارهای وابسته
[ویرایش]پانویس
[ویرایش]- ↑ محمد اردشیر (۱۳۸۳)، منطق ریاضی، انتشارات هرمس با همکاری مرکز بینالمللی گفتگوی تمدنها، شابک ۹۶۴-۳۶۳-۲۲۹-۶
| ||
| ||
| ||
حقیقت منطقی ⊤ | ||
---|---|---|
کارکردی: |
| |
رسمی: |
| |
سلبی |
عمومی |
| ||||
---|---|---|---|---|---|
منطقهای کلاسیک |
| ||||
اصول |
| ||||
قواعد |
| ||||
افراد | |||||
اثرها |
|
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.