Lógica modal
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:281
Lógica modal
Sistema lógico que formaliza relaciones como las de “necesidad”,
“realidad”, “posibilidad”, “casualidad” y sus negaciones (Modalidad).
La primera tentativa de estructurar una lógica modal se debe a
Aristóteles (Silogística), quien formuló algunos de los principios y
definiciones más importantes de dicha lógica. Se dio un nuevo impulso
a las investigaciones de la lógica modal gracias al desarrollo de la
lógica matemática. El resultado fue que se estructuraron varios
sistemas entre los cuales los más conocidos son: los sistemas
trivalente y tetravalente de Jan Lukasiewicz; los sistemas axiomáticos
de implicación rigurosa de Clarence Irving Lewis; los sistemas de la
modalidad relativa de G. H. von Wright. En los sistemas de
Lukasiewicz y de Lewis, las modalidades poseen carácter absoluto, es
decir, se atribuyen a una proposición independientemente de otras
proposiciones. En los sistemas de Wright, las modalidades son
relativas, es decir, se asignan a una de las proposiciones si se da
determinada condición que es expresada en una proposición diferente.
De todos modos, hoy por hoy no existe ninguna teoría general de la
lógica modal más o menos satisfactoria, pese a la necesidad que se
observa de disponer de semejante teoría, elaborada, en varias ramas
del saber (por ejemplo, en la matemática y en la lingüística).
Diccionario de filosofía · 1984:259
Lógica modal
Sistema lógico que estudia la estructura de los razonamientos cuyas
partes integrantes son las modalidades –“es necesario”, “es posible”,
“es real”, “es casual”– y sus negaciones. En las obras de
Aristóteles, de los estoicos y los escolásticos fueron formuladas ya
algunas definiciones y leyes fundamentales de la lógica modal. La
investigación de las modalidades con medios de la lógica matemática
(simbólica) la empezaron C. Lewis y Lukasiewicz.