Исторически, этот переход начался в XVI веке с работами французского математика Франсуа Виета. Виет разработал алгебраическую нотацию, в которой использовались буквы для представления неизвестных и арифметических операций. Он представил эти идеи в своих работах, таких как ″Алгебра″ и ″Универсальная алгебра″. Это был первый шаг к созданию символической логики. В XVII веке идеи Виета были продолжены и развиты другими математиками, такими как Декарт и Паскаль. Рене Декарт ввел систему координат и аналитическую геометрию, что позволило рассматривать алгебраические уравнения с геометрической точки зрения. Блез Паскаль разработал теорию вероятности и объединил анализ и геометрию с использованием символов. В XVIII и XIX веках символическая логика продолжила развиваться с появлением математической анализа и теории групп. Многие математики, такие как Леонард Эйлер и Якоб Бернулли, использовали символы для представления функций и операций. Они разработали новые математические методы, которые позволили решать сложные задачи более эффективно. Однако наиболее значительным периодом для символической логики был XX век. В этот период математики, такие как Дэвид Гильберт и Алонзо Черч, разработали формальные системы, в которых утверждения могли быть представлены с использованием символов и правил вывода. Это позволило разработать формальную логику, которая стала основой для доказательств математических теорем и формализации математических понятий. Символическая логика является фундаментальным инструментом в современной математике и информатике. Она позволяет точно и ясно представлять математические концепции и обеспечивает основу для развития алгоритмов и компьютерных программ. Символическая логика также имеет применение в философии, лингвистике и других областях, где требуется точное и формальное мышление.
Таким образом, математики развили символическую логику в течение нескольких веков с XVI века до XX века. Этот развитие позволило более точно и ясно представлять математические идеи и утверждения, а также обеспечило основу для развития формальной логики и компьютерных наук.