Перейти к содержанию

Участник:Igor224/Формальная логика

Материал из Викиверситета

Логика как правильное мышление

[править]

Логика — наука о законах правильного мышления.


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

Восприятие → Мышление → Память → Эмоции → Воля → Сознание


Формы Мышления:

  1. Понятие
  2. Суждение
  3. Умозаключение
  4. Гипотеза
  5. Теория
  6. Доказательство
  7. Защита
  8. Опровержение.

Понятие

[править]

Понятие — основная форма мышления, в которой отражены существенные признаки предметов и явлений. Виды понятий:

  • индивидуальные (единичные)
  • общие (война, машина, животное)
  • собирательные -представляется как целое из рода однородных предметов (лес, полк, парламент)

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

Абстрактное понятие — служит для обозначения класса вещей, то есть имеют один признак (красота, белизна, тяжесть), иногда абстрактыми понятиями называют понятия, лишенные наглядности: вселенная, человечество

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

Абстрактное понятие, получается путем анализа из конкретного. Конкретное — путем синтеза из абстрактного

Содержание понятия

[править]

Содержание понятия — это признаки понятия, составные элементы понятия. Признаки — это то чем одно понятие отличается от другого.

Признаки:

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

Шкала отсчета времени -- собственный признак понятия «часы»

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

Золотые часы – признак случайный.

Объем понятия

[править]

Объем понятия — сумма тех классов, групп, родов, видов и.т.п., к которым данное понятие может быть отнесено. Понятие с большим объемом — называется Родом. (дерево), по отношению к тому понятию, которое входит в объем родового понятия («ель»).

Любой вид может стать родом по отношению к понятию с меньшим объемом и любой род может стать видом по отношению к понятию с большим объемом.

Объединение в более общие понятия называется Обобщением. Обратный процесс — Ограничением.


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

Определение понятий осуществляется через два признака:

  1. род;
  2. видовое отличие;

Характер- видовое отличие: -отношение к себе, труду, людям Род: -свойство личности Определение понятия, происходит через суждение Подлежащее- определяемым Сказуемое -определяющим

Четыре правила определения понятия:

  1. определение должно быть соразмерным, т.е объем определяемого и определяющего должны быть равны.
  2. определение не должно делать круг
  3. определение не должно быть отрицательным
  4. определение должно быть ясным, без метафор

ПРОВЕРКА: Для того чтобы проверить, правильно ли вы дали определение понятию, нужно поменять подлежащее и сказуемое местами.

Деление понятий и классификация категорий

[править]

Определение понятия — раскрывает Содержание

Деление — Объем

Деление должно иметь Основание

Правила деления:

  1. Деление должно быть соразмерным (сумма всех видов должна равняться роду)
  2. Члены деления должны исключать друг друга.
  3. Деление должно иметь одно основание
  4. Деление должно быть непрерывным

Деление категорий — называется Классификацией

Суждение

[править]

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

  1. подлежащее — S (Subject) то о чем высказываемся
  2. Сказуемое — P (Predicat) то что мы высказываем о подлежащем
  3. Связка — (есть, не есть), связывает подлежащее со сказуемым.

Формы суждений

[править]
  1. В зависимости от субъекта:
    1. Неопределенные — субъект не обозначен, а предикт имеется : светает, холодно
    2. Определенные — субъект обозначен. Определенные суждения могут быть
      1. единичными («Менделеев» — автор переодической системы),
      2. общими (Лошадь — домашнее животное)
      3. частными (Некоторые студенты — спортсмены)
  2. По формам сказуемого «P»
    1. Повествовательные — содержат в Р высказывание о событии, состоянии, процессе (Роза цветет в саду)
    2. Описательные — в Р содержится свойство, приписываемое объекту («Роза красива»)
    3. Объяснительные — S подводится под родовое понятие (Кит — млекопитающее)
  3. Суждения отношения между понятиями
    1. Тождественные — Москва — столица России
    2. Сужд подчинения — Ель — дерево
    3. Сужд отнош пространства, времени, и причинности — это такой вид суждения по форме сказуемого, которые содержат в P отношения пространства, времени и подчиненности между понятиями. (Хлеб — вчерашний)
    4. Аналитические — в P высказывается то, что содержится в субъекте (Яблоко имеет семечки)


Логические операции с суждениями

[править]

Деление суждений

[править]

Четыре основания:

  1. количество
  2. качество
  3. отношения
  4. модальности

Основание количества

[править]

Для «Общего» понятия : (..всем зав. Отделениями собраться…)

Все S — суть Р

«Частное» суждение:

Некоторые S — суть Р. (некоторые студенты — спортсмены)

Единичное суждение — всегда общее. Потому, что субъект берется в полном объеме.

Основание качества

[править]

Положительные — S есть Р. Отрицательные S не есть Р

  • общеутвердительные Все S — суть Р (А)
    • Все S есть P (S распределено в полном объеме. Р- не распределено)
  • частноутвердительные Некоторые S… (I)
    • Ни одно S не есть Р (распределены S & P)
  • общеотрицательные (E)
    • Некоторые S есть Р (не распределены ни S ни Р)
  • частноотрицательные (О)
    • Некоторые S не есть P (S не распределено, Р- распределено)

Буквы A, I, E, O -

AffImo — утверждаю (лат.)(A), (I)

nEgO — отрицаю (лат.) (E).(O)

Основание отношения

[править]
  • категорические суждения
  • условные
  • разделительные
    • категорические S — есть Р
    • условные (или гипотетическое)если А есть В (основание мысли), то С есть D (следствие)
    • разделительные S есть или А, или В, или С (треугольник или остроугольный или прямоугольный или тупоугольный)

Основание модальности

[править]
  • проблематические S вероятно Р
  • ассерторические S есть Р (Иванов — студент, это действительно так но Ив. Можно представить в другом качестве)
  • аподиктические S необходимо Р (2х2=4, только так)
Источник — https://ru.wikiversity.org/w/index.php?title=Участник:Igor224/Формальная_логика&oldid=55646