ÓGICA MODAL BÁSICA, K

Una introducción a lógicas no-clásicas. De “si…” a “es…” (2008)

Graham Priest
ÓGICA MODAL BÁSICA
POSIBILIDAD

AMBIGÜEDAD
más fuerte que LC NECESIDAD

□/L ◊/M
IMPOSIBILIDAD

□A = Es necesariamente el caso que A.

◊A = Es posiblemente el caso que A.

MUNDO POSIBLE
OSIBILIDAD RELATIVA
 Lógica clásica Lógica modal
Regla Si A y B son fórmulas, también lo Si A es una fórmula, también lo son
son ¬A, (A∨B), (A∧B), (A→B), □A y ◊A.
(A↔B).

Interpretación ❬W, R, v❭

W = Conjunto arbitrario de objetos, no es Ø.

R = Relación binaria en W (R⊆W x w).
v = Función que asigna un valor de verdad (1 o 0) a
cada par que comprende un mundo, w, y un
parámetro proposicional =
 REALISMO

LÓGICA MODAL BÁSICA MEINONGIANISMO

COMBINATORIALISMO
ACTUALISMO