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

กริยาเชื่อมรูปสี่เหลี่ยมจัตุรัสเป็นตัวอย่างทั่วไปของกลยุทธ์กริยาเชื่อมคู่ที่ใช้ในการอ้างอิงถึง "ปัญหาของวัตถุที่ไม่มีอยู่จริง" รวมถึงความสัมพันธ์กับปัญหาในปรัชญาภาษาสมัยใหม่^{[ 2 ]}

ปัญหาดังกล่าวเกิดขึ้นโดยเฉพาะอย่างยิ่งระหว่างทฤษฎีของนักปรัชญาร่วมสมัยอย่างAlexius Meinong (ดูหนังสือInvestigations in Theory of Objects and Psychology ของ Meinong ในปี 1904 ) ^{[ 3 ]}และBertrand Russell (ดูบทความ " On Denoting " ของ Russell ในปี 1905) ^{[ 4 ]} การวิจารณ์ ทฤษฎีวัตถุของ Meinong โดย Russell หรือที่รู้จักกันในชื่อมุมมองแบบ Russellianกลายเป็นมุมมองที่ได้รับการยอมรับเกี่ยวกับปัญหาของวัตถุที่ไม่มีอยู่จริง^{[ 5 ]}

ในปรัชญาสมัยใหม่ตอนปลายแนวคิดของ "วงกลมสี่เหลี่ยม" ( ภาษาเยอรมัน : viereckiger Kreis ) ก็ได้รับการกล่าวถึงมาก่อนแล้วในหนังสือThe Foundations of ArithmeticของGottlob Frege (1884) ^{[ 6 ]}

กลยุทธ์ที่ใช้คือกลยุทธ์โคปูลาคู่ [ ^{2 ]}หรือที่รู้จักกันในชื่อ^{แนวทาง}การบ่งชี้คู่ [ ^{7 ]}ซึ่งใช้เพื่อสร้างความแตกต่างระหว่างความสัมพันธ์ของคุณสมบัติและบุคคลโดยเกี่ยวข้องกับ การสร้างประโยคที่ไม่ควร ^มีความหมายโดยการบังคับให้คำว่า "is" มีความหมายกำกวม

กลยุทธ์โคปูลาคู่ได้รับการนำเสนออย่างโดดเด่นในปรัชญาร่วมสมัยโดยErnst Mally [ ^{8 ] [ 9 ] ผู้}สนับสนุนแนวทางนี้คนอื่นๆ ได้แก่Héctor-Neri Castañeda , William J. RapaportและEdward N. Zalta ^{[ 10 ]}

โดยการยืมวิธีการกำหนดสัญลักษณ์ของ Zalta ( Fbหมายถึงb เป็นตัวอย่างคุณสมบัติของการเป็นF ; bFหมายถึงb เข้ารหัสคุณสมบัติของการเป็นF ) และใช้ทฤษฎีวัตถุของ Meinongian เวอร์ชันปรับปรุงใหม่ซึ่งใช้ความแตกต่างของ copula คู่ ( MOT ^dc ) เราสามารถกล่าวได้ว่าวัตถุที่เรียกว่า "สี่เหลี่ยมกลม" เข้ารหัสคุณสมบัติของการเป็นกลม คุณสมบัติของการเป็นสี่เหลี่ยม คุณสมบัติทั้งหมดที่บ่งบอกโดยสิ่งเหล่านี้ และไม่มีคุณสมบัติอื่น^{[ 2 ]}แต่เป็นความจริงที่ว่ายังมีคุณสมบัติมากมายนับไม่ถ้วนที่เป็นตัวอย่างโดยวัตถุที่เรียกว่าสี่เหลี่ยมกลม (และจริงๆ แล้ววัตถุใดๆ ก็ตาม) เช่น คุณสมบัติของการไม่เป็นคอมพิวเตอร์ และคุณสมบัติของการไม่เป็นพีระมิด โปรดทราบว่ากลยุทธ์นี้บังคับให้ "is" ละทิ้ง การใช้ เชิงทำนายและตอนนี้ทำหน้าที่ ใน เชิง นามธรรม

