SOBRE LA ESTRUCTURA DE LA LÓGICA MODAL

Resumen

Creemos haber encontrado la expresión matemática más clara y simple posible del sistema de conceptosmodales que, por estar fundado sobre as oposiciones clásicas posible-imposible, necesario-contingente,verdadero-falso, puede, con toda propiedad, ser denominado sistema de la lógica modal clásica. Dicho sistema será aquí designado abreviadamente por SM, para distinguirlo de otros sistemas modales, como los conocidos S1, S2, S3, S4, S5 de C.I. Lewis y los recientes L de J. Lukasiewcz y VE, EV, M, M', M'' Y M (p/q) de G. H. von Wright, para citar los más afines. No nos ocuparemos en este trabajo del sentido filosófico de las modalidades, ni nos detendremos en explicaciones o ejemplos; sólo nos interesa aquí mostrar que la expresión de las modalidades por las matrices que hemos adoptado satisface al sistema SM, cuya interpretación intuitiva corresponde a la lógica clásica.