Меню Рубрики

Что такое суждение с точки зрения формальной логики это

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

Примеры суждений: «Волга впадает в Каспийское море», «А.С. Пушкин написал поэму «Медный всадник», «Уссурийский тигр занесен в Красную книгу», и т.д.

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

  1. Субъект (лат. subjektum – «лежащий в основе») – то, о чем говорится в данном суждении, его предмет («S»).
  2. Предикат (лат. praedicatum – «сказанный») – отражение признака предмета, то, что говорится о субъекте суждения («Р»).
  3. Связка – отношение, между субъектом («S») и предикатом («Р»). Определяет наличие/отсутствие у субъекта какого-либо свойства, выраженного в предикате. Может как подразумеваться, так и обозначается знаком «тире» либо словами «является» («не является»), «имеется», «есть», «суть» и др.
  4. Квантор (кванторное слово) определяет объем понятия, к которому относится субъект суждения. Стоит перед субъектом, но может также и отсутствовать в суждении. Обозначается такими словами, как «все», «многие», «некоторые», «ни один», «никто» и др.

Истинные и ложные суждения

Суждение является истинным в том случае, когда наличие признаков, свойств и отношений предметов, утверждаемых/отрицаемых в суждении, соответствует действительности. Например: «Все ласточки – птицы», «9 больше 2-х» и т. д.

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

Однако помимо двузначной логики, в которой суждение может быть либо истинным, либо ложным, существует также многомерная логика. Согласно ее условиям, суждение может быть еще и неопределенным. Особенно это касается будущих единичных суждений: «Завтра произойдет / не произойдет морское сражение» (Аристотель, «Об истолковании»). Если предположить, что это истинное суждение, то морское сражение завтра уже не может не произойти. Следовательно, необходимо, чтобы оно произошло. Либо наоборот: утверждая, что данное суждение в настоящий момент является ложным, мы тем самым делаем необходимой невозможность завтрашнего морского сражения.

Суждения по типу высказывания

Как известно, по типу высказывания выделяют три типа предложений: повествовательное, побудительное и вопросительное. Например, предложение «Я помню чудное мгновенье» относится к повествовательному типу. Целесообразно предложить, что такое суждение также будет повествовательным. Оно содержит определенную информацию, сообщает об определенном событии.

В свою очередь, вопросительное предложение содержит в себе вопрос, подразумевающий ответ: «Что день грядущий мне готовит?» При этом оно ничего не констатирует и не отрицает. Соответственно, утверждение, что такое суждение является вопросительным, ошибочно. Вопросительное предложение в принципе не содержит в себе суждения, так как вопрос не может дифференцироваться по принципу истинности/ложности.

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

Качество суждения

С точки зрения качества, суждения могут быть как утвердительными (S есть P), так и отрицательными (S не есть P). В случае с утвердительным суждением, с помощью предиката субъекту придается определенное свойство(-ва). Например: «Леонардо да Винчи – итальянский живописец, архитектор, скульптор, ученый, естествоиспытатель, а также изобретатель и писатель, крупнейший представитель искусства Возрождения».

В отрицательном суждении, напротив, свойство от субъекта отнимается: «Теория 25-го кадра Джеймса Вайкери не имеет экспериментального подтверждения».

Количественная характеристика

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

Простые и сложные суждения

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

Сложный вид образуется посредством соединения нескольких простых суждений.

Классификация простых суждений

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

Атрибутивные (суждения-свойства) направлены на утверждение/отрицание наличия у предмета определенных свойств (атрибутов), видов деятельности. Данные суждения имеют категорическую форму и не подвергаются сомнению: «Нервная система млекопитающих состоит из головного мозга, спинного мозга и отходящих нервных путей».

В суждениях с отношениями рассматриваются определенные отношения между предметами. Они могут иметь пространственно-временной контекст, причинно-следственный и др. Например: «Старый друг лучше новых двух», «Водород легче углекислого газа в 22 раза».

