5. Логика и язык

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

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

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

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

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

Имена делятся на: 1)простые (книга, снегирь); 2)сложные или описательные (самый большой во­допад в Канаде и США);

3)Собственные, т. Е. Имена отдельных людей, пред­метов или событий (п. И. Чайковский); 4(общие (действующие вулканы).

Каждое имя имеет значение или смысл. Значением или смыслом имени является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени.

В логике различают выражения, которые являются именными функциями, и выражения, являющиеся про­позициональными функциями.

Именная функция - это выражение, которое при замене переменных постоянными превращается в обо­значение предмета. Возьмем именную функцию «отецу». Подставим вместо «у» имя «писатель Жюль Верн», получим «отец писателя Жюля Верна» - имя предмета.

Пропозициональной функцией называется выраже­ние, содержащее переменную и превращающееся в истинное или ложное высказывание при постанов­ке вместо переменной имени предмета из определен­ной системной области.

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

При логическом анализе язык рассматривается как знаковая система.

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

Можно выделить знаки следующего вида: 1)знаки-индексы; 2(знаки-образцы; 3) знаки-символы.

Логика исследует знаки последнего вида.

Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами.

6. Особенности современной логики

Необходимые потребности научно-технического про­гресса ведут к развитию современной логики. Прошед­шая революция в логике в конце ХГХ-начале XX вв. послужила результатом возникновения логической тео­рии, впоследствии получившей название «классиче­ская логика». Ее основателями являются ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В своих работах они пере­носили в логику методы, в своем большинстве прини­маемые в математике. Но классическая логика все еще остается центром современной логики, она продолжа­ет традиции аристотелевской логики, используя при этом современный математический путь.

В первой половине XX в. классическая логика под­верглась критике, после чего возникло большое ко­личество новых направлений, которые и получили название неклассической логики. Ее главное отли­чие от классической логики состоит в том, что она сформировалась не как единое целое, а стала пред­ставлять собой различные теории. К их числу мож­но отнести следующие направления: 1 {многозначная логика. Она начала складываться в 20-х гг. XX в. В классической логике присутство­вал один особенный принцип, на основании кото­рого все высказывания либо истинны, либо ложны. Данный принцип назывался принципом двузначно­сти. В противопоставление данному принципу были выведены многозначные системы. В них вместе с истинными и логическими суждениями допуска­ются и неопределенные суждения. Данный принцип был известен еще Аристотелю, кото­рый не считал его лучшим. Данный подход Аристотеля еще в древности вызывал споры. В более позднее время принцип двузначности также оспаривался мно-V гими логиками. Но только в современной логике стало возможный использовать, сомнения в универсально­сти принципа двузначности в форме логических систем. Независимо друг от друга первые многозначные логи­ки были построены польским логиком Я. Лукасевичем и американским логиком Э. Постом. Лукасевичем была предложена трехзначная логи­ка, которая основана на предположении, что вы­сказывания бывают истинными,ложными и неопре­деленными, в отличие от него, Пост формально подходил к многозначной логике; 2)интуиционистская логика. В 1908 г. классические законы исключенного третьего, двойного отрица­ния и косвенного доказательства были подверже­ны сомнению голландским математиком и логиком Л. Брауэром. В результате чего возникла интуицио­нистская логика, которая, естественно,не содер­жала данных законов. Брауэр полагал, что, возник­нув в рассуждениях о конечном множестве объектов, закон исключенного третьего впоследствии был распространен на бесконечные множества, в ре­зультате чего проверить, обладают ли все предме­ты определенным свойством или нет, не представ­ляется возможным; 3)релевантная логика.

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