human
この論理は、哲学者が最もカバーするトピックの1つであり、アリストテレスなどの西洋の伝統のものだけでなく、論理が数学的分野の基本的な部分となり、最も関連性の高い著者や出版物などの歴史的な時代は何でしたか？
gpt
自律的な規律としての論理は、ギリシャの哲学的伝統でアリストテレスとともに始まりました。アリストテレスは、カテゴリーの命題と三段論法に基づいた正式な論理を開発しました。しかし、哲学者やジョージ・ブール、アウグストゥス・デ・モーガン、ゴットロブ・フリージなどの数学者の貢献のおかげで、論理が数学的分野の基本的な部分になったのは19世紀だけでした。

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

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

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

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

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

これらの著者は、数学論理のその後の開発の基礎を提供し、計算理論、人工知能、プログラミングなどの他の分野の誕生を可能にしました。