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

โลกที่เป็นไปได้เป็นหนึ่งในแนวคิดพื้นฐานในตรรกศาสตร์เชิงโมดอลและ ตรรกศาสตร์เชิง ความหมาย สูตรในตรรกศาสตร์เหล่านี้ใช้เพื่อแสดงข้อความเกี่ยวกับสิ่งที่อาจเป็นจริง สิ่งที่ควรเป็นจริง สิ่งที่เชื่อว่าเป็นจริง และอื่นๆ เพื่อให้ข้อความเหล่านี้ได้รับการตีความอย่างเป็นทางการ นักตรรกศาสตร์จึงใช้โครงสร้างที่มีโลกที่เป็นไปได้ ตัวอย่างเช่น ในความหมายเชิงสัมพันธ์สำหรับตรรกศาสตร์เชิงโมดอลแบบคลาสสิก สูตร(อ่านว่า "อาจเป็นไปได้ P") จะเป็นจริงก็ต่อเมื่อเป็นจริงในโลกบางโลกที่สามารถเข้าถึงได้จากโลกแห่งความเป็นจริง ${\displaystyle \Diamond P}$${\displaystyle P}$

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

ในสาขาทฤษฎีฐานข้อมูลโลกที่เป็นไปได้ยังเป็นแนวคิดที่ใช้ในการตั้งค่าฐานข้อมูลที่ไม่แน่นอนและฐานข้อมูลเชิงความน่าจะเป็นซึ่งทำหน้าที่เป็น ตัวแทน ที่กระชับของโลกที่เป็นไปได้จำนวนมาก^{[ 2 ]}

โลกที่เป็นไปได้มักถูกมองด้วยความสงสัย ซึ่งเป็นเหตุผลที่ผู้สนับสนุนต้องดิ้นรนหาข้อโต้แย้งเพื่อสนับสนุน^{[ 3 ]}ข้อโต้แย้งที่มักถูกอ้างถึงเรียกว่าข้อโต้แย้งจากวิธีการ^โดยนิยามโลกที่เป็นไปได้ว่าเป็น "วิธีที่สิ่งต่างๆ อาจเป็นไป" และอาศัยสมมติฐานและการอนุมานจากภาษาธรรมชาติ [ ^{4 ] [ 5 ] [ 6 ]}ตัวอย่างเช่น:

1. โรคระบาดกาฬโรคอาจคร่าชีวิตประชากรยุโรปไปถึง 99% แทนที่จะเป็น 25 ถึง 60% ตามที่คาดการณ์ไว้
2. ดังนั้นจึงมีทางเลือกอื่นๆ ที่สิ่งต่างๆ อาจเกิดขึ้นได้
3. โลกที่เป็นไปได้ คือ รูปแบบต่างๆ ที่สิ่งต่างๆ อาจเป็นไปได้
4. ดังนั้นจึงมีโลกอื่นๆ ที่เป็นไปได้อีก

ขั้นตอนสำคัญของข้อโต้แย้งนี้เกิดขึ้นที่(2)ซึ่ง(1) ที่เป็นไปได้นั้น ถูกตีความในลักษณะที่เกี่ยวข้องกับการหาปริมาณเหนือ "วิธี" นักปรัชญาหลายคน ตามWillard Van Orman Quine [ ^{7 ] ถือว่า}การหาปริมาณเกี่ยวข้องกับพันธสัญญาทางภววิทยาในกรณีนี้คือพันธสัญญาต่อการมีอยู่ของโลกที่เป็นไปได้ Quine เองจำกัดวิธีการของเขาไว้เฉพาะทฤษฎีทางวิทยาศาสตร์ แต่คนอื่นๆ ก็ได้นำไปใช้กับภาษาธรรมชาติด้วย เช่นAmie L. Thomassonในบทความของเธอเรื่องOntology Made Easy [ ^{8 ] ความ}แข็งแกร่งของข้อโต้แย้งจากวิธีขึ้นอยู่กับสมมติฐานเหล่านี้และอาจถูกท้าทายได้โดยการตั้งข้อสงสัยเกี่ยวกับวิธีการหาปริมาณของภววิทยาหรือความน่าเชื่อถือของภาษาธรรมชาติในฐานะแนวทางสำหรับภววิทยา

