Логическая форма

Опосредствованные умозаключения состоят из двух и более посылок. К ним относятся индуктивные, дедуктивные и умозаключения по аналогии (традуктивные). Они различаются по направленности вывода.
Умозаключения могут быть логически необходимыми, то есть давать истинное заключение, и вероятностными (правдоподобными), то есть давать не истинное заключение, а лишь с определенной степенью вероятности следующее из данных посылок (при этом в качестве посылок могут быть и ложные суждения).
Индуктивными называются умозаключения, в которых знание об отдельных предметах класса переносится на весь класс.
При полной индукции посылки исчерпывают весь класс предметов, подлежащих индуктивному обобщению:

S1 есть P
S2 есть P
………
Sn есть P
Все S есть P

Поскольку S1, S2, …, Sn исчерпывают все предметы класса S, то «Все S есть P». Однако полная индукция находит ограниченное применение. Чаще используется неполная индукция, когда посылки не исчерпывают всего класса предметов, подлежащих обобщению:

S1 есть P
S2 есть P
………
Si есть P
S1, S2, …, Si – часть класса S
Вероятно, все S есть P

К неполной индукции относят индукцию через простое перечисление (популярную индукцию) и научную индукцию, когда вывод обо всех предметах класса делается на основании познания необходимых, существенных признаков и свойств части предметов данного класса («Всем растениям нужна влага»).
В умозаключении по аналогии, или традуктивном, знание о признаках предмета достигается на основании того, что в других признаках этот предмет имеет сходство с другими предметами (например, открытие Гаргревсом золота в горах Австралии на основании сходства их строения с горами Калифорнии).
Схема умозаключения по аналогии:

A имеет признаки abcde
B имеет признаки abcd
Вероятно, B имеет признак e

Объективным основанием аналогии являются закономерные связи и отношения между сторонами, свойствами сравниваемых предметов. Соответственно характер переносимой информации определяет типы аналогий: если отождествляются причины, вызывающий аналогичные явления, мы имеем дело с каузальной аналогией; если отождествляются структуры и функции систем – со структурно-функциональной аналогией.
Выводы по аналогии носят вероятностный характер. Для повышения степени вероятности необходимо, чтобы, во-первых, знакомство с интересующими нас предметами было по возможности обстоятельным и полным, а их общие свойства как можно более разнообразными. Во-вторых, сравнимые предметы должны иметь общность в существенных, а не случайных признаках. Чем существеннее сходство между предметами, тем более основательным будет умозаключение по аналогии. Каузальная и структурно-функциональная аналогии – самые многочисленные и употребительные.
Дедуктивное умозаключение – умозаключение, которое при истинности посылок и соблюдении логических правил обеспечивает истинность заключения. Дедукция есть движение мысли от более общего знания к менее общему или единичному, а также от единичного к частному (поскольку по своим свойствам единичные суждения приравниваются к общим):

Все звезды светят собственным светом.
Ни одна планета не светит собственным светом.
Ни одна планета – не звезда.

Все металлы теплопроводны.
Железо – металл.
Железо теплопроводно.

Процесс получения заключений из посылок по правилам дедуктивных умозаключений называется выведением следствий. Это широко распространенная логическая операция. Как известно, условиями истинности заключения является истинность посылок и логическая правильность вывода. Иногда в ходе доказательства от противного допускаются в рассуждении заведомо ложные посылки (так называемый антитезис при косвенном доказательстве) или принимаются посылки недоказанные, однако эти посылки обязательно подлежат в дальнейшем исключению.
Человек, не изучивший логики, делает эти выводы, не применяя сознательно фигур и правил умозаключения. Формальная логика знакомит с правилами различных видов умозаключений.
















ЗАКЛЮЧЕНИЕ


Логические формы отражают самые общие и простые, всеобщие связи и отношения бытия и человеческой деятельности. Но эти простые и общие связи являются фундаментальными и необходимыми, отчего выявляются лишь в результате долгого и трудного процесса познания. Вследствие универсальности логических форм формальная правильность абстрактного мышления (то есть соответствие требованиям формальной логики) является необходимым условием постижения истины. Этим объясняется чрезвычайно широкая область применения формальной логики. Она используется во всех науках и в повседневной жизни людей.
В свете всего сказанного становится понятным, почему все люди мыслят по одним и тем же логическим законам и правилам (и соответственно нарушают одни и те же законы и правила), хотя далеко не всегда осознают это. Логическая структура основных форм мысли – понятий, суждений, умозаключений, логических законов, будучи отражением фундаментальных структур бытия и человеческой деятельности, является одинаковой для всех людей независимо от их национальностей, социальной и прочей принадлежности. И хотя содержание мышления (человеческие знания) непрерывно меняется, формы и законы абстрактного мышления, его логический строй сохраняются в качестве единой и непреходящей общечеловеческой культурной ценности. Вот почему знание элементарной (общей) логики и умение использовать ее – признак высокой культуры мысли. И наоборот, незнание логики или пренебрежительное отношение к ней проявляется в пространных и беспредметных рассуждениях, путанице понятий, элементарных логических ошибках.
Логическая правильность, то есть строгое соответствие требованиям формальной логики, является необходимым, хотя и не достаточным условием истинности. Логика используется для получения истинного выводного знания, хотя и не решает вопросов, связанных с конкретным содержанием и объективной истинностью знаний.
Логика – нормативная наука. Ее значение в области мышления часто уподобляют значению грамматики в области языка, теории музыки в области музыкального искусства и т. п. Правила, фигуры, законы, все формы логики – результат и показатель неразрывной связи мышления с тем миром, в котором живет человек.
























СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ


Гетманова А. Д. Учебник логики. М., 2012.
Ивин А. А. Логика. Теория и практика. М., 2014.
Кириллов В. И., Старченко А. А. Логика. М., 2012.
Ивлев Ю. В. Логика. М., 2015.
Кобзарь И. Логика в вопросах и ответах. М., 2013.





















4