A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD

Detalhes bibliográficos
Autor(a) principal: SILVESTRE,RICARDO SOUSA
Data de Publicação: 2021
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Manuscrito (Online)
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452021000400224
Resumo: Abstract In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God.
id UNICAMP-17_c8ebfaf37fa88bf3c5305666cc0eceba
oai_identifier_str oai:scielo:S0100-60452021000400224
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GODConcept of GodFormal Philosophy of ReligionSimplest Quantified Modal LogicReligious PluralityAbstract In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God.UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência2021-12-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452021000400224Manuscrito v.44 n.4 2021reponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP10.1590/0100-6045.2021.v44n4.rsinfo:eu-repo/semantics/openAccessSILVESTRE,RICARDO SOUSAeng2021-12-08T00:00:00Zoai:scielo:S0100-60452021000400224Revistahttp://www.scielo.br/scielo.php?script=sci_serial&pid=0100-6045&lng=pt&nrm=isoPUBhttps://old.scielo.br/oai/scielo-oai.phpmwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2021-12-08T00:00Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
title A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
spellingShingle A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
SILVESTRE,RICARDO SOUSA
Concept of God
Formal Philosophy of Religion
Simplest Quantified Modal Logic
Religious Plurality
title_short A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
title_full A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
title_fullStr A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
title_full_unstemmed A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
title_sort A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
author SILVESTRE,RICARDO SOUSA
author_facet SILVESTRE,RICARDO SOUSA
author_role author
dc.contributor.author.fl_str_mv SILVESTRE,RICARDO SOUSA
dc.subject.por.fl_str_mv Concept of God
Formal Philosophy of Religion
Simplest Quantified Modal Logic
Religious Plurality
topic Concept of God
Formal Philosophy of Religion
Simplest Quantified Modal Logic
Religious Plurality
description Abstract In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God.
publishDate 2021
dc.date.none.fl_str_mv 2021-12-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452021000400224
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452021000400224
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1590/0100-6045.2021.v44n4.rs
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
publisher.none.fl_str_mv UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
dc.source.none.fl_str_mv Manuscrito v.44 n.4 2021
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1748950066135040000