ПРЕДМЕТ ЛОГИКИ. ЛОГИЧЕСКАЯ ФОРМА.
Логика (logos - греч.) - мысль, слово, разум. Предмет изучения логики - мысль и мышление. Мышление изучается не только логикой. Логика исследует мышление как средство познания объективного мира, те его формы и законы, в которых происходит отражение мира в процессе мышления. Логика является философской наукой. Логическая форма - это строение конкретной мысли, способ связи ее составных частей. Л.ф. мысли можно выразить при помощи символов. S - субьект (понятие о предмете суждения),
P - предикат (понятие о признаке предмета). Все S есть P - все караси - рыбы, все люди - смертны.
Если S есть P , то S есть P1 - если железо нагреть, то оно расширяются.
СОКРАЩЕННЫЙ И СЛОЖНОСОКРАЩЕННЫЙ СИЛЛОГИЗМ (ЭНТИМЕМА, СОРИТ).
Энтимемой наз-ся силлогизм, в котором пропущена одна из посылок или заключение. Пропущена меньшая посылка - “Все металлы теплопроводны (аллюминий металл) аллюминий теплопроводен”.
Пропущена большая посылка - “(Все киты млекопитающие) все кашалоты - киты, все кашалоты - млекопитающие”. Пропущено заключение - “Все рыбы дышат жабрами, окунь - рыба (окунь дышит жабрами)”.
Сорит - это прогрессивный и регрессивный полисиллогизм в сокращенной форме. Прогрессивный сорит -
когда из прогр. Полис. Выбрасывают заключения предшествующих силлогизмов и большие посылки последующих. Схема - A-B, C-A, D-C, E-d,,, E-B. “Все, что укрепляет здоровье(A) - полезно (B), спорт
(C ) укрепляет здоровье (A), легкая атлетика (D) - спорт (C ), бег (E) - вид легкой атлетики (D) , Бег (Е) - полезен (В). Регрессивный сорит - это когда из регресс. Полис. Выбрасывают заключение предшествующих силлогизмов и меньшие посылки последующих. Схема - А-В, В-С, С-D, ,, A-D. “Все растения - организмы, Все организмы - тела, Все тела имеют вес,,, всякое растение имеет вес”.
Эпихейрема - это такой силлогизм, обе посылки которого это сокращенные ПКС (энтимемы).
Схема - А-С, т.к. А-В. D-A, т.к. D-E,,, D-C. “Благородный труд заслуживает уважения, т.к. благородный труд способствует прогрессу общества. Труд учителя есть благородный труд, т.к. труд учителя заключается в воспитании поколения. Труд учителя заслуживает уважения”.

ПОНЯТИЯ ПО ОБЪЕМУ И СОДЕРЖАНИЮ. ЗАКОН ОБРАТНОГО ОТНОШЕНИЯ
Содержание поняти - совокупность существенных признаков одноэлементного класса или класса однотипных предметов, отраженных в этом понятии (содержанием понятия “ромб” является совокупность 2-х признаков - “быть паралеллограмом” и “иметь равные стороны). Объем понятия - это класс обобщаемых в этом понятии предмнтов. Под объемом понятия “животные” подразумеваются все животные, которые существовали, существуют и будут существовать. Класс состоит из множества элементов.
Закон обратного отношение - объем одного понятия (моторная лодка) может входить в объем другого понятия (лодка), более широкого по содержанию. Чем шире объем понятия, тем уже его содержание, чем шире содержание, тем уже объем.
ЧИСТО УСЛОВНЫЙ СИЛЛОГИЗМ. АКСИОМА.
Чисто условным силогизмом наз-ся такое опосредованное УМЗ, в котором обе посылки являются условными суждениями. Условное суждение имеет структуру - “если А, то В”. Схема - А-В, В-С,,,А-С.
“Если по проводнику пустить ток, то возникнет магнитное поле: если возникнет магнитное поле, то опилки расположатся в этом поле вдоль силовых линий: если по проводнику пустить ток, то опилки... “. В чисто условном силогизме есть модусы (разновидности). Схема - А-В, неА-В,,, В. “Если будет хорошая погода - уберем урожай., если не будет хорошей погоды - уберем крожай,,, уберем крожай. “.
Аксиома - это суждение, принимающееся в качестве аргумента и без доказательства.

