Логика предикатов представляет собой расширение логики высказываний, поскольку все законы логики высказываний служат также законами логики предикатов, однако не наоборот.
Символическая логика представляет собой область логических исследований, включающую множество так называемых «логик» (например, логика высказываний, логика предикатов, вероятностная логика и т.
Аристотель также разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное, или силлогистическое, умозаключение, что послужило основой такого направления современной математической логики, как логика предикатов.
Можно встретить в литературе и в практической деятельности информацию о развитии и результатах деятельности таких направлений, как логика предикатов, символическая, теоретическая, математическая логика и другие.