История логики
История логики занимается изучением развития науки о достоверном выводе ( логики ). Формальная логика развивалась в древности в Индии , Китае , Греции . Греческие методы, особенно аристотелевская логика (или терминологическая логика), найденная в « Органоне », на протяжении тысячелетий находили широкое применение и признание в западной науке и математике. [1] Стоики , особенно Хрисипп , начали развитие логики предикатов .
Христианские и исламские философы, такие как Боэций (умер в 524 г.), Ибн Сина (Авиценна, умер в 1037 г.) и Уильям Оккам (умер в 1347 г.), в Средние века развили логику Аристотеля , достигнув высшей точки в середине четырнадцатого века, когда Жан Буридан . Период между четырнадцатым веком и началом девятнадцатого века был в основном периодом упадка и забвения, и по крайней мере один историк логики считает это время бесплодным. [2] Эмпирические методы господствовали, о чем свидетельствует «Новый органон» сэра Фрэнсиса Бэкона 1620 года.
Логика возродилась в середине девятнадцатого века, в начале революционного периода, когда предмет развился в строгую и формальную дисциплину, взявшую за образец точный метод доказательства , используемый в математике , восходящий к греческой традиции. [3] Развитие современной «символической» или «математической» логики в этот период Булем , Фреге , Расселом и Пеано является наиболее значительным в двухтысячелетней истории логики и, возможно, является одним из из самых важных и замечательных событий в интеллектуальной истории человечества . [4]
Прогресс в математической логике в первые несколько десятилетий двадцатого века, особенно связанный с работами Гёделя и Тарского , оказал значительное влияние на аналитическую философию и философскую логику , особенно с 1950-х годов, в таких предметах, как модальная логика , темпоральная логика . , деонтическая логика и логика релевантности .
Насадия - сукта Ригведы ( RV 10.129) содержит онтологические рассуждения с точки зрения различных логических делений, которые позже были формально преобразованы в четыре круга чатускоти : «А», «не А», «А и «не А»». , и "не А и не не А".
Кто действительно знает?
Кто здесь провозгласит это?
Откуда оно было произведено? Откуда это творение?
Боги пришли позже, с созданием этой вселенной.
Кто же тогда знает, откуда оно возникло?
