Меню
Главная
Авторизация/Регистрация
 
Главная arrow Логика arrow Логика

Историческое развитие науки логики. Возникновение различных типов логики

Логика - наука о субъективном логос.

Наука логика возникла в Древней Греции. ее основатель - древнегреческий философ и ученый Аристотель (384-382 гг. до н. э.).

Хотя истоки логического знания прослеживаются и в произведениях других древнегреческих философов (доарістотелівський период в развитии логического знания), и в произведениях философов Древнего Востока, однако именно Аристотель впервые построил систему логического знания, определил основные понятия науки логики, которые отделяют сферу абстрактно-логического мышления ("срок", "понятия", "суждение", "умозаключение", "истинность", "ложь", "противоречие", "логический закон", "доводка", "опровержение" и др.), систематизировал приемы рассуждений, разработал правила вывода знания.

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

В развитии науки логики выделяют следующие исторические периоды:

- с IV в. до н. э. и до конца XIX в., который получил название традиционной (общая, или арістотелівська) логики;

- с конца XIX в. и до наших дней, он получил название математическая, или символическая, логика.

Традиционная логика - исторически первый этап развития науки логики, основателем ее, как уже упоминалось, является Аристотель. Предмет ее исследования - универсальные формы и законы абстрактно-логического мышления, способы вывода и обоснования знания (см. 3).

В развитии традиционной логики выделяют такие этапы: античная и средневековая логика.

Античная логика - исторически первый этап в развитии науки логики (Древняя Греция). Начиная с IV в. до н. э., связан с именами древнегреческих философов Демокрита (460-371 гг. до н. э.), Гераклита (520-466 гг. до н. э.), Парменид из элеи (540 - 480 гг. до н. э.), Зенон Елейського (490-430 гг. до н. э.), Сократа (469-399 гг. до н. э.), Платона (428/427-347 гг. до н. э.), Аристотеля (384-322 гг. до н. э.), а также других представителей различных философских школ, которые действовали в тот период.

Античной логике присущи следующие свойства:

- определение логоса как разумного основания всего существующего во Вселенной ("Всем в мире управляет логос", - писал Гераклит);

- отделение объективного логоса (закон, порядок в объективном мире) и субъективного логоса (закон мышления);

- отделение диалектики бытия и диалектики мышления и выдвижение проблемы отражения "диалектики вещей в диалектике понятий";

- постепенное формирование и отделение логики как особой науки об субъективный логос (субъективный разум в единстве с языком) и неразрывная связь логики с другими частями философского познания мира (онтология, гносеология, эпистемология).

Логическая проблематика формировалась в контексте обще-философских (онтологических, гносеологічних, эпистемологических, этических и др.) проблем, выдвигали античные философы. Например, проблема истины и поиск ее объективных критериев.

С отделением античными философами логики как науки о субъективный логос в Древней Греции сформировались первые логические школы - елейська (елеати), мегарська (мегаріки), стоїчна (стоики).

В развитии античной логики выделяют доарістотелівський, арістотелівський, післяарістотелівський периоды.

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

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

Представители школы элеатов впервые отделили дедукцию (дедуктивное умозаключение) как логическую форму доказательства.

Гераклит рассматривал онтологические основания диалектики мышления, то есть диалектики бытия как становления Универсума (мира как единого целого), часть которого составляет человек и его мышление.

Философы-софисты Протагор (480-419 до н. э.), Горгий (483-375 до н. э.) и другие рассматривали логические проблемы в контексте теории еристики и риторики, четко разграничили мышление и язык, имя и понятие, определили многозначность естественного языка, показали возможности использования языка в спорах с целью заблуждения (феномен софистики). Они выделили логику ведения спора, когда ее участники выдвигают противоположные утверждения, и отстаивают их, используя аргументы, формулируют вопросы и ответы на них, определяют правильность или неправильность постановки вопросов (подробнее см. 7).

Сократ сформулировал логические проблемы в контексте разделения объективного знания от субъективного взгляда. Истинным может быть только объективное знание, для получения которого необходимо разработать специальный метод. Возможности получения объективного знания, условия достижения истины, разработка метода познания, четкое и точное определение этических понятий - логико-философские проблемы, выдвинутые Сократом. В рассуждениях относительно логико-философских проблем Сократ в диалоге с софистами практически использовал логические методы: метод построения абстракций, метод индукции, метод дефиниций.

Платон в рамках созданной им системы объективного идеализма сформулировал и развил учение о идеи как всеобщие понятия, создающие особый мир - "мир идей" и, соответственно, впервые выделил сферу логического - сферу "чистых" понятий как абстрактных сущностей, выражающих определенные идеи. По Платону, сфера логического - это диалектическая логика понятий, оперирование понятиями и осуществления логических операций над ними, возведение разнообразных понятий к единому ("восхождение к общему"), деление понятий на виды и логическое восхождение от общего к единичному. Соединение общего и единичного имеет логическую форму суждения, которое может быть истинным или ложным.

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

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

- формы мышления (понятие, суждение, умозаключение);

- дедуктивное выведение знания;

- доказательства и опровержения;

- логические законы;

- истину;