ОБЩАЯ Х-КА ПОНЯТИЯ. ПОНЯТИЕ И СЛОВО.
Понятие - форма мышления, в которой отражаются существенные признаки класса однородных предметов. Понятие является одной из форм абстрактного мышления. Признаки предмета (существенные и несущественные) - это то, в чем предметы сходны и различны друг от друга. В понятие отражаются только существенные признаки (каждый из которых необходим, а все вместе - достаточны для характеристики данного понятия). Языковыми формами выражения понятия являются слова и словосочетания. Существуют слова-омонимы и слова-синонимы. Логические приемы формирования понятия - анализ (расчленение предметов на составные части), Синтез (соединение в целое частей), Сравнение (установление сходства или различия по признакам), Абстрагирование (выделение одних признаков и отвлечение от других), Обобщение (объединение нек-рых предметов в некотором понятии).
ИНДУКЦИЯ : ПОЛНАЯ И НЕПОЛНАЯ
Индукция - это когда от отдельных случаев мы переходим к общему суждению. Индукция - это УМЗ, дающее вероятное суждение. Полная индукция - это такое УМЗ, когда общее заключение о всех элементах данного класса делается на основании рассмотрения каждого элемента этого класса. Полная индукция дает достоверное заключение, поэтому она применяется в математических и иных строгих доказательствах.
Неполная индукция - это когда мы рассматриваем не все случаи изучаемого явления, а заключение делаем для всех. 1 вид - Индукция через простое перечисление - на основании повторяемости одного и того же признака у ряда однородных предметов и отсутствия противоречащего случая делается общее заключение, что все предметы этого рода обладают этим признаком (Считали, что все лебеди белые, пока не встретили черного лебедя). 2 вид - Индукция через анализ и отбор фактов - стремление исключить случайность обобщений, т.к. изучаются планомерно отобранные и наиболее типичные предметы разнообразные по времени, способу получения и т.д. (для определения кач-ва рыбных консервов берут банки из разных партий и разных холодильников). 3 вид - научная индукция - это УМЗ, в котором на основании познания необходимых признаков делается общее заключение обо всех предметах данного класса. Дает достоверный вывод. Опирается на всестороннесть анализа фактов.

ВИДЫ ПОНЯТИЙ ПО ОБЪЕМУ И СОДЕРЖАНИЮ
По объему понятия бывают единичные (одноэлементный класс “великий русский писатель А.Н.Островский”) , общие (число элементов больше 1 “автомобиль, государство”), универсальные (объем которых равен универсальному классу “натуральные числа”), пустые или с 0-вым объемом (объем этих понятий - пустое множество “Бог, дед Мороз и т.п.”).
По содержанию понятия бывают конкретные (в этих понятиях подразумевается какой-либо предмет целиком “дом, свидетель”), абстрактные (в них мыслится не целый предмет, а какой-либо из его признаков, взятый отдельно от предмета “белизна, честность”), относительными (существование одного предмета невозможно без существования другого “ученик-учитель, дети-родители”), безотносительные (предметы, существующие самостоятельно “дом, человек”), положительные (характеризуют наличие в предмете какого-либо качества или отношения “грамотный человек, отстающий ученик”), отрицательные (означают то, что указанное качество отсутствует в предмете “некрасивый постубок, ненормальный человек”), собирательные (когда группа однородных предметов мыслится как единое целое “полк, стая”), несобирательные (можно отнести к каждому предмету данного класса “дом, река”).
ДЕЛЕНИЕ ПОНЯТИЯ. ВИДЫ ДЕЛЕНИЙ
Леление понятия это когда объем делимого понятия распределяется на ряд подмножеств с помощью основания деления. Основание деления - это признак, по которому понятие делят. Члены деления - те подмножества, на которые понятие разбивается.
Делить можно по видообразующему признаку - основанием деления явлляется тот признак , по которому образуются видовые понятия “Ядреные взрывы бывают воздушными, наземными, подземными и подводными (в зависимости от среды, где произошел взрыв)”. При дихотомическом делении объем делимого понятия делится на 2 противоречащих понятия “вещества делятся на органические и неорганические”.
Классификация - разновидность деления. Это - последовательное деление , образующее развернутую систему, где каждый ее член делится на подчлены и т.д. Классификация тоже бывает по видообразующему признаку и дихотомическая.

АНАЛОГИЯ СТРУКТУРА И ВИДЫ.
Аналогия - УМЗ о принадлежности предмету определенного признака на основе сходства в признаках с другими предметами. Происходит перенос информации с одного предмета (модели) на другой (прототип).
Аналогия свойств - рассматривает 2 единичных предмета и переносимыми признаками являются свойства этих предметов. Схема “предмет А обладает свойствами а,б,в,г,д,е , предмет Б обладает свойствами а,б,в,г , вероятно, что предмет Б обладает св-вами д,е “. При аналогии отношений информация, переносимая с модели на прототип характеризует отношения между 2-мя предметами (в это я не врубился).
По степени достоверности заключения аналогия бывает строгая - наличие необходимой связи общих признаков с переносимым признаком Схема - “Предмет А обладает признаками а,б,в,г,д. Предмет Б обладает признаками а,б,в,г. Из совокупности признаков а,б,в,г, необходимо следует д. Предмет Б обязательно обладает признаком д.”. Этот вид аналогии применяется в н