Предмет и значение форм логики

№25 Деление  понятий, его правил. Принцип классификации.

Деление – лог операция в ходе ктр объем  данного понятия распределяется на несколько подмножеств ктр  назыв членами деления. Правила: 1) Соразмерность деления: объем делимого понятия должен быть равен сумме объемов членов деления. Ошибки: а) неполное деление; б) деление с меньшими членами; 2) Деление должно проводиться только по данным основанию. 3) Члены деления должны исключать друг друга. 4) Деление должно быть непрерывным, нельзя делать скачки в делении.

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

№26 Закон  не противоречия и закон исключенного третьего, их взаимосвязь. Ограниченный хар-р законов лог.

Закон не противоречия. Логическое мышление хар-ся непротиворечивостью. Противоречие разрушает мысль, затрудняет процесс  познавания. Два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней  мере одно из них необходимо ложно. Закон непротиворечия – не могут быть истинными две мысли одна из ктр отрицает другую. Два противоположных суждения не могут быть истинами в одно и тоже время и в одном и том же отношение. Закон исключенного третьего – два противоречащих суждения не могут быть одновременно ложными, одно из них истинно. Закон ИТ действует только в отношение противоречащих суждений. Основой закона ИТ служит св-во объектов реальной действительности, состоящие в том, что у них не могут быть одновременно отсутствовать противоречивые признаки. Соблюдение закона ИТ служит необходимым условием последовательной правильной мысли. З-н ИТ и з-н непротиворечия не указывает какое из двух противоречивых высказываний будет истинным по своему содержанию. З-н ИТ и з-н непротиворечия не отрицают того что вещи меняются, а проследование состояния одного и того же предмета могут незаметно переходить одно в другое. 

№27 Операции с классами понятий, их законы.

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

1. Объединение обозначение: А+Б или А=Б (А (Толстой) + Б (Автор романа) = А=Б (Война и мир)) (пустой кружок)
2. Пересечение – класс тех эл-ов ктр содержатся в обоих данных множествах. Обозначаются А*Б (А (школьник) * Б (футболист) = ) (кружки пересекаются )
3. Вычитание – множество тех эл-ов класса А ктр не являются эл-ми класса Б. Обозначение: А-Б (А (рабочий) – Б (рационализатор) = ) (кружки пересекаются, закрашены только рабочие, ктр не рационализаторы)
4. Дополнение – класс А ктр будучи сложенным с А дает рассматриваемую область предметов, а в пересечение с А дает пустое множество. (кружок А пуст, заштрихована остальная область А ктр явл дополнением)

№28 Док-во, кго структура. Способы док-ва.

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

Структура до-ва: 1) Тезис – суждение истинность ктр нужно док-ть. 2) Аргументы – истинные суждения которыми пользуются при док-ве тезиса. (Виды аргументов: а) удостоверенные, единичные факты; б) определения как аргументы док-ва; в) аксиомы и постулаты; г) ранее доказанные законы науки и тео-мы, как аргументы док-ва.) В ходе док-ва любого тезиса может использоваться не один, а несколько видов аргумента.

Способы док-в: 1) Прямое – идет от рассматривания аргумента к док-ву тезиса, истинность обосновывается аргументами. Широко используется ПД в статистических отчетах, в различного рода доках, постановлениях, худ литре. (Была жуткая ночь: выл ветер, дождь барабанил в окна. И вдруг среди грохота бури раздался вопль ужаса.)

2) Непрямое  – док-во в ктр истинность  выдвинутого тезиса обосновывается  путем док-ва ложности тезиса.

3) Аналогическое  косвенное до-во – осуществляется  путем установления ложности  противоречивого тезису суждения. 

№29 Суждение как форма мышления, его структура. Суждение и язык.

Суждение  – форма мышления, в ктр что  либо утверждается или отрицается о сущности предметов, связи между предметом и его св-ми или отношениях между предметами. (Киев больше Тулы. Все феодалы – эксплуататоры.) В рамках формальной лог любое суждение может иметь два значения: быть истинным или ложным. Суждение считается истинным если заложенная в нем инфа соответствует действительности. В реальности мы обнаруживаем, что далеко не всегда можем оценивать суждения используя 2 этих значения. Формальную лог назыв двузначной в этом проявляется ее ограниченный хар-р. Постоянно меняющийся и развивающийся мир определяет бесконечный хар-р развития и самого процесса познавания. Именно это не в состоянии замечать формальная логика. Структура: S есть Р – формула. S – субъект суждения, под ктр или о чем идет речь в суждении. P – предикат, т.е. св-ва или отношения присваиваемые к субъекту. Кванторы – распределяются на субъект когда можно охарактеризовать Р. 

№ 30 Опровержение, его правила.

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

1. Тезис должен быть лог-ки определенным, ясным и точным.
2. Тезис должен оставаться тождественным.

Ошибки: Подмена тезиса; довод к челу; переход в другой род.

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

Ошибки: Ложность основ; порочный круг; опора на недоказанные аргументы.

4. Правила к форме обоснования тезиса.

Ошибки: Мнимое исследование – тезис не следует из приводимых к его подтверждению  аргументов. От сказанного с условием к сказанному безусловно. 

№31 Виды простого суждения.

1) Суждение  св-ва (атрибутные). В суждение этого  вида утверждается или отрицается  принадлежность предмету известных  св-в, состояний, видов деятельности. (У розы приятный запах. Всякий  терьер – собака. Семь не есть  четное число.) Схема: S есть P или S не есть P.

2) Суждение  с отношениями. В этих суждениях  говорится об отношениях между  предметами. (Всякий протон меньше  электрона. Отцы старше своих  детей.)

3) Суждение  существования. В этих суждениях  утверждается или отрицается  существование предметов действительности. (Существует атомный реактор в Чернобыле. Не существует беспричинных явлений.)  

№32 Понятие  гипотезы. Структура гипотезы. Виды гипотезы и способы ее док-ва.

Гипотеза  – научно обоснованное предположение, а причинах или взаимосвязях каких  либо явлений или событий природы, общества, мышления. Гипотеза является формой развития общества и тех науки, с точки зрения лог структуры она сводится к какой-то форме мышления. Виды гипотез: 1) Общая  - это научно обоснованная предположение, о причинах, законах и взаимосвязях природных и общественных явлений, а также закономерной тех деятельности чела.

2) Частное  – это научно обоснованное  предположение о причинах, происхождении,  взаимосвязи частных объектов  выделенных из класса рассматриваемых  объектов природы, общественной жизни или тех деятельности чела.

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