สถานะทางภววิทยาของโลกที่เป็นไปได้ได้ก่อให้เกิดการถกเถียงอย่างรุนแรงเดวิด ลูอิสสนับสนุนแนวคิดที่เรียกว่า สัจนิยม เชิงโมดอล (modal realism ) ซึ่งเชื่อว่าโลกที่เป็นไปได้นั้นเป็นสถานที่จริงที่เป็นรูปธรรม ซึ่งมีอยู่จริงในความหมายเดียวกับที่โลกแห่งความเป็นจริงมีอยู่ ตามแนวคิดของลูอิส โลกแห่งความเป็นจริงนั้นพิเศษก็ต่อเมื่อเราอาศัยอยู่ที่นั่นเท่านั้น หลักการนี้เรียกว่าความเป็นดัชนีของความเป็นจริง (indexicality of actuality ) เนื่องจากสามารถเข้าใจได้ว่าเป็นการอ้างว่าคำว่า "จริง" เป็นดัชนีเช่นเดียวกับ "ตอนนี้" และ "ที่นี่" ลูอิสได้ให้เหตุผลหลากหลายประการสำหรับแนวคิดนี้ เขาโต้แย้งว่าเช่นเดียวกับความเป็นจริงของอะตอมที่ได้รับการพิสูจน์โดยพลังในการอธิบายในฟิสิกส์ โลกที่เป็นไปได้ก็ได้รับการพิสูจน์โดยพลังในการอธิบายในปรัชญาเช่นกัน เขายังโต้แย้งว่าโลกที่เป็นไปได้ต้องเป็นจริงเพราะมันเป็นเพียง "วิธีที่สิ่งต่างๆ อาจเป็นได้" และไม่มีใครสงสัยว่าสิ่งเหล่านั้นมีอยู่จริง สุดท้าย เขาโต้แย้งว่าโลกที่เป็นไปได้ไม่สามารถลดทอนให้เหลือสิ่งที่มี "ความน่าเชื่อถือทางภววิทยา" มากกว่า เช่น เซตของประพจน์ที่สอดคล้องกันมากที่สุดได้โดยไม่ทำให้ทฤษฎีของโมดอลกลายเป็นวงจร (เขาเรียกทฤษฎีเหล่านี้ว่า "สัจนิยมเชิงโมดอลปลอม" ซึ่งพยายามจะได้รับประโยชน์จากความหมายของโลกที่เป็นไปได้ "ในราคาถูก") ^{[ 9 ] [ 10 ]}

สัจนิยมเชิงโมดอลเป็นที่ถกเถียงกันWV Quineปฏิเสธมันว่าเป็น "ความฟุ่มเฟือยเชิงอภิปรัชญา" ^{[ 11 ]} Stalnaker ตอบโต้ข้อโต้แย้งของ Lewis โดยชี้ให้เห็นว่าวิธีที่สิ่งต่างๆ อาจเป็นไปนั้นไม่ใช่โลกในตัวเอง แต่เป็นคุณสมบัติที่โลกดังกล่าวสามารถมีได้ เนื่องจากคุณสมบัติสามารถมีอยู่ได้โดยไม่ต้องนำไปใช้กับวัตถุที่มีอยู่ จึงไม่มีเหตุผลที่จะสรุปว่าโลกอื่นๆ ที่เหมือนกับโลกของเรามีอยู่จริง ข้อโต้แย้งอีกประการหนึ่งของ Stalnaker โจมตีทฤษฎีดัชนีความเป็นจริง ของ Lewis Stalnaker โต้แย้งว่าแม้ว่าคำภาษาอังกฤษ "actual" จะเป็นดัชนี แต่นั่นไม่ได้หมายความว่าโลกอื่นๆ มีอยู่จริง เพื่อเปรียบเทียบ เราสามารถใช้ดัชนี "ฉัน" ได้โดยไม่ต้องเชื่อว่าคนอื่นๆ มีอยู่จริง^{[ 12 ]}นักปรัชญาบางคนกลับสนับสนุนมุมมองของโลกที่เป็นไปได้ในฐานะชุดของข้อเสนอหรือคำอธิบายที่สอดคล้องกันมากที่สุด ในขณะที่คนอื่นๆ เช่นSaul Kripke ถือว่าโลกเหล่านั้นเป็นเพียงเครื่องมือ เชิงรูปแบบ (เช่น ทางคณิตศาสตร์) เท่านั้น^{[ 13 ]}

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