Экзистенциальное суждение – это утверждение существования/несуществования предмета (как материального, так и идеального): «Нет пророка в своем отечестве», «Луна является спутником Земли».

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

  • «В России необходимо проведение образовательной реформы» (алетическая модальность – возможность, необходимость чего-либо).
  • «Каждый имеет право на личную неприкосновенность» (деонтическая модальность – нравственные нормы общественного поведения).
  • «Небрежное отношение к государственному имуществу приводит к его утрате» (аксиологическая модальность – отношение к материальным и духовным ценностям).
  • «Мы верим в вашу невиновность» (эпистемическая модальность – степень достоверности знаний).

Сложные суждения и виды логических связок

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

Логика формальная

Формальная логика — это широкая область логических исследований, изучающая идеализированные рассуждения и их системы посредством логических исчислений на основе метода формализации (см. Формализация). Метод формализации подразумевает, что логические рассуждения изучаются в отвлечении от их конкретного содержания; при этом сами логические рассуждения формулируются на некотором точном (формализованном) языке при помощи специального аппарата символов (см. Язык формализованный). Такие точные языки имеют две составляющие: синтаксис (см. Синтактика) и семантику (см. Семантика). Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Семантикой называется совокупность соглашений, описывающих наше понимание формул (или некоторых из них) и позволяющих считать одни формулы верными, а другие — нет. Формализованный язык позволяет избежать двусмысленной и логической неясности естественного языка, которым пользовалась при описании рассуждений традиционная логика (см. Логика), развивавшаяся в рамках философии (см. Философия). Методы формализации дали логике такие преимущества, как высокая точность формулировок, возможность изучения более сложных, с точки зрения логической формы, объектов. Определение «формальная логика» было введено И. Кантом с намерением подчеркнуть её ведущую особенность в подходе к изучаемым объектам и отграничить её тем самым от других возможных логик.

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

В связи с различием логических форм выделяют два основных направления формальной логики:

  1. Концептуальный анализ, то есть исследование процедур определения языковых терминов (понятий) и формулировка принципов отношений между ними. Это направление включает в себя широкий спектр теорий, от классификации родо-видовых отношений до конструирования концептуальных «полей».
  2. Теория вывода, то есть анализ рассуждений, формализация законов и принципов связи высказываний (суждений) в умозаключениях. Здесь формулируются способы корректного получения суждения, называющегося заключением, из некоторых исходных суждений, называющихся посылками, посредством рассуждения. В рамках теории вывода выделяют логику, рассматривающую дедуктивные рассуждения (см. Дедукция), то есть определённые способы доказательств, и логику, занимающуюся правдоподобными рассуждениями: индукция, аналогия и другие.

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

