thumb|alt=Quantificador existencial|O quantificador existencial ∃ é frequentemente usado em lógica para expressar existência. Existência é o estado de ter ser ou realidade em contraste com inexistência e não-ser. A existência é frequentemente contrastada com essência: a essência de uma entidade são suas características ou qualidades essenciais, que podem ser compreendidas mesmo que não se saiba se a entidade existe.
Ontologia é a disciplina filosófica que estuda a natureza e os tipos de existência. A existência singular é a existência de entidades individuais, enquanto a existência geral se refere à existência de conceitos ou universals. Entidades presentes no espaço e no tempo têm existência concreta em contraste com entidades abstratas, como números e conjuntos. Outras distinções são entre existência possível, contingente e necessária e entre existência física e mental. A visão comum é que uma entidade ou existe ou não existe, sem nada entre elas, mas alguns filósofos afirmam que existem graus de existência, significando que algumas entidades existem em um grau maior do que outras.
A posição ortodoxa na ontologia é que a existência é uma propriedade de segunda ordem, ou uma propriedade de propriedades. Por exemplo, dizer que leões existem significa que a propriedade de ser leão é possuída por pelo menos uma entidade. Uma visão diferente vê a existência como uma propriedade de primeira ordem, ou uma propriedade de indivíduos, significando que a existência é semelhante a outras propriedades de indivíduos, como cor e forma. Alexius Meinong e seus seguidores aceitam essa ideia e afirmam que nem todos os indivíduos têm essa propriedade; eles afirmam que existem alguns indivíduos, como o Papai Noel, que não existem. Os universalistas rejeitam essa visão; eles veem a existência como uma propriedade universal de todo indivíduo.
O conceito de existência tem sido discutido ao longo da história da filosofia e já desempenhava um papel na filosofia antiga, incluindo a filosofia pré-socrática na Grécia Antiga, a filosofia hindu e a filosofia budista na Índia Antiga, e a filosofia daoísta na China antiga. É relevante para campos como lógica, matemática, epistemologia, filosofia da mente, filosofia da linguagem e existencialismo.
Definição e termos relacionados Existência é o estado de ser real ou de participar da realidade. A existência distingue entidades reais de imaginárias, e pode se referir tanto a entidades individuais quanto à totalidade da realidade. A palavra "existência" entrou na língua inglesa no final do século XIV do francês antigo e tem suas raízes no termo latim medieval , que significa "aparecer", "surgir" e "tornar-se visível". A existência é estudada pela subdisciplina da metafísica conhecida como ontologia.
Os termos "ser", "realidade" e "atualidade" são frequentemente usados como sinônimos de "existência", mas a definição exata de existência e sua conexão com esses termos é disputada. Segundo o metafísico Alexius Meinong (1853–1920), todas as entidades têm ser, mas nem todas as entidades têm existência. Ele argumenta que objetos meramente possíveis, como o Papai Noel, têm ser, mas carecem de existência. O ontólogo Takashi Yagisawa (século XX–presente) contrasta existência com realidade; ele vê "realidade" como o termo mais fundamental porque caracteriza igualmente todas as entidades e define existência como um termo relativo que conecta uma entidade ao mundo que ela habita. Segundo o filósofo Gottlob Frege (1848–1925), a atualidade é mais restrita do que a existência porque apenas entidades atuais podem produzir e sofrer mudanças, em contraste com entidades existentes não atuais, como números e conjuntos. De acordo com alguns filósofos, como Edmund Husserl (1859–1938), a existência é um conceito elementar, o que significa que não pode ser definido em outros termos sem envolver circularidade. Isso implicaria que caracterizar a existência ou falar sobre sua natureza de maneira não trivial pode ser difícil ou impossível.
As disputas sobre a natureza da existência se refletem na distinção entre conceitos de existência finos e espessos. Conceitos finos de existência entendem a existência como uma propriedade lógica que todas as coisas existentes compartilham; eles não incluem nenhum conteúdo substancial sobre as implicações metafísicas de ter existência. Segundo uma visão, a existência é a mesma que a propriedade lógica de autoidentidade. Essa visão articula um conceito fino de existência porque afirma apenas que o que existe é idêntico a si mesmo, sem discutir quaisquer características substanciais da natureza da existência. Conceitos espessos de existência abrangem uma análise metafísica do que significa que algo existe e quais características essenciais a existência implica. Segundo uma proposta, existir é estar presente no espaço e no tempo, e ter efeitos sobre outras coisas. Essa definição é controversa porque implica que objetos abstratos como números não existem. O filósofo George Berkeley (1685–1753) deu um conceito espesso diferente de existência; ele afirmou: "ser é ser percebido", o que significa que toda existência é mental.
A existência contrasta com a inexistência, uma falta de realidade. Se os objetos podem ser divididos em existentes e objetos inexistentes é um assunto de controvérsia. Essa distinção é às vezes usada para explicar como é possível pensar em objetos fictícios como dragões e unicórnios, mas o conceito de objetos inexistentes não é geralmente aceito; alguns filósofos afirmam que o conceito é contraditório. Termos contrastantes intimamente relacionados são nada e não-ser. A existência é comumente associada à realidade independente da mente, mas essa posição não é universalmente aceita porque também pode haver formas de existência dependente da mente, como a existência de uma ideia dentro da mente de uma pessoa. Segundo alguns idealistas, isso pode se aplicar a toda a realidade.
Outro contraste é feito entre existência e essência. Essência se refere à natureza intrínseca ou qualidades definidoras de uma entidade. A essência de algo determina que tipo de entidade é e como difere de outros tipos de entidades. A essência corresponde ao que uma entidade é, enquanto a existência corresponde ao fato de que ela é. Por exemplo, é possível entender o que um objeto é e compreender sua natureza mesmo que não se saiba se este objeto existe. Segundo alguns filósofos, há uma diferença entre entidades e as características fundamentais que as tornam as entidades que são. Martin Heidegger (1889–1976) introduziu esse conceito; ele o chama de diferença ontológica e contrasta os seres individuais com o ser. Segundo sua resposta à questão do ser, o ser não é uma entidade, mas o contexto de fundo que torna todas as entidades individuais inteligíveis.
Tipos de entidades existentes Muitas discussões sobre os tipos de entidades existentes giram em torno das definições de diferentes tipos, da existência ou inexistência de entidades de um tipo específico, da maneira como entidades de diferentes tipos se relacionam entre si e se alguns tipos são mais fundamentais do que outros. Exemplos são a existência ou inexistência de almas; se existem entidades abstratas, fictícias e universais; e a existência ou inexistência de mundos possíveis e objetos além do mundo atual. Essas discussões abrangem os tópicos da matéria básica ou constituintes subjacentes a toda a realidade e as características mais gerais das entidades.
Singular e geral Há uma distinção entre existência singular e existência geral. A existência singular é a existência de entidades individuais. Por exemplo, a frase "Angela Merkel existe" expressa a existência de uma pessoa em particular. A existência geral pertence a conceitos gerais, propriedades ou universals. Por exemplo, a frase "políticos existem" afirma que o termo geral "político" tem instâncias sem se referir a um político específico.
A existência singular e a geral estão intimamente relacionadas entre si, e alguns filósofos tentaram explicar uma como um caso especial da outra. Por exemplo, segundo Frege, a existência geral é mais básica do que a existência singular. Um argumento a favor dessa posição é que a existência singular pode ser expressa em termos de existência geral. Por exemplo, a frase "Angela Merkel existe" pode ser expressa como "entidades que são idênticas a Angela Merkel existem", onde a expressão "ser idêntico a Angela Merkel" é entendida como um termo geral. O filósofo Willard Van Orman Quine (1908–2000) defende uma posição diferente, dando primazia à existência singular e argumentando que a existência geral pode ser expressa em termos de existência singular.
Uma questão relacionada é se pode haver existência geral sem existência singular. Segundo o filósofo Henry S. Leonard (1905–1967), uma propriedade só tem existência geral se houver pelo menos um objeto real que a exemplifica. O filósofo Nicholas Rescher (1928–2024), por outro lado, afirma que propriedades podem existir se não tiverem instâncias reais, como a propriedade de "ser um unicórnio". Essa questão tem uma longa tradição filosófica em relação à existência dos universais. Segundo os platônicos, os universais têm existência geral como formas platônicas independentemente dos particulares que os exemplificam. Segundo essa visão, o universal da vermelhidão existe independentemente da existência ou inexistência de objetos vermelhos. O Aristotelismo também aceita a existência de universais, mas diz que sua existência depende de particulares que os instanciam e que eles são incapazes de existir por si mesmos. Segundo essa visão, um universal que não está presente no espaço e no tempo não existe. Segundo os nominalistas, apenas os particulares têm existência e os universais não existem.
Concreto e abstrato Há uma distinção influente na ontologia entre objetos concretos e abstratos. Muitos objetos concretos, como rochas, plantas e outras pessoas, são encontrados na vida cotidiana. Eles existem no espaço e no tempo. Eles têm efeitos causais uns sobre os outros, como quando uma rocha cai sobre uma planta e a danifica, ou uma planta cresce através da rocha e a quebra. Objetos abstratos, como números, conjuntos e tipos, não têm localização no espaço e no tempo, e carecem de poderes causais. A distinção entre objetos concretos e objetos abstratos é às vezes tratada como a divisão mais geral do ser.
A existência de objetos concretos é amplamente aceita, mas as opiniões sobre objetos abstratos são divididas. Os realistas, como Platão, aceitam a ideia de que objetos abstratos têm existência independente. Alguns realistas afirmam que objetos abstratos têm o mesmo modo de existência que objetos concretos; segundo outros, eles existem de maneira diferente. Os antirrealistas afirmam que objetos abstratos não existem, uma visão que é frequentemente combinada com a ideia de que a existência requer uma localização no espaço e no tempo ou a capacidade de interagir causalmente.
Possível, contingente e necessário Uma distinção adicional é entre existência meramente possível, contingente e necessária. Uma entidade tem existência necessária se deve existir ou não poderia deixar de existir. Isso significa que não é possível criar ou destruir novas entidades necessárias. Entidades que existem, mas poderiam deixar de existir, são contingentes; entidades meramente possíveis não existem, mas poderiam existir.
A maioria das entidades encontradas na experiência comum, como telefones, paus e flores, têm existência contingente. A existência contingente dos telefones se reflete no fato de que eles existem no presente, mas não existiam no passado, o que significa que não é necessário que existam. É uma questão em aberto se alguma entidade tem existência necessária. Segundo alguns nominalistas, todos os objetos concretos têm existência contingente, enquanto todos os objetos abstratos têm existência necessária.