Символічна логіка, те ж, що математична логіка, т. с. «логіка по предмету, математика по методу» (П. С. Порецкий ), або «логіка, що вивчається за допомогою побудови формалізованих мов» (Л. Черч ). Термін «З. л.» акцентує увагу на тому обставині, що основними елементами формалізованих мов, службовців «математичним методом» вивчення предмету логіки, є в даному випадку не слова звичайних розмовних мов (що хоч би і вживаються в яких-небудь спеціальних значеннях), а деякі символи, що вибирані (або конструйовані з вибраних раніше символів) і інтерпретуються (тлумачені) певним чином, специфічним саме для даної логічної ситуації і, взагалі кажучи, не пов'язаним ні з яким «традиційним» вживанням, розумінням і функціями таких же символів в інших контекстах.
