منطق گزاره های حاکی از عمل

منطق عمل پاره ای از مفاهیم نظیر«قصد » را به عنوان مبدأ خود قرار می دهد، در حالیکه این مفاهیم تعریف روشنی ندارند و تنها به صورت کیفی تعریف شده اند. تقسیم بندی هایی که بر روی اعمال انجام می شود، می تواند با توجه به نیاز هر علم و با تکیه بر یکی از خصوصیات عمل، انجام شود. در این تحقیق نمونه ای از این تقسیم بندی ها بر اساس تعداد عامل های موثر در انجام یک عمل انجام شد ولی در هر علمی می توان از منظر های مختلف به عمل نگریست و آن را طبقه بندی نمود. یکی از قسمت های چالشی در منطق عمل وجود یا عدم وجود اعمال پایه ای است که هنوز اتفاق نظری بر روی آن ایجاد نشده است. پس از اتخاذ موضع در موارد بالا و ارائه ی تقسیم بندی های دلخواه در مورد عمل، نوبت به ارائه ی معیار، برای اینهمانی اعمال می رسد؛ ناگفته پیداست تا وقتی که در موارد قبلی اتفاق نظر پدید نیاید معیار متقنی برای اینهمانی اعمال حاصل نمی شود. با اینکه هنوز توافق کلی بر سر مفاهیم عملی ایجاد نشده است اما نظام های منطقی برای صورتبندی اعمال بر اساس بعضی از تعاریف و تقسیم بندی های عمل پدید آمده است. منطق عمل توسط فون رایت پایه گذاری شد اما دلالت شناسی آن توسط چلاس در سال 1963 ارائه شد. این دلالت شناسی مبتنی بر تاریخچه و زمان بود؛ اما کاستی های موجود در آن مثل کیفی بودن، باعث شد تا بلنپ و هم فکران وی دلالت شناسی جدیدی برای منطق عمل به نام stit ارائه دهند. این دلالت شناسی که مبتنی بر انتخاب های عامل و زمان بود تا حدودی مشکلات دلالت شناسی چلاس را برطرف نمود. یکی از موارد جالب توجه این است که خود چلاس در سال 1992 در مقاله ای، قاعده های استنتاج را برای دلالت شناسی stit ارائه نمود و روند تکاملی منطق عمل را همراهی کرد. با اینکه هنوز دلالت شناسی کامل و جامعی برای منطق عمل ارائه نشده است، اما رشد روز افزون علوم دیگر و نیاز آنها به منطقی که بتواند اعمال را توضیح دهد باعث شده است تا همین منطق عمل، به عنوان ابزاری برای آنها قرار گیرد. برای مثال در علم کامپیوتر و به خصوص در شاخه ی هوش مصنوعی برای تحلیل اعمالی که عامل های مصنوعی نظیر ربات ها انجام می دهند، منطق عمل مورد استفاده قرار می گیرد. هیچ بعید نیست که در آینده نیز با توجه به نیازهای جدید در علوم دیگر منطق عمل مورد استفاده قرار گیرد. البته ممکن است دلالت-شناسی های جدیدی برای منطق عمل ارائه شود تا منطبق با علوم دیگر این منطق کاربردی شود.