Autor: Miguel López-Astorga

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.

Abstract:

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.

ISSN: 1984-4255

Texto Completo: http://periodicos.ufc.br/argumentos/article/view/91243

Palavras-Chave: Buridan. Carnap. Mental models. Necessity. Reduction.