13. Отрицание суждений.

Провести отрицание простых категорических суждений:

; ; ; .

Отрицание единично-отрицательного суждения эквивалентно единично-утвердительному и наоборот. «Не было дня в этом месяце, когда бы не шел дождь» эквивалентно суждению «Каждый день в этом месяце шел дождь».

Отрицание сложных суждений производится согласно следующих формул эквивалентности:









Ỳ(Λ)ν ( ¬А Λ¬В)

14. Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.

Умозаключение – это форма мышления позволяющая получить новое знание на основе суждений, истинность которых уже доказана. Умозаключение – это связь суждений.

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

имеет такую структуру:

Посылки – это исходные суждения, на основе которых делается вывод, вывод или заключение – новое суждение, полученное логическим путем из посылок.

Процесс получения заключений из посылок по правилам дедуктивных умозаключений называется силлогизмом. Посылки – большая или меньшая – определяются из вывода.

Термин, являющийся предикатом заключения, называется большим термином и посылка, в которую он входит, называется большей. Термин, являющийся субъектом заключения, называется меньшим термином и соответственно посылка, в которую он входит называется меньшей. Понятие, входящее в обе посылки, но отсутствующее в выводе, называется средним термином

Проведем классификацию умозаключений по разным основаниям.

1.По количеству посылок:

умозаключения делятся на три вида:

а) непосредственные умозаключения – умозаключения из одной посылки.

б) дедуктивные умозаключения – умозаключения с двумя посылками;

в) индуктивные умозаключения – умозаключения с количеством посылок больше двух.

2. По характеру вывода:

а) необходимые умозаключения

б) вероятностные

умозаключения

из истинных посылок получается

вероятностный вывод.

3. По напрвлению движения мысли:

а) дедуктивные умозаключения – умозаключения, в которых мысль идет от большей общности знания к меньшей общности знания;

б) индуктивные умозаключения: умозаключения, в которых мысль идет от меньшей общности знания к большей общности знания;

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

По характеру посылок и связок:

а) категорические умозаключения;

б) условные умозаключения;

в) условно-категорические умозаключения;

г) разделительные умозаключения;

д) разделительно-категорические умозаключения;

е) условно-разделительные умозаключения или леммы.

По структуре:

а) сложные;

б) сокращенные.