En lógica , una constante lógica o símbolo constante de una lengua 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 lógicas por naturaleza? [2]
Algunos símbolos que comúnmente se tratan como constantes lógicas son:
Muchas de estas constantes lógicas a veces se indican mediante símbolos alternativos (por ejemplo, el uso del símbolo "&" en lugar de "∧" para indicar la lógica y ).
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 a la segunda edición (1937) de Los principios de las matemáticas y señaló 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 habla." [3] El texto de este libro utiliza las relaciones R , sus conversos y complementos como nociones primitivas , tomadas también como constantes lógicas en la forma aRb .