در این مقاله پس از اشاره به اهمیت متصلۀ لزومیه و جایگاه آن در منطق قدیم، شروط صدق متصلۀ لزومیه در منطق سینوی و احکام آن و نیز دیدگاه‌های مختلف در مورد نسبت این متصله با انواع شرطی در منطق جدید بررسی، تحلیل و نقد می گردد. این دیدگاه‌ها به ترتیب تاریخی در رویکردهای زیر خلاصه می‌شود: رویکرد اول: متصلۀ لزومیه به دلیل علاقۀ خاص بین مقدم و تالی غیر از استلزام مادی و به دلیل اختلاف دیدگاه منطق قدیم و ...

دیدگاه کلامی مولوی با دیدگاه عرفانی او در باب جبر تفاوت دارد. او از منتقدان جبر کلامی، و از مدافعان جبر عرفانی است. مولوی دیدگاه اهل جبر نکوهیده را، به دلیل نتایج نامطلوب دنیوی و اخروی آن، نمی پذیرد ولی جبر در مفهوم عرفانی رضا و معیّت با حق و توحید افعالی را قبول دارد. نفس پرستی، دنیاگرایی و حقیقت ستیزی را از دلایل نقد و ردّ جبر نکوهش شده ی اهل جبر، و خداگرایی، حقیقت طلبی و نفس ستیزی را از دلایل ...

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

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

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

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

  در این مقاله به بررسی برداشت ربطی از منطق رواقی پرداخته شده است. برای این منظور ابتدا دو دیدگاه اصلی در مورد گزاره‌های شرطی در منطق رواقی مورد بررسی قرار گرفته است. بر اساس دیدگاه نخست که بکر و اگلی بر آن تاکید دارند، شرطیِ به کار رفته در نظام نحوی منطق رواقی، شرطی فیلونی است؛ در حالی که مطابق دیدگاه دوم که افرادی مانند استوپر، بارنز و نازینیوسکی آن را مطرح ساخته‎اند، این شرطی، شرطیِ ربطی است....

چکیده:‎ هدف از این رساله، معرفی فیلترهای استلزامی، استلزامی مثبت، جالب، نیم ماکسیمال، استلزام و استونی جبرهای هیلبرت است. ارتباط این فیلترها با بیان و اثبات قضایایی بررسی می شود و به کمک مثال های مختلف متفاوت بودن آنها نشان داده می شود. همچنین رابطه بین این فیلترها و جبرهای خارج قسمتی مربوطه بررسی می شود. در ادامه جبرهای هیلبرت موضعی، استلزام و استونی را مورد مطالعه قرار داده و خواصی از آنها ...

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

رساله (شامل خلاصه،اهداف،روش ها یاجرا و نتایج به دست آمده): در این رساله، ابتدا ساختارهای چ ?مدول های تعمیم یافته را bck دهیم . برای این منظور، ?جبرها را مورد مطالعه قرار م bck روی مدول که و در حالت زیرمدول را معرف ال ی کنیم. سپس، رادی م تعریف و زیرمدول های اول در آنها را معرف ?مدول های bck کنیم. همچنین، ?جبر مورد نظر جابجایی و کراندار باشد، عناصر آن را مشخصم bck سازیم. سپس، آزاد م ?مدول های...