A lógica de Buridan: testabilidade e modelos

Detalhes bibliográficos
Autor(a) principal: López-Astorga, Miguel
Data de Publicação: 2024
Tipo de documento: Artigo
Idioma: por
Título da fonte: Argumentos : Revista de Filosofia (Online)
Texto Completo: http://periodicos.ufc.br/argumentos/article/view/91243
Resumo: A teoria da modalidade que Buridan desenvolve está vinculada com diferentes proposições. Este trabalho aborda uma dessas proposições. O objetivo é mostrar que, se o operador de necessidade incluído nela é ignorado, a proposição permite derivar, dentro da lógica de predicados de primeira ordem, uma sentença de redução com as características requeridas no framework de Carnap. Ademais, o artigo tenta argumentar que o mencionado operador de necessidade pode ser compreendido não apenas em um sentido técnico (como a lógica modal faz), mas também do modo como um indivíduo inocente (sem treinamento em lógica modal) poderia interpretá-lo. Estes últimos argumentos são dados a partir da teoria dos modelos mentais.
id UFC-17_6371ddb2c568adcd4d78f4fb283b08b9
oai_identifier_str oai:periodicos.ufc:article/91243
network_acronym_str UFC-17
network_name_str Argumentos : Revista de Filosofia (Online)
repository_id_str
spelling A lógica de Buridan: testabilidade e modelosBuridan’s logic: testability and modelsBuridan. Carnap. Mental models. Necessity. Reduction.A teoria da modalidade que Buridan desenvolve está vinculada com diferentes proposições. Este trabalho aborda uma dessas proposições. O objetivo é mostrar que, se o operador de necessidade incluído nela é ignorado, a proposição permite derivar, dentro da lógica de predicados de primeira ordem, uma sentença de redução com as características requeridas no framework de Carnap. Ademais, o artigo tenta argumentar que o mencionado operador de necessidade pode ser compreendido não apenas em um sentido técnico (como a lógica modal faz), mas também do modo como um indivíduo inocente (sem treinamento em lógica modal) poderia interpretá-lo. Estes últimos argumentos são dados a partir da teoria dos modelos mentais.The theory of modality Buridan develops is linked to different propositions. This paper addresses one of those propositions. The aim is to show that, if the operator of necessity included in it is ignored, the proposition allows deriving, within first-order predicate logic, a reduction sentence with the characteristics required in Carnap’s framework. Besides, the paper tries to argue that the mentioned operator of necessity can be understood not only in a technical sense (as modal logic does), but also in the way a naïve individual (without modal logical training) could interpret it. These latter arguments are given from the theory of mental models.Universidade Federal do Ceará2024-01-15info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://periodicos.ufc.br/argumentos/article/view/9124310.36517/Argumentos.31.15Argumentos - Revista de Filosofia; No. 31 (2024); 173-180Argumentos - Periódico de Filosofia; Núm. 31 (2024); 173-180Argumentos - Revista de Filosofia; n. 31 (2024); 173-1801984-42551984-4247reponame:Argumentos : Revista de Filosofia (Online)instname:Universidade Federal do Ceará (UFC)instacron:UFCporhttp://periodicos.ufc.br/argumentos/article/view/91243/250065Copyright (c) 2024 Argumentos - Revista de Filosofiainfo:eu-repo/semantics/openAccessLópez-Astorga, Miguel2024-02-17T18:01:46Zoai:periodicos.ufc:article/91243Revistahttp://www.filosofia.ufc.br/argumentosPUBhttp://periodicos.ufc.br/argumentos/oaiargumentos@ufc.br||1984-42551984-4247opendoar:2024-02-17T18:01:46Argumentos : Revista de Filosofia (Online) - Universidade Federal do Ceará (UFC)false
dc.title.none.fl_str_mv A lógica de Buridan: testabilidade e modelos
Buridan’s logic: testability and models
title A lógica de Buridan: testabilidade e modelos
spellingShingle A lógica de Buridan: testabilidade e modelos
López-Astorga, Miguel
Buridan. Carnap. Mental models. Necessity. Reduction.
title_short A lógica de Buridan: testabilidade e modelos
title_full A lógica de Buridan: testabilidade e modelos
title_fullStr A lógica de Buridan: testabilidade e modelos
title_full_unstemmed A lógica de Buridan: testabilidade e modelos
title_sort A lógica de Buridan: testabilidade e modelos
author López-Astorga, Miguel
author_facet López-Astorga, Miguel
author_role author
dc.contributor.author.fl_str_mv López-Astorga, Miguel
dc.subject.por.fl_str_mv Buridan. Carnap. Mental models. Necessity. Reduction.
topic Buridan. Carnap. Mental models. Necessity. Reduction.
description A teoria da modalidade que Buridan desenvolve está vinculada com diferentes proposições. Este trabalho aborda uma dessas proposições. O objetivo é mostrar que, se o operador de necessidade incluído nela é ignorado, a proposição permite derivar, dentro da lógica de predicados de primeira ordem, uma sentença de redução com as características requeridas no framework de Carnap. Ademais, o artigo tenta argumentar que o mencionado operador de necessidade pode ser compreendido não apenas em um sentido técnico (como a lógica modal faz), mas também do modo como um indivíduo inocente (sem treinamento em lógica modal) poderia interpretá-lo. Estes últimos argumentos são dados a partir da teoria dos modelos mentais.
publishDate 2024
dc.date.none.fl_str_mv 2024-01-15
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://periodicos.ufc.br/argumentos/article/view/91243
10.36517/Argumentos.31.15
url http://periodicos.ufc.br/argumentos/article/view/91243
identifier_str_mv 10.36517/Argumentos.31.15
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv http://periodicos.ufc.br/argumentos/article/view/91243/250065
dc.rights.driver.fl_str_mv Copyright (c) 2024 Argumentos - Revista de Filosofia
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2024 Argumentos - Revista de Filosofia
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Ceará
publisher.none.fl_str_mv Universidade Federal do Ceará
dc.source.none.fl_str_mv Argumentos - Revista de Filosofia; No. 31 (2024); 173-180
Argumentos - Periódico de Filosofia; Núm. 31 (2024); 173-180
Argumentos - Revista de Filosofia; n. 31 (2024); 173-180
1984-4255
1984-4247
reponame:Argumentos : Revista de Filosofia (Online)
instname:Universidade Federal do Ceará (UFC)
instacron:UFC
instname_str Universidade Federal do Ceará (UFC)
instacron_str UFC
institution UFC
reponame_str Argumentos : Revista de Filosofia (Online)
collection Argumentos : Revista de Filosofia (Online)
repository.name.fl_str_mv Argumentos : Revista de Filosofia (Online) - Universidade Federal do Ceará (UFC)
repository.mail.fl_str_mv argumentos@ufc.br||
_version_ 1797068844902121472