Filosofía en español 
Filosofía en español

Lógica modal

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

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 filosófico · 1965:281

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.

Diccionario de filosofía · 1984:259