- •Логика и язык.
- •Операции с классами
- •Суждение
- •Распред-ть терминов в сужд-ии: дин. Ич. Сужд-х речь идет о всем об. Диничные. Атриб. Т существ-я предм. 000000000000000000000000000000000000000000000000000000
- •Сложное суждение
- •Достаточные и необх. Условия
- •1) Отнош-я по совмест-ти (истинности), 2) несовмест-ти по истинности.
- •Модальность суждений
- •Умозаключения.
- •Непосред. Умозакл-я
- •Умозакл-я по логич. Квадрату:
- •Правила терминов:
- •Правила посылок
- •Фигуры и модусы.
- •Выводы из слож-х сужд-й и другие виды дедуктивных выводов
- •Индуктивные умозакл-я
Индуктивные умозакл-я
закл-е носит вероят-й харак-р, если это не полн. индукция.
Индук. умозакл-е- есть умозакл-е, в кот-м закл-е о принад-ти к.-либо признака всем элем. множ-ва делается на основе знания о наличии этого призн. у нек-х элем. множ-ва.(от част. к общему)
схема: p(x1) p(x2) … p(xn) x1, x2 … xn K | x; p(x1) p(x2) … p(xn) x1, x2 … xn K | x((x R) p(x)).
Всяк. индукция основана на философ-х категориях: единич., отдельн. и общее. Диалектика единич., отдельн. и общего: отдельн. – любой самост. предм. или явл-е; единич.-неповтор-е в отдельном, общее-призн. сходства отдельн. предм. или явлений. Индук-я: общее не сущ-т без отдельного, а отдельн. всегда содерж. в себе общее. Зная о наличии призн. предм., можно умозакл-ть, что дан. призн. присущи этому множ-ву. Полн. индук-я – инд-я, когда вывод о принад-ти к.-либо призн. всему множ-ву элем-в делается на основании знания, о наличии дан. призн. у кажд. элем. множ-ва. Если у нас есть закр. множ-во и знание о множ-ве, то вывод всегда достоверен. Если множ-во открытое и неисчисл., то невозм. вывести заключ-е. Неполн. индукция.- инд-я, когда знание о наличии к.-либо призн. у всего множ-ва элем-в, дел-ся на основе знания о наличии дан. призн. у нек-х элем-в множ-ва. Попул-я индук-я – обощ-е, в кот-м путем перечисл-я устан-т принад-ть призн. некотор-м предм-м или частям класса и на этой основе проблемат-но заключ-т о его принад-ти всему классу. Науч. индук-я-умозакл-е, в кот-м обощ-е строится путем отбора необх-х и исключ-я случайн. обстоят-в.