อภิปรัชญาเชิงรูปแบบเป็นสาขาหนึ่งของปรัชญาที่ศึกษาอภิปรัชญาที่อยู่เบื้องหลังข้อความเกี่ยวกับสิ่งที่เป็นไปได้หรือจำเป็น^{[ 1 ]} ซึ่งรวมถึงข้อเสนอเช่น "เป็นไปได้ที่ฉันจะกลายเป็นทันตแพทย์" หรือ "จำเป็น 2 + 2 = 4" แตกต่างจากข้อความข้อเท็จจริงทั่วไป ข้อความเชิงรูปแบบไม่ได้เกี่ยวข้องเฉพาะกับสิ่งที่เกิดขึ้นจริงเท่านั้น แต่ยังเกี่ยวข้องกับสิ่งที่อาจเป็นไปได้หรือต้องเกิดขึ้นด้วย อภิปรัชญาเชิงรูปแบบพยายามทำความเข้าใจว่าอะไรทำให้ข้อความดังกล่าวเป็นจริงหรือเท็จ—อะไรเป็นพื้นฐานของความจริงของข้อความเหล่านั้น

กรอบแนวคิดที่มีอิทธิพลต่อการทำความเข้าใจข้ออ้างเชิงโมดอลนั้น มาจากการพัฒนาตรรกศาสตร์เชิงโมดอลโดยเฉพาะอย่างยิ่งในงานของซอล คริปเคคริปเคได้นำเสนอการใช้โลกที่เป็นไปได้เป็นเครื่องมือเชิงรูปธรรม: การแสดงภาพนามธรรมของสิ่งต่างๆ ที่อาจเกิดขึ้นได้ ตามมุมมองนี้ ข้อความเช่น "เป็นไปได้ว่า p" จะเป็นจริงหากมีโลกที่เป็นไปได้อย่างน้อยหนึ่งโลกที่pเป็นจริง และ "จำเป็นว่า p" จะเป็นจริงหากpเป็นจริงในทุกโลกที่เป็นไปได้

อย่างไรก็ตาม แม้ว่าตรรกศาสตร์ของคริปเก้จะให้เครื่องมือทางความหมายที่มีประสิทธิภาพ แต่ก็ไม่ได้แก้ปัญหาทางอภิปรัชญาที่เป็นหัวใจสำคัญของอภิปรัชญาเชิงโมดอล นั่นคือโลกที่เป็นไปได้คืออะไร?และอะไรทำให้โลกเหล่านั้นเป็นตัวกำหนดความจริงของประโยคเชิงโมดอล?กล่าวอีกนัยหนึ่ง แม้ว่าตรรกศาสตร์เชิงโมดอลจะอธิบายได้ว่าประโยคเชิงโมดอลได้รับการประเมินอย่างไร แต่ก็ไม่ได้อธิบายว่าทำไมประโยคเหล่านั้นจึงเป็นจริง

• ตรรกะเชิงโมดอล
• ตรรกะเชิงโมดอล