You are here: irt.org | FOLDOC | symbolic logic
<logic> The discipline that treats formal logic by means of a formalised artificial language or symbolic calculus, whose purpose is to avoid the ambiguities and logical inadequacies of natural language.
(1995-12-24)
Nearby terms: symbolic inference « Symbolic Link « symbolic link « symbolic logic » Symbolic Mathematical Laboratory » symbolic mathematics » Symbolic Optimal Assembly Program
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL