Предмет и задачи логики как науки

    По  количественному  признаку (по объему) понятия делятся  на:

• общие – понятия, в которых выражаются признаки целого класса однородных предметов, носящих одно и то же наименование;
• единичные – понятия, в которых отображаются признаки одного единичного предмета или явления;
• нулевые – с нулевым объемом, ибо за ними нет реальных предметов.

    Также можно выделить:

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

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

    1.   Анализ (от греч. analysis – разложение) – мысленное разложение предмета на свойственные ему признаки. В определенном отношении можно даже проводить аналогию между анализом и арифметическим действием – делением.

    2.   Сравнение – мысленное сопоставление  различных предметов по выделенным  признакам и установление сходства  и различия между ними.

    3.   Синтез (от греч. synthesis – соединение) – мысленное объединение признаков, полученных в ходе анализа и сравнения признаков, в определенную систему.

    4.   Абстрагирование (от лат. abstractio - отвлечение) – логическая операция, основанная на мысленном выделении существенных признаков исследуемых объектов и отвлечении от несущественных. В итоге остаются лишь общие признаки, одинаковые для всех исследованных элементов класса.

    5.   Обобщение – завершает образование  понятия, приписывая выделенные  в ходе абстрагирования существенные  признаки всему классу объектов.

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

    Суждение = понятие + понятие...

    Структурными  элементами понятия являются суждения, входящие в его состав:

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

    Ø   Р – предикат – та часть суждения, которая отображает то, что утверждается или отрицается о предмете мысли, о признаке или свойстве данного предмета.

    Ø   Логическая связка – выражает отношение  между субъектом и предикатом, между «S» и «Р». В языке выражается словами «есть» - «не есть», «суть» - «не суть», «является» - «не является», «имеется» - «не имеется» и пр. Этот элемент суждения в русском языке зачастую просто опускается.

    Кроме названных элементов в суждениях  имеется еще один не всегда явно выразимый, как бы непостоянный, плавающий  элемент, отражающий количественную характеристику субъекта суждения – квантор суждения. В языке он выражался словами «все», «без исключения», «каждый» и т.п. – квантор общности (всеобщности), или словами «некоторые», «многие», «часть», «большинство» и др. – квантор существования. В некоторых случаях квантор лишь подразумевается, как в суждении «Студенты нашей группы любят спорт»: тут не ясно, все или некоторые студенты группы любят спорт, а данное обстоятельство может иметь существенное значение при дальнейшем использовании и анализе суждения. Символическое обозначение квантора общности – V, квантора существования – I.

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

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

    Умозаключение = суждение + суждение...

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

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

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

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

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

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

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

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

    Формула закона тождества:

    А есть А

    А = А

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

    Незнание  закона приводит к ошибке «подмены понятия». Причины:

• логическая – отсутствие логической культуры, нетребовательность к точности мысли;
• лингвистическая – омонимичность языка;
• психологическая – ассоциативность мышления.

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

    неверно, что А и не А

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

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

    Незнание  закона порождает ошибку «противоречивости  в рассуждении».

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

    Формульная  запись:

    А либо не-А

    Неведение закона вызывает ошибку «непоследовательности  в рассуждении».

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

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

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

    Если  есть В, то есть как его основание – А

    Незнание  закона порождает ошибку «бездоказательного рассуждения», «необоснованности», «неаргументированного  рассуждения». 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

         3. Логика формальная и логика диалектическая  

    Современная логика как наука о законах  и формах человеческого мышления включает в себя две относительно самостоятельные науки: логику формальную и логику диалектическую.

    Формальная  логика - это наука о формах мышления, о формально-логических законах и других связях между мыслями по их логическим формам. Формальная логика является наукой о правильном мышлении, исследует и систематизирует также типичные ошибки, совершаемые в процессе мышления, то есть типичные алогизмы. При применении средств, вырабатываемых формальной логикой, можно отвлекаться от развития знания. Формальная логика изучает формы мышления, выявляя структуру общую для различных по содержанию мыслей. Рассматривая понятия, она изучает не конкретное содержание различных понятий, а понятия как форму мышления. Изучая суждения, логика выявляет общую структуру для различных по содержанию суждений. Формальная логика изучает законы, обуславливающие логическую правильность мышления, без соблюдения которой нельзя прийти к результатам, соответствующим действительности, познать истину. Мышление, не подчиняющееся требованиям формальной логики, не способно правильно отражать действительность. Поэтому изучение мышления, его законов и форм нужно начинать с формальной логики.

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