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