A lógica de Buridan: testabilidade e modelos
Autor(a) principal: | |
---|---|
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 |