Simbolismo lógico
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:423
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:
- 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.
No figura en el Diccionario de filosofía · 1984