เมื่อวิเคราะห์โคปูลาทรงกลมสี่เหลี่ยมโดยใช้MOT ^dcแล้ว จะพบว่ามันหลีกเลี่ยงความขัดแย้ง ทั่วไปสามประการ ได้แก่ (1) การละเมิดกฎแห่งการไม่ขัดแย้ง (2) ความขัดแย้งของการอ้างคุณสมบัติของการมีอยู่โดยที่ไม่มีอยู่จริง และ (3) การสร้างผลลัพธ์ที่ขัดกับสัญชาตญาณ ประการแรกMOT ^dcแสดงให้เห็นว่าทรงกลมสี่เหลี่ยมไม่ได้เป็นตัวอย่างของคุณสมบัติของการเป็นทรงกลม แต่เป็นคุณสมบัติของการเป็นทั้งทรงกลมและทรงสี่เหลี่ยม ดังนั้นจึงไม่มีความขัดแย้งตามมา ประการที่สอง มันหลีกเลี่ยงความขัดแย้งของการมีอยู่/ไม่มีอยู่โดยการอ้างการมีอยู่ที่ไม่ใช่ทางกายภาพ: โดยMOT ^dcสามารถกล่าวได้เพียงว่าทรงกลมสี่เหลี่ยมไม่ได้เป็นตัวอย่างของคุณสมบัติของการครอบครองพื้นที่ในอวกาศ สุดท้ายนี้MOT ^dcหลีกเลี่ยงผลลัพธ์ที่ขัดกับสามัญสำนึก (เช่น 'สิ่ง' หนึ่งมีคุณสมบัติของการไม่มีอยู่จริง) โดยเน้นว่าโคพูล่ารูปสี่เหลี่ยมจัตุรัสกลมนั้นกล่าวได้ว่าเป็นเพียงการเข้ารหัสคุณสมบัติของการเป็นกลมและสี่เหลี่ยมจัตุรัสเท่านั้น ไม่ได้เป็นการแสดงคุณสมบัตินั้นจริงๆ ดังนั้น ในทางตรรกะแล้ว มันจึงไม่เป็นส่วนหนึ่งของเซตหรือคลาสใดๆ

ในท้ายที่สุด สิ่งที่MOT ^dcทำจริงๆ ก็คือการสร้าง วัตถุ ชนิดหนึ่ง: วัตถุที่ไม่มีอยู่จริง ซึ่งแตกต่างจากวัตถุที่เราอาจนึกถึงโดยทั่วไปอย่างมาก บางครั้ง การอ้างอิงถึงแนวคิดนี้ แม้จะไม่ชัดเจนนัก อาจถูกเรียกว่า "วัตถุแบบไมนง" (Meinongian objects)

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

ประการแรกคือกลยุทธ์คุณสมบัติคู่ [ ^{2 ]}หรือที่รู้จักกันในชื่อ^{กลยุทธ์}นิวเคลียร์-นอกนิวเคลียร์^{[ 2 ]}

Mally ได้นำเสนอกลยุทธ์ทรัพย์สินคู่^{[ 11 ] [ 12 ]}แต่ไม่ได้ให้การรับรอง กลยุทธ์ทรัพย์สินคู่ในที่สุดก็ได้รับการยอมรับโดย Meinong ^{[ 9 ]}ผู้สนับสนุนแนวทางนี้คนอื่นๆ ได้แก่Terence ParsonsและRichard Routley ^{[ 10 ]}

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

นอกจากนี้ยังมีกลยุทธ์โลกอื่นอีกด้วย^{[ 2 ]}คล้ายกับแนวคิดที่อธิบายไว้ในทฤษฎีโลกที่เป็นไปได้ กลยุทธ์นี้ใช้มุมมองที่ว่าหลักการทางตรรกะและกฎแห่งความขัดแย้งมีขีดจำกัด แต่ไม่ได้ถือว่าทุกสิ่งเป็นจริง กลยุทธ์นี้ได้รับการอธิบายและสนับสนุนโดย Graham Priestซึ่งได้รับอิทธิพลอย่างมากจาก Routley และก่อให้เกิดแนวคิดของ " ลัทธิไม่มีอยู่จริง " กล่าวโดยสรุปคือ การสมมติว่ามีโลกที่เป็นไปได้และเป็นไปไม่ได้อยู่มากมายนับไม่ถ้วน ทำให้วัตถุไม่ต้องมีอยู่จริงในทุกโลก แต่สามารถมีอยู่ในโลกที่เป็นไปไม่ได้ (เช่น ที่ซึ่งกฎแห่งความขัดแย้งใช้ไม่ได้) และไม่อยู่ในโลกแห่งความเป็นจริง น่าเสียดายที่การยอมรับกลยุทธ์นี้หมายถึงการยอมรับปัญหามากมายที่มาพร้อมกับมัน เช่น สถานะทางภววิทยาของโลกที่เป็นไปไม่ได้

