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

شبیه سازی¬های عامل¬مبنا می¬توانند برای آزمودن فرضیه¬ها در سیستم¬های پیچیده بکار روند. یک سیستم چندعامله متشکل از تعدادی عامل هوشمند است. چنین سیستمی زمانی به کار می آید که حل مسائل و انجام وظایف توسط یک عامل و یا یک سیستم یکپارچه غیر ممکن یا دشوار باشد. اگر چه عامل و شیء ویژگی¬های مشترک زیادی دارند، اما یک فضای چندعامله، علاوه بر هندسه متغیر در زمان که در اشیاء متحرک نیز دیده می شود، ویژگی¬هایی...

فرانتس برنتانو franz brentano (1838-1917))) یکی از فیلسوفان نیمه دوم قرن نوزدهم و اوایل قرن بیستم است. جایگاه ویژه وی را می شود از دو جنبه نشان داد. یکی آن پیوند یا پلی است که می توان به واسطه او بین فلسفه تحلیلی و قاره ای برقرار کرد و دیگری آن که آموزه ها و تحلیل های او هم چنان می تواند سرچشمه بسیاری از پژوهش های فلسفی باشد، همچنان که یک قرن پیش چنین بود، اما سایه سنگین شاگردان مستقیم و غیرمست...

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

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

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

با ظهور منطق صوری جدید و پیشرفت در متمایز کردن صورت از ماد‌ّه، مواردی از خلط صورت با ماد‌ّه در منطق قدیم آشکار شده است. عده‌ای معتقدند این خلط در قاعدۀ عکس مستوی که از قواعد صوری بسیار مهم است و در اثبات بسیاری از دیگر قواعد صوری هم به‌ کار می‌رود، وجود دارد؛ چون در مواردی از اعمال قاعدة عکس مستوی، استنتاج وجودی از شرطی صورت می‌گیرد و اصل صادق، امـّا عکس کاذب است. علّت اینکه پیشینیان آن را معتبر می...

برخی از مقالاتی که در مجلات علمی-پژوهشی منتشر میشوند، در عین رعایت ضوابط صوری مقالات علمی-پژوهشی، فاقد جنبه پژوهشی و علمیاند، تا جایی که خواندن و نخواندن آنها، از نظر علمی یکسان است و چیزی از آنها نمیتوان آموخت. حال آن که این مسأله خلاف تعریفی است که از مقالات علمی-پژوهشی به دست داده شده است و بر جنبه بدیع و نوآورانه بودن آنها تأکید شده است. مقاله حاضر با بررسی دهها مقاله از این دست، کو...

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

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