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

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

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

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

فلسف? زبان معمولی بدلیل دارا بودن ساختار ساده و مبنایی تفکر، توانست تعداد زیادی از فیلسوفان انگلستان در حوز? تحلیل زبانی را به خود جذب کند. از این میان حوز? آکسفورد بیش از همه میزبان متفکرانی شد که مبنای تحلیلی خود را ساختار منطق گزاره هایی قرار دادند که به طور معمول و در جریان زندگی روزمره (توسط افراد معمولی) بیان می شوند. در میان چهره های برجست? این مکتب "جان لنگشاو آستین" به عنوان یکی از فیل...

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

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

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