ป่าของไมนงเป็นคำที่ใช้อธิบายคลังของวัตถุที่ไม่มีอยู่จริงในออนโทโลยีของอเล็กเซียส ไมนง [ ^{13 ] ตัวอย่าง}ของวัตถุดังกล่าวคือ "สี่เหลี่ยมจัตุรัสกลม" ซึ่งไม่สามารถมีอยู่ตามคำจำกัดความได้ แต่สามารถเป็นหัวข้อของการอนุมานเชิงตรรกะได้ เช่น เป็นทั้ง "กลม" และ "สี่เหลี่ยมจัตุรัส"

ไมน์องนักปรัชญาชาวออสเตรีย ผู้มีบทบาทในช่วงต้นศตวรรษที่ 20เชื่อว่า เนื่องจากสิ่งที่ไม่มีอยู่จริงสามารถอ้างถึงได้ พวกมันจึงต้องมี อยู่บางอย่างซึ่งเขาเรียกว่าโซเซน ("การเป็นเช่นนั้น") ยูนิคอร์นและเพกาซัสต่างก็ไม่มีอยู่จริง แต่ก็เป็นความจริงที่ว่ายูนิคอร์นมีเขาและเพกาซัสมีปีก ดังนั้นสิ่งที่ไม่มีอยู่จริง เช่น ยูนิคอร์น วงกลมสี่เหลี่ยม และภูเขาทองคำ จึงสามารถมีคุณสมบัติที่แตกต่างกันได้ และต้องมี 'การเป็นเช่นนั้นอย่างนี้' แม้ว่าจะขาด 'การมีอยู่' ที่แท้จริงก็ตาม^{[ 13 ]}ความแปลกประหลาดของสิ่งต่างๆ เหล่านี้ทำให้ดินแดนทางภววิทยาแห่งนี้ถูกเรียกว่า "ป่าของไมน์อง" ป่านี้ได้รับการอธิบายไว้ในงานเขียนของไมน์องเรื่อง Über Annahmen (1902) ^{[ 14 ]}ชื่อนี้มาจากWilliam C. Kneale ซึ่ง หนังสือ Probability and Induction (1949) ของเขามีข้อความว่า "หลังจากหลงทางในป่าแห่งการดำรงชีพของ Meinong ... นักปรัชญาต่างเห็นพ้องกันว่าข้อเสนอไม่สามารถถือได้ว่าเป็นเอนทิตีขั้นสุดท้าย" ^{[ 14 ]}

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

ป่าของไมนงถูกยกมาเป็นข้อโต้แย้งต่อความหมายของไมนง เนื่องจากความหมายดังกล่าวทำให้เราต้องยึดติดกับวัตถุที่ไม่พึงประสงค์ในเชิงภววิทยา^{[ 13 ]}ข้อโต้แย้งกล่าวว่า การสามารถพูดถึงยูนิคอร์นได้อย่างมีความหมายนั้นเป็นสิ่งที่พึงปรารถนา แต่ไม่จำเป็นต้องเชื่อในยู นิคอร์น นักนามนิยม (ผู้เชื่อว่าคำศัพท์และคุณลักษณะ ทั่วไปหรือนามธรรม มีอยู่จริง แต่สิ่งสากลหรือวัตถุนามธรรมไม่มีอยู่จริง) พบว่าป่าของไมนงนั้นไม่น่าพึงพอใจเป็นพิเศษ^{[ 16 ]}ดังที่โคลิน แม็กกินน์กล่าวไว้ว่า “[การ]ดำเนินไปตามลักษณะทางภาษาอย่างไร้เดียงสาไม่เพียงแต่จะนำไปสู่ทางตันทางตรรกะเท่านั้น แต่ยังนำไปสู่ความฟุ่มเฟือยทางอภิปรัชญาด้วย เช่นเดียวกับป่าของไมนงที่เต็มไปด้วยความเป็นอยู่ที่คลุมเครือ” ^{[ 17 ]}ความไม่สบายใจกับข้อผูกมัดทางภววิทยาของทฤษฎีของไมนงมักแสดงออกในคำคมที่ว่า “เราควรตัดป่าของไมนงด้วยมีดโกนของอ็อกแคม ” ^{[ 18 ] [ 19 ]}

