ความเป็นไปได้เชิงตรรกะคือข้อเสนอเชิงตรรกะที่ไม่สามารถพิสูจน์ได้ว่าผิด โดยใช้สัจพจน์และกฎของระบบตรรกะที่กำหนด ความเป็นไปได้เชิงตรรกะของข้อเสนอจะขึ้นอยู่กับระบบตรรกะที่กำลังพิจารณา มากกว่าการละเมิดกฎข้อใดข้อหนึ่ง ระบบตรรกะบางระบบจำกัดการอนุมานจาก ข้อเสนอที่ไม่สอดคล้องกันหรือแม้กระทั่งอนุญาตให้มีข้อขัดแย้งที่เป็นจริงได้ระบบตรรกะอื่นๆ มีค่าความจริงมากกว่าสองค่าแทนที่จะเป็น ค่า ไบนารีบางระบบถือว่าระบบที่กล่าวถึงเป็นตรรกะเชิงประพจน์แบบคลาสสิก ในทำนอง เดียวกัน เกณฑ์สำหรับความเป็นไปได้เชิงตรรกะมักขึ้นอยู่กับว่าข้อเสนอนั้นขัดแย้งกันหรือไม่ และด้วยเหตุนี้ จึงมักถูกมองว่าเป็นความเป็นไปได้ประเภทที่กว้างที่สุด

ในตรรกศาสตร์โมดอลข้อเสนอเชิงตรรกะจะเป็นไปได้ก็ต่อเมื่อเป็นจริงในโลกที่เป็นไปได้ บาง โลก จักรวาลของ "โลกที่เป็นไปได้" ขึ้นอยู่กับสัจพจน์และกฎของระบบตรรกะที่กำลังทำงานอยู่ แต่เมื่อกำหนดระบบตรรกะแล้ว ชุดข้อความ ที่สอดคล้องกันทางตรรกะ ใดๆ ก็ เป็นโลกที่เป็นไปได้ ตัวดำเนินการรูปเพชรโมดอลใช้เพื่อแสดงความเป็นไปได้: หมายถึง "ข้อเสนอนั้นเป็นไปได้" ^{[ 1 ]}${\displaystyle \lozenge }$${\displaystyle \lozenge P}$${\displaystyle P}$

ความเป็นไปได้เชิงตรรกะแตกต่างจากความเป็นไปได้แบบสมมติอื่นๆ ความสัมพันธ์ระหว่างรูปแบบต่างๆ (ถ้ามี) เป็นหัวข้อถกเถียงและอาจขึ้นอยู่กับมุมมองที่มีต่อตรรกะ ตลอดจนความสัมพันธ์ระหว่างตรรกะและอภิปรัชญาตัวอย่างเช่น นักปรัชญาหลายคนตามแนวคิดของซอล คริปเก้เชื่อว่าเอกลักษณ์ที่ค้นพบเช่น "เฮสเปรัส = ฟอสฟอรัส" เป็นสิ่งที่จำเป็นในเชิงอภิปรัชญา เพราะมันเลือกวัตถุเดียวกันในทุกโลกที่เป็นไปได้ซึ่งคำเหล่านั้นมีสิ่งอ้างอิง เป็นไปได้ในเชิงตรรกะที่ "เฮสเปรัส = ฟอสฟอรัส" จะเป็นเท็จ เนื่องจาก1การปฏิเสธไม่ขัดกับกฎตรรกะ เช่น ความสอดคล้อง นักปรัชญาคนอื่นๆ มีมุมมองว่าความเป็นไปได้เชิงตรรกะกว้างกว่าความเป็นไปได้เชิงอภิปรัชญา ดังนั้นสิ่งใดก็ตามที่เป็นไปได้ในเชิงอภิปรัชญา ก็เป็นไปได้ในเชิงตรรกะเช่นกัน

• ตรรกะเชิงโมดอล
• ตรรกะพาราคอนซิสเตนต์
• ความขัดแย้ง
• ทฤษฎีความเป็นไปได้
• โลกที่เป็นไปได้
• ความเป็นไปได้ในกริยาแสดงความปรารถนา

• Brian F. Chellas (1980). ตรรกศาสตร์เชิงโมดอล: บทนำ . สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์. ISBN 978-0-521-29515-4.