В традиционной логике истинность посылок определяется их соответствием законам логики, правилам определения и деления понятий. В логике диалектической истинность суждений проверяется на соответствие практике, действительности. По характеру выводного знания различают умозаключения достоверности (демонстративные умозаключения) и умозаключения вероятности (не демонстративные). По способу получения выводного знания различают индуктивные (латинское слово индукцио — наведение) умозаключения; дедуктивные (латинское слово дедукцио — выведение) умозаключения и традуктивные (латинское слово традукцио — перемещение) умозаключения. 1. Индуктивная форма выводного знания состоит в том, что осуществляется переход к общим характеристикам класса предметов от частных характеристик. 2. Дедуктивная форма выводного знания состоит в том, что от характеристики признаков, определяющих класс предметов в целом, осуществляется переход к характеристикам признаков локальных предметов, вещей, входящих в этот класс. Здесь имеет место переход от общего к частному (резко сокращается объем, но расширяется содержание). 3. Традуктивная форма выводного знания. От совокупности характеристик какого-либо класса осуществляется переход к совокупности характеристик другого класса — от частного к частному, от общего к общему. При этом не меняются ни объем, ни содержание. В процессе научного исследования, как и в обыденной жизни, первичной является индуктивная форма выводного знания. Термин «индукция» используется в трех значениях: 1. Индуктивная форма умозаключения (от знания об отдельных предметах к знанию о всех предметах данного класса). 2. Индуктивная форма изложения — от описания единичных фактов к общему знанию. 3. Индуктивный метод исследования — от исследования единичных признаков, единичных предметов к нахождению общих существенный признаков, к выводному знанию о всем классе предметов. (Обо всём этом мы расскажем чуть позже) Индуктивное умозаключение есть такая форма, при которой осуществляется переход от частного к полному знанию через всеобщее. Правило индуктивного умозаключения звучит так: «из частного знания может быть получено общее знание в силу причинно-обусловленной закономерной связи явлений и процессов и познаваемости мира». В логике выделяются три индуктивные формы умозаключения: полная индукция, популярная индукция, научная индукция. Полная индукция — это такая форма, при которой класс предмета, связей, явлений, процессов количественно ограничен и поддается исчерпывающему исследованию (информация охватывает класс полностью: вещи, явления, предметы). Если известно, что изучаемая система (класс предметов) включает 3 элемента: и что есть Pi, есть Рг, есть Рз, то следовательно, есть Р4 т.е. общее знание.