Классическая логика
- Классическая логика (или стандартная логика) является интенсивно изучаемым и широко используемым классом дедуктивной логики.
- Она оказала большое влияние на аналитическую философию.
- Классическая логика обладает общими характерными свойствами, такими как закон исключения среднего и двойного отрицания, закон непротиворечивости и принцип взрыва.
- Современные обсуждения классической логики обычно включают логику высказываний и логику первого порядка.
- Большая часть семантики классической логики является двузначной, что означает, что все возможные обозначения высказываний могут быть классифицированы как истинные или ложные.
- Классическая логика является инновацией 19-го и 20-го веков и примиряет логику Аристотеля с логикой высказываний стоиков.
- Математический рационализатор Лейбница можно рассматривать как предвестие классической логики.
- Фреге изобрел классическую логику, чтобы показать, что вся математика выводима из логики и сделать арифметику строгой.
- Классическая логика нашла свое воплощение в работах Бертрана Рассела и А. N. «Математические принципы» Уайтхеда и «Логико-философский трактат» Людвига Витгенштейна.
Полный текст статьи: