Keberadaan

**Keberadaan** adalah kondisi memiliki **eksistensi**, **wujud** atau realitas yang berlawanan dengan **ketiadaan** dan ketidakberwujudan. Keberadaan sering dibedakan dari esensi: esensi atau hakikat suatu entitas adalah ciri atau kualitas esensialnya, yang dapat dipahami meskipun seseorang belum mengetahui apakah entitas itu benar-benar ada.

Ontologi adalah cabang filsafat yang mempelajari hakikat dan jenis keberadaan. Keberadaan tunggal adalah keberadaan entitas individu, sedangkan keberadaan umum merujuk pada eksistensi konsep atau universal. Entitas yang hadir dalam ruang dan waktu memiliki eksistensi konkret, berlawanan dengan entitas abstrak, seperti angka dan himpunan. Distingsi lain mencakup keberadaan mungkin, kontingen, dan niscaya, serta antara eksistensi fisik dan mental. Pandangan umum menyatakan bahwa suatu entitas ada atau tidak ada, tanpa ada keadaan di antaranya; tetapi beberapa filsuf berpendapat bahwa terdapat derajat keberadaan, yang berarti beberapa entitas ada pada tingkat yang lebih tinggi dibanding yang lain.

Posisi ortodoks dalam ontologi memandang keberadaan sebagai properti orde kedua, atau properti dari properti. Misalnya, untuk mengatakan bahwa singa ada berarti bahwa sifat "menjadi singa" dimiliki oleh suatu entitas. Pandangan lain melihat keberadaan sebagai properti orde pertama, atau properti individu, yang menyatakan bahwa keberadaan serupa dengan properti lain dari individu, seperti warna atau bentuk. Alexius Meinong dan para pengikutnya menerima gagasan ini dan menyatakan bahwa tidak semua individu memiliki properti ini; mereka berargumen bahwa terdapat individu, seperti Santa Claus, yang tidak ada. Sebaliknya, kaum universalist menolak pandangan ini; mereka memandang keberadaan sebagai properti universal dari setiap individu.

Konsep keberadaan telah dibahas sepanjang sejarah filsafat dan sudah memainkan peran dalam filsafat kuno, termasuk Filsafat pra-Sokratik di Yunani Kuno, filsafat Hindu dan Buddha di India Kuno, serta filsafat Dao di Tiongkok Kuno. Keberadaan relevan dalam bidang seperti logika, matematika, epistemologi, filsafat pikiran, filsafat bahasa, dan eksistensialisme.

## Definisi dan istilah terkait
Keberadaan adalah kondisi memiliki realitas atau turut serta dalam kenyataan. Keberadaan membedakan entitas nyata dari entitas imajiner, dan dapat merujuk baik pada entitas individual maupun keseluruhan kenyataan. Kata "existence" memasuki bahasa Inggris pada akhir abad ke-14 dari bahasa Prancis Kuno dan berakar dari istilah bahasa Latin Abad Pertengahan , yang berarti "menyingsing", "muncul", dan "timbul". Keberadaan dipelajari oleh cabang metafisika yang dikenal sebagai ontologi.

Istilah "ada", "kenyataan", dan "aktualitas" sering digunakan sebagai sinonim dari "existence", tetapi definisi tepat dari *keberadaan* dan hubungannya dengan istilah-istilah ini masih diperdebatkan. Menurut metafisikawan Alexius Meinong (1853–1920), semua entitas memiliki ada tetapi tidak semua entitas memiliki keberadaan. Ia berpendapat bahwa objek yang hanya mungkin, seperti Sinterklas, memiliki ada tetapi tidak memiliki keberadaan. Ontolog Takashi Yagisawa (abad 20–sekarang) membedakan keberadaan dengan kenyataan; ia memandang "kenyataan" sebagai istilah yang lebih mendasar karena berlaku untuk semua entitas, sementara keberadaan adalah istilah relatif yang menghubungkan entitas dengan dunia yang ditempatinya. Menurut filsuf Gottlob Frege (1848–1925), aktualitas lebih sempit daripada keberadaan karena hanya entitas aktual yang dapat menimbulkan dan mengalami perubahan, berbeda dengan entitas non-aktual seperti bilangan dan himpunan. Beberapa filsuf, seperti Edmund Husserl (1859–1938), memandang keberadaan sebagai konsep dasar yang tidak dapat didefinisikan tanpa melibatkan sirkularitas, sehingga menggambarkan hakikat keberadaan dengan cara yang bermakna menjadi sulit atau bahkan mustahil.

Perdebatan mengenai hakikat keberadaan tercermin dalam perbedaan antara konsep keberadaan tipis dan konsep tebal. Konsep tipis memahami keberadaan sebagai sifat logis yang dimiliki setiap entitas yang ada, tanpa menyertakan isi substantif mengenai implikasi metafisik dari keberadaan itu. Salah satu pandangan menyatakan bahwa keberadaan sama dengan sifat logis dari hukum identitas. Pandangan ini merupakan konsep tipis karena hanya menyatakan bahwa apa yang ada identik dengan dirinya sendiri tanpa membahas sifat substantif dari keberadaan. Konsep tebal melibatkan analisis metafisik mengenai apa arti keberadaan dan ciri esensial yang dimilikinya. Salah satu proposal menyatakan bahwa untuk ada berarti hadir dalam ruang dan waktu serta memiliki pengaruh pada entitas lain. Definisi ini kontroversial karena menyiratkan objek abstrak seperti bilangan tidak ada. Filsuf George Berkeley (1685–1753) menawarkan konsep tebal berbeda; ia menyatakan: "ada berarti dipersepsi", yang berarti semua keberadaan bersifat mental.

Keberadaan berlawanan dengan ketidakadaan, yakni ketiadaan realitas. Apakah objek dapat dibagi menjadi entitas yang ada dan objek yang tidak ada masih menjadi perdebatan. Distingsi ini kadang digunakan untuk menjelaskan bagaimana mungkin memikirkan objek fiksi seperti naga atau unicorn, tetapi konsep objek yang tidak ada tidak diterima secara umum; beberapa filsuf menyebutnya kontradiktif. Istilah terkait yang sering dikontraskan adalah ketiadaan dan ketidak-berwujudan. Keberadaan umumnya dikaitkan dengan realitas yang independen dari pikiran, tetapi posisi ini tidak diterima secara universal karena bisa ada bentuk keberadaan yang bergantung pada pikiran, seperti eksistensi sebuah gagasan dalam pikiran seseorang. Menurut beberapa idealis, hal ini mungkin berlaku untuk seluruh realitas.

