Отзыв о работодателе «Arts And Sales» Добавлен: 30.01.14 13:39

Сегментация философии по предмету изучения[править | править исходный текст]

Логика[править | править исходный текст]
Основная статья: Логика
Важные термины: силлогизм, логика высказываний, логика первого порядка, логика второго порядка
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа (англ.)русск. различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно увязана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом к логической формализации рассуждения послужило выявление силлогизмов, или рассуждений вида:
(1) все животные смертны; (2) слон — это животное; следовательно (3) слон смертен.
Корректное использование силлогизмов открывает дорогу для доказательных рассуждений в философии, в математике, в естественных науках или для формализации дедуктивного мышления.[22]

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