Автор более 150 работ в области аналитической философии языка, логики и ее философии, философии математики, философии права, истории аналитической философии; в том числе монографий: «Автономия логики: Источники, генезис и система философии раннего Витгенштейна», «Витгенштейн и Крипке: Следование правилу, скептический аргумент и точка зрения сообщества» (соавтор В. В. Ладов), «Ф. П. Рамсей и программа логицизма», «Аналитическая философия, юридический язык и философия права» (соавтор В. В. Оглезнев) и др. Переводчик с немецкого и английского на русский язык ряда ключевых работ ведущих философов-аналитиков: Г. Фреге, Б. Рассела, Дж. Мура, Л. Витгенштейна, Ф. Рамсея, Дж. Айера, У. Куайна, С. Крипке, Г. Харта и др. В своих работах развивает точку зрения, что аналитическую философию, несмотря на разнообразие онтологических и эпистемологических предпосылок, от которых отталкиваются ее представители, объединяет единый методологический мотив, связанный со строгостью формулировок и доказательностью аргументации.