در این پایان نامه، در تلاش برای شفاف سازی معنای منطق at، یک معناشناسی جدید برای آن ارایه می شود. در جست و جوی یک معناشناسی درست& به بسیاری از منابع سردرگمی های گذشته پی می بریم.

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

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

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

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

چکیده ندارد.

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

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

در گفتمان فلسفی نوصدرایی، در سه زمینة صوری، روشی، و محتوایی، دگرگونی روی داده است. در فلسفۀ ملا هادی سبزواری نیز در این زمینه ها دگرگونی و تجدّدی روی داده که بر این اساس، او را آغازگر جنبش فلسفی نوصدرایی معرفی می کنیم. سیر اندیشة او در مسیر حکمت صدرایی بوده و در مواردی با ملاصدرا اختلاف نظر داشته؛ اما ابداعاتی نیز در اندیشۀ او وجود دارد. در ساختار صوری و روشی، استفادۀ او از منطق و سبک نگارش شرح ...

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