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) Единичная – научно обоснованное предположение о причинах, происхождении, и взаимосвязях единичных факторов, конкретных событий или явлений. Суждения расследующие выдвинутую гипотезу называют – версиями.