Иногда открытие диалектики как метода аргументации приписывается Протагору, говорившему, что относительно любого предмета могут быть высказаны два противоположных утверждения (СНОСКА: «...Во времена Протагора и другие мыслители практиковали этот же метод в сфере диалога, - указывает Э. Берти, - например Фукидид, софист Антифон и Сократ. Вполне вероятно, что такая процедура направляет снова к тем, кого Платон и Аристотель считали основателями риторики, а именно к риторам Тисию и Корасксу» (Берти Э. Древнегреческая диалектика как выражение свободы мысли и слова// Культурология. Ростовна-Дону, 1995. С. 559)). Протагор открыл ценность мнений для диалектики, однако он отрицал закон противоречия и тем самым делал диалектическую аргументацию бессильной. Судя по всему, Сократ был первым, кто сумел совместить два главных положения диалектики как теории аргументации: мысль о ценности мнений, в особенности противоположных мнений, и логический закон противоречия.

В недавнее время Н. Решер попытался формализовать диалектику как особую процедуру аргументации (СНОСКА: См.: Rescher N. Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge. Albany, 1977. См. также: Олкер Х.Р. Диалектическая логика «Мелосского диалога» Фукидида // Язык и моделирование социального взаимодействия. М., 1987). Термин «диалектика» Решер использует для обозначения процесса участия в «дискуссионном» поиске истины. Наука «диалектика» находится в таком же отношении к нашему фактическому знанию, в каком логика находится к нашему формальному знанию: диалектика являет собой как бы механизм рационального обоснования. Решер полагает, что его формальная диалектика хорошо сочетается с классической квантитативной логикой и аристотелевской формальной силлогистикой, к которой добавлен «при-прочих-равных-условиях» оператор. В диалектическом рассуждении (в противовес дедуктивному) оценка познавательного статуса тезиса никогда не отрывается от его доказательства. Логика утверждений и контрутверждений Решера содержит, наряду с понятием чисто логического вывода, также понятие «чистого» формального вывода в условных отрицаниях; она допускает неодинаковость статусов оппонента и пропонента. Эта логика характеризует возможности и ограничения обмена противоположными мнениями в диалоге, допускает учет новых эмпирических данных и отличает прямое несогласие от частичного или молчаливого. Она разрешает ссылаться в диалоге на сказанное ранее, а также различным образом переформулировать обсуждаемое.