Логика возникла в Древней Греции в рамках философии (см. Философия). История её развития насчитывает около двух с половиной тысячелетий и делится на два основных периода:

    Традиционная формальная логика (IV век до новой эры — середина XIX века). В развитии традиционной логики, в свою очередь, выделяются три периода:
  1. Античная логика (V век до новой эры — середина V века).
  2. Схоластическая (Средневековая) логика (середина V века — XV век).
  3. Логика Нового времени (XV–XVIII века).
  • Современная (символическая, или математическая) логика (с середины XIX века).
  • Античную и схоластическую логику сейчас объединяет общее название «традиционной логики». Она, кроме историко-философского, по-прежнему имеет важное пропедевтическое значение и, будучи своеобразным стержнем интеллектуальной культуры человека, признается неотъемлемым элементом широкого гуманитарного образования.

    Новый этап в развитии логики (со второй половины XIX века) был связан с её формализацией и последующей математизацией. В связи с этим новая логика получила название математической (или символической) логики (см. Логика символическая, Логика математическая). Современные логические системы в большинстве своём полностью опираются на формальные математические методы и являются логически интерпретированными исчислениями. Основные разделы математической логики — классические логика высказываний (см. Логика высказываний) и логика предикатов (см. Логика предикатов). Широкое распространение получили исследования модальной логики (см. Логика модальная). Системы логики, отрицающие те или иные фундаментальные законы логики, образовали спектр неклассических логик (см. Логики неклассические). Значительное число различных систем формальной логики обусловлено широкой сферой их приложения. Теоретическая математика, пожалуй, потеряла абсолютно лидирующее место в этом смысле, поскольку не менее интересные приложения осуществляются в областях теоретической физики (квантовая логика), прикладной математики (вычислительная математика и теория алгоритмов), информатики (компьютерные технологии, сети, программирование и исследования в области искусственного интеллекта), гуманитарного знания (лингвистика, юриспруденция, этика) и других.

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

    Всем помогу!

    Основы формальной логики

    Содержание.

    1. Логика как наука о мышлении.
    2. Законы формальной логики.
    3. Понятие как форма мышления
    4. Логические операции с понятиями.
    5. Суждения, их виды и отношения между ними.
    6. Умозаключение: сущность и структура.
    7. Индуктивные и традуктивные умозаключения.
    8. Аргументация и доказательство.

    ВВЕДЕНИЕ

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

    1. ЛОГИКА КАК НАУКА О МЫШЛЕНИИ

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

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

    Неязыковые знаки это показатели, символы и сигналы. Языковые или описательные термины используются в целях общения и обозначения имени и значения предмета. Имя это языковое выражение для обозначения предмета. Имя предмета может быть простым (туризм, рынок), сложным (денежная система), собственным (ЗАО «Мостуризм»), общим (туристическая компания).

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

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

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

    — содержательных способов рассуждений на естественном языке;

    — выявление наиболее общих свойств и отношений между предметами и явлениями;

    — фиксации свойств и характеристик самих мыслей и отношении между ними.

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

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

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

    Каким образом делает это логика? Прежде всего, изучая формы, структуру и правила мышления в отвлечении их от конкретного содержания. При этом термин “логика” употребляется в двух основных смыслах.

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

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

    1. Каково содержание понятия «язык»? В чем отличие естественного языка от искусственного?
    2. Что такое имя предмета, его значение и смысл?
    3. Какие существуют логические формы мышления?
    4. Назовите основные этапы развития логики.

    2. ЗАКОНЫ ФОРМАЛЬНОЙ ЛОГИКИ.

    1. Понятие логического закона.

    2. Содержание и формы логических законов.

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

    Для студента это положение методологично, поскольку он должен понять и объяснить факт содержательного совпадения и формального отличия законов природы и законов логики.

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

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

    Для формальной логики наибольшее значение имеют четыре основных логических закона: непротиворечивости, исключенного третьего, тождества и достаточного основания. Содержание и формулировка первых трех законов развивалась в трудах Платона и Аристотеля. Разработка четвертого принадлежит Г.Лейбницу. Основные логические законы выделяют важные свойства правильного мышления: определенность, непротиворечивость, выбор’’или – или”, в некоторых жестких ситуациях, обоснованность. Они носят нормативный характер, поскольку только их соблюдение говорит о правильности мышления. Нарушение законов приводит к логическим противоречиям и невозможности отличить истину от лжи. Четвертый закон менее нормативен и имеет ограниченное применение.

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

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

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

    В то же время противоположные суждения могут быть истинными в следующих случаях:

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

    Так в диалоге “Государство” Платон обучает спорщиков, как ставить вопросы: благо ли государство? – и отвечает на них, подчеркивая различное видение и отношение к благу.

    Характер суждения может кардинально меняться и во времени. По этому поводу Аристотель пишет: “Самое достойное из всех начал то, по отношении к которому невозможно ошибиться. Оно должно выступать как безусловное. Такое начало не гипотеза. Что же это за начало? – Невозможно, чтобы одно и тоже было и не было присуще одному и тому же в одном том же смысле. Это самое достойное из начал” (МЕТАФИЗИКА). Это положение «R(R?P) направлено против Гераклита, и против софистов, фактически отрицая противоречие.

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

    Опровержение противоречащих фактам следствии, сравнение различных точек зрения позволяет выявить несовместимость суждений А и не А. Для этого можно использовать “метод приведения к абсурду”, где ошибочность и противоречивость выводов станут очевидными. В других случаях это обращение к контексту задач разрешения неявных противоречий. Последовательность и непротиворечивость мышления- основа уверенных и принципиальных действий любого специалиста.

    Закон исключенного третьего предъявляет, более сильные требования к суждениям и требует, не уклоняться от признания истинности одного из противоречащих высказываний и не искать между ними нечто третье. “Один из членов противоречия должен быть истинным”, — отмечал Аристотель. В символической форме закон записывается «R(RVR): не ложно, не ложно; или истинно, или ложно. Этот закон и его действие не сводимо к будущему, где событие либо состоится, либо нет. Закон альтернативен в характеристике вещей, гипотез и путей решения проблем, требует выделять различные подходы и определить истинный.

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

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

    — логическое, об истинности одного из высказываний;

    — онтологическое, о существовании и не существовании объекта;

    — методологическое, о всей полноте исследования объекта.

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

    Закон тождества устанавливает требование определенности мышления: употребляя в процессе размышления термин, мы должны понимать под ним нечто определенное. Поэтому, в рассуждениях необходимо оставлять понятия и суждения теми же самыми по содержанию и смыслу. Это требование сохраняется, если каждое преобразование аннулируется ему обратным образом (нулевое преобразование). Например, операция 2+5=7-5=2.

    Неизменность мысли в ходе рассуждения фиксируется формулой А есть А или А?А, или не А есть не А. Объективное основание закона находится во временном равновесии, покое какого-либо тела или процесса.

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

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

    Амфиболия – двусмысленность языковых выражений или незамеченная многозначность. Так в софизме: «Рогатый» – тот, кто не потерял рога, имеет их. Ты не потерял рога, значит, ты имеешь их, значения «имел и не потерял» и «не имел и не потерял» нарушают закон тождества, хотя и создают видимость правильного рассуждения. Другое значение этой ошибки – подмена тезиса, и студенту важно показать, в каких случаях ее использует недобросовестный оппонент. Подмена понятия, или эквивокация, показывает, что под видом данного понятия используется одно и то же слово в разных значениях. Например, – каждая война справедлива, интервенция – это война, следовательно, война справедлива. Здесь термин война употребим в разных значениях.

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

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

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

    1. Что такое основной и неосновной формально-логический закон ?
    2. Кто и как впервые сформулировал эти законы ?
    3. Какие объективные тенденции отражают законы формальной логики ? Какова сфера их действия ?
    4. Каково содержание и сфера действия основных законов логики ?
    5. Какие ошибки в мышлении возможны при неправильном применении законов логики ?

    3. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ

    1. Сущность и структура понятия.

    2. Закон обратного соотношения содержания и объема понятия.

    3. Отношения между понятиями.

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

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

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

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

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

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

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

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

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

    Отношения между понятиями по их объему хорошо просматриваются по схеме:

    1. Равнообъемные: А – Коммерция 1. Соподчинение

    В — Предпринимательство А – политика

    2. Перекрещивание А — Инженер 2. Контрарность –

    Формальная логика

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

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

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

    В ходе процесса познания происходит постоянное взаимодействие предмета и метода. Предмет предполагает определенный метод исследования, а метод формирует предмет.

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

    Формальная логика это изучение мысли со стороны ее структуры, формы.

    Основателем формальной логики считается Аристотель,открывший своеобразную форму умозаключения (силлогизм) и сформулировавший основные законы логики. Ученики Аристотеля назвали эту новую книгу «органон», то есть «орудие познания». Термин «логика» («слово», «разум», «закономерность») появился позже у стоиков, и лишь в XVII в. в процессе создания диалектической логики эту традиционную логику стали вслед за И. Кантом называть формальной.

    Простейшей категорией формальной логики является понятие — оно фиксирует мысль о предмете.Обычно понятие определяется через более широкое понятие путем добавления к родовому признаку видового различия.

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

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

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

    Это называется аксиомой силлогизма. Формальная логика разработала обширный набор методов и приемов познания. Важнейшие из них — это анализ и синтез, индукция и дедукция, сравнение, аналогия, гипотеза, доказательство, определенные законы мышления.

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

    Индукция это метод познания, основанный на умозаключениях от частного (особенного) к общему;

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

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

    Аналогия это метод познания, основанный на переносе одного или ряда свойств с известного явления на неизвестное.В общей форме умозаключение по аналогии записывается следующим образом. Если А и В имеют общие свойства и А имеет свойство С, то и В имеет свойство С.

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

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

    Первый случай представляет собой показательные задачи (известно все — проблема, метод ее решения и ответ). Второй случай — типовые школьные задачи (известно все, кроме ответа). Третий случай — риторические проблемы — головоломки. Четвертый случай — это классические научные проблемы. Пятый случай иллюстрирует ситуацию, когда правильное понимание формулировки проблемы приходит только в конце исследования. Шестой случай соответствует ситуации, когда в экономике используют методы других наук. Седьмая ситуация иллюстрирует догматическую теорию, обладающую готовыми ответами на все проблемы; восьмая — это софизмы, парадоксы, антиномии.

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

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

    Постановка проблемы в форме парадокса (антиномии, апории или даже софизма) способствует рождению гипотез. Гипотеза — это метод познания, заключающийся в выдвижении научно обоснованного предположения о возможных причинах или связях явлений и процессов. Гипотеза возникает тогда, когда появляются новые факторы, противоречащие старой теории. Научная теория состоит из ядра и защитного пояса (см. рис. 1—3).

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

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

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

    Существуют различные виды доказательства. В зависимости от его целей выделяют доказательства истинности и ложности (опровержение); в зависимости от способа доказательства — прямые и косвенные; в зависимости от оснований доказательства — теоретические и эмпирические.

    Основные законы формальной логики(см рис. 1—6):

    1. Закон тождества (А=А);

    2. Закон противоречия (А и А, А Λ А);

    3. Закон исключенного третьего (А и А, А V А);

    4. Закон достаточного основания.

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

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

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

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

    Не нашли то, что искали? Воспользуйтесь поиском:

    Лучшие изречения: Как то на паре, один преподаватель сказал, когда лекция заканчивалась — это был конец пары: «Что-то тут концом пахнет». 7656 — | 7304 — или читать все.

    193.124.117.139 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.

    Отключите adBlock!
    и обновите страницу (F5)

    очень нужно

    Формальная логика

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

    Формальная логика и мышление

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

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

    Часть I ПОНЯТИЕ, СУЖДЕНИЕ, УМОЗАКЛЮЧЕНИЕ

    Глава 1 ПРЕДМЕТ ФОРМАЛЬНОЙ ЛОГИКИ

    § 1. Определение формальной логики. Мышление как предмет формальной логики

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

    • • что такое мышление и чем оно отличается от других форм познания,
    • • чем правильное мышление отличается от неправильного,
    • • что такое «форма мышления» и в чем сущность процесса формализации,
    • • каковы основные законы правильного мышления. Рассмотрение этих вопросов и составляет содержание настоящего параграфа.

    Абстрактное мышление представляет вторую ступень познания человеком объективного мира. Познание начинается с чувственного созерцания и завершается практическим преобразованием объекта.

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

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

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

    Представление — целостный образ предмета, ранее воспринимавшегося, воспроизводимый по памяти.

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

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

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

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

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

    Очень многие мысли-понятия не имеют прямых представителей в объективной реальности, поскольку сами понятия являются «овеществленными» свойствами или отношениями. Например, закон всемирного тяготения не существует сам по себе вне предметов, которые ему подчиняются. Это абстракция. Или такая вещь, как плод; опять-таки в реальности нельзя обнаружить «плода», можно найти лишь единичные вещи, обладающие свойством — быть плодом.

    Мысли, в отличие от чувственных образов, имеют обобщенный характер. Что это значит? Чувственный образ, как правило, относится к единичному предмету, явлению или событию. Мысль, скажем, понятие, отражает класс предметов, явлений, событий. Например, понятие «студент» относится ко всем студентам, которые были, есть и будут на земле, понятие «юрист» — ко всем людям, занимающимся правоведением, и т.д. Отметим, что большинство слов натурального языка имеют в своем содержании элементы чувственного образа и понятия. Так, слово «яблоко» связано и с чувственным представлением, и с понятием «плод яблони». Но часть слов никак не соотносится по содержанию с чувственным образом: например, «биссектриса», «синтаксис», «тождество» и т.п.

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

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

    Мышление как феномен познания является объектом исследования для многих наук. Каждая наука подходит к этому объекту’ со своим инструментарием, методами и приемами изучения и таким образом формирует свой предмет. Мышление изучается философией, гносеологией, физиологией высшей нервной деятельности, психологией, кибернетикой, лингвистикой, диалектической логикой и т.д. И каждой из этих наук мышление рассматривается с определенной стороны. Так, психологию интересует процесс становления и развития мышления индивида с младенческого возрастало взрослого состояния. Гносеология (философия) ставит вопрос о предметной истинности мышления, о том, отражает ли содержание мыслей мир таким, каков он на самом деле. Физиология высшей нервной деятельности исследует физиологические механизмы мышления. Кибернетика рассматривает функции мышления с точки зрения возможности их воспроизведения в кибернетических машинах. Лингвистика изучает формы мышления как содержание выражений языка. Диалектическая логика, исследуя формы мышления, обращает внимание главным образом на их становление и развитие.

    Чем отличается подход формальной логики к мышлению от подхода других наук? Прежде всего, формальная логика не интересуется конкретным содержанием мыслей. Она изучает их со стороны формы, или структуры. Поэтому она и называется формальной. Во-вторых, формальная логика не акцентирует внимания на процессе изменения, развития мыслей. Она изучает мысли относительно устоявшимися, сформированными к моменту рассуждения.

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

    Упражнение. В данных примерах различите мысли истинные и ложные, правильно и неправильно построенные: «Вечный двигатель», «Круглый квадрат», «Вселенная», «Материя первична», «Сознание первично», «Эти слова означают одно понятие, но имеют различный смысл», «На девушке надето легкое голубое пальто и такого же цвета серая шляпа», «Некоторые студенты отличники. Иванов не отличник. Следовательно, он не студент».

    «Вечный двигатель» — понятие ложное (так как вечного двигателя не существует), но правильно построенное. «Круглый квадрат» — неправильно построенное понятие (его структура нарушает логический закон непротиворечия) и в силу этого ложная мысль. «Вселенная» — понятие истинное и правильно построенное. «Материя первична» — истинное, правильно построенное суждение. «Сознание первично» — ложное, правильно построенное суждение. Следующие два сложных суждения нарушают логические законы тождества и непротиворечия. Они не являются правильно построенными и не являются истинными. Последнее умозаключение также неправильно построено; в нем нарушены правила дедуктивного умозаключения (силлогизма), поэтому вывод здесь не достоверен, а лишь вероятен.

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

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

    Наиме­но­ва­ние: Формальная логика
    Опреде­ле­ние: Формальная логика — это широкая область логических исследований, изучающая идеализированные рассуждения и их системы посредством логических исчислений на основе метода формализации.
    Дискурс: Наука
    Субдис­курс: Логика
    Связан­ные концепты: Логика символическая Логика математическая
    Текст: Авторы: А. С. Карпенко. А. Г. Кислов. Подготовка элект­рон­ной публи­ка­ции и общая редакция: Центр гумани­тарных техно­логий. Инфор­ма­ция на этой стра­нице пери­оди­чески обнов­ля­ется. Послед­няя редакция: 23.04.2019.
    Читайте также:  Как узнать свое зрение по рецепту
    Источники:
    • http://gtmarket.ru/concepts/7028
    • http://vsempomogu.ru/urist/logika/692-8.html
    • http://studopedia.ru/3_169109_formalnaya-logika.html
    • http://www.psychologos.ru/articles/view/formalnaya-logika
    • http://ozlib.com/853076/sotsium/ponyatie_suzhdenie_umozaklyuchenie