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

Simbolismo lógico

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

Simbolismo lógico

La lógica formal moderna utiliza ampliamente el lenguaje de los símbolos. Gracias a él se alcanza: la concepción exacta y unívoca del objeto, la posibilidad de aplicar el método matemático formal de investigación. Hay tres tipos fundamentales de símbolos con los cuales, según determinadas reglas, se construyen las expresiones (fórmulas) de tal o cual sistema lógico-formal. Esos tipos son: 1) símbolos que designan objetos lógicos elementales, que constituyen sistemas; 2) símbolos que designan conexiones u operaciones lógicas; 3) símbolos auxiliares, como por ejemplo paréntesis, puntos. En la lógica actual, existen varios sistemas aceptados de notación simbólica. A ello se debe que haya varios símbolos para unos mismos conceptos lógicos. A continuación se explica el significado de los más importantes:

1. A, B, C... X, Y, Z... (también con índices) son símbolos de proposiciones variables.

a, b, c... x, y, z... (también con índices) son símbolos de objetos variables.

P(.), R(.,.), S(.,.,.) (también con índices) son símbolos de predicados variables.

2.  – ¬ ∼   signos de negación (“no”)

∨     signos de disyunción (“o”)

⋅ ∧     signos de conjunción (“y”)

⊃ →   signos de implicación (“si... entonces”)

∼ ≡ ↔   signos de equivalencia (“si y sólo si”)

∈ ∃     signos de cuantificador existencial

∀ ( )   signos de cuantificador universal.

Diccionario filosófico · 1965:423

no figura

Diccionario de filosofía · 1984