- логические ошибки в рассуждениях.

Особенности логики Аристотеля; 1. Логика является отдельной частью его философской системы знания. 2. Неразрывная связь логического учения о правильности рассуждений и учение об истинности рассуждений. 3. Теоретическое формулировки законов логики (закон тождества, закон непротиворечивости, закон исключенного третьего), которые имеют онтологическую и логическую определенность. 4. Учение о понятии Аристотель развил в связи с проблемой общего (ее выдвинули древнегреческие философы) и диалектикой общего и единичного. Он разделил понятия на единичные (отражения чувственно-сприймальних вещей - первая субстанция), общие (выражение общей сущности вещей - вторая субстанция) и категории (всеобщие понятия, выражающие вид сущностей). 5. Связь учения о доказательстве и учение о дедуктивное умозаключение, разновидность которого составляет категорический силлогизм, что приобретает в теории Аристотеля доказательственного значения. 6. В рамках созданной им теории дедуктивного выведения знания (теории силлогистики) он ввел символику букв (искусственные символы) для обозначения терминов, суждений (предпосылок и заключения) при построении категорического силогизма, то есть впервые использовал элементы метода формализации как особого логического метода. 7. Логика Аристотеля - глубокая по содержанию система логического знания. Она содержит явно или неявно идеи, понятия, принципы различных типов логик: формальной и неформальной, дедуктивной и индуктивной, модальной, многозначительного и т.д., которые развились в отдельные логические системы логики последующих исторических периодов. 8. Логика Аристотеля - настоящий "органон" мышления (мыслительной деятельности) человека, что приобрела эвристического значения в развитии науки и философии.

