Логика в системе культуры

          5. Тон, которым произносится то или иное слово, обозначает не одно и то же.

6. Грамматические правила многочисленны и имеют много исключений.
7. Нет многих понятий и слов для обозначения явлений в той или иной отрасли науки [4, с. 14].

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

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

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

     Такого рода операции с символами по определенным правилам называются исчислением.

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

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

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

     Формализованный язык логики существует в двух вариантах: язык логики предикатов и язык логики высказываний.

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

     Имена — это слова или словосочетания, обозначающие какой-либо предмет.

     Различают простые имена, состоящие из одного слова, например: «книга», «воробей», «песня»; сложные имена, которые состоят из двух слов, например: «город-герой», и описательные имена, состоящие из частей, имеющих самостоятельный смысл, например: «самая высокая горная вершина». Единичное имя обозначает один предмет и представлено в языке именем собственным, например: «А.П. Чехов», или представлено описательно. Общее имя обозначает класс однородных предметов и в языке представлено именем нарицательным, например «закон», или дается описательно, например «действующий вулкан».

     Предикаторы — это языковые выражения, обозначающие свойства, качества, отношения.

     Число имен, к которым относится предикатор, называется его местностью.

     Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными. Например, «лед холодный».

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

     Двухместными предикаторами являются, например, «больше», «любить», «мать» и т. д., «Диаметр Венеры больше диаметра Меркурия».

     Трехместный предикатор: «Город Волгоград находится между городами Саратов и Астрахань».

     Функциональные знаки — это выражения, обозначающие предметные функции, т. е. функции, значениями которых являются предметы.

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

     Предложение — это выражение языка, в котором что-то утверждается или отрицается.

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

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

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

     Формулы, которые мы получаем в результате перевода фраз естественного языка на логический язык, могут быть трех видов:

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

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

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

     Цель описания — сделать так, чтобы слова соответствовали действительности; цель оценки — сделать так, чтобы действительность соответствовала словам.

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

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

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

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

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

 

Заключение 

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

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

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

     Логика изучает одну из систем человеческого организма - интеллектуальную систему, или систему мышления. Эта система, как и другие (обмен веществ, кровообращение, психическое реагирование) является функцией одного из материальных органов человеческого тела - мозга. Мышление без мозга невозможно. Однако природа мышления иная, чем, скажем, у процесса пищеварения или работы печени. Продуктом деятельности печени является материальное вещество - желчь. Продукт мышления - мысль, не является материальным продуктом. Она - идеальна, т. е. существовать в отрыве от мозга (разумеется, в чистом виде, а не в форме слова или текста) не может. Желчь зрима, т. е. ощутима. Мысль - незрима, она не воспринимается непосредственно органами чувств. Мысль отдельно от мозга - это гоголевский Нос, гуляющий по Невскому проспекту. Итак, мышление по природе своей - идеально. И эта природа указывает на предназначение мышления.

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

 

Логические задачи 

1. Определить логическую форму следующих выражений:

     X + Y = Z. Данное выражение не является высказыванием.

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

     Если А, то В. А->В

     Цена - денежное выражение стоимости. Простое высказывание. Общеутвердительное А. Все А суть В.

     Лондон. Понятие. Простое. Единичное. Несобирательное. Конкретное. Безотносительное.

     Фосфор бывает белый и красный. Этот фосфор не красный. Этот фосфор белый. Разделительный силлогизм отрицающе-утверждающий.

     А есть В и С А не есть С А есть В

     "Пусть сильнее грянет буря!" (A.M. Горький). Данное выражение не является высказыванием.

     Геометрическая фигура. Понятие. Описательное, общее, собирательное, абстрактное, соотносительное, положительное.