05-01-2011, 02:34 PM | #1 |
(کاربر طلایی)
تاریخ عضویت: Jan 2011
نوشته ها: 972
|
منطق امری
منطق امری منطق امری شاخهای از علم منطق است که برای نوع خاصی از جملات غیرخبری یعنی جملات امر و نهی تدوین شدهاست. منطق امری، از منطق بایایی که به تکالیف میپردازد مستقل است. این منطق را نخستین بار هری گنسلر به طور رسمی تدوین نمود. تصدیقات در منطق امری، قابل تصدیق و تکذیب نیستند. کلیات اگر معنی A این باشد که « تو سیب میخوری»، آنگاه معنی A چنین خواهد بود: «سیب بخور»اگر معنیSاین باشد که « هوا آفتابیاست»، آنگاه معنی S چنین خواهد بود: «هوا آفتابی باشد.» اگر معنی H این باشد که « تو تکالیفت را انجام میدهی»، آنگاه معنی ⌐H چنین خواهد بود «تکالیفت را انجام نده» ؛ اگر معنیT این باشد که «تو به تفریح میروی»، آنگاه معنی ⌐T چنین خواهد بود: «به تفریح نرو». اگر بگوییم H→ T به این معنیاست که « به تفریح برو، به شرطی که تکالیفت را انجام بدهی.»؛ این جمله از نظر مفهوم برابر با این جملهاست: ⌐ T→ ⌐H یعنی «اگر تکالیفت را انجام ندهی، نباید به تفریح بروی.» |
برچسب ها |
منطق, منطق امری |
کاربران در حال دیدن موضوع: 1 نفر (0 عضو و 1 مهمان) | |
ابزارهای موضوع | |
نحوه نمایش | |
|
|
War Dreams Super Perfect Body Scary Nature Lovers School Winner Trick Hi Psychology Lose Addiction Survival Acts The East Travel Near Future Tech How Cook Food Wonderful Search Discommend
Book Forever Electronic 1 Science Doors The Perfect Offers Trip Roads Travel Trip Time Best Games Of Shop Instrument Allowedly