• ประโยคที่เป็นจริงคือประโยคที่เป็นจริงในโลกแห่งความเป็นจริง (ตัวอย่างเช่น: "อาร์ชดยุคฟรานซ์ เฟอร์ดินานด์ถูกลอบสังหารในปี 1914")
• ประโยคที่กล่าวเท็จคือประโยคที่ไม่เป็นความจริงในโลกแห่งความเป็นจริง (ตัวอย่างเช่น: "อาร์ชดยุคฟรานซ์ เฟอร์ดินานด์ถูกลอบสังหารในปี 2014")
• ข้อเสนอที่เป็นไปได้คือข้อเสนอที่เป็นจริงอย่างน้อยในโลกที่เป็นไปได้หนึ่งโลก (ตัวอย่างเช่น: "อาร์ชดยุคฟรานซ์ เฟอร์ดินานด์ รอดชีวิตจากการพยายามลอบสังหารในปี 1914") ซึ่งรวมถึงข้อเสนอที่จำเป็นต้องเป็นจริงในความหมายด้านล่าง
• ประโยคที่เป็นไปไม่ได้ (หรือประโยคที่เท็จอย่างแน่นอน ) คือประโยคที่เป็นจริงในโลกใดๆ ก็ตาม (ตัวอย่างเช่น: "เมลิสสาและโทบี้สูงกว่ากันในเวลาเดียวกัน")
• ประโยคที่เป็นจริงโดยจำเป็น (มักเรียกง่ายๆ ว่าประโยคที่จำเป็น ) คือประโยคที่เป็นจริงในทุกโลกที่เป็นไปได้ (ตัวอย่างเช่น "2 + 2 = 4"; "ชายโสดทุกคนไม่ได้แต่งงาน") ^{[ 14 ]}
• ประโยคเงื่อนไขคือประโยคที่เป็นจริงในโลกที่เป็นไปได้บางโลกและเป็นเท็จในโลกอื่นๆ (ตัวอย่างเช่น "อาร์ชดยุคฟรานซ์ เฟอร์ดินานด์ถูกลอบสังหารในปี 1914" เป็นจริงตามเงื่อนไขและ "อาร์ชดยุคฟรานซ์ เฟอร์ดินานด์รอดชีวิตจากการพยายามลอบสังหารในปี 1914" เป็นเท็จตามเงื่อนไข )

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

