Участник: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, только так)