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

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

Энтимема - умозаключение, в котором пропущена либо одна из посылок, либо само заключение. Таким образом, возможна энтимема с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением, т.е. можно выделить три вида энтимем.

Эпихейрема - умозаключение, посылками которого выступают энтимемы. Понятно, что такое умозаключение нельзя рассматривать только как сокращенное — скорее, оно сложносокращенное. Например:

Все студенты сдают экзамены, так как они - учащиеся

Этот молодой человек - студент, так как он учится на нашем факультете

Этот молодой человек сдает экзамены

Полисиллогизм и сорит. Ряд силлогизмов, в которых вывод предшествующего силлогизма (просиллогизма) становится посылкой следующего силлогизма (эписиллогизма), называется полисиллогизмом. Если вывод просиллогизма становится боль­шей посылкой эписиллогизма, то полисиллогизм называется прогрессивным; если же вывод просиллогизма становится меньшей посылкой эписиллогизма, то полисиллогизм называется регрессивным. Понятно, что эписиллогизм, в свою очередь, становится просиллогизмом для следующего за ним силлогизма и т. д.

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

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

Индуктивное умозаключение — это мыслительная структура (форма мысли), вид умозаключения, в котором общий вывод следует из двух и более частных или единичных посылок. Индукция —поиск общего через рассмотрение ряда единичных или частных положении. В индуктивных умозаключениях связь, устанавливаемая в выводе, дана непосредственно в самих посылках. Другой особенностью индуктивных умозаключений является то, чти они никогда (за единственным исключением) не дают абсолютно достоверного знания. Единственным исключением является умозаключение по так называемой полной индукции. В индукции, как и в дедуктивных умозаключениях, выделяют посылки и заключение (вывод), но посылки не подразделяются на меньшую и большую (все посылки индуктивных рассуждений равнозначны), а могут быть подразделены на первую, вторую и т. д. Количество посылок не ограничивается, хотя ясно, что их число не должно превышать число самих предметов, элементов, составных частей какого-то объема (какой-то предметной области), относительно которого идет рассуждение.

Полная и неполная индукция.

Различают два основных вида индукции: полную и неполную. Полная индукция — это умозаключение, в котором общий вывод получен на основании единичных посылок о каждом предмете (каждом элементе) какого-то множества (класса, области, объема и пр.). Поскольку речь идет о каждом элементе множества, то понятно, что полной индукцией можно пользоваться только относительно поддающихся исчислению предметных областей (множеств, классов, объемов и пр.). Например:

В понедельник было пасмурно

Во вторник было пасмурно

В среду было пасмурно

В четверг было пасмурно

В пятницу было пасмурно

В субботу было пасмурно

В воскресенье было пасмурно

Всю неделю было пасмурно.

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

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