Perbedaan lain dibuat antara *keberadaan* dan *[[esensi]]*. Esensi merujuk pada hakikat intrinsik atau sifat-sifat yang menentukan suatu entitas. Esensi menentukan jenis entitas dan bagaimana perbedaannya dari entitas lain. Esensi berkaitan dengan apa sesuatu itu, sedangkan keberadaan berkaitan dengan fakta bahwa sesuatu itu ada. Misalnya, mungkin untuk memahami apa itu sebuah objek dan hakikatnya meski tidak mengetahui apakah objek itu benar-benar ada. Beberapa filsuf membedakan antara entitas dan karakteristik mendasar yang membuatnya menjadi entitas tersebut. Martin Heidegger (1889–1976) memperkenalkan konsep ini; ia menyebutnya perbedaan ontologis dan membedakan antara makhluk individual dengan ada. Menurut tanggapannya terhadap pertanyaan tentang keberadaan, ada bukanlah entitas, melainkan konteks latar yang membuat semua entitas individual dapat dimengerti.

## Jenis entitas yang ada
Banyak perbincangan mengenai jenis-jenis entitas yang ada berpusat pada perumusan definisi tiap jenis, ada atau tidak adanya entitas dari jenis tertentu, bagaimana hubungan antarjenis entitas, serta apakah ada jenis yang lebih mendasar dibandingkan yang lain. Contohnya meliputi ada atau tidak adanya jiwa; apakah terdapat entitas abstrak, fiksional, dan universal; serta persoalan tentang eksistensi dunia mungkin dan objek-objek lain di luar dunia aktual. Perdebatan ini menyinggung tentang hakikat paling dasar dari segala kenyataan serta ciri-ciri paling umum dari entitas.

### Tunggal dan umum
Ada pembedaan antara eksistensi tunggal dan eksistensi umum. Eksistensi tunggal adalah keberadaan entitas individual. Misalnya, kalimat "Angela Merkel ada" menyatakan keberadaan satu orang tertentu. Eksistensi umum, sebaliknya, menyangkut konsep-konsep, sifat, atau universal yang bersifat umum. Sebagai contoh, kalimat "politikus ada" menyatakan bahwa istilah umum "politikus" memiliki perwujudan tanpa menunjuk kepada seorang politikus tertentu.

Eksistensi tunggal dan umum saling terkait erat, dan sejumlah filsuf berusaha menjelaskan yang satu sebagai kasus khusus dari yang lain. Frege, misalnya, berpendapat bahwa eksistensi umum lebih mendasar daripada eksistensi tunggal. Salah satu argumennya adalah bahwa eksistensi tunggal dapat dirumuskan dalam kerangka eksistensi umum. Contohnya, kalimat "Angela Merkel ada" dapat dinyatakan sebagai "entitas yang identik dengan Angela Merkel ada", di mana ungkapan "identik dengan Angela Merkel" dipahami sebagai istilah umum. Sebaliknya, filsuf Willard Van Orman Quine (1908–2000) memberikan keutamaan pada eksistensi tunggal, dan berpendapat bahwa eksistensi umum justru dapat dijelaskan dalam istilah eksistensi tunggal.

Pertanyaan lain yang berkaitan adalah apakah mungkin ada eksistensi umum tanpa eksistensi tunggal. Menurut filsuf Henry S. Leonard (1905–1967), suatu sifat hanya memiliki eksistensi umum jika ada sekurang-kurangnya satu objek aktual yang mengaktualisasikannya. Sebaliknya, filsuf Nicholas Rescher (1928–2024) berpendapat bahwa sifat dapat ada walaupun tanpa perwujudan aktual, misalnya sifat "menjadi seekor unicorn". Pertanyaan ini memiliki akar panjang dalam tradisi filsafat, terutama terkait dengan eksistensi universal. Menurut Platonisme, universal memiliki eksistensi umum sebagai bentuk Platonik yang berdiri sendiri, terlepas dari partikular yang mewujudkannya. Dari sudut pandang ini, universal tentang "kemerahan" ada secara independen dari ada atau tidak adanya objek merah. Aristotelianisme juga menerima keberadaan universal, tetapi menekankan bahwa keberadaan itu bergantung pada partikular yang mengaktualisasikannya, dan universal tidak mampu ada dengan sendirinya. Dalam pandangan ini, sebuah universal yang tidak hadir dalam ruang dan waktu tidaklah ada. Adapun menurut nominalisme, hanya partikular yang sungguh-sungguh ada, sedangkan universal tidak memiliki keberadaan.

### Konkret dan abstrak
Dalam ranah ontologi, terdapat pembedaan berpengaruh antara objek konkret dan objek abstrak. Objek konkret, seperti batu, tumbuhan, dan manusia lain, hadir dalam keseharian kita. Mereka berdiam dalam ruang dan waktu, serta saling memberi akibat: batu yang jatuh menimpa tumbuhan dan merusaknya, atau sebaliknya, tumbuhan yang tumbuh menembus batu hingga memecahkannya. Objek abstrak, seperti bilangan, himpunan, dan jenis, tidak memiliki tempat dalam ruang dan waktu serta tidak memiliki daya kausal. Pembedaan antara yang konkret dan yang abstrak kadang dianggap sebagai pembagian paling mendasar dari segala wujud.  

Keberadaan objek konkret hampir tidak pernah diperdebatkan, tetapi pandangan tentang objek abstrak terbagi. Kaum realis, seperti Plato, menerima bahwa objek abstrak memiliki keberadaan mandiri. Sebagian realis berpendapat bahwa objek abstrak memiliki modus keberadaan yang sama dengan objek konkret; sebagian lain menyatakan bahwa keberadaannya berbeda. Kaum anti-realis menolak keberadaan objek abstrak, biasanya dengan alasan bahwa keberadaan menuntut kedudukan dalam ruang dan waktu atau kemampuan untuk berinteraksi secara kausal.  

### Mungkin, kontingen, dan niscaya
Pembedaan lain dalam filsafat wujud adalah antara yang semata-mata mungkin, yang kontingen, dan yang niscaya. Suatu entitas memiliki keberadaan niscaya bila ia harus ada dan mustahil tiada. Artinya, entitas demikian tidak dapat diciptakan dari ketiadaan ataupun dimusnahkan. Entitas yang ada tetapi dapat tiada disebut kontingen; sementara itu, entitas yang hanya mungkin tidak hadir dalam kenyataan, tetapi bisa saja ada.  

  

