Формальная логика и ее основные законы

Видео: Научный метод. Часть 1: логика

Логика – наука о приемах, законах и формах мышления. Формальная логика была разработана древними греками задолго до нашей эры. Именно греки первыми построили демократическое общество, где решения и законы принимались на народных собраниям. Они на примитивном уровне создали науку ведения судебных процессов. А любимым занятием аристократической молодежи были дискуссии с философами. Отсюда всеобщая любовь к разработке теоретических наук. Грекам просто необходимо было учение о том, как стоить научные доказательства.

Видео: Научный метод. Часть 1: логика

Первый курс основ логики разработал Аристотель. Он обратил внимание на то, что любые рассуждения строятся по общим законам, нарушение которые приводит к ошибочным выводам. Формальная логика Аристотеля базировалась на таких законах:

1. Если суждения являются утвердительными, что сделанный из них вывод не может быть отрицательным.
2. Если одно из утверждений отрицательное, то и общий вывод всегда будет отрицательным.

Отсюда выходит, что формальная логика - это знания о принципах и законах эффективного, правильного построения рассуждений, с учетом формы их построения (способов соединения отдельных частей общего рассуждения).

Все явления и предметы имеют взаимосвязь. Связи могут быть объективными или субъективными, общими или частными, необходимыми или случайными. Самые существенные из этих связей называют законами. Все они отражают одну и ту же реальность, следовательно, никак не могут противоречить друг другу. Все законы человеческого мышления связаны с законами развития природы.

Законы мышления представляют собой устойчивую внутреннюю связь между мыслями. Если человек не может связать свои мысли, то он не придет к правильному выводу и не сможет донести его до других.

Основные законы формальной логики - это законы непротиворечивости, тождества, исключения третьего и закон достаточного основания. Разработка первых трех принадлежит Аристотели и Платону, последнего - Лейбницу. Нарушения этих законов (особенно первых трех) приводит к противоречиям, делая невозможным отличать правду от лжи. Последний закон менее нормативен и применяется более ограниченно.

Неосновные законы логики – это правила оперирования суждениями и понятиями, получения истинного вывода в силлогизме, повышения вероятности выводов умозаключениях индуктивного и традуктивного характера.

Закон непротиворечивости означает, что мышление не должно быть противоречивым, а должно отражать качественную определенность вещей.

Видео: Логика нашей жизни

Закон исключенного третьего предписывает не искать между двумя противоречащими друг другу, но истинными высказываниям нечто третье, а признавать истинность лишь одного из них. Одно из составляющих противоречия - непременно истинное.

Закон тождества формальная логика трактует как требование от мышления точности, то есть под любым термином нужно точно понимать его определение и смысл. Суть понятий и суждения нельзя искажать по собственному желанию.

Закон достаточного основания заключается в том, что любую истинную мысль нужно обосновывать другими истинными мыслями, а ложные мысли обосновывать нельзя. В развития суждений должна отражаться причинно-следственная связь. Только в этом случае может быть доказана его достоверность.

Логическая форма мысли и способы определения форм любых мыслей выражаются с помощью логических терминов, к которым относятся союзы &ldquo-и&rdquo-, &ldquo-или&rdquo-, &ldquo-если..., то...&rdquo-, отрицания &ldquo-неверно, что&rdquo- (&ldquo-не&rdquo-), слова &ldquo-некоторые&rdquo-, &ldquo-все&rdquo- (&ldquo-ни один&rdquo-), связка &ldquo-суть&rdquo- (в значении &ldquo-есть&rdquo-) и т.д. Выявить логическую форму суждения можно, отвлекшись от смысла терминов нелогичных, которые входят в словесное выражение этого суждения. Другими словами, формальная логика выражает структуру мысли. Логическая форма всегда информативна и содержательна.

Видео: Шпаргалки по логике. Асмус В.Ф.

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