Предмет и язык логики

Логика – это наука, которая исследует структуру мышления, раскрывает лежащие в его основе закономерности.

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

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

Знак – это материальный объект, используемый для обозначения любого другого объекта. Логика исследует знаки-символы, составляющие большинство слов естественного языка. Их связь с обозначаемыми предметами устанавливается либо по соглашению, либо стихийно при формировании языка.

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

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

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

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

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

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

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

Логика исследует форму мыслей, отвлекаясь от конкретного содержания. Логическая форма – это способ связи содержательных частей мысли. Содержательные части мысли – имена и высказывания, которые фиксируются с помощью переменных A, B, C, D и т. д.

Содержательная конкретизация переменных называется значениями этих переменных. Для связи переменных используются логические константы, которые сохраняют свое значение в любом рассуждении. В качестве логических констант выступают слова «и», «или», «если,… то», «неверно, что», «все», «некоторые» и др. Для обозначения логических констант употребляются символы, позволяющие более строго и компактно записать логическую форму (см. раздел «Высказывания»). Имена и высказывания являются основными семантическими (логическими) категориями.

Итак, выявить логическую форму (структуру) мысли – значит формализовать ее. Так, высказывания: «Все выпускники имеют высшее образование», «Все прямоугольники – четырехугольники», «Все металлы – проводники электричества» имеют одинаковую схему построения: «Все S есть P». Рассмотрим более сложные примеры: «Если все студенты нашего курса изучают логику, а я – студент нашего курса, то я изучаю логику», «Если все металлы – простые вещества, а литий – металл, то он – простое вещество». Эти рассуждения построены по схеме: «Если А и В, то С». Выделенные схемы являются логическими формами.

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

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

Рассуждение, форма которого – логический закон, называется правильным. Правильность отличают от истинности мышления. Мысль является истинной, если она соответствует действительности. Можно рассуждать правильно, но исходить из ложных данных, что приведет к ложному заключению. Так, из ложного высказывания «Все сплавы – простые вещества» выводится высказывание «Некоторые простые вещества – сплавы», которое также является ложным.

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

Учение Аристотеля получило дальнейшее развитие в Средние века и в Новое время. Существенным дополнением к этому учению явилась теория индукции, разработанная английским философом Ф. Бэконом в XVI–XVII вв. и систематизированная английским логиком Д.С. Миллем в XIX в.

Дедуктивная логика Аристотеля и индуктивная логика Бэкона–Милля – основные направления в развитии логики вплоть до середины XIX в. Логику, основанную Аристотелем, принято называть формальной, или традиционной логикой.

Во второй половине XIX в. сложилась символическая, или математическая логика. Она возникла как результат применения математических методов к решению логических проблем. Идея использования вычислительных методов в любой науке принадлежит немецкому мыслителю Лейбницу (XVII–XVIII вв.); реально она воплотилась в работах Дж. Буля, У. Джевонса, Г. Фреге, П.С. Порецкого, Б. Рассела и других ученых, которые создали основные разделы математической логики, ставшей важнейшей ветвью формальной логики. Математическая логика нашла широкое применение в технике, где благодаря информационно-логическим машинам осуществляются сложные вычисления, управление автоматическими приборами и т. п.

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

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

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

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

Упражнения

1. Известно, что разные по содержанию мысли можно выразить с помощью одних и тех же логических форм. Верно ли обратное утверждение: «Одну и ту же мысль можно выразить с помощью различных логических форм?».Приведите примеры.

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

3. Существует такая шутка: «Адам назвал тигра «тигром», потому что он был похож на тигра». Как бы назвал Адам тигра, если бы он не был похож на тигра? А возможен ли вообще такой вариант?

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

5. Прочитать отрывок из сказки Л. Кэрролла «Алиса в Зазеркалье»:

«-Заглавие этой песни называется «Пуговки для сюртуков».

- Вы хотите сказать – песня так называется? – спросила Алиса, стараясь заинтересоваться песней.

- Нет, ты не понимаешь, – ответил нетерпеливо Рыцарь, – это заглавие так называется. А песня называется «Древний старичок».

- Мне надо было спросить: это у песни такое заглавие? – поправилась Алиса.

- Да нет! Заглавие совсем иное: «С горем пополам». Но это она только так называется.

- А песня это какая? – спросила Алиса в полной растерянности.

- Я как раз собирался тебе об этом сказать: «Сидящий на стене». Вот какая это песня!»

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

6. Путем подстановки вместо переменных P и Q высказываний превратить логическую функцию: «Р тогда и только тогда, когда Q»:

а) в истинное высказывание; б) в ложное высказывание.

7. Установить логическую форму высказываний:

1) Знание – сила.

2) Смелость – начало победы.

3) Усердие – мать успеха.

4) Мудрость – бог опыта.

5) «Бытие» и «мышление» – основные категории философии.

6) Суждение либо истинно, либо ложно.

7) Если и только если число четное, оно должно делиться на два без остатка.

8) Он или математик, или шахматист.

9) Если студент добросовестно относится к занятиям, он станет хорошим специалистом.

8. Какие из следующих высказываний имеют одинаковую логическую форму:

1) Иванов выиграл шахматный турнир и стал чемпионом.

2) Неверно, что столица Беларуси не расположена на Свислочи.

3) Если четырехугольник – параллелограмм, то его диагонали, пересекаясь, делятся пополам.

4) Неверно, что спорынья не содержит яда.

5) Если a ² не равно b ², то a не равно b.

6) Мой друг с отличием окончил институт и получил диплом инженера-строителя.

7) Если a равно b, то a² равно b².

8) Если диагонали четырехугольника, пересекаясь, не делятся пополам, то этот четырехугольник – не параллелограмм.

Дата добавления: 2014-11-20