Sebagian besar entitas yang dijumpai dalam keseharian, seperti telepon, tongkat, dan bunga, memiliki keberadaan kontingen. Kekontingenan telepon tampak dari kenyataan bahwa ia kini ada, tetapi di masa lampau belum dikenal; artinya, keberadaannya bukanlah keharusan. Pertanyaan tetap terbuka: adakah entitas yang benar-benar memiliki keberadaan niscaya? Menurut sebagian kaum nominalis, seluruh objek konkret bersifat kontingen, sementara objek abstrak memiliki keberadaan niscaya.  

Sejumlah pemikir berpendapat bahwa diperlukan satu atau beberapa wujud niscaya sebagai landasan penjelasan kosmos. Sebagai contoh, Avicenna (980–1037) dan Thomas Aquinas (1225–1274) menegaskan bahwa Tuhan adalah wujud yang niscaya. Filsuf lain, seperti Baruch Spinoza (1632–1677), menyamakan Tuhan dengan alam, dan menegaskan bahwa seluruh entitas memiliki keberadaan niscaya demi memberikan penjelasan yang menyatu dan rasional bagi segala sesuatu.  

Banyak perdebatan akademis berpusat pada keberadaan entitas yang hanya mungkin. Menurut aktualisme, hanya entitas aktual yang benar-benar memiliki wujud; ini mencakup entitas kontingen maupun niscaya, tetapi menolak yang semata-mata mungkin. Kaum possibilis menolak pandangan ini, dengan menyatakan bahwa entitas yang hanya mungkin juga ada di samping yang aktual. Filsuf metafisika David Lewis (1941–2001), misalnya, berpendapat bahwa objek yang mungkin ada sama sungguhnya dengan objek aktual, sehingga pernyataan tentang kemungkinan dan keniscayaan memperoleh dasar yang kukuh. Menurutnya, objek yang mungkin ada berdiam di dunia-dunia mungkin, sementara objek aktual ada di dunia aktual. Lewis menyatakan bahwa satu-satunya perbedaan antara dunia mungkin dan dunia aktual adalah kedudukan sang pembicara; istilah "aktual" menunjuk pada dunia tempat si pembicara berada, sebagaimana kata "di sini" dan "kini" menunjuk pada lokasi ruang dan waktu pembicara.  

Persoalan mengenai keberadaan kontingen dan niscaya terkait erat dengan pertanyaan ontologis mengapa ada sesuatu alih-alih ketiadaan sama sekali. Menurut satu pandangan, keberadaan sesuatu bersifat kontingen, sehingga dunia bisa saja sepenuhnya kosong. Namun, bila ada entitas niscaya, maka mustahil mereka tidak ada. Dalam kasus demikian, ketiadaan mutlak menjadi mustahil, sebab dunia sekurang-kurangnya harus mengandung segala entitas niscaya.

### Fisik dan mental
Entitas yang hadir pada tataran fisik mencakup benda-benda yang dijumpai dalam kehidupan sehari-hari, seperti batu, pepohonan, dan tubuh manusia, serta entitas yang dibicarakan dalam fisika modern, seperti elektron dan proton. Entitas fisik dapat diamati dan diukur; ia memiliki massa serta keberadaan dalam ruang dan waktu.  

Entitas mental seperti persepsi, pengalaman akan nikmat dan derita, serta keyakinan, kehendak, dan emosi, termasuk dalam ranah batin; mereka terutama berkaitan dengan pengalaman sadar, tetapi juga meliputi keadaan tak-sadar seperti keyakinan, keinginan, dan ingatan yang tersembunyi.  

Masalah budi-tubuh menyangkut status ontologis serta hubungan antara entitas fisik dan mental, dan menjadi tema yang kerap dibicarakan dalam metafisika serta filsafat budi.  

Menurut materialisme, hanya entitas fisiklah yang benar-benar ada pada aras paling mendasar. Kaum materialis biasanya menjelaskan entitas mental dalam istilah proses-proses fisik; misalnya sebagai keadaan otak atau pola aktivasi saraf.  

Sebaliknya, idealisme, sebuah pandangan minoritas dalam filsafat kontemporer, menolak materi sebagai yang utama, dan justru memandang jiwa sebagai realitas terdalam.  

Kaum dualis seperti René Descartes (1596–1650) meyakini bahwa baik entitas fisik maupun entitas mental sama-sama hadir pada aras paling dasar keberadaan. Mereka berpendapat keduanya saling terhubung dengan berbagai cara, tetapi tidak dapat direduksi satu ke yang lain.

### Jenis lainnya
Entitas fiksional adalah entitas yang hadir sebagai ciptaan di dalam karya fiksi. Sebagai contoh, Sherlock Holmes adalah tokoh fiksi dalam karya Arthur Conan Doyle, *[[A Study in Scarlet]]*; sementara karpet terbang adalah objek fiksional dalam kisah rakyat *[[Seribu Satu Malam]]*. Menurut pandangan antirealisme, entitas fiksional tidak benar-benar membentuk bagian dari kenyataan dalam arti yang substansial. Sebaliknya, para posibilis melihat entitas fiksional sebagai subkelas dari objek-objek yang mungkin ada; sedangkan para kreasionis berpendapat bahwa ia merupakan artefak yang keberadaannya bergantung pada pengarang yang pertama kali mencetuskannya.

Keberadaan intensional adalah gejala serupa yang menyangkut keberadaan objek-objek di dalam keadaan mental. Hal ini terjadi ketika seseorang mempersepsi atau memikirkan suatu objek. Dalam sebagian kasus, objek intensional itu sepadan dengan objek nyata di luar keadaan mental, misalnya ketika seseorang benar-benar melihat sebatang pohon di taman. Namun, dalam kasus lain, objek intensional tidak memiliki padanan nyata, seperti ketika seseorang membayangkan tentang Bigfoot. Masalah keberadaan intensional adalah tantangan untuk menjelaskan bagaimana mungkin seseorang memikirkan entitas yang tidak ada, sebab hal ini seolah-olah menyiratkan paradoks bahwa pemikir tersebut berada dalam suatu relasi dengan sesuatu yang sama sekali tidak eksis.

## Ragam dan derajat keberadaan
Terkait erat dengan persoalan tentang berbagai jenis entitas adalah pertanyaan apakah ragam keberadaan mereka pun berbeda. Inilah yang ditegaskan oleh pluralisme ontologis, yang menyatakan bahwa entitas yang termasuk ke dalam jenis berbeda tidak hanya berbeda dalam ciri-ciri hakikinya, melainkan juga dalam cara keberadaannya. Pandangan ini kadang ditemukan dalam teologi; di sana ditegaskan bahwa Tuhan sama sekali berbeda dari ciptaan-Nya, dan keunikan-Nya ditegaskan dengan mengatakan bahwa perbedaan itu mencakup baik sifat-sifat Ilahi maupun cara Tuhan berada.  

