این پایان نامه در چهار فصل تدوین شده است. در فصل اول تعاریف و قضایای مقدماتی از استلزام فازی، نقیض فازی، k-عملگرها و خواص آنها را آورده ایم که در بحث های بعدی به دفعات مورد استفاده قرار می گیرند. در فصل دوم d-استلزام فازی بازه ای-مقدار را بررسی می کنیم ودر فصل سوم استلزام های فازی بازه ای-مقدار تولید شده از k-عملگرها و استلزام های فازی را مورد مطالعه قرار می دهیم. در فصل چهارم روابط بین اصول اس...

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

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

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

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

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

منطق ارسطو در دوران جدید با مخالفت­های بسیاری مواجه بوده است و برخی نیز بر آن بودند که با وجود نظریه مجموعه ها و منطق محمولات، دیگر نیازی به منطق ارسطو نیست. اما گستره تحقیقاتی که منطقدانان غربی در چند دهه اخیر در زمینه منطق ارسطو به عمل آورده­ اند، نشان می­دهد که این منطق هنوز هم زنده و قابل اعتنا است. در میان مطالعات انجام گرفته درباره منطق ارسطو، دو رویکرد را می­توان از یکدیگر متمایز ساخت. د...

منطق ارسطو در دوران جدید با مخالفت­های بسیاری مواجه بوده است و برخی نیز بر آن بودند که با وجود نظریة مجموعه ها و منطق محمولات، دیگر نیازی به منطق ارسطو نیست. اما گسترة تحقیقاتی که منطقدانان غربی در چند دهة اخیر در زمینة منطق ارسطو به عمل آورده­ اند، نشان می­دهد که این منطق هنوز هم زنده و قابل اعتنا است. در میان مطالعات انجام گرفته دربارة منطق ارسطو، دو رویکرد را می­توان از یکدیگر متمایز ساخت. د...

هدف ازاین پایان نامه ، بررسی ابر ‏‎bck‎‏-ایده آلهای آنها و بالاخص ابر ‏‎bck‎‏-ایده آلهای استلزامی مثبت می باشد. در پایان بعضی ساختارهای فازی روی آنها نیز بررسی خواهد شد.

در فصل اول این پایان نامه به تعریف انواع جبرهای استلزامی و فیلترهای آنها پرداخته و سپس قضایای نمایش را در مورد آنها بررسی می کنیم. در فصل دوم ‏‎s‎‏ و ‏‎r‎‏ و ‏‎-ql‎‏ استلزام را تعریف کرده و پس از تعریف انواع استلزام قضایایی را در مورد آنها می آوریم . در فصل سوم ابتدا لیستی از عملگرهای استلزام شناخته شده را ارائه و سپس نوع جبر و بعد از آن خواص ذکر شده در فصل اول و دوم را در مورد آنها بررسی می کن...