Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Из Википедии — свободной энциклопедии

Философская логика — область логических исследований, ориентированных на проблемы философии, применяющих методы и категориальный аппарат философии к основным понятиям современной логики и к результатам, полученным средствами символической логики; также — подход в философии, основанный на приложении идей и аппарата современной формальной логики к анализу разнообразных понятий и проблем философии.

Термин Философская логика разноречив и не имеет единого общепринятого употребления; в математике, в логике и в самой философии содержание понятия Философская логика и выделение ее в самостоятельную дисциплину понимается по-разному; не существует строгого разделения между философской логикой и философией логики, а некоторые ученые вообще не считают нужным их различать.

Формальная логика выделилась в самостоятельную науку еще в XIX веке и перестала быть «философской дисциплиной», однако эти две науками традиционно воспринимаются, как связанные. Термин Философская логика появился в англоязычной философской литературе и наиболее широкое применение получил в 50—60-е. годы ХХ века. С одной стороны, осмысление основных концепций аппарата логики стало насущным ввиду кризиса в основаниях математики (обнаружение парадоксов в теории множеств и ограничительные теоремы А. Тарского и К. Геделя). С другой стороны, важные результаты в области неклассических логик, в первую очередь модальной логики, привлекли внимание логиков с философской ориентацией.

История

Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа  (англ.) различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом к логической формализации рассуждения послужило выявление силлогизмов, или рассуждений вида:

Все животные смертны;
Слон — это животное.
Слон смертен.

Корректное использование силлогизмов открывает дорогу для доказательных рассуждений в философии, в математике, в естественных науках или для формализации дедуктивного мышления[1].

При всей своей кажущейся простоте выделение силлогизмов из обычной человеческой речи произошло не сразу и не везде[2]. Выделению силлогизмов как способа доказательства способствовало сочетание философии и математики, распространённое в Древней Греции. Первое формальное изложение понятия силлогизма и простейшей логической системы было сделано Аристотелем[⇨]. Логика Аристотеля оставалась неизменной две тысячи лет, до начала XX века, когда исследования в математике и аналитической философии открыли дорогу для развития логики[⇨]. Была формализована «логика первого порядка» или «логика предикатов», которая к настоящему моменту хорошо изучена. Однако, как оказалось, для полноценного анализа философской аргументации, а тем более естественной человеческой речи требуется применение модальной логики и логик более высоких порядков, в частности логики второго порядка. Кроме этого взаимосвязь формального символического языка и естественной речи исследуют логическая семантика и семиотика. Эти дисциплины в совокупности с модальной логикой более высоких порядков продолжают оставаться областью активных междисциплинарных исследований. Современная логика состоит из нетривиальных, глубоко математических концепций, которые изучаются философами, математиками, лингвистами, а в последнее время ещё и программистами и специалистами в области теории решений и искусственного интеллекта. Логика, таким образом, является как одной из самых древних, так и одной из самых современных дисциплин[3][4][5].


Примечания

  1. Moore & Bruder, 2005, p. 70—71.
  2. Например, в древнеиндийской философии такой трёхчленный силлогизм выделен не был.
  3. The Oxford Companion to Philosophy, 2005, p. 536—537.
  4. Priest, 2000, p. xi—xii, 94—101.
  5. Бочаров и Маркин, 2010.

Литература

Ссылки

Эта страница в последний раз была отредактирована 24 декабря 2023 в 18:30.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).