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

سائول کریپکی، در کتاب قواعد و زبان خصوصی از نظر ویتگنشتاین، تفسیری خاص و نسبتاً رادیکال از بحث پیروی از قاعدۀ ویتگنشتاینرا ارائه می‌دهد که بر اساس آن تمامی زبان و مفهوم سازی‌های آن ناممکن و در­واقع غیرقابل فهم می‌شود. یکی از نتایج این تفسیر، دیدگاهی معروف به «دیدگاه جامعه‌محور» است که معتقد به ضرورتا اجتماعی بودن زبان بوده است و در نوک پیکان حمله به ایدۀ زبان خصوصی و مدل خصوصیِ پیروی از قاعده قرا...

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

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

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

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

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

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

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

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