Проект нацелен на создание комплексной методологии анализа аргументации, включающей механизм двух- этапного поиска решений аргументативных споров. Создание такого механизма и комплексной методологии его применения заложит фундамент формальной философии аргументации, способствующей преодолению современного кризисного состояния в теории аргументации. Несмотря на значительный объем хороших результатов, раскрывших отдельные особенности аргументации, общий взгляд на феномен аргументации остается мозаичным и не позволяет очертить проблемное поле будущих направлений ее исследования. Ядром этого поля коллектив проекта считает проблему разрешимости аргументативных споров: как найти формально удовлетворительное решение спора, т.е. установить наиболее сильные аргументы в нем, чтобы они также отвечали необходимым содержательным требованиям, например, цели, ради которой стороны вступили в спор, изменению их взглядов в ходе дискуссии, эффективности их речевого поведения? В отсутствии внятного ответа на этот вызов, выражающий суть того, зачем людям вообще нужна аргументация, как они ее осуществляют и что они хотели бы получить от исследований аргументации, и заключается кризисное состояние в теории аргументации. Актуальность проекта состоит в том, чтобы его преодолеть, направив усилия в ядро кризиса – на проблему разрешимости аргументативных споров.