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