Varoluş

**Varoluş**, felsefe tarihi boyunca önem taşımış, her tür felsefi tartışmanın merkezinde yer almış felsefe kavramlarından biridir. Var olanların varlığını bildirir, öz'ün karşıtıdır, yani bir şeyin ne olduğunu değil var olduğunu bildirir. Salt bir var olma durumu olarak varoluş. Felsefe akımlarında ya da okullarında pek çok farklı anlamlarda kullanılıp değerlendirilmiştir. Örneğin skolastik felsefede varoluş, var olan her şeyin (Tanrı ya da bir toz zerreciği) gerçekliğini bildirir. Daha dar ve doğa bilimsel anlamda ise varoluş, belirli bir bağlamda uzay-zaman boyutunda yer almak ya da *şimdi ve burada* var olmak anlamında belirtilir.

## Felsefî görüşler
Varoluş kavramı en geniş açılımına ya da popülerliğine varoluşçu felsefe ile kavuşmuş diyebiliriz. Kierkegaard, Karl Jaspers, Martin Heidegger, Sartre gibi filozoflar varoluş kavramını zenginleştirmişler ve kendi felsefelerinin ilkesi olarak değerlendirmişlerdir. Kierkegaard, Tanrı ve sonsuzluk önünde yapayalnız olmak anlamında *insanın varoluşu*ndan söz eder. Sartre'da kendi felsefesini özetlerken "*varoluş özden önce gelir*" diyecektir. Önceden bir nesne gibi verilmemiştir insan varoluşu, yapılmak ya da oluşturulmak üzere mutlak bir sorumlulukla sunulmuş bir kaynaktır. Heidegger, "*insanın özü varoluşundadır*" demektedir.

## Varoluş çeşitleri

