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

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

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

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

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

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

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

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

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

در مورد قضیه دروغ گو،(کل کلامی کاذب , هرچه می گویم دروغ است)در طی دو هزارو پانصدسال بسیار بحث شده است اما کمتر توجه کرده اند«کل کلامی کاذب»یک قضیه نیست بلکه یک شبه قضیه است که با اصل منطق منافات داردو نمی توانددرمنطق جایی پیداکند.این ها احکام و قضایای ممتنعند و پیداست که حکم یا قضیه ممتنع اصلا قضیه نیست که صادق یا کاذب باشد. دروغ دانستن دورغ, صادق بودن دروغ گو و صدق دروغ را اثبات نمی کندو نکته...