بررسی معنایی فلسفی مدل های نرمال در منطق موجهات گزاره ای
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم انسانی
- نویسنده مهدیه تاجیک نشاطیه
- استاد راهنما لطف الله نبوی محمدعلی حجتی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1390
چکیده
در این پایان نامه سعی شده است مدل های نرمال منطق موجهات به لحاظ صوری، معنایی و فلسفی با روش تحلیلی بررسی شوند. هدف اصلی طرح، بررسی تفصیلی سیستم های نرمال بر اساس سیستم هایِ نرمالِ معرفی شده در کتاب درآمدی جدید به منطق موجهات اثر کرسول و هیوز بوده است. برای نیل به این هدف در فصل دوم پس از مروری مختصر بر مبانی منطق موجهات چهل و دو سیستم از آن سیستم ها ارائه شده است. نمایش مدل ها بر اساس دیاگرام های معنایی در حوزه معناشناسی کریپکی امکان تمییز دادن اصل هر سیستم از سیستم دیگر را مقدور می نماید و می توان تمایز معنایی هر یک از مدل ها را بر اساس اصولش نشان داد. از اینرو در فصل سوم به مبحث معناشناسی و دلالت شناسی جهان های ممکن پرداخته و در ادامه، ویژگی ها و روابط بین سیستم ها را شرح داده و مدل معناییِ تک تک سیستم های طرح شده در فصل دو را نشان داده ایم. در پایان این فصل سعی شده است پاره ای ملاحظات فلسفی سیستم ها نیز دنبال شود. حداقل دستاورد این اثر میتواند دسترسی سهل وسریع به جزئیات چهل و دو سیستم نرمال بررسی شده باشد.بنابراین فصل چهار به جمع بندی و نتیجه گیری طرح ارائه شده اختصاص یافته است.
منابع مشابه
ساختار نحوی و معنایی منطق موجهات محمولی از دیدگاه کریپکی
سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده‌است.
متن کاملساختار نحوی و معنایی منطق موجهات محمولی از دیدگاه کریپکی
سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.
متن کاملگزاره های همیشه صادق نزد خونجی در منطق مرتبۀ دوم
افضل‌الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره‌های حقیقیه و خارجیه، گزاره‌های همیشه‌صادق و گزاره‌های همیشه‌کاذب را یافته است. این گزاره‌ها پیش از این در منطق مرتبۀ اول صورت‌بندی شده و مورد بررسی قرار گرفته‌اند و نشان داده شده است که صدق همیشگی این گزاره‌ها نیازمند پیش‌فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره‌ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده‌ایم که در ای...
متن کاملفازی کردن منطق های گزاره ای
در این پایان نامه منطق گزاره ای دلخواه را که شامل رابط های منطقی است را با افزودن دو عملگر یکتایی توسیع داده و منطق بدست آمده را l می نامیم و نشان می دهیم در این منطق قضایای اعتباری و کارسازی برقرار است .
15 صفحه اولمنطق گزاره های داستانی
التزامات هستی شناختی منطق استاندارد، مشکلاتی در تحلیل گزاره های داستانی که حاوی هویّات خیالی و فاقد مدلول هستند، ایجاد می کند. با این حال وضعیت منطقی این گزاره ها به عنوان بخشی از زبان طبیعی، حائز اهمیت است و نمی توان از این مسئله چشم پوشی کرد که در زبان طبیعی، به هویات داستانی ارجاع داده می شود و گزاره های راجع به این هویّات، تصدیق یا تکذیب می شوند. در این مقاله سعی داریم با استفاده از چارچوب مف...
متن کاملبررسی توانش معنایی کودکان در سطح روابط معنایی بین گزاره ای حاوی کمیت نمای «هر»
معنا یکی از شاخصههای مهم در بررسی فرآیند یادگیری زبان مادری است. مطالعة آنچه کودکان راجع به معنا در سطوح مختلف میدانند، میتواند راهی برای دستیابی به چگونگی سخنوری بشر باشد. هدف از این تحقیق، بررسی میزان فهم کودک از نقشهای معنایی کمیتنمای جهانی «هر» در سطح روابط بین گزارهای است. بررسی روابط معنایی بینگزارهای حاوی کمیت نمای «هر» در کودکان، نه تنها گام ارزشمندی در دستیابی به معناشناسی «هر»...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم انسانی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023