Varoluşun (Alm. **') üç çeşidi vardır:

* ''Gerekli varoluş'' ([[Almanca|Alm.]] **', Ar. (wājib ul-wujūd)): Onsuz hiçbir şey olamaz. Her şeyin başıdır. Bazı felsefelerde gerekli varoluş tanrıdır.
* *Gerekli olmayan varoluş* (Alm. **'): Gerekli varoluşun dışında var olması şart olmayan her şey. Mesela bir taş olmasa durduğu yer boş kalır, fakat Dünya buna rağmen varlığını sürdürebilir.
* ''Mümkün olmayan varoluş'' ([[Almanca|Alm.]] **'): Varlığı çelişki yaratacağı için olması düşünülemeyen varoluşlardır. Gerekli varoluşu her şeye kadir olan tanrı olduğunu ileri süren bir felsefe için mümkün olmayan varoluşa "tanrının kaldıramayacak kadar ağır bir taş" örnek olarak gösterilebilir. (Bu taşın varlığı, her şeye kadir olan tanrının kadrini sınırlayacağından tanrının bu özelliği ile (Alm. **') çelişmektedir.)

**Varoluş** gerçek olma veya [[gerçeklik|gerçekliğe]] katılma durumudur. Hem bireysel varlıklara hem de bir bütün olarak dünyaya atıfta bulunabilir. "**Varolmak**" ve "gerçeklik" terimleri sıklıkla yakın eşanlamlı olarak kullanılır. Varoluş, **varolmamak*', [[hiçlik]] ve yokluk ile tezat oluşturur. Bir varlığın varlığı ile varlığın doğasına veya temel niteliklerine atıfta bulunan [[öz]]ü arasında ortak bir ayrım vardır.

[[Ontoloji]], varoluşun ne olduğunu inceleyen felsefi disiplindir. Ortodoks görüş, bunun ikinci dereceden bir [[özellik]] veya özelliklerin bir özelliği olduğu yönündedir. Bu görüşe göre bir şeyin var olduğunu söylemek onun özelliklerinin somutlaştığı anlamına gelir. Farklı bir görüş, varlığın birinci dereceden bir özellik veya bireylerin bir özelliği olduğunu savunur. Bu, varoluşun bireylerin renk ve şekil gibi diğer özellikleriyle aynı ontolojik statüye sahip olduğu anlamına gelir. [[Alexius Meinong|Meinongcular]] bu fikri kabul ediyor ve tüm bireylerin bu özelliğe sahip olmadığını savunuyorlar: var olmayan bazı bireylerin olduğunu belirtiyorlar. Bu görüş, varoluşu her bireyin evrensel bir özelliği olarak gören evrenselciler tarafından reddedilmektedir.

Akademik literatürde çeşitli varoluş türleri tartışılmaktadır. Tekil varoluş, bireysel varlıkların varlığıdır; genel varoluş ise [[kavram]]ların veya [[Tümel|Evrensel]]lerin varlığını ifade eder. Diğer ayrımlar [[soyut ve somut]] varoluş arasında, olası, [[Olumsallık|koşullu]] ve zorunlu varoluş arasında ve [[Madde|fiziksel]] ve [[zihin]]sel varoluş arasındadır. Yakından ilgili bir konu, farklı türdeki varlıkların farklı şekillerde veya farklı derecelerde var olup olmadığıdır. Ontolojideki anahtar soru, genel olarak varoluşun bir nedeninin olup olmadığı veya [[Varlık neden var|neden herhangi bir şeyin var olduğu]]'dur. Varlık kavramı [[mantık]], [[epistemoloji]], [[zihin felsefesi]], [[dil felsefesi]] ve [[varoluşçuluk]] gibi çeşitli alanlarla ilgilidir.

== Etimoloji ==
"Varoluş" kelimesi İngilizceye 14. yüzyılın sonlarında [[eski Fransızca]]'dan girmiştir. Kökleri Orta Çağ Latincesinde öne çıkmak, belirmek ve ortaya çıkmak anlamına gelen  terimine dayanmaktadır.

== Tanım ve ilgili terimler ==
Varoluş gerçek olma durumudur. Var olmak, varoluşa sahip olmak ya da [[gerçeklik|gerçekliğe]] katılmak anlamına gelir. Varlık, gerçek varlıkları hayali varlıklardan ayıran şeydir. Hem bireysel varlıklara hem de gerçekliğin bütünlüğüne atıfta bulunabilir. Varlık, [[ontoloji]] olarak bilinen [[metafizik]] alt disiplini tarafından incelenir.

"Varolmak" ve "gerçeklik" terimleri varoluşla yakından ilgilidir. Genellikle "varoluş"un eşanlamlıları olarak kullanılırlar ancak teknik terimler olarak anlamları birbirinden ayrılabilir. Örneğin metafizikçiye [[Alexius Meinong]]'a göre, tüm varlıklar vardır, ancak hepsinin varoluşu yoktur. Noel Baba gibi yalnızca olası nesnelerin var olduğunu, ancak varoluştan yoksun olduğunu savunuyor. Ontolog Takashi Yagisawa, varoluşu gerçeklikle karşılaştırıyor. Tüm varlıkları eşit şekilde karakterize ettiği için "gerçekliği" daha temel bir terim olarak görüyor. Varoluşu, bir varlığı içinde yaşadığı dünyaya bağlayan göreceli bir terim olarak tanımlar. [[Gottlob Frege]]'ye göre aktüalite varoluştan daha dardır. Aktüel varlıkların değişim yaratabileceğini ve değişime uğrayabileceğini savunuyor. Sayılar ve [[küme]]ler gibi bazı mevcut varlıkların aktüel olmadığını belirtiyor.

Varoluş, gerçekliğin yokluğuna işaret eden varolmamak ile tezat oluşturuyor. Nesnelerin var olan ve olmayan nesneler olarak ikiye ayrılıp ayrılamayacağı tartışmalıdır. Bu ayrım bazen ejderhalar ve tek boynuzlu atlar gibi kurgusal nesneleri düşünmenin nasıl mümkün olduğunu açıklamak için kullanılır. Ancak var olmayan nesneler kavramı genel olarak kabul edilmemektedir. Yakından ilişkili zıt terimler [[hiçlik]] ve varolmamaktır.

Bir başka karşıtlık da varoluş ile [[öz]] arasındadır. Öz, bir varlığın içsel doğasını veya tanımlayıcı niteliklerini ifade eder. Bir şeyin özü, onun ne tür bir varlık olduğunu ve diğer varlıklardan nasıl farklılaştığını belirler. Öz bir varlığın ne olduğuna, varoluş ise onun olduğu gerçeğine karşılık gelir. Mesela bir cismin var olup olmadığı bilinmese bile ne olduğunu anlamak, mahiyetini kavramak mümkündür.

[[Edmund Husserl]] ve Quentin Boyce Gibson gibi bazı filozoflar "varoluş"un temel bir kavram olduğunu savunurlar. Bu, döngüsellik içermeden başka terimlerle tanımlanamayacağı anlamına gelir. Bu, varoluşu karakterize etmenin veya doğası hakkında önemsiz olmayan bir şekilde konuşmanın zor veya imkansız olabileceği anlamına gelebilir.

Bununla yakından ilgili bir konu da ince ve kalın varoluş kavramları arasındaki ayrımla ilgilidir. İnce kavramlar, varoluşu, var olan her şeyin paylaştığı mantıksal bir özellik olarak anlar. Varoluşa sahip olmanın metafiziksel imalarına ilişkin önemli bir içerik içermemektedir. İnce bir varoluş kavramına bir örnek, varoluşun öz-kimliğin mantıksal özelliğiyle aynı olduğunu belirtmektir. İnce bir varoluş kavramına bir örnek, varoluşun öz-kimliğin mantıksal özelliğiyle aynı olduğunu belirtmektir. Yoğun varoluş kavramları, bir şeyin var olmasının ne anlama geldiğine ve varoluşun hangi temel özelliklere işaret ettiğine dair metafiziksel bir analizi kapsar. Örneğin, [[George Berkeley]]'in *esse est percipi* iddiası, yoğun bir varoluş kavramı sunmaktadır. "Olmak algılanmaktır" şeklinde tercüme edilebilir ve tüm varoluşun zihinsel doğasını vurgular.existence.

Bazı filozoflar var olan varlıklar ile varlığın kendisi arasında bir fark olduğunu vurgulamaktadır. Bu ayrım, buna*ontolojik farklılık* adını veren [[Martin Heidegger]]'in felsefesinde merkezi bir rol oynar.

== Varoluşun doğasına ilişkin teoriler ==


Varlığın doğasına ilişkin teoriler, bir şeyin var olmasının ne anlama geldiğini açıklamayı amaçlamaktadır. Varoluşun doğasına ilişkin temel tartışma, onun bireylerin özelliği olarak anlaşılmasının gerekip gerekmediğidir.

İki ana varoluş teorisi birinci dereceden teoriler ve ikinci dereceden teorilerdir. Birinci dereceden teoriler varoluşu bireylerin bir özelliği olarak anlar. Bazı birinci dereceden teoriler bunu tüm bireylerin bir özelliği olarak görürken diğerleri bazı bireylerin var olmadığını savunur.
İkinci derece teoriler, varoluşun ikinci dereceden bir özellik, yani özelliklerin bir özelliği olduğunu savunur.

Varoluşun doğasına ilişkin farklı teoriler için temel zorluk, bir şeyin varlığını tutarlı bir şekilde inkâr etmenin nasıl mümkün olduğunu anlamaktır. Bir örnek "Noel Baba yoktur" cümlesidir. Zorluklardan biri, Noel Baba olmasa bile "Noel Baba" isminin nasıl anlamlı olabileceğini açıklamaktır.

==İkinci dereceden teoriler ==
İkinci dereceden teoriler genellikle ortodoks konum olarak görülür. Varlığı birinci dereceden bir özellikten ziyade ikinci dereceden bir özellik olarak anlarlar. Örneğin, [[Empire State Binası]] ayrı bir nesnedir ve *443,2 metre boyunda olması* birinci dereceden bir özelliktir. *Örnekleştirilmiş olma*, *443,2 metre boyunda olma*nın özelliğidir ve dolayısıyla ikinci dereceden bir özelliktir. İkinci derece teorilere göre varoluştan bahsetmek, hangi özelliklerin enstantaneleri olduğundan bahsetmek demektir. Örneğin bu görüş, "Tanrı vardır" cümlesinin, Tanrı'nın var olma özelliğine sahip olduğunu iddia etmediğini belirtir. Bunun yerine "Tanrılık somutlaştırılmıştır" anlamına gelir.

İkinci dereceden teorilerin temel motivasyonlarından biri, varoluşun "bir bina olmak" ve "443,2 metre boyunda olmak" gibi normal özelliklerden önemli açılardan farklı olmasıdır: düzenli özellikler bir nesnenin neye benzediğini ifade eder, ancak varoluş bunu ifade etmez. Bu görüşe göre varoluş, normal özelliklerden daha temeldir, çünkü o olmadan nesneler herhangi bir özelliği somutlaştıramaz.

İkinci dereceden teorisyenler genellikle yüklemlerden ziyade [[Niceleme (mantık)|niceleyicilerin]] varoluşu ifade ettiğini savunurlar. Niceleyiciler, belirli özelliklere sahip nesnelerin miktarından bahseden terimlerdir. Varoluşsal niceleyiciler en az bir nesnenin var olduğunu ifade eder. Örnekler arasında "bazıları" ve "vardır" gibi ifadeler yer alır; "bazı inekler ot yer" ve "çift asal sayı vardır" ifadelerinde olduğu gibi. Bu bakımdan varlık saymayla yakından ilgilidir; çünkü bir şeyin var olduğunu iddia etmek, ona karşılık gelen kavramın bir veya birden fazla örneğinin olduğunu iddia etmek demektir.

İkinci dereceden görüşler, "[[Tek delikliler|yumurtalayan memeliler]] vardır" gibi bir cümlenin yanıltıcı olduğunu, çünkü "var" kelimesinin bunlarda yüklem olarak kullanıldığını ima eder. Bunun yerine, gerçek mantıksal biçimlerinin "yumurtlayan memeliler olan varlıklar vardır" gibi yeniden formülasyonlarla daha iyi ifade edildiğini savunuyorlar. Bu şekilde *varoluş* niceleyici rol üstlenirken, *yumurtlayan memeliler* yüklemdir. Niceleyici yapılar aynı zamanda olumsuz varoluşsal ifadeleri ifade etmek için de kullanılabilir. Niceleyici yapılar aynı zamanda olumsuz varoluşsal ifadeleri ifade etmek için de kullanılabilir. Örneğin "konuşan kaplanlar yoktur" cümlesi "konuşan kaplanların olması söz konusu değil" şeklinde ifade edilebilir.

Birçok ontolog, ikinci derece teorilerin birçok varoluşsal cümle türünün doğru analizini sağladığını kabul eder. Ancak tüm durumlar için doğru olup olmadığı tartışmalıdır. Zorluklardan biri, negatif tekil varoluşsallıklar olarak adlandırılanlardan kaynaklanmaktadır. Negatif tekil varoluşsal ifadeler, belirli bir nesnenin var olduğunu inkâr eden ifadelerdir. Bunun bir örneği "[[Ronald McDonald]] yoktur" cümlesidir. Ronald McDonald gibi tekil terimler bireylere gönderme yapıyor gibi görünüyor. Negatif tekil varoluşsallar bu bireyin var olduğunu inkâr ettiğinden bu durum bir zorluk teşkil etmektedir. Bu, tekil terimin ilk etapta bireye nasıl atıfta bulunabileceğini belirsiz hale getiriyor. Bu soruna etkili bir çözüm Bertrand Russell tarafından önerildi. Tekil terimlerin doğrudan bireylere atıfta bulunmadığını, bunun yerine bireylerin tanımları olduğunu savunuyor. Pozitif tekil varoluşsallar, açıklamalarla eşleşen bir nesnenin var olduğunu doğrularken, negatif tekil varoluşsallar, açıklamalarla eşleşen bir nesnenin varlığını reddeder. Bu görüşe göre "Ronald McDonald yoktur" cümlesi "eşsiz bir mutlu hamburger palyaçosu yoktur" düşüncesini ifade etmektedir.

=== Birinci dereceden teoriler ===
Birinci dereceden teoriler varoluşun bireylerin bir özelliği olduğunu iddia eder. İkinci dereceden teorilere göre daha az kabul görürler ancak bazı etkili savunucuları da vardır. İki tür birinci dereceden teori vardır. Meinongianizm'e göre varoluş, varlıkların hepsinin değil, bazılarının özelliğidir. Bu görüş, var olmayan varlıklar olduğunu ima eder. Evrenselciliğe göre varoluş, her varlığın somutlaştırdığı evrensel bir özelliktir.

==== Meinongculuk ====
Meinongculuk, Meinong ve takipçilerinin savunduğu varoluşa ilişkin bir görüştür. Temel iddiası bazı varlıkların var olmadığıdır. Bu, nesnelliğin varoluştan bağımsız olduğu anlamına gelir. Var olmayan nesnelere ilişkin önerilen örnekler, uçan domuzlar gibi yalnızca olası nesnelerin yanı sıra [[Sherlock Holmes]] ve [[Zeus]] gibi kurgusal ve efsanevi nesnelerdir. Bu görüşe göre bu nesneler gerçektir ve var olmadıkları halde varlıkları vardır. Meinong, herhangi bir özellik kombinasyonu için bir nesnenin olduğunu belirtir. Örneğin hiçbir ek özelliği olmayan, yalnızca “şarkıcı olma” özelliğine sahip bir nesne vardır. Bu nesnenin ne *elbise giyme* özelliği, ne de *elbise giymeme* özelliği vardır. Meinong ayrıca yuvarlak kareler gibi imkansız nesneleri de içerir.

Meinongcular, Sherlock Holmes ve Zeus'un neye benzediğini anlatan cümlelerin, var olmayan nesnelere gönderme yaptığını belirtir. Bu nesnelerin kendilerine atfedilen özelliklere sahip olup olmamasına bağlı olarak doğru veya yanlıştırlar. Mesela "Pegasus'un kanatları vardır" cümlesi doğrudur çünkü Pegasus'ta var olma özelliği olmamasına rağmen "kanat sahibi olmak" Pegasus'a aittir.

Meinongculuğun temel motivasyonlarından biri, "Ronald McDonald yoktur" gibi olumsuz tekil varoluşçulukların nasıl doğru olabileceğini açıklamaktır. Meinongcular, "Ronald McDonald" gibi tekil terimlerin bireylere atıfta bulunduğu fikrini kabul ediyorlar. Onlara göre negatif tekil varoluşsallık, eğer atıfta bulunduğu birey mevcut değilse doğrudur.

Meinongculuğun niceliğin nasıl anlaşılacağı konusunda önemli çıkarımları vardır. [[Willard Van Orman Quine]] tarafından savunulan etkili bir görüşe göre, nicelikselleştirme alanı mevcut nesnelerle sınırlıdır. Bu görüş, niceleyicilerin neyin var olduğu ve neyin var olmadığı konusunda ontolojik taahhütler taşıdığını ima eder. Meinongculuk, en geniş nicelik alanının hem var olan hem de var olmayan nesneleri içerdiğini savunarak bu görüşten ayrılır.

Meinongculuğun bazı yönleri tartışmalıdır ve önemli eleştirilere maruz kalmıştır. Bir itiraza göre, nesne olmak ile var olan nesne olmak arasında ayrım yapılamaz. Bununla yakından ilgili bir eleştiri de nesnelerin, eğer var değilse, özelliklere sahip olamayacağı fikrine dayanmaktadır. Bir diğer itiraz ise, Meinongculuğun herhangi bir özellik kombinasyonuna karşılık gelen bir nesnenin mevcut olması nedeniyle "aşırı nüfuslu bir evrene" yol açmasıdır. Daha spesifik bir eleştiri ise, tamamlanmamış ve imkânsız nesnelerin var olduğu fikrini reddeder.

==== Evrensellik ====
Evrenselciler, varoluşun bireylerin özelliği olduğu konusunda Meinongcularla aynı fikirdedir. Ama var olmayan varlıkların var olduğunu inkâr ediyorlar. Bunun yerine varoluşun evrensel bir özellik olduğunu belirtiyorlar: tüm varlıklar bu özelliğe sahiptir, yani her şey vardır. Yaklaşımlardan biri, varoluşun öz kimlikle aynı olduğunu savunmaktır. [[Özdeşlik kanununa]] göre her nesne kendi kendisiyle aynıdır veya kendi kendine özdeşlik özelliğine sahiptir. Bu, [[yüklem mantığı]] cinsinden <math>\forall x (x = x)</math> olarak ifade edilebilir.

Evrenselcilik lehine etkili bir argüman, bir şeyin varlığını inkâr etmenin çelişkili olduğu iddiasına dayanmaktadır. Bu sonuç, bir şeyin varlığının ancak o varlığa atıfta bulunularak inkâr edilebileceği ve yalnızca var olan varlıklara atıfta bulunulabileceği önermelerinden kaynaklanmaktadır.

Evrenselciler, olumsuz tekil varoluşçuları yorumlamanın farklı yollarını önerdiler. Bir görüşe göre, "Ronald McDonald" gibi kurgusal varlıkların isimleri [[Soyut ve somut|soyut nesnelere]] gönderme yapmaktadır. Soyut nesneler uzayda ve zamanda var olmasalar da vardırlar. Bu, dar anlamda anlaşıldığında, "Ronald McDonald'ın var olmadığı" iddiası da dahil olmak üzere tüm olumsuz tekil varoluşsalların yanlış olduğu anlamına gelir. Ancak evrenselciler bu tür cümleleri bağlama göre biraz farklı yorumlayabilirler. Örneğin günlük yaşamda insanlar, Ronald McDonald'ın somut bir nesne olarak var olmadığı düşüncesini ifade etmek için "Ronald McDonald yoktur" gibi cümleler kullanırlar ki bu doğrudur. Farklı bir yaklaşım, negatif tekil varoluşsalların, tekil terimleri hiçbir şeye gönderme yapmadığı için bir [[doğruluk değeri]] içermediğini iddia etmektir. Bu görüşe göre bunlar ne doğru ne de yanlıştır, fakat [[Anlam (felsefe)|anlamsızdır]].

== Mevcut varlıkların türleri ==
Akademik literatürde farklı [[Kategori|mevcut varlık türleri]] tartışılmaktadır. Pek çok tartışma, bu türlerin ne olduğu, belirli bir türden varlıkların var olup olmadığı, farklı türdeki varlıkların birbirleriyle nasıl ilişkili olduğu ve bazı türlerin diğerlerinden daha temel olup olmadığı soruları etrafında dönüyor. Örnek olarak [[ruh]]ların var olup olmadığı, soyut, kurgusal ve evrensel varlıkların olup olmadığı ve gerçek dünya ve nesnelerinin yanı sıra olası dünyalar ve nesnelerin de var olup olmadığı gibi sorular verilebilir.

=== Tekil ve genel ===
Bir ayrım tekil ve genel varoluş arasındadır. Tekil varoluş, bireysel varlıkların varlığıdır. Örneğin "Angela Merkel var" cümlesi belirli bir kişinin varlığını ifade etmektedir. Genel varoluş, genel [[kavram]]lara, özelliklere veya [[evrensel]]lere ilişkindir. Örneğin "siyasetçiler vardır" cümlesi, genel "politikacı" teriminin herhangi bir politikacıya özel olarak atıfta bulunmadan örneklerinin olduğunu belirtmektedir.

Tekil ve genel varoluş birbirleriyle yakından ilişkilidir ve bazı filozoflar birini diğerinin özel bir durumu olarak açıklamaya çalışmışlardır. Örneğin Frege, genel varoluşun daha temel olduğunu savundu. Bu konumu destekleyen bir argüman, genel varoluşun tekil varoluş açısından ifade edilebileceğidir. Örneğin "Angela Merkel vardır" cümlesi "Angela Merkel'in aynısı varlıklar vardır" şeklinde ifade edilebilirken, "Angela Merkel'in aynısı olmak" ifadesi genel bir terim olarak anlaşılmaktadır. Tekil varoluşa öncelik veren Quine ise farklı bir konumu savunur. İlgili bir soru da tekil varoluş olmadan genel varoluşun olup olamayacağıdır. Henry S. Leonard gibi filozoflara göre, bir özelliğin genel varlığı ancak onu somutlaştıran en az bir gerçek nesne varsa mümkündür. Nicholas Rescher'in savunduğu farklı bir görüş ise,*tek boynuzlu at olma* özelliği gibi özelliklerin gerçek örnekleri olmasa bile var olabileceği yönündedir.

Bu sorunun evrensellerin varlığıyla ilgili uzun bir felsefi geleneği vardır. [[Platonculuk|Platonistler]] tümellerin, onları somutlaştıran ayrıntılardan bağımsız olarak [[Platonik formlar]] olarak genel varoluşa sahip olduklarını iddia ederler. [[Platonculuk|Platoncular]] evrensellerin, onları somutlaştıran ayrıntılardan bağımsız, [[İdealar teorisi|Platonik formlar]] olarak genel varoluşa sahip olduklarını iddia ederler. Bu görüşe göre kırmızılığın evrenseli, kırmızı nesnelerin var olup olmadığından bağımsız olarak mevcuttur.[[Aristotelesçilik]] de evrensellerin var olduğunu da kabul eder. Ancak varlıklarının onları somutlaştıran ayrıntılara bağlı olduğunu ve kendi başlarına var olamayacaklarını savunur. Bu görüşe göre uzay-zamansal dünyada örnekleri olmayan bir evrensel mevcut değildir. [[Adcılık|Nominalistler]] yalnızca tikellerin var olduğunu iddia eder ve evrensellerin var olduğunu reddederler.

=== Somut ve soyut ===
Ontolojideki bir başka etkili ayrım da [[Soyut ve somut|somut ve soyut nesneler]] arasındadır. Günlük yaşamda kayalar, bitkiler ve diğer insanlar gibi pek çok somut nesneyle karşılaşılır. Uzay ve zamanda var olurlar ve birbirlerini etkilerler: [[Nedensellik|nedensel güçlere]] sahiptirler ve diğer somut nesnelerden etkilenirler. Soyut nesneler uzay ve zamanın dışında var olur ve nedensel güçlerden yoksundur. Soyut nesnelere örnek olarak sayılar, kümeler ve türler verilebilir. Somut ve soyut nesneler arasındaki ayrım bazen varlığın en genel bölünmesi olarak ele alınır.


Somut nesnelerin var olduğu konusunda geniş bir fikir birliği vardır ancak soyut nesnelere ilişkin görüşler bölünmüştür. [[Felsefi gerçekçilik|Gerçekçiler]] soyut nesnelerin bağımsız varoluşa sahip olduğu fikrini kabul ederler. Bazıları soyut nesnelerin somut nesnelerle aynı varoluş tarzına sahip olduğunu iddia ederken, bazıları ise onların farklı şekilde var olduğunu ileri sürmektedir. [[Anti-realizm|Antirealistler]] soyut nesnelerin var olmadığını belirtirler. Bu genellikle varoluşun uzay ve zamanda bir konum veya nedensel etkileşim yeteneği gerektirdiği görüşüyle birleştirilir.

[[Ejderha]]lar ve [[kentaur]]lar gibi kurgusal nesneler soyut nesnelerle yakından ilişkilidir ve benzer sorunlar doğurur. Ancak iki terim aynı değildir. Örneğin, "iki ile üç arasındaki tam sayı" ifadesi kurgusal soyut bir nesneyi, "iki ile dört arasındaki tam sayı" ifadesi ise kurgusal olmayan soyut bir nesneyi ifade etmektedir. Benzer şekilde soyut kurgusal nesnelerin yanında, [[Pegasus|Bellererophon'un kanatlı atı]] gibi somut kurgusal nesneler de vardır.

=== Mümkün, koşullu ve gerekli ===
Diğer bir ayrım ise salt mümkün, [[Olumsallık|koşullu]] ve [[Metafiziksel zorunluluk|zorunlu]] varoluş arasındadır. Bir varlığın var olması gerekiyorsa veya var olmayı başaramaması mümkün değilse, zorunlu varoluşa sahiptir. Var olan ancak var olamama ihtimali olan varlıklar olumsaldır. Yalnızca olası varlıklar, var olmayan ancak var olabilecek varlıklardır.

Sıradan deneyimlerde karşılaşılan telefonlar, sopalar ve çiçekler gibi çoğu varlığın olumsal varlığı vardır.Herhangi bir varlığın zorunlu varoluşa sahip olup olmadığı açık bir sorudur. Bir görüşe göre, tüm somut nesneler olumsal varlığa sahipken, tüm soyut nesneler zorunlu varoluşa sahiptir. Bazı teorisyenlere göre kozmosun açıklayıcı temeli olarak bir veya birkaç zorunlu varlığa ihtiyaç vardır. Örneğin, [[İbn Sina|Avicenna]] ve [[Thomas Aquinas]] gibi filozoflar bu fikri takip eder ve Tanrı'nın zorunlu varoluşa sahip olduğunu iddia ederler.

Yalnızca olası nesnelerin olup olmadığı konusunda birçok akademik tartışma vardır. [[Üniformitaryanizm|Aktüalizm]]e göre, yalnızca gerçek varlıklar varlığa sahiptir. Buna hem koşullu hem de gerekli varlıklar dahildir. Ancak yalnızca olası varlıkları dışlar. Bu görüş, gerçek nesnelerin yanı sıra yalnızca olası nesnelerin de bulunduğunu belirten olasılıkçılar tarafından reddedilir. Örneğin, [[David Lewis (filozof)|David Lewis]] olası nesnelerin gerçek nesnelerle aynı şekilde var olduğunu savunuyor. Ona göre olası nesneler olası dünyalarda mevcutken, gerçek nesneler gerçek dünyada mevcuttur. Lewis olası dünyalar ile gerçek dünya arasındaki tek farkın konuşmacının konumu olduğunu savunur: "Gerçek" terimi, "burada" ve "şimdi" terimlerinin konuşmacının uzamsal ve zamansal konumuna gönderme yapmasına benzer şekilde, konuşmacının dünyasına gönderme yapar.

=== Fiziksel ve zihinsel ===
Diğer bir ayrım, [[zihin]]sel varlıkların aksine, [[Madde|fiziksel]] seviyede var olan varlıklar arasındadır. Fiziksel varlıklar arasında taşlar, ağaçlar ve insan vücudu gibi düzenli algılanan nesnelerin yanı sıra [[modern fizik]]'te tartışılan [[elektron]]lar ve [[proton]]lar gibi varlıklar da bulunur. Fiziksel varlıklar gözlemlenebilir ve ölçülebilir. Onlar [[kütle]]ye ve uzay ve zamanda bir konuma sahiptirler. Zihinsel varlıklar, algılar, zevk ve acı deneyimlerinin yanı sıra inançlar, arzular ve duygular gibi zihin alanına aittir. Bunlar öncelikle bilinçli deneyimlerle ilişkilidir ancak aynı zamanda bilinçdışı inançlar, arzular ve anılar gibi bilinçdışı durumları da içerir.

Fiziksel ve zihinsel varlıkların ontolojik statüsü metafizikte ve [[zihin felsefesi]]nde sık karşılaşılan bir konudur. [[Materyalizm|Materyalistlere]] göre, en temel düzeyde yalnızca fiziksel varlıklar vardır. Materyalistler genellikle zihinsel varlıkları fiziksel süreçlerle, örneğin beyin durumları veya sinirsel aktivasyon kalıplarıyla açıklarlar. [[İdealizm|İdealistler]] bu görüşü reddederler ve zihnin varoluşun nihai temeli olduğunu belirtirler. Fiziksel varlıkların türetilmiş bir varoluş biçimine sahip olduklarını, örneğin bunların zihinsel temsiller veya bilincin ürünleri olduğunu savunuyorlar. [[Zihin-beden düalizmi|Düalistler]] hem fiziksel hem de zihinsel varlıkların en temel düzeyde var olduğuna inanırlar. Birbirlerine çeşitli şekillerde bağlandıklarını ancak birinin diğerine indirgenemeyeceğini belirtiyorlar.

== Varoluş biçimleri ve dereceleri ==
Farklı varlık türleri sorunuyla yakından ilgili olan soru, onların varoluş tarzlarına ilişkin olarak da farklılık gösterip göstermedikleridir. Ontolojik çoğulculuğa göre durum budur. Bu görüşe göre, farklı türlere ait varlıklar, yalnızca temel özellikleri bakımından değil, aynı zamanda var oluş biçimleri açısından da farklılık gösterir.

Bu pozisyona bazen teolojide de rastlanır. Tanrı'nın yarattıklarından kökten farklı olduğunu belirtir ve farklılığın yalnızca Tanrı'nın özelliklerini değil aynı zamanda Tanrı'nın varoluş tarzını da etkilediğini savunarak O'nun eşsizliğini vurgular.

Ontolojik çoğulculuğun bir başka biçimi, maddi nesnelerin varlığını uzay-zamanın varlığından ayırır.
Bu görüş, maddi nesnelerin uzay-zamanda var oldukları için göreceli varlığa sahip olduklarını savunur. Ayrıca, uzay-zamanın kendisinin varlığının bu anlamda göreceli olmadığını, çünkü başka bir uzay-zamanda var olmadan sadece var olduğunu belirtmektedir.

Varlık dereceleri konusu, varoluş tarzları meselesiyle yakından ilgilidir. Bu konu, bazı varlıkların diğer varlıklardan daha yüksek derecede var olduğu veya daha fazla varlığa sahip olduğu fikrine dayanmaktadır. Bu, [[ısı]] ve kütle gibi bazı özelliklerin derecelere sahip olmasına benzer. Örneğin Platon'a göre değişmez [[İdealar teorisi|Platonik form]]lar, fiziksel nesnelere göre daha yüksek bir varoluş derecesine sahiptirler.

Metafizikte farklı türde varlıkların olduğu görüşü yaygın olmakla birlikte, bunların varoluş tarzları veya dereceleri bakımından birbirlerinden farklı oldukları düşüncesi genel olarak kabul görmemektedir. Örneğin filozof Quentin Gibson, bir şeyin ya var olduğunu ya da var olmadığını savunur. Bu, arada bir alternatif olmadığı ve varoluş derecelerinin olmadığı anlamına gelir. [[Peter van Inwagen]], farklı varoluş tarzlarına karşı çıkmak için varoluş ile nicelik arasında yakın bir ilişki olduğu fikrini kullanıyor. Nicelik, insanların nesneleri nasıl saydığıyla ilgilidir. Inwagen, farklı varlık biçimleri olsaydı, insanların bunları saymak için farklı türde sayılara ihtiyaç duyacağını savunuyor. Farklı varlık türlerini saymak için aynı sayılar kullanılabildiğinden, tüm varlıkların aynı varoluş tarzına sahip olduğu sonucuna varır.

== Herhangi bir şey neden var ==
Ontolojideki temel soru, herhangi bir şeyin neden var olduğu veya [[hiçlik|hiçbir şey]] yerine neden bir şeyin var olduğudur. Benzer sorular "neden bir dünya var?" ve "neden bireysel şeyler var?" Bu sorular, var olan birçok şeyin [[Olumsallık|koşullu]] olduğu, yani var olamamış olabilecekleri fikrine odaklanıyor. Bunun bir bütün olarak varoluş için de geçerli olup olmadığını veya hiçbir şey yerine bir şeyin var olmasının bir nedeni olup olmadığını sorar.

Bu soru, [[hayat]] gibi bir şeyin varlığını, onun kökeni olabilecek [[ilkel çorba]] gibi başka bir şeyin varlığıyla ilişkili olarak açıklamaya çalışan bilimsel sorulardan farklıdır. Aynı zamanda maddi dünyanın varlığını onu yaratan bir tanrı veya tanrılarla ilişkili olarak açıklayan çoğu dini [[yaratılış miti]]nden farklıdır. Aradaki fark, bu teorilerin varlığı genel olarak açıklamaya çalışmak yerine, bir şeyin varlığını başka bir şeyin varlığına göre açıklamalarında yatmaktadır. Ontolojik sorunun ek zorluğu, kişinin [[Circulus in demonstrando|döngüsel akıl yürütme]] ile uğraşmadan mevcut herhangi bir başka varlığa atıfta bulunamaması gerçeğinde yatmaktadır.

Herhangi bir şeyin neden var olduğu sorusunun bir cevabı istatistiksel argümandır. Gerçek dünyanın yanı sıra birçok olası dünyanın olduğu fikrine dayanmaktadır. Çeşitli açılardan gerçek dünyadan farklıdırlar. Örneğin, [[Eyfel Kulesi]] gerçek dünyada mevcuttur ancak Eyfel Kulesi'nin olmadığı olası dünyalar da vardır. Olası dünyaların sayısız varyasyonu vardır, ancak boş olan, yani herhangi bir varlık içermeyen tek bir olası dünya vardır. Bu şu anlama gelir: Hangi olası dünyanın gerçek olacağı şansa kalmışsa, hiçbir şeyin var olmama şansı son derece küçüktür. Fizikte bununla yakından ilgili bir argüman, dünyanın varlığını rastgele [[kuantum dalgalanmalarının]] sonucu olarak açıklar.

Bir diğer cevap ise genel olarak varoluşun bir sebebinin veya açıklamasının bulunabileceğini inkâr etmektir. Bu görüşe göre, bir bütün olarak varoluş [[Absürdizm|saçma]]dır, çünkü orada bulunması için bir neden yoktur.

Bütün teorisyenler bu soruyu geçerli veya felsefi açıdan ilginç bir soru olarak kabul etmiyor. [[Graham Priest]] ve Kris McDaniel gibi bazı filozoflar, *hiçlik* teriminin kendisi de bir varoluş biçimi olarak anlaşılabilecek küresel bir yokluğa işaret ettiğini öne sürdüler. Bu görüşe göre sorunun cevabı önemsizdir, çünkü bu bir şey küresel bir yokluk olsa bile her zaman bir şeyler vardır. Buna yakından ilişkili bir yanıt, boş bir dünyanın metafiziksel olarak imkansız olduğunu iddia etmektir. Bu görüşe göre hiçlik yoktur, çünkü bazı şeylerin var olması zorunludur.

== Tarih ==
=== Batı felsefesi ===
[[Batı felsefesi]], tüm varoluşun temel ilkelerini araştıran [[Sokrates öncesi filozoflar|Presokratik filozoflar]] ile ortaya çıktı. [[Thales]] ve [[Heraklitos|Herakleitos]] gibi bazıları, su veya ateş gibi somut ilkelerin varoluşun kökü olduğunu öne sürdüler. Bu pozisyona, kaynağın insan algısının ötesinde soyut bir prensipte yer alması gerektiğini savunan [[Anaksimandros]] karşı çıktı.

[[Platon]] farklı varlık türlerinin farklı varoluş derecelerine sahip olduğunu savundu. Gölgelerin ve görüntülerin sıradan maddi nesnelerden daha zayıf bir anlamda var olduğunu savundu. Değişmez [[İdealar teorisi|Platonik formların]] en yüksek varoluş türüne sahip olduğunu iddia etti. Maddi nesneleri Platonik formların kusurlu ve kalıcı olmayan kopyaları olarak gördü.



[[Aristoteles]] Platon'un formların maddeden farklı olduğu fikrini kabul ederken, formların daha yüksek bir varoluş türüne sahip olduğu fikrine karşı çıktı. Bunun yerine formların madde olmadan var olamayacağını savundu. Aristoteles ayrıca farklı varlıkların farklı varoluş tarzlarına sahip olduğunu iddia etti. Örneğin, [[Ousia|maddeler]] ile onların tesadüfi özellikleri ve [[potansiyellik ve aktüalite]] arasında ayrım yaptı.

[[Plotinos]] gibi [[Yeni Platonculuk|Yeni Platoncular]] gerçekliğin hiyerarşik bir yapıya sahip olduğunu öne sürdüler. Tüm varoluştan "Bir" veya "İyi" adı verilen aşkın bir varlığın sorumlu olduğunu savundular. Ondan "akıl" ortaya çıkar ve bu da "ruh"u ve maddi dünyayı doğurur.



[[Orta Çağ felsefesi]]'nde, [[Anselmus]] etkili [[ontolojik kanıt]]'ı formüle etti. Anselmus, Tanrı'yı akla gelebilecek en büyük varlık olarak tanımladı. Zihninin dışında var olmayan bir varlığın akla gelebilecek en büyük varlık olamayacağını düşündü. Bu onu Tanrı'nın var olduğu sonucuna götürdü.

[[Thomas Aquinas]] bir şeyin özü ile onun varlığı arasında ayrım yaptı. Ona göre bir şeyin özü, onun temel mahiyetini oluşturur. Bir nesnenin var olup olmadığı bilinmese bile onun ne olduğunu anlamanın ve özünü kavramanın mümkün olduğunu savundu. Bu gözlemden varoluşun bir nesnenin niteliklerinin bir parçası olmadığı ve bunun yerine ayrı bir özellik olarak anlaşılması gerektiği sonucuna vardı. Aquinas ayrıca [[Creatio ex nihilo|yoktan yaratma]] sorununu da ele aldı. Yeni varlıkları gerçek anlamda var etme gücüne yalnızca Tanrı'nın sahip olduğunu iddia etti. Bu fikirler daha sonra [[Gottfried Leibniz|Gottfried Wilhelm Leibniz]]'in yaratılış teorisine ilham kaynağı oldu. Yaratmanın olası nesnelere gerçek varoluşu kazandırmak olduğunu savundu.
  
Hem [[David Hume]] hem de [[Immanuel Kant]] varoluşun bir özellik olduğu fikrini reddettiler. Hume'a göre nesneler [[Algılar Demeti Teorisi|nitelik demetleri]]'dir. Bir araya toplanmış niteliklerin dışında hiçbir varoluş izlenimi bulunmadığından varlığın bir özellik olmadığını savundu. Kant ontolojik argümana yönelik eleştirisinde de benzer bir sonuca varmıştır. Ona göre bu delil başarısızdır, çünkü bir kavramın tanımından o kavramın tanımladığı varlıkların var olup olmadığı çıkarılamaz. Varlığın nesne kavramına hiçbir şey eklemediğini, yalnızca bu kavramın somutlaştığını gösterdiğini savundu.



[[Franz Brentano]] Kant'ın eleştirisine ve varoluşun gerçek bir yüklem olmadığı iddiasına katılıyordu. Bu fikri yargı teorisini geliştirmek için kullandı. Ona göre tüm yargılar varoluşsal yargılardır; bir şeyin varlığını ya tasdik ederler ya da reddederler. "Bazı zebralar çizgilidir" gibi yargıların "çizgili zebra vardır" mantıksal biçiminde olduğunu, "tüm zebralar çizgilidir" gibi yargıların ise "çizgisiz zebra yoktur" mantıksal biçiminde olduğunu belirtti.

[[Gottlob Frege]] ve [[Bertrand Russell]] varoluşun düzenli bir özellik olmamasının ne anlama geldiği fikrini geliştirmeyi amaçladılar. Bireylerin normal birinci dereceden özellikleri ile diğer özelliklerin ikinci dereceden özellikleri arasında ayrım yaptılar. Bu görüşe göre varoluştan bahsetmek, ikinci dereceden “örneklendirilmiş olma” özelliğinden bahsetmek demektir. Örneğin dinozorların varlığını inkâr etmek, dinozor olma özelliğinin somutlaştırılmama özelliğine sahip olması anlamına gelir. Russell'a göre yüklemin temel biçimi, yüklemin bir kişinin özel ismine uygulanmasıyla gerçekleşir. Bu tür atomik önermeye bir örnek "[[Layka|Laika]] bir köpektir". Russell, "köpekler vardır" gibi cümleler biçimindeki varoluş konuşmasının daha az temel olduğunu, çünkü bunun, bu bireyin adını vermeden bu yüklemin geçerli olduğu bir birey olduğu anlamına geldiğini savundu.
  
[[Willard Van Orman Quine]], varoluşun ikinci dereceden bir özellik olduğunu kabul etme konusunda Frege ve Russell'ı takip etti. Varoluş ile niceliğin biçimsel mantıktaki rolü arasında yakın bir bağlantı kurdu. Bu düşüncesini bilimsel teorilere uyguladı ve bilimsel bir teorinin, bir varlığın varlığına, teorinin bu varlık üzerinden nicelik kazanması halinde bağlı olduğunu belirtti. Örneğin, biyolojideki bir teori "genetik çeşitliliğe sahip popülasyonların var olduğunu" iddia ediyorsa, bu teorinin, genetik çeşitliliğe sahip popülasyonların varlığına ontolojik bir bağlılığı vardır.

İkinci dereceden teorilerin etkisine rağmen bu görüş evrensel olarak kabul edilmedi. [[Alexius Meinong]] bunu reddetti ve varoluşun bireylerin özelliği olduğunu ve tüm bireylerin bu özelliğe sahip olmadığını iddia etti. Bu onu var olmak ile varoluş arasında bir fark olduğu tezine götürdü: Bütün bireyler varlığa sahiptir ama sadece bir kısmı mevcuttur. Bu, yalnızca olası nesneler ve imkansız nesneler gibi var olmayan bazı şeylerin olduğu anlamına gelir.



=== Doğu felsefesi ===
Doğu felsefesindeki pek çok düşünce okulu varoluş sorununu ve bunun sonuçlarını tartışır. Örneğin, eski [[Hint felsefesi|Hindu]] [[Samkhya]] okulu metafiziksel bir düalizm geliştirdi. Bu görüşe göre iki tür varoluş vardır: saf bilinç ([[Purusha]]) ve madde ([[Prakriti]]). Samkhya, evrenin tezahürünü bu iki ilke arasındaki etkileşim olarak açıklar. [[Adi Shankara]] tarafından [[Advaita Vedanta]] okulunda farklı bir yaklaşım geliştirildi. İlahi olanın ([[Brahman]]) nihai gerçeklik ve tek var olan olduğunu iddia ederek metafizik bir monizmi savundu. Bu görüşe göre, birçok farklı varlıktan oluşan bir evrenin olduğu izlenimi bir yanılsamadır ([[Maya (din)|Maya]]). Nihai gerçekliğin temel özellikleri varoluş, bilinç ve mutluluk anlamına gelen [[Satcitananda|Sat Chit Ananda]] olarak tanımlanır.

[[Budist felsefe]]sinde merkezi bir doktrine *varoluşun üç işareti* adı verilir. Üç işaret şunlardır: [[anicca|aniccā]] (geçicilik), [[anatta]] (kalıcı bir benliğin yokluğu) ve [[duhkha]] (acı çekmek). Aniccā, tüm varoluşun değişime tabi olduğu fikrini belirtir. Bu, her şeyin bir noktada dönüşeceği ve hiçbir şeyin sonsuza kadar sürmeyeceği anlamına gelir. Anattā kişilerle ilgili olarak da benzer bir durumu ifade eder. İnsanların kalıcı bir kimliğe ya da ayrı bir benliğe sahip olmadığı iddiasıdır. Aniccā ve anattā hakkındaki bilgisizlik, insanları acıya neden olan takıntılar oluşturmaya yönlendirerek dukkha'nın ana nedeni olarak görülüyor.


[[Laozi]]'nin [[Taoizm]]'i gibi, birçok [[Çin felsefesi]] okulundaki merkezi fikir, [[Tao (Taoizm)|dao]] olarak bilinen temel bir prensibin tüm varoluşun kaynağı olduğudur. Terim genellikle "Yol" olarak çevrilir ve dünyanın doğal düzenini yöneten kozmik bir güç olarak anlaşılır. Çin metafiziğindeki bir görüş, dao'nun kendisinin bir varlık biçimi olduğunu savunurken, bir diğeri, varlığa yol açanın varlık-olmayan olduğunu ileri sürer.

Varlık kavramı [[İslam felsefesi|Arap-Fars felsefesi]]'nde merkezi bir rol oynadı. [[İbn Sina]] ve [[Gazzâlî|Gazali]] varoluş ve öz arasındaki ilişkiyi tartıştılar. Onlara göre bir varlığın özü, varlığından önce gelir. Varlığın var olabilmesi için özü somutlaştırmaya yönelik ek adım gereklidir. [[Molla Sadrâ|Molla Sadra]] özün varoluş üzerindeki bu önceliğini reddetti. Özün yalnızca zihnin varoluşu kavramak için kullandığı bir kavram olduğunu savundu. Onun görüşüne göre varoluş, gerçekliğin tamamını kapsar.



== Çeşitli disiplinlerde ==
=== Formel mantık ===
Formel mantık, hangi argümanların [[Tümdengelim|tümdengelimsel olarak geçerli]] olduğunu inceler. [[Birinci dereceden mantık]] formel mantığın en yaygın kullanılan sistemidir. İçinde varoluş, [[varoluşsal niceleyici]] (<math>\exists</math>) kullanılarak ifade edilir. Örneğin, atların var olduğunu belirtmek için <math>\exists x Horse(x)</math> formülü kullanılabilir. *x* değişkeni, [[Söylem alanı|niceleme alanı]] içindeki tüm öğeler üzerinde uzanır ve varoluşsal niceleyici, bu alandaki en az bir öğenin bir at olduğunu ifade eder. Birinci dereceden mantıkta, adlar gibi tüm tekil terimler etki alanındaki nesnelere atıfta bulunur ve nesnenin var olduğunu ima eder. Bu nedenle, <math>D\ddot{u}r\ddot{u}st(Bill)</math>'den (Bill dürüsttür) <math>\exists x D\ddot{u}r\ddot{u}st(x)</math> (biri dürüsttür) olduğu sonucu çıkarılabilir.

Birinci dereceden mantığa dayanan birçok mantıksal sistem de bu fikri takip eder. [[Serbest mantık]] bir istisnadır. Etki alanındaki herhangi bir nesneye atıfta bulunmayan boş adların bulunmasına izin verir. Bu değişikliğin motivasyonlarından biri, akıl yürütmenin sıradan nesnelerle sınırlı olmaması, aynı zamanda kurgusal nesnelere de uygulanabilmesidir. Örneğin serbest mantıkta Pegasus'un uçan bir at olduğu <math>Flyinghorse(Pegasus)</math> formülü kullanılarak ifade edilebilir. Bu değişikliğin bir sonucu, bu tür bir ifadeden bir şeyin var olduğu sonucunun çıkarılamamasıdır. Bu, <math>Flyinghorse(Pegasus)</math>'tan <math>\exist x Flyinghorse(x)</math>'e yapılan çıkarımın, birinci dereceden mantıkta geçerli olsa bile, serbest mantıkta geçersiz olduğu anlamına gelir. Serbest mantık, tekil bir terimin mevcut bir nesneye atıfta bulunduğunu ifade etmek için ek bir varoluş yüklemi (<math>E!</math>) kullanır. Örneğin, <math>E!(Homer)</math> formülü [[Homeros|Homer]]os'un var olduğunu ifade etmek için kullanılabilirken <math>\lnot E!(Pegasus)</math> formülü Pegasus'un var olmadığını ifade eder.

=== Epistemoloji, zihin felsefesi ve dil felsefesi ===
[[Epistemoloji]], [[zihin felsefesi]] ve [[dil felsefesi]] disiplinleri, [[bilgi]]nin, zihnin ve dilin doğasını anlamayı amaçlar. Bu alanlardaki önemli bir sorun [[referans]] sorunudur. Bu sorun, [[Zihinsel temsil|zihinsel]] veya dilsel temsillerin mevcut nesnelere nasıl gönderme yapabileceği sorusuyla ilgilidir. Bu tür temsillere örnek olarak inançlar, düşünceler, algılar, kelimeler ve cümleler verilebilir. Örneğin, "Barack Obama Demokrattır" cümlesinde "Barack Obama" ismi belirli bir kişiyi ifade etmektedir. Algıyla ilgili olarak referans sorunu, algısal izlenimlerin algılayıcıyı yanılsamalardan ziyade mevcut nesneleri sunarak gerçeklikle temasa geçirip geçirmediği veya ne ölçüde getirdiği sorusuyla ilgilidir.

Referans problemiyle yakından ilgili olan, hakikat ile varoluş arasındaki ilişkidir. Temsiller doğru veya yanlış olabilir. [[Hakikat yapıcı teorisi]]'ne göre, gerçek temsiller bir hakikat yapıcı gerektirir. Bir temsilin hakikat yapıcısı, varlığı temsilin doğru olmasından sorumlu olan varlıktır.
Örneğin "Kangurular Avustralya'da yaşar" cümlesi doğrudur çünkü Avustralya'da kangurular yaşamaktadır: Bu kanguruların varlığı cümlenin hakikat yapıcısıdır. Hakikat yapıcı teorisi, hakikat ile varoluş arasında yakın bir ilişki olduğunu belirtir: Her doğru temsilin bir hakikat yapıcısı vardır.

=== Varoluşçuluk ===
Varoluşçuluk, insan varoluşunun doğasını araştıran bir düşünce okuludur. Temel fikirlerinden biri varoluşun özden önce geldiğidir. Bu iddia, varoluşun özden daha temel olduğu, insanın doğasının ve amacının önceden verili olmadığı, yaşama süreci içinde geliştiği görüşünü ifade etmektedir. Bu görüşe göre insanlar, önceden var olan içsel anlamdan yoksun bir dünyaya atılmaktadır. Amaçlarının ne olduğunu ve [[Hayatın Anlamı|hayatlarının anlamının]] ne olması gerektiğini kendileri belirlemelidirler. Varoluşçular bu fikri, kişinin hayatını aktif olarak şekillendirmede [[özgürlük]] ve sorumluluğun rolüne odaklanmak için kullanırlar.

== Kaynakça ==


* *Felsefe Terimleri Sözlüğü*, [[Bedia Akarsu]], [[İnkılap Yayınevi]].
* *Felsefe Sözlüğü'', Ahmet Cevizci, Paradigma Yayınları.