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

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

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

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

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

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

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

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

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

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