символическая логика исследует тот же предмет (правильное мышление) с помощью построения искусственных, специальных, формализованных языков, или, как их еще называют, исчислений.
Помимо форм мышления логика также занимается законами мышления, то есть – такими правилами, соблюдение которых всегда приводит рассуждение, независимо от его содержания, к истинным выводам и предохраняет от ложных (при условии истинности исходных суждений).
2. Суждение – это форма мышления, которая состоит из понятий, связанных между собой и что-либо утверждает или отрицает (примеры суждений: Все планеты являются небесными телами; Некоторые школьники – это двоечники; Все треугольники не являются квадратами и т. п.).
Понятия находятся в отношении противоречия, если одно из них представляет собой отрицание другого, причем в отличие от противоположных понятий, между противоречащими понятиями никак не может быть третьего или среднего варианта