Portal de Periódicos da CAPES

Estructura lógica de las actitudes proposicionales

1970; Linguagem: Espanhol

10.24310/contrastescontrastes.v0i0.1705

2659-921X

Ángel Nepomuceno Fernández,

Logic, Reasoning, and Knowledge

ABSTRACTPropositional attitudes can be studied from a psychological point of view as soon as in logical perspective. Verbs of propositional attitude are defined as those that occur into a sentence with <<that-clause>>; several examples show that such verbs have a relational character, this why its logical forms is like a two adic predicate whose arguments are an individual term and a sentence preceded by that clause, so a relational theory may be appropiated. The relational theory has to solve some problems (enumerated in paper) and observe some conditions as taking subtitution for both modalities of propositional attitudes de re and de dicto, etc.. By means of a second order formal language, we try to capture the logical structure of attitudes, to sum up that language contains lambda abstract and nominalization of predicates what allows individualization of that -clause sentences-. Finally, it is pointed out a possible axiomatic system to regulate the behavior of (constant) terms that represent belief, knowledge, etc.RESUMENLas actitudes proposicionales pueden estudiarse desde un punto de vista psicológico así como desde una perspectiva lógica. Los verbos de actitud proposicional se definen como aquéllos que ocurren en oraciones con <<cláusula-que>>; algunos ejemplos ponen de relieve que tales verbos tienen carácter relacional, por ello su forma lógica es como la de un predicado diádico cuyos argumentos son un término individual y una oración precedida por aquella cláusula, de manera que puede ser adecuada una teoría relacional. La teoría relacional tiene que solucionar algunos problemas (enumerados en el trabajo) y cumplir algunas condiciones como la sustitución para las modalidades de actitudes proposicionales de re y de dicto, etc.. A través de un lenguaje formal de segundo orden tratamos de captar la estructura lógica de las actitudes, concretamente este lenguaje contiene landa-abstractos y nominalización de predicados -lo que permite individualización de las oraciones de cláusula-que-. Finalmente, se indica un posible sistema axiomático para regular el comportamiento de términos (constantes) que representan creencia, conocimiento, etc..