Bentuk lain dari pluralisme ontologis membedakan keberadaan benda-benda material dari keberadaan ruang-waktu. Menurut pandangan ini, benda-benda material memiliki keberadaan yang bersifat relatif karena mereka ada di dalam ruang-waktu; sedangkan keberadaan ruang-waktu itu sendiri tidak bersifat relatif dalam pengertian ini, sebab ia sekadar ada tanpa berada di dalam ruang-waktu lain.  

Topik tentang derajat keberadaan berhubungan erat dengan persoalan ragam keberadaan. Gagasannya ialah bahwa sebagian entitas memiliki tingkat keberadaan yang lebih tinggi, atau "lebih sungguh ada," dibanding entitas lain, mirip dengan sifat-sifat tertentu—seperti panas dan massa—yang dapat hadir dalam kadar yang berbeda. Menurut filsuf Plato (428/427–348/347 SM), misalnya, bentuk Platonik yang tidak berubah memiliki derajat keberadaan yang lebih tinggi daripada benda-benda fisik.  

Pandangan bahwa terdapat berbagai jenis entitas lazim ditemui dalam metafisika. Namun, gagasan bahwa entitas-entitas itu juga berbeda dalam ragam atau derajat keberadaannya sering ditolak. Penolakan ini menyiratkan bahwa sesuatu itu hanya ada atau tidak ada, tanpa ada kemungkinan di antara keduanya. Filsuf metafisika Peter van Inwagen (1942–kini) menggunakan gagasan tentang keterkaitan erat antara keberadaan dan kuantifikasi untuk menentang konsep ragam keberadaan. Kuantifikasi berhubungan dengan penghitungan objek; menurut Inwagen, jika memang terdapat ragam keberadaan, maka manusia akan memerlukan jenis angka yang berbeda untuk menghitung tiap ragam itu. Karena angka yang sama dapat digunakan untuk menghitung berbagai jenis entitas, ia menyimpulkan bahwa semua entitas memiliki ragam keberadaan yang serupa.

## Teori tentang hakikat keberadaan

Teori-teori mengenai hakikat keberadaan berusaha menjelaskan apa arti "ada" bagi sesuatu. Perdebatan sentral dalam wacana akademis tentang keberadaan adalah apakah keberadaan itu sendiri merupakan sebuah sifat dari individu. "Individu" di sini menunjuk pada entitas yang unik, seperti Sokrates atau sebuah apel tertentu. Sementara itu, "sifat" adalah sesuatu yang disandarkan pada suatu entitas, misalnya "menjadi manusia" atau "berwarna merah", yang biasanya mengekspresikan suatu kualitas atau ciri dari entitas tersebut. 

Dua teori utama tentang keberadaan adalah teori tataran-pertama dan tataran-kedua. Teori tataran-pertama memahami keberadaan sebagai sifat dari individu, sementara teori tataran-kedua menyatakan bahwa keberadaan adalah sifat tingkat kedua—yakni, sifat dari sifat-sifat.  

Salah satu tantangan utama dalam teori tentang hakikat keberadaan adalah memahami kemungkinan untuk secara koheren menolak keberadaan sesuatu, sebagaimana dalam pernyataan: "Santa Klaus tidak ada." Kesulitannya terletak pada bagaimana menjelaskan bahwa nama "Santa Klaus" tetap bermakna, meskipun tidak ada Santa Klaus.

### Teori Orde-Kedua
Teori orde-kedua memahami keberadaan bukan sebagai sifat orde-pertama, melainkan sebagai sifat orde-kedua. Pandangan ini kerap dianggap sebagai posisi ortodoks dalam ontologi. Misalnya, Empire State Building adalah sebuah objek individual, dan "memiliki tinggi " merupakan sifat orde-pertama darinya. Sementara itu, "terwujud dalam kenyataan" adalah sifat dari "memiliki tinggi 443,2 meter", dan karena itu termasuk sifat orde-kedua. Menurut teori orde-kedua, berbicara tentang eksistensi berarti berbicara tentang sifat-sifat mana yang benar-benar memiliki perwujudan. Sebagai contoh, pandangan ini menafsirkan kalimat "Tuhan ada" bukan sebagai "Tuhan memiliki sifat keberadaan", melainkan sebagai "Ketuhanan itu terwujud".

Salah satu alasan pokok menolak pemahaman bahwa eksistensi adalah sifat dari individu ialah karena eksistensi berbeda dari sifat-sifat biasa. Sifat-sifat biasa, seperti *menjadi sebuah bangunan* atau *bertinggi 443,2 meter*, mengungkapkan bagaimana rupa suatu objek, tetapi tidak langsung menjelaskan apakah bangunan itu benar-benar ada. Menurut pandangan ini, eksistensi lebih mendasar daripada sifat-sifat biasa, sebab sebuah objek tidak dapat memiliki sifat apa pun bila ia sendiri tidak ada.

Bagi para pendukung teori orde-kedua, eksistensi bukan diekspresikan oleh predikat, melainkan oleh kuantor. Predikat adalah ungkapan yang dilekatkan pada objek untuk menggolongkan atau menyifatkannya, seperti "seekor kupu-kupu" atau "merasa bahagia". Sedangkan kuantor adalah ungkapan yang berbicara tentang jumlah objek yang memiliki sifat tertentu. Kuantor eksistensial menandakan bahwa ada sekurang-kurangnya satu objek, sebagaimana ungkapan "beberapa" atau "ada", misalnya dalam kalimat "beberapa sapi makan rumput" atau "ada bilangan prima genap". Dengan demikian, eksistensi erat kaitannya dengan penghitungan, sebab menyatakan bahwa sesuatu itu ada berarti menegaskan bahwa konsep tersebut memiliki satu atau lebih perwujudan.

Dari sudut pandang ini, kalimat seperti "mamalia bertelur ada" dianggap menyesatkan karena kata "ada" dipakai sebagai predikat. Pandangan orde-kedua menilai bentuk logis yang benar sebaiknya dirumuskan ulang sebagai "ada entitas yang merupakan mamalia bertelur". Dalam struktur ini, "ada" berperan sebagai kuantor, sementara "mamalia bertelur" adalah predikatnya. Dengan cara yang sama, pernyataan eksistensial negatif juga dapat dijelaskan melalui konstruksi kuantor; misalnya, kalimat "harimau yang pandai berbicara tidak ada" dapat diformulasikan sebagai "bukanlah kasus bahwa ada harimau yang pandai berbicara".

