Gottfried Wilhelm Leibniz: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel
m Inclui ao verbete um capítulo sobre o argumento ontológico de Leibniz.
Linha 88:
* Falta de individualização inerente no sistema de Espinoza, da qual representa as criaturas individuais como meros acidentes.
* A monadologia parece arbitrária, até mesmo excêntrica.
 
== O Argumento Ontológico de Leibniz ==
 
=== Contexto Histórico ===
A história da filosofia atribui a [[Anselmo de Cantuária]], ainda no período da [[Renascimento do século XII]], no âmbito das Escolas de Catedral, a primeira formulação de um [[Argumento ontológico]]. Tal Argumento pretende demonstrar a existência de Deus de maneira [[A priori e a posteriori|A priori,]] ou seja,  a partir da mera compreensão lógica do conceito de Deus,  deve-se concluir a necessidade de sua existência. Podemos entender o argumento ontológico como um salto do campo da lógica (conceito de Deus) para o campo da ontologia (existência de Deus).   
 
 Ao longo da história da [[Filosofia moderna]] e [[Filosofia contemporânea]], muitos pensadores dedicaram-se a formular definições sobre 'Deus' e produzir novas maneiras de demonstrar sua existência. Dentre muitos, destacam-se [[René Descartes]], [[Alvin Plantinga]], [[Kurt Gödel]] e, nesse caso especialmente, Leibniz.
 
=== A Demonstração Leibniziana <ref>{{citar livro|título=Quos Ens Perfectissimum Sit Possibile|ultimo=Leibniz|primeiro=Gottfried Wilhelm|editora=|ano=1676|local=|páginas=|acessodata=}}</ref> ===
Definindo Deus como ' O ser mais perfeito'  - '''sendo a perfeição, segundo o pensador, a totalidade das qualidades ou atributos afirmativos''' -,  Leibniz pretende demonstrar a existência de tal ser a partir da compatibilidade entre dois ou mais atributos afirmativos, pois se todos os atributos afirmativos são compatíveis entre si sem gerar contradição, então  deve ser possível conceber um ser com todos estes atributos. Assim,  necessariamente tal ser existe, pois se ele possui todos os atributos afirmativos, não lhe pode faltar a existência. 
 
==== Demonstração da compatibilidade entre dois tributos arbitrários:  ====
 
Antes da demonstração é importante fazer algumas definições:  
 
. Podemos entender um '''atributo afirmativo não-analisável''' como um predicado (qualidade) necessário que não pode ser decomposto em outros predicados. 
 
. Podemos chamar dois predicados de '''Compatíveis''' quando tanto um predicado A quanto um predicado B podem atuar sobre um mesmo sujeito sem gerar contradição. 
 
Chamamos de '''Proposição Analítica''' uma proposição verdadeira em si própria em virtude do seu significado. (ex.: Todo casado é não-solteiro).  
 
Dados A e B como atributos afirmativos não-analisáveis, tomamos como hipótese que A e B são incompatíveis; dessa hipótese se segue necessariamente que A e B não podem estar em um mesmo sujeito - devido a própria definição de predicados compatíveis -, ou seja, da suposição da incompatibilidade de A e B,  podemos concluir a seguinte proposição: Se A então não-B ( A → ¬ B ) ( ou ainda: se é o caso que A, então não é o caso que B). 
 
Podemos categorizar, prima facie, tal proposição como analítica ou demonstrável, no entanto: 
 
I)  A proposição não pode ser analítica, pois, devido a sua forma lógica, é possível  construir uma relação de equivalência entre A e a negação de B ( ou entre B e a negação de A), ou seja, A e B funcionariam como um par de contrários, o que é absurdo, pois, não é possível, pela própria definição de atributo afirmativo, que a negação de um atributo afirmativo seja um atributo afirmativo. Logo, todos os atributos são verdadeiros. 
 
II) A proposição é não-demonstrável, pois para demonstra-la, seria preciso fazer a análise do conceito de A, de B ou de ambos, o que contraria a hipótese de que A e B são não-analíticos.  
 
Logo, não é possível demonstrar a hipótese da incompatibilidade de A e B, logo, A e B são compatíveis. Sendo assim, por exercício análogo, podemos provar a afirmatividade e a compatibilidade entre quaisquer outros atributos não-analíticos, logo, é possível conceber um ser com estes atributos. C.Q.D.
 
=== post demonstrationem ===
Com a demonstração da afirmatividade e da compatibilidade entre atributos afirmativos não-analisáveis, Leibniz prova que é possível conceber um ser perfeito dotado de todos os atributos afirmativos sem incorrer em contradição; tal ser é Deus pela sua própria definição, e uma vez que Deus possui todas as qualidade, não lhe pode faltar a existência, logo está provada a existência de Deus a partir de sua própria definição.
 
== Cientista e engenheiro ==