Традиционная и современная логика

6. Традиционная и современная логика.

История логики охватывает около двух с половиной тысячелетий. «Старше» формальной логики только философия и математика.

На первом этапе, обычно называемом традиционной логикой, формальная логика развивалась очень медленно. Кант (1724-1804) говорил, что формальная логика является завершенной наукой, не продвинувшейся со времени Аристотеля ни на одан шаг. Г. Лейбниц(1646-1716) дал ясное выражение идеям представить доказательство как вычисление, подобное вычислению в математике. Идеи Лейбница не оказали, однако, заметного влияния на его современников. Фреге (1848-1925) в своих работах стал применять формальную логику для исследования оснований математики. Фреге был убежден, что «арифметика есть часть логики и не должна заимствовать ни у опыта, ни у созерцания никакого обоснования».

Известный русский физик Эренфест первым высказал гипотезу о возможности применения современной ему логики в технике.

7. Современная логика и другие науки.

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

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

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

Помимо кибернетики современная логика находит широкое приложение и во многих других областях науки и техники.

Слова и вещи.

1. Язык как знаковая система.

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

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

Правила значения обычно делятся на три группы:

·         Аксиоматические. Такие правила требуют принятия предложений определенного вида во всех обстоятельствах.

·         Дедуктивные. Такие правила требуют принятия следствий, вытекающих из некоторых посылок, если приняты сами посылки.

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

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

2. Основные функции языка.

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

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

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

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

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

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

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