métodos lógico-formais em filosofia: aplicações

XII CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNIVERSIDADE FEDERAL DE CAMPINA GRANDE
PIBIC/CNPq-UFCG 2015
MÉTODOS LÓGICO-FORMAIS EM FILOSOFIA: APLICAÇÕES DA LÓGICA À FILOSOFIA DA
RELIGIÃO
Ísis Andrade de Castro1, Ricardo Sousa Silvestre2
RESUMO
Métodos formais há muito são exigidos dentro do espaço não só da lógica, mas de diversas áreas da
filosofia. Muito embora ainda não haja subsídios teóricos determinantes e finais desenvolvidos para afirmar
quando determinado métodos lógico-matemático pode ser utilizado como referência para a formalização,
algumas diretrizes podem ter tomadas para fornecer maior credibilidade à forma a ser desenvolvida. Nesse
sentido, esse projeto teve como objetivo dar início à discussão acerca do uso de métodos formais dentro da
filosofia. Além disso, procurou-se desenvolver tratamentos lógico-formais para problemas na filosofia que
constituem reais contribuições para a área envolvida. A instância inicial que foi trabalhada envolveu um
antigo debate acerca da existência de Deus dentro da filosofia da religião. Para isso foi utilizado como
aporte metodológico a leitura bibliográfica de textos referenciais na área em questão. Constituindo uma
análise do argumento ontológico proposto por Anselmo e a póstuma formalização realizada por Adams.
Para além disso, foi realizada uma tradução da estrutura lógica encontrada no artigo de Adams para uma
linguagem que fosse mais conveniente com os interesses do projeto e que abarcasse uma estrutura não
explorada pelo autor.
Palavras-chave: Formalização em Filosofia, Filosofia da Religião, Argumento Ontológico
METHODS LOGICAL-FORMAL IN THE PHILOSOPHY: APPLICATIONS OF LOGIC TO THE
PHILOSOPHY OF RELIGION
ABSTRACT
Formal methods have long been required within the field not only of logic, but from different areas of
philosophy. Although, there is still not determinants theoretical subsidies and finals, designed to affirm when
particular logical-mathematical method can be used as a reference for the formalization, some guidelines
can be taken to provide greater credibility to the form being developed. In this sense, this project aimed to
initiate the discussion on the use of formal methods in philosophy. Also, it sought to develop logical-formal
treatments for problems in philosophy that constitute genuine contributions to the area involved. The initial
instance that was worked involved an old debate about the existence of God in the philosophy of religion.
For this was used as a methodological contribution, the bibliographic reading reference texts in the area in
question. Constituting an analysis of the ontological argument proposed by Anselmo and posthumous
formalization performed by Adams. Also, a translation of the logical structure found in Adams article to a
language that was more convenient to design the interests and would encompass a structure not exploited
by the author.
Keywords: Formalization of Philosophy, Philosophy of Religion, Ontological Argument
1
Aluna do Curso de Filosofia, Unidade Acadêmica de Filosofia, UFCG, Campina Grande, PB, E-mail:
[email protected]
2 Professor, Doutor, Unidade Acadêmica de Filosofia, UFCG, Campina Grande, PB, E-mail: [email protected]