Banyak ontolog menerima bahwa teori orde-kedua memberi analisis yang tepat bagi berbagai jenis kalimat eksistensial. Namun demikian, masih diperdebatkan apakah teori ini berlaku untuk semua kasus. Beberapa persoalan muncul karena asumsi bahasa sehari-hari terhadap kalimat seperti "Ronald McDonald tidak ada". Kalimat jenis ini disebut *eksistensial singular negatif*, dan ungkapan *Ronald McDonald* merupakan istilah singular yang tampak seakan-akan menunjuk pada seorang individu. Namun, tidak jelas bagaimana ungkapan itu dapat merujuk pada individu jika, sebagaimana ditegaskan kalimat tersebut, individu itu tidak ada. Menurut sebuah solusi yang diajukan filsuf Bertrand Russell (1872–1970), istilah singular sesungguhnya tidak menunjuk langsung pada individu, melainkan berfungsi sebagai deskripsi tentang individu. Dengan demikian, eksistensial singular negatif tidak merujuk pada individu yang tidak ada, melainkan menolak adanya objek yang cocok dengan deskripsi tertentu. Dalam kerangka ini, kalimat "Ronald McDonald tidak ada" sejatinya mengandung makna: "tidaklah benar bahwa ada badut hamburger yang bahagia dan unik".

### Teori Orde-Pertama
Menurut teori orde-pertama, eksistensi dipandang sebagai suatu sifat yang melekat pada individu. Teori-teori ini tidak sepopuler teori orde-kedua, tetapi tetap memiliki sejumlah pendukung berpengaruh. Terdapat dua jenis teori orde-pertama: Meinongianisme dan universalisme.

#### Meinongianisme
Meinongianisme, yang memandang eksistensi sebagai sifat dari sebagian namun bukan seluruh entitas, pertama kali dirumuskan oleh Alexius Meinong. Pokok gagasannya ialah bahwa terdapat entitas yang tidak eksis, sehingga keobjekan bersifat terlepas dari eksistensi. Contoh yang diajukan bagi objek-objek non-eksisten mencakup objek-objek yang mungkin belaka, seperti babi terbang, maupun tokoh fiksi dan mitologi seperti Sherlock Holmes dan Zeus. Menurut pandangan ini, objek-objek tersebut nyata dan memiliki keberadaan tertentu, meskipun mereka tidak eksis.  
Meinong menyatakan bahwa ada objek bagi setiap kombinasi sifat. Sebagai contoh, terdapat sebuah objek yang hanya memiliki satu sifat, yakni "menjadi seorang penyanyi", tanpa sifat lain apa pun. Dengan demikian, atribut "memakai gaun" maupun ketiadaannya tidak berlaku pada objek tersebut. Meinong juga memasukkan objek-objek mustahil seperti persegi bulat ke dalam klasifikasi ini.

Menurut para penganut Meinongianisme, kalimat yang mendeskripsikan Sherlock Holmes dan Zeus merujuk pada objek-objek non-eksisten. Kalimat-kalimat tersebut dapat bernilai benar atau salah bergantung pada apakah objek-objek itu memiliki sifat yang dilekatkan kepadanya.  
Sebagai contoh, kalimat "Pegasus memiliki sayap" adalah benar karena "memiliki sayap" merupakan sifat Pegasus, meskipun Pegasus tidak memiliki sifat eksis.

Salah satu motivasi utama Meinongianisme adalah menjelaskan bagaimana pernyataan negatif singular tentang eksistensi, seperti "Ronald McDonald tidak eksis", dapat bernilai benar. Penganut Meinongianisme menerima gagasan bahwa istilah singular seperti "Ronald McDonald" tetap merujuk pada individu. Bagi mereka, suatu pernyataan negatif singular mengenai eksistensi bernilai benar apabila individu yang dirujuk memang tidak eksis.

Meinongianisme memiliki implikasi penting bagi pemahaman tentang kuantifikasi. Menurut pandangan berpengaruh yang dibela oleh Willard Van Orman Quine, ranah kuantifikasi dibatasi hanya pada objek-objek yang eksis. Pandangan ini mengandaikan bahwa kuantor mengandung komitmen ontologis mengenai apa yang ada dan apa yang tidak. Meinongianisme berbeda dengan pandangan ini karena menyatakan bahwa ranah kuantifikasi yang paling luas mencakup baik objek yang eksis maupun yang tidak eksis.

Beberapa aspek dari Meinongianisme bersifat kontroversial dan telah menuai kritik yang cukup besar. Salah satu keberatan menyatakan bahwa tidak ada perbedaan yang jelas antara "menjadi sebuah objek" dan "menjadi objek yang eksis". Kritik lain yang berkaitan erat berpendapat bahwa objek tidak mungkin memiliki sifat jika mereka tidak eksis. Keberatan lain menyatakan bahwa Meinongianisme menimbulkan "semesta yang terlalu padat" karena selalu ada objek untuk setiap kombinasi sifat. Kritik yang lebih spesifik menolak gagasan bahwa terdapat objek yang tidak lengkap maupun yang mustahil.

#### Universalisme
Kaum universalis sependapat dengan para pengikut Meinong bahwa keberadaan adalah sifat yang melekat pada individu. Namun, mereka menolak gagasan tentang adanya entitas yang tidak-ada. Bagi kaum universalis, keberadaan adalah suatu sifat universal; semua entitas memilikinya, sehingga segala sesuatu, tanpa kecuali, eksis. Salah satu pendekatan untuk menjelaskan hal ini adalah dengan mengatakan bahwa keberadaan itu identik dengan kesepadanan diri. Menurut hukum identitas, setiap objek adalah identik dengan dirinya sendiri, atau dengan kata lain, memiliki sifat kesepadanan diri. Dalam logika predikat, hal ini dapat dinyatakan sebagai \forall x (x=x).

Salah satu argumen yang berpengaruh dalam mendukung universalisme adalah bahwa penolakan terhadap keberadaan sesuatu mengandung kontradiksi. Kesimpulan ini berpangkal pada premis bahwa seseorang hanya dapat menyangkal keberadaan sesuatu dengan merujuk pada entitas tersebut, dan bahwa rujukan hanya mungkin kepada entitas yang memang ada.

