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