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

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

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

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

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

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

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

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

چکیده ندارد.

در این پایان نامه، روی مجموعه ای از گزاره ها (که با ‏‎f‎‏ نمایش داده می شود.) و ارزش درستی شان را در یک مشبکه کامل می گیرند اصل استقرار منطقی را با استفاده از خانواده ای از زیر مجموعه های معمولی (فازی) ‏‎f‎‏ معرفی نموده و روابط استلزامی مختلفی را روی ‏‎f‎‏ تعریف می کنیم و ثابت می کنیم که این روابط پیش ترتیب هستند و در حالت کلی تر این روابط را با استفاده از t- نرم ها تعمیم داده و روابط ‏‎*‎‏- پی...