در این پایان نامه یکی از توسیع های منطق تکلیف به نام منطق ورودی/خروجی مورد بررسی قرار گرفته است. منطق تکلیف یکی از شاخه های منطق موجهات است که به بررسی گزاره های در باره وظیفه، مجوز و ممنوعیت می پردازد و در سال 1951 توسط فون رایت معرفی گردید. اما از همان ابتدا پارادوکسهای زیادی برای آن به وجود آمد. یکی از این توسیع منطق ورودی/خروجی است که در سال 2000 ارائه گردید و تا سال 2003 با ارائه دو مقاله ...

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

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

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

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

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

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.

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

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

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