En lógica , una constante lógica o símbolo constante de un lenguaje es un símbolo que tiene el mismo valor semántico bajo cualquier interpretación de . Dos tipos importantes de constantes lógicas son los conectivos lógicos y los cuantificadores . El predicado de igualdad (generalmente escrito '=') también se trata como una constante lógica en muchos sistemas de lógica .
Una de las preguntas fundamentales en la filosofía de la lógica es "¿Qué es una constante lógica?"; [1] es decir, ¿qué característica especial de ciertas constantes las hace de naturaleza lógica ? [2]
Algunos símbolos que comúnmente se tratan como constantes lógicas son:
Muchas de estas constantes lógicas a veces se denotan mediante símbolos alternativos (por ejemplo, el uso del símbolo "&" en lugar de "∧" para denotar el y lógico ).
La definición de constantes lógicas es una parte importante del trabajo de Gottlob Frege y Bertrand Russell . Russell volvió al tema de las constantes lógicas en el prefacio de la segunda edición (1937) de Principios de las matemáticas, señalando que la lógica se vuelve lingüística: "Si vamos a decir algo definitivo sobre ellas, [deben] ser tratadas como parte del lenguaje, no como parte de lo que el lenguaje dice". [3] El texto de este libro utiliza relaciones R , sus recíprocos y complementos como nociones primitivas , también tomadas como constantes lógicas en la forma aRb .
