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