ЯЗЫК ФОРМАЛЬНОЙ ЛОГИКИ

 

План лекции 3

1. Соотношение языка и мышления.

2. Язык формальной логики.

3. Естественные и искусственные языки.

 

Соотношение языка и мышления.

Язык и мышление образуют единство. Выделяют два основных аспекта этого единства:

– генетический, который выражается в том, что возникновение языка было тесно связано с возникновением мышления, и наоборот;

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

Однако это вовсе не означает, что язык и мышление тождественны друг другу. Между ними существуют и определенные различия.

Язык является средством формирования и формулирования мысли во внутренней речи;

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

· язык представляет собой средство мышления для моделирования мысли;

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

· язык по отношению к мышлению выступает как средство воздействия на действительность, средство прямого, а чаще всего косвенного преобразования действительности через практическую деятельность людей, управляемую мышлением с помощью языка;

· язык выступает в качестве средства тренировки, оттачивания, совершенствования мышления.

Язык формальной логики

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

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

Специально созданный для целей логики язык получил название формализованного. Слова обычного языка заменяются в нем отдельными буквами и различными специальными символами. Формализованный язык – это «насквозь символический» язык.

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

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

Логические термины заменяют в естественном языке определенные союзы (логические постоянные, или логические константы).

Естественные и искусственные языки.

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

Первые, называемые также «повседневными», «разговорными», «обычными» и т.п., складываются стихийно и постепенно. История каждого такого языка неотделима от истории народа, владеющего им. Искусственные языки сознательно создаются людьми для каких-либо специальных целей. Таковы, например, языки математики, логики, алгоритмические языки программирования для ЭВМ, шифры и т.п. Языки естественных и гуманитарных наук относятся к частично искусственным. Скажем, учебник биологии написан всегда на том или ином естественном языке: русском, английском, немецком и т.п. Вместе с тем, помимо слов этого языка, учебник обязательно включает собственно биологическую терминологию и символику, являющуюся по преимуществу интернациональной.

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

Искусственные языки генетически и функционально вторичны в отношении естественного языка: первые возникают на базе второго и могут функционировать только в связи с ним.

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

– изменение значения слов с развитием общественной практики и по истечении определенного времени;

– многозначность некоторых слов;

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

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

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

Формальная логика пытается искоренить данные недостатки в своей области. Это достигается на основе введения специального символического языка.

 

Тема 5