A FORMAL-LOGICAL APPROACH TO THE CONCEPT OF GOD
Autor(a) principal: | |
---|---|
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 |