Две базовые модели продуктивного рассуждения
Базовыми моделями продуктивного рассуждения будут - модель традиционной формальной логики и элементарная диалектическая логика. Обе модели заложены в трудах античного логика Аристотеля. Их отличие состоит в том, традиционная формальная логика строится, исходя из согласия сторон в каких-то общих принципиальных посылках рассуждения. С помощью силлогизма (трехчленное умозаключение), изобретенного Аристотелем, истинность предложений в традиционной логике переносится с посылок на заключение (вывод). Таким образом, согласившись с посылками, вопрошающий должен согласиться и с выводом из этих посылок.
Элементарная диалектическая логика работает в критических условиях отсутствия согласия по исходным основаниям рассуждения. Но за счет более широкого набора логического инструментария способна разрешить проблему, снять напряжение между спорящими сторонами мирным путем, не прибегая ни к физическому, ни к моральному насилию.
В более широкий набор логических средств, помимо истинностных форм суждений, понятий и умозаключений, входят вопросы, оценки, императивы. Явно задается субъект высказывания. Дополнительной связью высказываний в рассуждении, кроме умозаключения, служит логическая форма 'диалог'.