بررسی معنایی فلسفی مدل های نرمال در منطق موجهات گزاره ای

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