Semántica lógica

Semántica lógica. Estudia los problemas que plantea la interpretación de los cálculos lógicos y por consiguiente, el problema de la designación.