Kaum universalis mengajukan berbagai cara dalam menafsirkan kalimat eksistensial tunggal-negatif. Menurut salah satu pandangan, nama dari tokoh-tokoh fiksi seperti "Ronald McDonald" sesungguhnya merujuk pada objek abstrak, yang tetap eksis meskipun tidak berada dalam ruang dan waktu. Dari sudut pandang ini, setiap pernyataan eksistensial tunggal-negatif adalah salah, termasuk klaim bahwa "Ronald McDonald tidak ada". Namun, kaum universalis dapat menafsirkan kalimat semacam itu secara lebih longgar bergantung pada konteks. Dalam percakapan sehari-hari, misalnya, ketika seseorang berkata "Ronald McDonald tidak ada", maksudnya adalah bahwa Ronald McDonald tidak ada sebagai objek konkret, dan pernyataan ini memang benar.  
Pendekatan lain menafsirkan kalimat eksistensial tunggal-negatif sebagai sesuatu yang tidak benar maupun tidak salah, melainkan tak bermakna, sebab istilah tunggal di dalamnya tidak merujuk pada apa pun.

## Sejarah
### Filsafat Barat
Filsafat Barat berakar pada para filsuf pra-Sokratik, yang berusaha menggantikan penjelasan mitologi Yunani tentang alam semesta dengan uraian rasional yang bertumpu pada prinsip-prinsip dasar segala keberadaan. Beberapa di antara mereka, seperti Thales (sekitar 624–545 SM) dan Herakleitos (sekitar 540–480 SM), mengajukan bahwa prinsip-prinsip konkrit seperti air dan api merupakan akar dari segala yang ada. Anaximandros (sekitar 610–545 SM) menentang pandangan ini; baginya, sumber sejati mesti terletak pada asas abstrak yang melampaui jangkauan persepsi manusia.

  

Plato (428/427–348/347 SM) berpendapat bahwa berbagai jenis entitas memiliki derajat keberadaan yang berbeda: bayangan dan citra hanya ada dalam arti yang lebih lemah dibanding benda material. Menurutnya, bentuk Platonik yang tak berubah memiliki tingkat keberadaan tertinggi, sementara benda-benda material hanyalah salinan rapuh dan fana dari bentuk-bentuk Platonik itu.

Filsuf Aristoteles (384–322 SM) menerima perbedaan Plato antara bentuk dan materi, namun ia menolak gagasan bahwa bentuk memiliki taraf keberadaan lebih tinggi. Menurutnya, bentuk tak mungkin ada tanpa materi. Aristoteles menegaskan bahwa "ada" dikatakan dalam banyak cara, lalu meneliti bagaimana tiap jenis entitas memiliki modus keberadaan yang berbeda. Ia, misalnya, membedakan antara substansi dan aksiden, serta antara potensialitas dan aktualitas.

Kaum Neoplatonis seperti Plotinos (204–270 M) mengajukan bahwa realitas memiliki struktur hierarkis. Mereka meyakini adanya entitas transenden yang disebut "Sang Esa" atau "Yang Baik", yang menjadi sumber segala keberadaan. Dari-Nya memancar akal budi, yang kemudian melahirkan jiwa dan akhirnya dunia material.

  

Dalam filsafat abad pertengahan, Anselm dari Canterbury (1033–1109 M) merumuskan argumen ontologis yang berpengaruh, yakni upaya menurunkan keberadaan Tuhan dari gagasan tentang Tuhan itu sendiri. Anselm mendefinisikan Tuhan sebagai makhluk yang paling mungkin dipikirkan. Ia menalar bahwa makhluk yang hanya ada dalam pikiran tak dapat disebut sebagai yang paling agung, sehingga menyimpulkan bahwa Tuhan sungguh ada.

Thomas Aquinas (1224–1274 M) membedakan antara esensi suatu hal dengan keberadaannya. Menurutnya, esensi menyatakan hakikat terdalam suatu benda. Ia menekankan bahwa seseorang dapat memahami apa suatu benda itu tanpa harus mengetahui apakah benda itu sungguh ada. Dari sini ia menyimpulkan bahwa keberadaan bukan bagian dari kualitas benda, melainkan sifat yang terpisah. Aquinas juga menelaah persoalan penciptaan dari ketiadaan, dan menegaskan hanya Tuhan yang mampu menghadirkan sesuatu ke dalam keberadaan secara mutlak. Pemikiran ini kemudian mengilhami filsuf Gottfried Wilhelm Leibniz (1646–1716), yang berpendapat bahwa mencipta berarti menganugerahkan keberadaan nyata pada objek-objek yang mungkin.

Para filsuf David Hume (1711–1776) dan Immanuel Kant (1724–1804) menolak pandangan bahwa keberadaan adalah sebuah sifat. Bagi Hume, benda hanyalah himpunan kualitas. Ia menegaskan bahwa keberadaan bukanlah sifat karena tak ada kesan terpisah tentang "ada" selain sekumpulan kualitas itu. Kant sampai pada kesimpulan serupa dalam kritiknya terhadap argumen ontologis: bukti itu gagal karena dari definisi suatu konsep tak dapat diturunkan apakah entitas yang dideskripsikan benar-benar ada. Menurutnya, keberadaan tidak menambahkan apapun pada konsep benda; ia hanya menandakan bahwa konsep itu terejawantah. Sementara itu, filsuf Georg Wilhelm Friedrich Hegel (1770–1831) berpendapat tidak ada "ada murni" atau "tiada murni", yang ada hanyalah "menjadi".

  

Filsuf sekaligus psikolog Franz Brentano (1838–1917) sejalan dengan kritik Kant, menolak gagasan bahwa keberadaan adalah predikat nyata. Ia membangun teori penilaiannya berdasarkan hal ini: semua penilaian bersifat eksistensial, yakni mengafirmasi atau menafikan keberadaan sesuatu. Baginya, pernyataan seperti "beberapa zebra bergaris" sesungguhnya berbentuk "ada zebra bergaris", sementara pernyataan "semua zebra bergaris" berarti "tidak ada zebra yang tak bergaris".

Gottlob Frege (1848–1925) dan Bertrand Russell (1872–1970) berupaya memperhalus pemahaman tentang keberadaan sebagai sesuatu yang bukan sekadar sifat biasa. Mereka membedakan antara sifat-sifat tingkat pertama yang dimiliki individu dengan sifat-sifat tingkat kedua yang dimiliki oleh sifat itu sendiri. Menurut pandangan mereka, keberadaan adalah sifat tingkat kedua berupa "terinstansiasi". Russell kemudian menekankan bahwa kalimat umum seperti "singa itu ada" pada hakikatnya menyatakan bahwa ada individu yang merupakan singa.

