ВОЛЬФ (Wolf) Христиан (1679—1754) — немецкий философ-идеалист, математик и логик, последователь, систематизатор и популяризатор учения Лейбница (1646—1716). Правда, его интерпретация не была вполне адекватной характеру лейбницевской логики. Известно, что Вольф испытал также влияние Спинозы (1632—1677) и Декарта (1596—1650). В 1702 г. он успешно защитил в Лейпцигском университете диссертацию «Об общей практической философии, изложенной по математическому методу». Через год он стал руководить кафедрой философии и математики. Лекции Вольфа по логике в Марбургском университете Германии слушал М. В. Ломоносов. В рапорте в канцелярию Академии наук об учебных занятиях в Марбурге М. В. Ломоносов 14 марта 1738 г. сообщал, между прочим, что «в настоящее время слушаем у того же господина регирунгсрата Вольфа лекции догматической физики и логики» [423, стр. 366]. Из рапорта от 15 октября 1738 р. видно, что Ломоносов купил книгу X. Вольфа «Рациональная философия, или логика, разработанная научным методом для нужд наук и жизни», изданную во Франкфурте и Лейпциге в 1732 г. [423, стр. 375].
Логику Вольф определял как пропедевтику философии, изучающую познавательную способность отличать истину от ошибки в рассуждении. Логику он делил на две части: 1) теоретическую, в которой исследовались формы мышления, и 2) практическую, в которой изучались вопросы о критериях истины. В познании Вольф различал три ступени: понятие, суждение и умозаключение. Суждение состоит из двух понятий, умозаключение есть образование из данных суждений новою суждения. Индукция сводится им к разновидности категорического силлогизма,
В своих трудах Вольф иозледует математические и логические доказательства. В качестве основы доказательства он признавал определения, данные опыта, аксиомы, постулаты и ранее доказанные тезисы. Вольф изучал предложения (суждения), конъюнктивные и и дизъюнктивные суждения, операции с объемами понятий, систематически усматривая проявления в мыслительных операциях законов достаточного основания, противоречия и исключенного третьего. Для него характерно утверждение, что законы мышления имеют онтологический характер. Так, закон противоречия, который он называл наивысшим принципом, интерпретировался им так: «Одна и та же вещь не может одновременно быть и не быть». Онтологически звучит и формулировка закона достаточного основания: «Все существующее имеет свое достаточное основание, почему оно скорее есть, чем не есть».