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