تفسیری لوئیسی از نتیجه منطقی

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