自律的な規律としての論理は、ギリシャの哲学的伝統でアリストテレスとともに始まりました。アリストテレスは、カテゴリーの命題と三段論法に基づいた正式な論理を開発しました。しかし、哲学者やジョージ・ブール、アウグストゥス・デ・モーガン、ゴットロブ・フリージなどの数学者の貢献のおかげで、論理が数学的分野の基本的な部分になったのは19世紀だけでした。

論理が数学的分野の基本的な部分になった歴史的な時期は、19世紀、激しい知的活動と科学の時代でした。この期間は、数学の発展によって、自律的な規律として、数学論理の誕生から、控除の理論の定式化によって特徴付けられています。

この期間に最も関連性の高い著者と出版物は次のとおりです。

1854年に「思考法の調査」を発表したジョージ・ブールは、ブールロジックと代数への適用を開発しました。

1847年に「提案された論理システムのシラバス」を発表したアウグストゥス・デ・モーガンは、象徴的な論理に関するアイデアを提示しました。

1879年に「begriffsschrift」を出版したGottlob Fregeで、定量化ロジックを開発しました。

これらの著者は、数学論理のその後の開発の基礎を提供し、計算理論、人工知能、プログラミングなどの他の分野の誕生を可能にしました。
La logica come disciplina autonoma ha avuto inizio nella tradizione filosofica greca con Aristotele, che ha sviluppato una logica formale basata sulla proposizione categoriale e la syllogistica. Tuttavia, è stato solo nel XIX secolo che la logica è diventata una parte fondamentale delle discipline matematiche, grazie ai contributi di filosofi e matematici come George Boole, Augustus De Morgan e Gottlob Frege.

Il periodo storico in cui la logica è divenuta una parte fondamentale delle discipline matematiche è stato il XIX secolo, un'era di intensa attività intellettuale e scienza. Questo periodo è stato segnato dallo sviluppo delle matematiche come disciplina autonoma, dalla nascita della logica matematica e dalla formulazione della teoria della deduttività.

Gli autori e le pubblicazioni più rilevanti in questo periodo sono:

George Boole, che ha pubblicato "An Investigation of the Laws of Thought" nel 1854, in cui ha sviluppato la logica booleana e la sua applicazione all'algebra.

Augustus De Morgan, che ha pubblicato "Syllabus of a Proposed System of Logic" nel 1847, in cui ha presentato le sue idee sulla logica simbolica.

Gottlob Frege, che ha pubblicato "Begriffsschrift" nel 1879, in cui ha sviluppato la logica quantificazionale.

Questi autori hanno fornito le basi per lo sviluppo successivo della logica matematica e hanno reso possibile la nascita di altre discipline come la teoria della computazione, l'intelligenza artificiale e la programmazione.