Ответ:

Правильный ответ: Готфрид Вильгельм Лейбниц.

Лейбниц предложил использовать формальный язык и математические символы для логических рассуждений.

Ответ: Готфрид Вильгельм Лейбниц.