Логика как наука о мышлении, ее предмет и задачи

     Естественные возникают в процессе общения членов некоторой социальной группы (например, этнические языки). Естественные языки – главное и решающее средство общения между людьми, средство организации нашего мышления.

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

     Основными недостатками естественных языков являются следующие:

     1) значимые единицы естественных  языков постепенно и почти  незаметно меняют свои значения;

     2) значимым единицам естественных  языков свойственны полисемия,  синонимия, омонимия;

     3) значение единиц естественных  языков часто бывает расплывчатым, аморфным (например, единицы хроматической  и экспрессивной лексики);

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

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

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

     - все основные знаки представлены  в явном виде (отсутствие эллипсиса). Основные знаки - это простые,  несоставные слова языка или  простые, несоставные символы  (если речь идет о символическом  языке);

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

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

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

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

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

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

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

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

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

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

     История логики и формализация мышления. Язык исчисления предикатов. 

     Логика  имеет долгую и богатую историю, неразрывно связанную с историей развития общества в целом.

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

     История свидетельствует, что отдельные  логические проблемы возникают перед  мысленным взором человека уже свыше 2,5 тыс. лет назад — сначала  в Древней Индии и Древнем  Китае. Затем они получают более  полную разработку в Древней Греции и Риме. Лишь постепенно складывается более или менее стройная система логических знаний, оформляется самостоятельная наука.

     Каковы  причины возникновения логики? Основными  являются две. Одна из них — зарождение и первоначальное развитие наук, прежде всего математики. Этот процесс относится к VI в. до н. э. и получает наиболее полное развитие в Древней Греции. Рождаясь в борьбе с мифологией и религией, наука основывалась на теоретическом мышлении, предполагающем умозаключения и доказательства. Отсюда — необходимость исследования природы самого мышления как средства познания.

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

     Другая, пожалуй, еще более важная причина, что особенно полезно знать юристам, — это развитие ораторского искусства, в том числе судебного, которое  расцвело в условиях древнегреческой демократии. Величайший римский оратор и ученый Цицерон (106—43 гг. до н. э.), говоря о могуществе оратора, обладателя «божественного дара» — красноречия, подчеркивал: «Он может безопасно пребывать даже среди вооруженных врагов, огражденный не столько своим жезлом, сколько своим званием оратора; он может своим словом вызвать негодование сограждан и низвергнуть кару на виновного в преступлении и обмане, а невинного силою своего дарования спасти от суда и наказания; он способен побудить робкий и нерешительный народ к подвигу, способен вывести его из заблуждения, способен воспламенить против негодяев и унять ропот против достойных мужей; он умеет, наконец, одним своим словом и взволновать и успокоить любые людские страсти, когда этого требуют обстоятельства дела».

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

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

     По  словам Цицерона, Греция «поистине  пылала страстью к красноречию и долгое время им славилась...». Не случайно, что именно Древняя Греция стала родиной логики как науки. Естественно также, что сам термин «логика» — древнегреческого происхождения.

     Основателем логики — или, как иногда говорят, «отцом логики» — принято считать крупнейшего древнегреческого философа и ученого-энциклопедиста Аристотеля (384—322 гг. до н. э. Следует, однако, учитывать, что первое довольно развернутое и систематическое изложение логических проблем фактически дал более ранний древнегреческий философ и естествоиспытатель Демокрит (460 — примерно 370 г. до н. э.). Среди его многочисленных трудов был и обширный трактат в трех книгах «О логическом, или О канонах» (от греч. kanon — предписание, правило). Здесь не только были раскрыты сущность познания, его основные формы и критерии истины, но и показана огромная роль логических рассуждений в познании, дана классификация суждений, подвергнуты решительной критике некоторые виды выводного знания и предпринята попытка разработать индуктивную логику — логику опытного знания.

     К сожалению, этот трактат Демокрита, как и все остальные, до нас  не дошел. Однако он был широко использован  Аристотелем в его разработке грандиозной системы логики. А  от нее непосредственно ведет начало современная логика.

     Аристотелю  принадлежит ряд трактатов по логике, объединенных позднее под названием «Органон» от греч. organon — орудие, инструмент).

     B фокусе всех его логических размышлений — теория выводного знания — дедуктивных умозаключений и доказательства. Она разработана с такой глубиной и тщательностью, что прошла сквозь толщу столетий и в основном сохранила свое значение до наших дней Аристотель дал также классификацию категорий — наиболее общих понятий и близкую к демокритовской классификацию суждений, сформулировал три фундаментальных закона мышления — закон тождества, закон противоречия и закон исключенного третьего. Логическое учение Аристотеля замечательно тем, что в зародыше оно содержит, по существу, все позднейшие разделы, направления и типы логики — индуктивной, символической, диалектической. Правда, сам Аристотель называл созданную им науку не логикой, а прежде всего аналитикой, хотя и употреблял термин «логическое». Сам же термин «логика» вошел в научный оборот несколько позднее, в III в. до н. э. Причем в соответствии с двуединым смыслом древнегреческого слова «logos» (и «слово», и «мысль») он объединил и искусство мыслить — диалектику, и искусство рассуждать — риторику. Лишь с прогрессом научных знаний этим термином стала обозначаться собственно логическая проблематика, а диалектика и риторика выделились в самостоятельные отрасли знания.

     Будучи  гигантским обобщением предшествующей практики мышления, логика Аристотеля оказала мощное влияние на ее последующее развитие, и прежде всего на научное познание. Так, под сильным впечатлением от этой науки написаны знаменитые «Начала» Евклида (около 323—283 гг. до н. э.). В них подведен величественный итог развития греческой математики за предшествующие три столетия и впервые с такой силой проявился на практике дедуктивный метод построения научной теории. Оценивая историческое значение труда Евклида как практического применения логики, А. Эйнштейн подчеркивал, что это удивительное произведение дало человеческому разуму ту уверенность в себе, которая была так необходима для его последующей деятельности.

     Логика  Аристотеля значительно повлияла также  на развитие ораторского искусства, особенно судебных речей. Так, один из теоретиков риторики Гермагор около середины II в. до н. э. разработал знаменитую «систему нахождения», которая явилась высшим достижением риторической теории эпохи эллинизма. Все многообразие судебных «казусов» (случаев) сведено в ней к единой схеме видов и разновидностей («статутов»), которой пользовались ораторы в речах.

     В свою очередь, сама логика получила дальнейшее развитие, как в Греции, так и в других странах, причем и на Западе и на Востоке. Это развитие вызывалось, с одной стороны, непрерывным совершенствованием и обогащением практики мышления (в котором все больший удельный вес занимало научное познание), а с другой — все более глубоким проникновением в сущность мыслительных процессов. А проявлялось оно не только во все более полном и точном истолковании сложившегося круга проблем, но и в последовательном расширении предмета логики за счет выдвижения и анализа все новых ее проблем. Первоначально это выразилось, например, в детализации и обобщении аристотелевской теории дедукции. Наряду с усиленной разработкой теории умозаключений из простых суждений исследовались и новые формы дедуктивного вывода — из сложных суждений. Такова, например, логика стоиков (3енон, Хрисипп — III в. до н. э.).

     В средние века большой общественный резонанс получила проблема общих понятий — «универсалий». Спор о них растянулся на столетия.

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

     Новый, более высокий этап в развитии логики начинается с XVII в. Этот этап органически связан с созданием в ее рамках наряду с дедуктивной логикой логики индуктивной. В ней нашли отражение многообразные процессы получения общих знаний на основе все более накапливавшегося эмпирического материала. Потребность в получении таких знаний наиболее полно осознал и выразил в своих трудах выдающийся английский философ и естествоиспытатель Ф. Бэкон (1561—1626). Он и стал родоначальником индуктивной логики. «... Логика, которая теперь имеется, бесполезна для открытия знаний», — вынес он свой суровый приговор. Поэтому как бы в противовес старому «Органону» Аристотеля Бэкон написал «Новый Органон...», где и изложил индуктивную логику. Главное внимание в ней он обратил на разработку индуктивных методов определения причинной зависимости явлений. В этом огромная заслуга Бэкона. Однако созданное им учение об индукции по иронии судьбы оказалось не отрицанием предшествующей логики, а ее дальнейшим обогащением и развитием. Оно способствовало созданию обобщенной теории умозаключений. И это естественно, ибо, как будет показано ниже, индукция и дедукция не исключают, а предполагают друг друга и находятся в органическом единстве.