Післяарістотелівський период В развитии античной логики прослеживается в эпоху эллинистическо-римской философии в IV - V вв., когда в Древней Греции возникли новые философские школы, в частности, епікуреїзм, стоицизм, скептицизм, эклектизм, неоплатонизм. Значительный вклад в развитие античной логики сделали философы, которые принадлежали к логической школы стоиков (Зенон из Кітіона (336-264 гг. до н. э.), Хрісипп из Сол (281-208 гг. до н. э.) и др.

Стоики ввели в философию сам термин "логика" для обозначения отдельной философской науки, составной части философского знания, рядом с физикой и этикой. Стоики определяли роль логики в системе философского познания мира как общей пропедевтики. На ее основании физика открывает и обосновывает законы Вселенной (світопобудові), а этика формулирует конечную цель человека как разумного существа и способы ее достижения. С точки зрения стоиков логика должна формулировать общие принципы познания мира и разрабатывать критерии истинности или ложности высказываний, выражающих знания о мире.

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

Средневековая логика - исторический этап развития традиционной (общей или арістотелівської) логики, возникший в Западной Европе периода Средневековья; логико-философское направление исследований средневековых философов, связанный с новыми логико-семантическими и семіотичними проблемами, а также дальнейшее развитие формального аппарата традиционной логики.

Средневековая логика в истории философии получила название "схоластическая логика" (греч. - школа, ученая беседа; лат. - ученый, школьный). Весомый вклад в развитие традиционной логики сделали средневековые философы С. Боэций (480-524 гг.), Т. Аквинский (1225-1274 гг.), П. Абеляр (1079-1142 гг.), П. Испанский (между 1210 и 1220-1277 гг.), Д. Скотт (1265-1308 гг.), Г. Луллій (1235-1315 гг.), В. Оккам (ок. 1285-1349 гг.) и др.

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

Особенности средневековой логики: 1. Логика развивалась в контексте дальнейшего развития диалектики, риторики, грамматики с целью совершенствования логических методов ведения споров и приемов аргументации в дискуссиях, которые в Средневековье имели религиозный смысл. 2. В контексте споров о универсалии предстали логико-философские проблемы о природе абстрактных понятий и их связи с объективной реальностью. 3. Обособленные реальная (материальная), формальная (общая сущность вещи) и умозрительная (логическое) различие существования объектов вследствие мисленнєвого сравнения, конкретные и абстрактные понятия. 4. Дальнейшее развитие формального аппарата традиционной логики через введение искусственных символов А, Е, И, О для обозначения четырех видов атрибутивных суждений и "логического квадрата" для схематического изображения логических связей между ними. 5. Дальнейшее развитие модальной логики (см. 4). 6. Разработка основ семиотики и логической семантики (см. 2).

Творческим достижением средневековых философов является разработка формального аппарата, который предусматривал идеи символической логики {Д. Скотт, В. Оккам), идеи логического следования, идеи комбинаторной логики (Г. Луллій).

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

В дальнейшем развитии традиционная логика как система философского знания не потеряла познавательного, аналитического и эвристического значения. Английский ученый В. Минто образно писал: "...Логика Аристотеля и до сих пор остается стволом дерева логики, хотя этот ствол сейчас покрыт массой ростков, которые пошли от его корней, и обвитый множеством чужоїдних растений..."

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

Математическая (символическая) логика - современная формальная логика, возникшая на грани традиционной логики и математики и "развивается с помощью математических методов" (С. Клипе) (далее будем оперировать термином "символическая логика"). В символической логике главным является понятие "исчисление высказываний".

Идею логического исчисления высказываний, подобно математическому численню, впервые выдвинул немецкий философ, логик, математик Г. Ляйбніц (1646-1716 гг.). Он рассматривал возможность выразить логическую операцию доведения в форме математического счисления, используя для этого особый язык, который бы, в отличие от естественного языка, могла точнее и строже выражать формы мышления и логические отношения между ними. Эту идею стали реализовывать постепенно, начиная с середины XIX ст., в своих трудах выдающиеся логики и математики Дж. Буль (1815-1864 гг.), Г. Фреге (1848-1925 гг.), О. де Морган (1806-1871 гг.), Е. Шредер (1841 - 1902 гг.), Д. Пеано (1858-1932 гг.), Б. Рассел (1872-1970 гг.) и др.

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

Немецкий философ, логик и математик Г. Фреге впервые построил четкое аксиоматическое исчисление высказываний и обосновал возможность формализации арифметики.

Итальянский логик и математик Д. Пеано ввел определенные символы в новую логику, с помощью которых изображаются схемы рассуждений.

Символическая логика возникла на грани логики и математики как результат использования математических методов в логике (математизация, алгебраизация логики) и логических методов в математике (логіцизм в математике).

Главный метод в этой логике - метод формализации. Его сущность заключается в создании особой системы символов, с помощью которой осуществляется процедура вывода из определенных исходных истинных утверждений других истинных утверждений. Использование символических методов в логике выявило, что "логика как теоретическая наука изучает не "природные способности" мышление человека, а способы рассуждений, которые объективно обеспечивают при истинности исходных утверждений истинность полученного заключения" (Е, Смирнова).

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

Специфичность предмета и метода символической логики дало основание логикам качественно различать предмет традиционной и математической (символической) логики. Так, польский логик Я. Лукасевич (1878-1956 гг.) писал: "Логика - наука о законах мышления. Формальная логика и формалистическая логика - это две разные вещи. Современная формальная логика строго формальная. Чтобы создать точную формализованную теорию, удобнее пользоваться специально созданной символикой".

Г. Фреге, один из основателей современной символической логики, считал, что "логика исследует не законы мышления как психологические законы, а законы истинности и задача логики - нахождение законов истинности, а не законов мышления".

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

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

- оперирует основными терминами традиционной логики - "срок", "язык", "суждение", "логический закон", "вывод", "противоречие", "непротиворечивость", "истинность", "ложь", "доводка", "дедукция" и другими, придавая этим терминам новый смысл;

- вводит в тезаурус науки логики новые термины, отражающие ее специфику;

- построила особую формализованную язык, на основании которой создается формальная система;

- раскрывает сферу действия логических законов, что были теоретически сформулированы в традиционной логике;

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

В символической логике как системе знания, основанной методом аналогии между логикой и алгеброй, в результате создания особой символики выделяют два этапа ее развития, которые получили название "классическая логика" и "неклассическая логика".

Классическая логика - исторический этап развития символической логики, что вмещает логику высказываний и логику предикатов (см. 4); фундамент, на котором строятся современные неклассические логики, которые являются альтернативными классической логике. В таком смысле классическая логика вмещает исторические типы логик - традиционную (арістотелівську), символическую (логику высказываний и логику предикатов).

Неклассическая логика - совокупность современных логических теорий, которые альтернативные классической логике. Первые неклассические логики разработали в 20-30-х годах XX в. логики и математики Я. Лукасевич(1878-1956 гг.), Б. Пост(1897-1954pp.), А. Гейтинг (1898-1980 гг.) и др.

К неклассической логики относятся многозначная, модальная, вероятностная и т.п. (см. 4).

С возникновением символической логики встал вопрос для научных дискуссий: "Частью какой науки она является? Частью философии или частью математики?" Однозначного ответа на это нет. За предметом и методом исследования символическая логика - часть современной математики, но по принципам построения как системы знания и основной терминологией, что отражает специфику логического знания, остается частью философии (философского познания мира). Современная неклассическая логика как альтернатива классической символической логике, что расширяет предмет своего исследования, уже трактуется как философская логика.

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

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

Предмет исследования современной логики - рассуждения субъектов практической и познавательной деятельности, то есть их умственно-речевая деятельность, а выведение знания дедуктивным способом предстает как разновидность соображений.

Распространение предмета науки логики характерно для современной неклассической логики, которая исследует различные виды и способы рассуждений и на основании логического анализа пытается построить адекватно знаково-символическую модель (теорию) этих соображений.

 
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 

Предметы
Агропромышленность
Банковское дело
БЖД
Бухучет и аудит
География
Документоведение
Естествознание
Журналистика
Инвестирование
Информатика
История
Культурология
Литература
Логика
Логистика
Маркетинг
Математика, химия, физика
Медицина
Менеджмент
Недвижимость
Педагогика
Политология
Политэкономия
Право
Психология
Региональная экономика
Религиоведение
Риторика
Социология
Статистика
Страховое дело
Техника
Товароведение
Туризм
Философия
Финансы
Экология
Экономика
Этика и эстетика
Прочее