3.Предмет и семантические категории традиционной формальной логике

Формальная логика — это широкая область логических исследований, изучающая идеализированные рассуждения и их системы посредством логических исчислений на основе метода формализации . Метод формализации подразумевает, что логические рассуждения изучаются в отвлечении от их конкретного содержания; при этом сами логические рассуждения формулируются на некотором точном (формализованном) языке при помощи специального аппарата символов Такие точные языки имеют две составляющие: синтаксис  и семантику(). Синтаксисом называется совокупность правил построения объектов языка (обычно называемых ф ормулами). Семантикой называется совокупность соглашений, описывающих наше понимание формул (или некоторых из них) и позволяющих считать одни формулы верными, а другие — нет. Формализованный язык позволяет избежать двусмысленной и логической неясности естественного языка, которым пользовалась при описании рассуждений традиционная логика ), развивавшаяся в рамках философии Методы формализации дали логике такие преимущества, как высокая точность формулировок, возможность изучения более сложных, с точки зрения логической формы, объектов. Определение «формальная логика» было введено И. Кантом с намерением подчеркнуть её ведущую особенность в подходе к изучаемым объектам и отграничить её тем самым от других возможных логик.

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

. В связи с различием логических форм выделяют два основных направления формальной логики:

Концептуальный анализ, то есть исследование процедур определения языковых терминов (понятий) и формулировка принципов отношений между ними. Это направление включает в себя широкий спектр теорий, от классификации родо-видовых отношений до конструирования концептуальных «полей».

Теория вывода, то есть анализ рассуждений, формализация законов и принципов связи высказываний (суждений) в умозаключениях. Здесь формулируются способы корректного получения суждения, называющегося заключением, из некоторых исходных суждений, называющихся посылками, посредством рассуждения. В рамках теории вывода выделяют логику, рассматривающую дедуктивные рассуждения .то есть определённые способы доказательств, и логику, занимающуюся правдоподобными рассуждениями: индукция, аналогия и другие.

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

Логика возникла в Древней Греции в рамках философии История её развития насчитывает около двух с половиной тысячелетий и делится на два основных периода:

Традиционная формальная логика (IV век до новой эры — середина XIX века). В развитии традиционной логики, в свою очередь, выделяются три периода:

Античная логика (V век до новой эры — середина V века).

Схоластическая (Средневековая) логика (середина V века. — XV век).

Логика Нового времени (XV–XVIII века).

Современная (символическая, или математическая) логика (с середины XIX века).

Античную и схоластическую логику сейчас объединяет общее название «традиционной логики». Она, кроме историко-философского, по-прежнему имеет важное пропедевтическое значение и, будучи своеобразным стержнем интеллектуальной культуры человека, признается неотъемлемым элементом широкого гуманитарного образования.

ТРАДИЦИОННАЯ ЛОГИКА - этап исторического развития логики, противопоставляемый современной символической логике и характеризующийся рядом специфических черт.

Формирование этого этапа началось сразу же после основополагающих работ в области логики Аристотеля и было вызвано невостре-бованностью со стороны ученых тех новаторских идей и методов, которые были применены Стагиритом при создании первой логической теории — силлогистики. Это касается прежде всего введения переменных, что позволило четко выявить логические формы высказываний, и использования аксиоматического метода. Окончательно Тл. сложилась после издания Арно и Николь «Логики Пор-Рояля».

Характерной чертой Т.л. было тесное переплетение логической проблематики с психолого-гносеологическими положениями. Логика трактовалась не как теоретическая дисциплина, а как некое психологически окрашенное учение о понятиях, суждениях, умозаключениях и простейших методах научного познания. Типы и виды понятий, суждений и умозаключений в Т.л. просто перечислялись, а само обсуждение логических проблем осуществлялось на естественном языке, страдающем многозначностью и неопределенностью. Это был тупиковый путь, и потому не случайно И. Кант высказал мысль о полной завершенности логики как науки и ее неспособности к дальнейшему прогрессу.