34. Сокращенный силлогизм – энтимема.

Энтимема – это силлогизм с пропущенной посылкой или заключением.

Виды энтимем:

1. условно-категорический силлогизм с пропущенной большей посылкой.

2. Разделительно-категорический силлогизм с пропущенной большей посылкой.

3. Разделительно-категорический силлогизм с пропущенным заключением.

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

Сложные и сложносокращенные (сорит) силлогизмы.

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

Виды полисиллогизма:

1. прогрессивный – заключение просиллогизма становится большей посылкой эписиллогизма.

2. Регрессивный – заключение просиллогизма становится меньшей посылкой эписиллогизма.

Полисиллогизм, в котором пропущены некоторые посылки называется соритом.

Виды соритов:

1. прогрессивный с пропущенными большими посылками эписиллогизмов

2. регрессивный – с пропущенными меньшими посылками.

к сложносокращенным относится эпихейрема – сложносокращенный силлогизм, обе посылки которого являются энтимемеми.

Понятие о логике высказываний.

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

Язык логики высказываний включает: алфавит, определение правильно выстроенных выражений, интерпретацию.

Алфавит состоит:

1. символы для высказываний: p, q, r … (пропозициональные переменные).

2. Символы для логических связок: конъюнкция «и», дизъюнкция «или», импликация «если, то», эквивалентность «если, и только если», отрицание «неверно, что».

3. Технические знаки (,) – скобки.

Индукция и дедукция.

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

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

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

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