Символдық логика - сөйлемдер мен логикалық байланыстарды өрнектеуде символдарды кең қолданумен байланысты математикалық логикаға берілетін атаулардың бірі. Дәстүрлі логиканың өзінде де символдар жиі қолданылады. Аристотель б.з.б 4 ғ-да айнымалы мәндерді әріппен белгілеуді тұңғыш рет логикаға енгізді. Мысалы , ғасырлар бойы оң пікір латыннның А- әрпімен, жеке оң пікір J- әрпімен, жалпы теріс пікір Е-әрпімен, жалпы теріс пікір О- әрпімен белгіленіп келді. Жай кесімді силлогизмнің бірінші фигурасы ежелден мынадай символдық формула түрінде өрнектеледі:
M- P S-M S-P
Бұл формуланың төрт модусы ретіне қарай ААА, ЕАЕ, АI және EIO деп белгіленеді. Символдау формальды логиканың барлық салаларында орын алады. Қандай да болсын ғылым атауы , символдардың қаншалықты қолдануына ғана емес, сол ғылымның қандай құбылыстар мен заңдылықтарды зерттейтітіне байланысты берілуге тиіс. «Символдық логика» терминін алғаш рет қолданған ағылшын логигі Джонн Венн (1834- 1923)