Willard Van Orman Quine (1908–2000) mengikuti jejak Frege dan Russell dalam menerima keberadaan sebagai sifat tingkat kedua. Ia menautkan erat keberadaan dengan peran kuantifikasi dalam logika formal. Gagasannya ini diterapkan pada teori ilmiah: suatu teori berkomitmen secara ontologis terhadap keberadaan entitas jika teori itu mengkuantifikasi entitas tersebut. Misalnya, bila sebuah teori biologi menyatakan "ada populasi dengan keragaman genetik", maka teori itu terikat pada keberadaan populasi dengan keragaman genetik.  

Sebaliknya, Alexius Meinong (1853–1920) tampil sebagai pengkritik berpengaruh atas teori sifat tingkat kedua, dengan pandangan alternatif bahwa keberadaan adalah sifat individu, dan tidak semua individu memiliki sifat ini.

### Filsafat Timur

Banyak aliran pemikiran dalam filsafat Timur membicarakan persoalan keberadaan dan segala implikasinya. Misalnya, aliran kuno Hindu Samkhya merumuskan suatu dualisme metafisis, di mana keberadaan terdiri atas dua asas: kesadaran murni (*[[Purusha]]*) dan materi (*[[Prakriti]]*). Samkhya menjelaskan lahirnya jagat raya sebagai hasil interaksi dari dua prinsip tersebut. Sementara itu, filsuf Veda Adi Shankara (sekitar 700–750 M) mengembangkan pendekatan berbeda dalam mazhabnya, Advaita Vedanta. Shankara membela monisme metafisis dengan menetapkan yang ilahi (*[[Brahman]]*) sebagai realitas tertinggi dan satu-satunya yang benar-benar ada. Menurut pandangannya, kesan bahwa alam semesta tersusun atas banyak entitas yang berbeda hanyalah ilusi (*[[Maya (religion)|Maya]]*). Hakikat realitas tertinggi ini digambarkan dengan istilah *[[Sat Chit Ananda]]*—yang berarti keberadaan, kesadaran, dan kebahagiaan sejati.

Salah satu doktrin utama dalam filsafat Buddha dikenal sebagai "tiga corak keberadaan" (*[[anicca|aniccā]]*, *[[anattā]]*, dan *[[dukkha]]*). *Aniccā* menegaskan bahwa segala sesuatu tunduk pada perubahan—tidak ada yang kekal, semua akan berubah pada waktunya. *Anattā* menyatakan bahwa manusia tidak memiliki inti diri yang abadi atau suatu jati diri yang terpisah. Ketidaktahuan akan *aniccā* dan *anattā* inilah yang dianggap sebagai akar *dukkha*, karena melahirkan keterikatan yang pada akhirnya menimbulkan penderitaan.

Gagasan pokok dalam banyak aliran filsafat Tiongkok, seperti Daoisme dari Laozi (abad ke-6 SM), adalah bahwa terdapat prinsip mendasar yang dikenal dengan sebutan *[[dao]]*, sumber dari seluruh wujud. Istilah ini kerap diterjemahkan sebagai "jalan", dan dipahami sebagai kekuatan kosmik yang menata hukum alam semesta. Para metafisikus Tiongkok memperdebatkan apakah *dao* merupakan bentuk keberadaan itu sendiri, ataukah justru, sebagai sumber keberadaan, ia berada di ranah ketiadaan.

Konsep keberadaan juga menempati posisi sentral dalam filsafat Arab-Persia. Para pemikir Islam seperti Avicenna (980–1037 M) dan Al-Ghazali (1058–1111 M) membahas hubungan antara wujud dan hakikat, serta menegaskan bahwa hakikat sesuatu mendahului keberadaannya. Agar sesuatu benar-benar ada, hakikatnya harus diwujudkan terlebih dahulu. Namun, filsuf Mulla Sadra (1571–1636 M) menolak gagasan prioritas hakikat atas keberadaan. Baginya, hakikat hanyalah konsep yang digunakan akal budi untuk memahami wujud, sementara keberadaan itu sendiri mencakup keseluruhan realitas.

### Tradisi lainnya
Filsafat masyarakat pribumi Amerika cenderung menekankan keterhubungan segala wujud serta pentingnya menjaga keseimbangan dan harmoni dengan alam. Hal ini sering dipadukan dengan pandangan animistis, yang mengakui adanya jiwa atau esensi spiritual dalam sebagian atau seluruh entitas, termasuk tumbuhan, batu, dan bahkan tempat-tempat tertentu.

Perhatian terhadap aspek relasional dari keberadaan juga tampak dalam filsafat Afrika, yang mengeksplorasi bagaimana segala sesuatu saling terhubung secara kausal membentuk suatu tatanan kosmos. Filsafat Afrika juga menyoroti gagasan tentang adanya daya hidup yang mendasari dan menjiwai segala sesuatu, memungkinkan entitas untuk saling memengaruhi dalam jejaring kehidupan.

## Dalam berbagai disiplin ilmu
### Logika formal

Logika formal menelaah argumen yang sah secara deduktif. Dalam logika orde-pertama, yang merupakan sistem logika formal paling umum digunakan, keberadaan dinyatakan melalui kuantor eksistensial (\exists). Misalnya, rumus \exists x \text{Horse}(x) dapat dipakai untuk menyatakan bahwa kuda ada. Variabel *x* merentang atas seluruh unsur dalam domain kuantifikasi, dan kuantor eksistensial menegaskan bahwa setidaknya terdapat satu unsur dalam domain tersebut yang merupakan kuda. Dalam logika orde-pertama, semua istilah tunggal seperti nama menunjuk pada objek dalam domain dan mengandaikan keberadaan objek itu. Karena itu, dari pernyataan \text{Honest}(Bill) (Bill jujur) dapat diturunkan \exists x \text{Honest}(x) (ada seseorang yang jujur). Jika hanya ada satu objek yang memenuhi deskripsi tertentu, maka digunakan kuantor eksistensial unik \exists !.

Banyak sistem logika yang berakar pada logika orde-pertama juga mengikuti gagasan ini. Logika bebas merupakan pengecualian, karena ia mengizinkan adanya nama kosong yang tidak menunjuk pada objek manapun dalam domain. Dengan modifikasi ini, penalaran logis dapat diterapkan pada entitas fiksi, tidak hanya pada objek nyata. Dalam logika bebas, seseorang dapat mengekspresikan bahwa Pegasus adalah seekor kuda bersayap dengan rumus \text{Flyinghorse}(Pegasus). Namun, konsekuensinya adalah dari pernyataan semacam ini tidak bisa ditarik kesimpulan bahwa sesuatu sungguh ada. Artinya, inferensi dari \text{Flyinghorse}(Pegasus) menuju \exists x \text{Flyinghorse}(x) dianggap tidak sah dalam logika bebas, meskipun sah dalam logika orde-pertama. 