แนวคิดเรื่องโลกที่เป็นไปได้นั้น มักถูกยกให้เป็นผลงานของก็อตต์ฟรีด ไลบ์นิซซึ่งกล่าวถึงโลกที่เป็นไปได้ว่าเป็นแนวคิดในพระทัยของพระเจ้าและใช้แนวคิดนี้มาโต้แย้งว่าโลกที่เราถูกสร้างขึ้นมานั้นจะต้องเป็น "โลกที่ดีที่สุดในบรรดาโลกที่เป็นไปได้ทั้งหมด " ส่วนอาร์เธอร์ โชเพนฮาวเออร์กลับแย้งว่า ในทางตรงกันข้าม โลกของเราต้องเป็นโลกที่เลวร้ายที่สุดในบรรดาโลกที่เป็นไปได้ทั้งหมด เพราะหากมันเลวร้ายลงอีกเพียงเล็กน้อย มันก็จะไม่สามารถดำรงอยู่ต่อไปได้^{[ 15 ]}นักวิชาการได้ค้นพบร่องรอยโดยปริยายก่อนหน้านี้ของแนวความคิดเกี่ยวกับโลกที่เป็นไปได้ในงานของเรอเน เดส์การตส์ [ ^{16 ] มี}อิทธิพลสำคัญต่อไลบนิซ, อัล-ฆอซาลี ( The Incoherence of the Philosophers ), อาเวอร์โรส์ ( The Incoherence of the Incoherence ), ^{[ 17 ]} Fakhr al-Din al-Razi ( Matalib al-'Aliya) ), ^{[ 18 ]} John Duns Scotus ^{[ 17 ]}และอันโตนิโอ รูบิโอ ( Commentarii ในหนังสือ Aristotelis Stagiritae de Coelo ) ^{[ 19 ]}

การนำแนวคิดนี้ไปใช้ในเชิงปรัชญาสมัยใหม่นั้นริเริ่มโดยเดวิด ลูอิสและซอล คริปเก

• ประวัติศาสตร์ทางเลือก
• สัจนิยมเชิงโมดอลแบบขยาย  – เวอร์ชันของสัจนิยมเชิงโมดอล
• ลัทธิสมมติ  – การแสร้งทำเป็นว่าบางสิ่งบางอย่างเป็นความจริงตามตัวอักษร ("เรื่องสมมติที่มีประโยชน์")
• โลกที่เป็นไปไม่ได้  – คำที่ใช้จำลองสถานการณ์ที่แตกต่างกันซึ่งไม่สามารถเกิดขึ้นพร้อมกันได้
•  แนวคิดเชิงปรัชญาเรื่องนิยายเชิงรูปแบบ (Modal fictionalism )
• จักรวาล N  – แบบจำลองทางปรัชญาที่เรียบง่ายของจักรวาล
• ลัทธิโมลินิสม์  – มุมมองทางศาสนศาสตร์เกี่ยวกับความรู้ของพระเจ้า
• มัลติเวิร์ส  – กลุ่มสมมติของจักรวาลหลายแห่ง
• กลยุทธ์โลกอื่น  – การวิเคราะห์เชิงปรัชญาของคำขัดแย้งในตัวเองหน้าเว็บที่แสดงคำอธิบายสั้น ๆ ของเป้าหมายการเปลี่ยนเส้นทาง
• การแปลมาตรฐานคือการฝังตรรกะเชิงโมดอลลงในตรรกะลำดับที่หนึ่งซึ่งสามารถจับความหมายในโลกที่เป็นไปได้ของตรรกะเหล่านั้นได้

• ดี.เอ็ม. อาร์มสตรอง, โลกแห่งสถานการณ์กิจการ (1997. เคมบริดจ์: สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์) ISBN 0-521-58948-7
• จอห์น ไดเวอร์ส, โลกที่เป็นไปได้ (2002. ลอนดอน: รูทเลดจ์) ISBN 0-415-15556-8
• พอล เฮอร์ริก, โลกแห่งตรรกศาสตร์อันหลากหลาย (1999. อ็อกซ์ฟอร์ด: สำนักพิมพ์มหาวิทยาลัยอ็อกซ์ฟอร์ด) บทที่ 23 และ 24 ISBN 978-0-19-515503-7
• เดวิด ลูอิส, ว่าด้วยความหลากหลายของโลก (1986. อ็อกซ์ฟอร์ดและนิวยอร์ก: บาซิล แบล็กเวลล์) ISBN 0-631-13994-X
• Michael J. Loux [บรรณาธิการ] ความเป็นไปได้และความเป็นจริง (1979. อิธากาและลอนดอน: สำนักพิมพ์มหาวิทยาลัยคอร์เนลล์) ISBN 0-8014-9178-9
• จี.ดับเบิลยู. ไลบ์นิซ, เทววิทยา (2001. สำนักพิมพ์วิปฟ์ แอนด์ สต็อก) ISBN 978-0-87548-437-2
• Brian Skyrms, "โลกที่เป็นไปได้ ฟิสิกส์ และอภิปรัชญา" (1976. Philosophical Studies 30)

ลองค้นหาคำว่า "possible world"ใน Wiktionary ซึ่งเป็นพจนานุกรมฟรี

• บทความ "โลกที่เป็นไปได้"ในสารานุกรมปรัชญาแห่งมหาวิทยาลัยสแตนฟอร์ด
• "โลกที่เป็นไปได้: มีประโยชน์อย่างไร และคืออะไร" — อเล็กซานเดอร์ พรัสส์
• บทความ "วัตถุที่เป็นไปได้"ในสารานุกรมปรัชญาแห่งมหาวิทยาลัยสแตนฟอร์ด
• บทความเรื่อง "โลกที่เป็นไปไม่ได้"ในสารานุกรมปรัชญาแห่งมหาวิทยาลัยสแตนฟอร์ด
• Fieser, James; Dowden, Bradley (บรรณาธิการ). "โลกที่เป็นไปไม่ได้" . สารานุกรมปรัชญาออนไลน์ . ISSN  2161-0002 . OCLC  37741658 .