ป่าของไมนงได้รับการปกป้องโดยนักสัจนิยมเชิงโมดอลซึ่งความหมายของโลกที่เป็นไปได้ ของพวกเขา ได้นำเสนอรูปแบบที่ยอมรับได้มากกว่าของทฤษฎี Gegenstandstheorie ของไมนง ดังที่Jaakko Hintikkaอธิบายไว้:

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

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

• ทฤษฎีวัตถุเชิงนามธรรม
• ชื่อว่างเปล่าคือชื่อที่ไม่มีสิ่งอ้างอิง
• ความสมจริงเชิงโมดอลแบบขยาย
• ลัทธินิยายนิยม (Fictionalism ) คือทฤษฎีที่กล่าวว่า เราสามารถพูดถึงสิ่งที่เป็นเรื่องสมมติได้โดยไม่ต้องผูกมัดตัวเองกับความเป็นจริงของสิ่งเหล่านั้น
• อภิปรัชญา
• สัจนิยมเชิงรูปแบบ
• ลัทธิ ความไม่มีอยู่จริง (Noneism ) คือความเชื่อทางปรัชญาที่ว่ามีสิ่งที่ไม่ existent อยู่จริง
• การไม่มีอยู่จริง
• วัตถุแห่งจิตใจ
• เคราของเพลโต
• สัจนิยมแบบเพลโต
• ทฤษฎีการพรรณนา
• เหล็กไม้

• Routley, Richard (1980). การสำรวจป่าของ Meinong และสิ่งที่อยู่เหนือกว่านั้นเอกสารวิจัยประจำภาควิชา #3 ภาควิชาปรัชญา RSSS มหาวิทยาลัยแห่งชาติออสเตรเลีย
• พรีสต์, เกรแฮม (2016). สู่ภาวะไร้ตัวตน: ตรรกะและอภิปรัชญาแห่งเจตจำนง. ฉบับพิมพ์ครั้งที่สอง . อ็อกซ์ฟอร์ด: แคลเรนดอน. ISBN 978-0198783602.
• คริตเทนเดน, ชาร์ลส์ (1991). ความไม่เป็นจริง: อภิปรัชญาของวัตถุสมมติ . อิธากา: สำนักพิมพ์มหาวิทยาลัยคอร์เนลล์. ISBN 0-8014-2520-4.
• แจ็กแคตต์, เดล (1997) ตรรกะเหม่ยหนงเกียน: ความหมายของการดำรงอยู่และการไม่มีอยู่จริง เบอร์ลิน: วอลเตอร์ เดอ กรอยเตอร์. ไอเอสบีเอ็น 3-11-014865-X.
• Zalta, Edward N. (1983). วัตถุเชิงนามธรรม: บทนำสู่อภิปรัชญาเชิงสัจพจน์ . ห้องสมุดซินเธส. เล่มที่ 160. ดอร์เดรชท์, เนเธอร์แลนด์: สำนักพิมพ์ D. Reidel. ISBN 978-90-277-1474-9.

• ไรเชอร์, มาเรีย (7 กันยายน 2549). "วัตถุที่ไม่มีอยู่จริง"ในซัลตา, เอ็ดเวิร์ด เอ็น. (บรรณาธิการ). สารานุกรมปรัชญาแห่งสแตนฟอร์ด (ฉบับฤดูใบไม้ร่วง 2549). ISSN  1095-5054 . OCLC  429049174 .