Логика высказываний и теория вывода — монография Александра Александровича Зиновьева, впервые опубликованная в 1962 году.

В этой работе Зиновьев развивает собственную концепцию логики, стремясь преодолеть ограничения классической и интуиционистской логики. Он рассматривает логику как инструмент систематизации научного знания, подчеркивая её универсальность и независимость от эмпирических областей применения. Зиновьев формулирует строгую теорию кванторов, соответствующую интуитивным посылкам, и исследует свойства кванторов. Он также анализирует вопросы неклассической логики, включая теорию знаков, логический анализ движения, причинности, пространства и времени. Его подход основан на синтаксисе, а не на семантике, что сближает его с логическим номинализмом. Работа представляет собой систематическое рассмотрение формального аппарата для анализа понятий, высказываний и доказательств.