Формально-логические законы

Традиционная логика выделяет четыре закона правильного мышления: тождества, непротиворечия, исключенного третьего, достаточного основания.

Первые три из этих законов были выявлены и сформулированы Аристотелем, а закон достаточного основания был сформулирован Лейбницем.

Формально-логические законы имеют общечеловеческий характер. Нарушение того или иного закона приводит к логическим ошибкам различного характера, существенным образом ска­зывается на действиях человека, которые основаны на выводе некоторого умозаключения.

Являясь законами правильного мышления, а не законами вещей, не законами объективного мира, законы логики выражают важные свойства такого мышления — определенность, непротиворечивость, обоснованность, четкость, выбор "или— или" в определенных "жестких" ситуациях. Кроме указанных четырех законов, в формальной логике существует много других, которым должно подчиняться правильное мышление в процессе оперирования его отдельными формами (понятиями, суждениями, умозаключениями).

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

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

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

Фундамент материалистической диалектики — наиболее глубокого и всестороннего учения о развитии — составляют основные законы: закон взаимного перехода количественных и качественных изменений, закон единства и борьбы противоположностей и закон отрицания отрицания. Эти законы являются всеобщими: они действуют в природа, обществе и мышлении. Кроме них в объективном мире действует много других законов, изучаемых конкретными науками (физикой, химией, биологией и др.); существуют и общенаучные законы (например, закон сохранения энергии).

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

Наиболее простые и необходимые связи между мыслями выражаются в основных формально-логических законах. К ним относятся законы тождества, непротиворечия, исключенного третьего, достаточного основания.

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

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

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

закон тождества: А º А

закон непротиворечия: А L А

закон исключенного третьего: А V А