Logika bebas menambahkan predikat eksistensi khusus (E!) untuk menyatakan bahwa suatu istilah tunggal merujuk pada objek yang benar-benar ada. Sebagai contoh, rumus E!(Homer) dapat dipakai untuk menyatakan bahwa Homer ada, sementara \lnot E!(Pegasus) menegaskan bahwa Pegasus tidak ada.

### Lain-lain
Bidang-bidang seperti epistemologi, filsafat pikiran, dan filsafat bahasa membahas representasi mental maupun linguistik dalam upaya memahami hakikat pengetahuan, pikiran, serta bahasa. Dari sini lahirlah persoalan tentang referensi, yakni bagaimana representasi dapat merujuk pada objek yang sungguh ada. Contoh representasi tersebut mencakup keyakinan, pikiran, persepsi, kata-kata, dan kalimat. Sebagai misal, dalam pernyataan "Barack Obama adalah seorang Demokrat", nama "Barack Obama" menunjuk kepada individu tertentu. Persoalan referensi ini juga menyentuh epistemologi persepsi, terutama mengenai apakah kesan indrawi membentuk kontak langsung dengan realitas.  

Persoalan referensi erat kaitannya dengan hubungan antara representasi yang benar dan keberadaan. Menurut teori pembuat-kebenaran (*truthmaker theory*), setiap representasi yang benar menuntut adanya "pembuat kebenaran", yakni suatu entitas yang keberadaannya menjadikan representasi itu benar. Misalnya, kalimat "kanguru hidup di Australia" benar karena memang ada kanguru di Australia; keberadaan kanguru itulah yang menjadi pembuat kebenaran dari kalimat tersebut. Teori ini menegaskan adanya jalinan erat antara kebenaran dan eksistensi: untuk setiap representasi yang benar, terdapat pula pembuat kebenarannya.  

Berbagai disiplin ilmu pun memusatkan perhatian pada keberadaan jenis-jenis entitas tertentu beserta hukum yang mengatur mereka—misalnya benda fisik dalam fisika dan makhluk hidup dalam biologi. Ilmu alam menggunakan beragam konsep untuk mengklasifikasi entitas; kategori ini disebut jenis alami, mencakup proton, emas, maupun gajah. Bagi realis ilmiah, entitas-entitas itu memiliki keberadaan yang independen dari pikiran manusia. Sebaliknya, anti-realis ilmiah berpendapat bahwa keberadaan kategori tersebut berakar pada persepsi, teori, serta konstruksi sosial manusia.  

Persoalan serupa muncul mengenai eksistensi jenis-jenis sosial, yakni konsep-konsep dasar dalam ilmu sosial seperti ras, gender, disabilitas, uang, dan negara-bangsa. Jenis-jenis sosial ini kerap dipahami sebagai konstruksi sosial yang, meski berguna untuk menjelaskan kerumitan kehidupan manusia, tidak termasuk ke dalam realitas objektif pada tataran paling mendasar. Menurut hipotesis kontroversial Sapir–Whorf, lembaga sosial berupa bahasa memengaruhi, bahkan mungkin sepenuhnya menentukan, cara manusia memandang dan memahami dunia.  

Eksistensialisme adalah aliran pemikiran yang menelaah hakikat keberadaan manusia. Salah satu gagasan pokoknya ialah bahwa eksistensi mendahului esensi. Artinya, eksistensi lebih mendasar daripada esensi. Maka, kodrat dan tujuan manusia tidak hadir terlebih dahulu, melainkan terbentuk seiring dengan proses hidup itu sendiri. Dalam pandangan ini, manusia dilemparkan ke dalam dunia yang tidak memiliki makna batiniah yang telah ditentukan sejak awal. Mereka sendirilah yang harus menentukan tujuan dan makna hidupnya. Eksistensialisme feminis mengkaji pengaruh gender terhadap eksistensi manusia, misalnya terhadap pengalaman kebebasan. Tokoh-tokoh eksistensialis berpengaruh antara lain Søren Kierkegaard (1813–1855), Friedrich Nietzsche (1844–1900), Jean-Paul Sartre (1905–1980), dan Simone de Beauvoir (1908–1986). Pemikiran eksistensialis juga berpengaruh dalam refleksi sosiologis tentang peran eksistensi manusia. Sosiologi eksistensial mengkaji cara manusia mengalami dunia sosial serta membangun realitas. Teori eksistensi, yang lebih baru, menitikberatkan pada dimensi temporal eksistensi dalam masyarakat, dengan menelaah bagaimana tonggak-tonggak eksistensial yang ingin dicapai manusia memengaruhi jalan hidup mereka.  

Para matematikawan pun kerap menaruh perhatian pada keberadaan objek matematika tertentu. Misalnya, ahli teori bilangan menanyakan berapa banyak bilangan prima terdapat dalam suatu interval tertentu. Pernyataan bahwa terdapat sekurang-kurangnya satu objek matematika yang memenuhi suatu deskripsi tertentu disebut teorema eksistensi. Metafisikawan matematika menelaah apakah objek-objek matematika ada tidak hanya dalam kaitannya dengan aksioma matematika, tetapi juga sebagai bagian dari struktur fundamental realitas. Posisi ini ditegaskan oleh platonis, sedangkan nominalis beranggapan bahwa objek matematika tidak memiliki wujud eksistensi yang lebih substansial, misalnya karena mereka hanyalah fiksi yang berguna.  

Banyak perdebatan dalam teologi berkisar pada eksistensi Yang Ilahi, dengan argumen yang diajukan baik untuk mendukung maupun menentangnya. Argumen kosmologis menyatakan bahwa Tuhan harus ada sebagai sebab pertama untuk menjelaskan fakta-fakta tentang keberadaan serta aspek-aspek alam semesta. Menurut argumen teleologis, satu-satunya penjelasan bagi keteraturan dan kompleksitas alam semesta serta kehidupan manusia adalah dengan merujuk pada Tuhan sebagai perancang cerdas. Sebaliknya, argumen yang berpengaruh menentang keberadaan Tuhan berakar pada masalah kejahatan, sebab tampak sukar menjelaskan bagaimana kejahatan dapat ada jika Tuhan bersifat mahakuasa, mahatahu, dan mahabijaksana. Argumen lain menunjuk pada ketiadaan bukti konkret mengenai eksistensi Tuhan.

## Lihat pula

* *[[Cogito, ergo sum]]*
* Solipsisme

## Referensi
### Catatan

### Kutipan

### Sumber

* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## Pranala luar

*
* The Concept of Existence: History and Definitions from Leading Philosophers