Форма входа

Поиск

Календарь

«  Сентябрь 2024  »
ПнВтСрЧтПтСбВс
      1
2345678
9101112131415
16171819202122
23242526272829
30

Статистика


Онлайн всего: 1
Гостей: 1
Пользователей: 0




Четверг, 19.09.2024, 03:19
Приветствую Вас Гость | RSS
Алгебра логики
Главная | Регистрация | Вход
Лекция 2. Понятие. Суждение. Умозаключение.


УМОЗАКЛЮЧЕНИЕ.

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

Пример:

«Ты задал вопрос» - «Задают вопрос, когда не знают».
УМОЗАКЛЮЧЕНИЕ: «Ты не знаешь».

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

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

Например:

Все студенты - учащиеся. => Этот человек - студент. => Этот человек - учащийся.
Это правильное рассуждение, но при тех же истинных суждениях в рассуждении:
Все студенты - учащиеся. => Этот человек - учащийся. => Этот человек - студент.

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

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

   ВИДЫ УМОЗАКЛЮЧЕНИЙ.

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


По направленности движения мысли
Дедуктивные
- это рассуждения от общего к частному и единичному, они характерны наличием среди посылок общего суждения.

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

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

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

Среди индуктивных умозаключений выделяют:

  • по полной индукции;
  • по неполной:
    • индукция через простое перечисление (популярная индукция);
    • индукция через отбор фактов, исключающих случайность обобщения;
    • научная индукция.


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

1   2   3

   Основные положения:

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

   Контрольные вопросы и задания:

1. Что называется понятием?
2. Что называют суждением?
2. Что называется умозаключением?
3. Приведите примеры единичного и общего понятий?
4. Приведите примеры суждений необходимости?
5. Первое высказывание: Академик Ершов русифицировал язык Паскаль. Второе высказывание: Язык Паскаль – структурный язык.
Сделайте умозаключение.
6. Сделайте логическое умозаключение на основе следующих суждений: Различные виды знаний являются результатом познавательного процесса. Знание в широком смысле слова — это вся информация, полученная о предмете познания.

   Литература:

  1. Угринович Н.Д. Информатика и информационные технологии. Учебник для 10–11 классов.
  2. Ивнин А.А. ЛОГИКА - Учебное пособие Издание   2-е.
  3. Бочаров В.А., Маркин В.И. Основы логики.

  <-К списку лекций       Пройти тест по теме ->


информатика и логика 2024