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