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

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

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

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

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

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

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

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

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

Имена делятся на:

1)простые(“книга”, “снегирь”, “опера”) и сложные, или описательные(“самый большой водопад в Канаде и США”, “планета Солнечной системы”). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются;
2)собственные, т.е. имена отдельных людей, предметов, событий (“П. И. Чайковский”, “Обь”), и общие -название класса однородных предметов, (например, “дом”, “действующий вулкан”).

Каждое имя имеет значение и смысл. Значением имени является обозначаемый им предмет". Смысл(или концепт) имени - это способ, каким имя обозначает предмет, т.е. информация о предмете, которая содержится в имени. Поясним это на примерах. Один и тот же предмет может иметь множество разных имен (синонимов). Так, например, знаковые выражения “4”, “2 + 2”, “9 - 5” являются именами одного и того же предмета - числа 4. Разные выражения, обозначающие один и тот же предмет, имеют одно и то же значение, но разный смысл (т е. смысл выражений “4”, “2 + 2” и “9 - 5” различен).

Приведем другие примеры, разъясняющие, что такое значение и смысл имени. Такие знаковые выражения, как “великий русский поэт Александр Сергеевич Пушкин (1799-1837)”, “автор романа в стихах “Евгений Онегин”, “автор стихотворения, обращенного к Анне Петровне Керн, “Я помню чудное мгновенье”, “поэт, смертельно раненный на дуэли с Ж. Дантесом”, “автор исторической работы “История Пугачева” (1834)”, имеют одно и то же значение (они обозначают поэта А. С. Пушкина), но различный смысл.

Такие языковые выражения, как “самое глубокое озеро мира”, “пресноводное озеро в Восточной Сибири на высоте около 455 метров”, “озеро, имеющее свыше 300 притоков и единственный исток - реку Ангару”, “озеро, глубина которого 1620 метров”, имеют одно и то же значение (озеро Байкал), но различный смысл, поскольку эти языковые выражения представляют озеро Байкал с помощью различных его свойств, т. е. дают различную информацию о Байкале.

Соотношение трех понятий: “имя”, “значение”, “смысл” - схематически можно изобразить таким образом:

Рис . 1 Значение -- обозначаемый именем предмет ими класс предметов

Смысл -- способ, каким имя обозначает предмет (информация о предмете). семантический знак язык термин

Имя -- языковое изображено, обозначающее предмет.

Эта схема пригодна, если имя является не только собственным, т.е. приложимым к одному предмету (“число 4”, “А. С. Пушкин”, “Байкал”), но и общим (например, “человек”, “озеро”). Тоща вместо единичного предмета значением имени будет класс однородных предметов (например, класс озер или класс собак и т. д.), и схема останется в силе при данном уточнении, при этом вместо смысла будет содержание понятия.

В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями. Примерами первых являются:“х2+I”, “отецу”,“разность чисел z и 5”; примерами вторых являются: “х- поэт”, “7+у=10”, “х >у -7”. Рассмотрим эти два вида функций.

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

Именная функция - это такое выражение, которое не является непосредственно именем ни для какого предмета и нуждается в некотором восполнении для того, чтобы стать именем предмета. Так, выражениех2 -1 не обозначает никакого предмета, но если мы его “восполним”, поставив, например, на место х имя числа 3 (обозначающее это число цифру), то получим выражение З2- 1, которое является уже именем для числа 8, т. е. для некоторого предмета. Аналогично выражениех2+у2не обозначает никакого предмета, но при подстановке на место -x и y каких-нибудь имен чисел, например “4” и “1”, превращается в имя числа 17. Такие, нуждающиеся в восполнении выражения, какx2-1, х2 + у2 , и называют функциями - первая от одного, вторая от двух аргументов.

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

Приведем примеры пропозициональных функций: “z - город”; “x- советский космонавт”; “у -четное число”;“х+у= 10”; “х3- 1 = 124”.

Пропозициональные функции делятся на одноместные, содержащие одну переменную, называемые свойствами (например, “x-композитор”, “х- 7 == 3”,“z-гвоздика”), и содержащие две и более переменных, называемые отношениями (например, “х >у”; “х - z = 16”; “объем куба x равен объему куба у”).

Возьмем в качестве примера пропозициональную функцию “х -нечетное число” и, подставив вместо х число 4, получим высказывание “4 - нечетное число”, которое ложно, а подставив число 5, получим истинное высказывание “5 - нечетное число”.

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

а) “разность чисел 100 их”. Это - именная одноместная функция; например, 100-6 есть имя предмета, имя числа 94.
б) “х2+у”.Это - именная двухместная функция; при подстановке вместо х числа 5 и вместо у числа 7 превращается в имя предмета, имя числа 32.
в)“у-известный полководец”. Это пропозициональная одноместная функция; при подстановке вместо y имени “Александр Васильевич Суворов, родившийся 24 ноября 1730 г.”, получим истинное суждение: “Александр Васильевич Суворов, родившийся 24 ноября 1730 г., - известный полководец”, выраженное в форме повествовательного предложения.
г) “z является композитором, написавшим оперы х и y”. Это - пропозициональная трехместная функция. Она превращается в ложное суждение при подстановке вместо z имени “Бизе”, вместо х -“Аида”, а вместо у -“Травиата”. Суждение “Бизе является композитором, написавшим оперы “Аида” и “Травиата”, выраженное в форме повествовательного предложения, является ложным, потому что обе эти оперы написал не Бизе, а Верди.

Понятие пропозициональной функции широко используется в математике. Все уравнения с одним неизвестным, которые школьники решают, начиная с первого класса, представляют собой одноместные пропозициональные функции, например, х + 2 = 7; 10 -х = 4. Неравенства, содержащие одну или несколько переменных, также являются пропозициональными функциями. Например, х <7 илих2 -у >0.

Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся: 1) предложения: повествовательные, побудительные, вопросительные; 2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины".

Суждения выражаются в форме повествовательных предложений (например: “Киев - город”, “Корова - млекопитающее”). В этих суждениях субъектами соответственно являются “Киев”, “корова”, а предикатами - “город”, “млекопитающее”.

К дескриптивным (описательным) терминам относятся :

1. Имена предметов-слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы (“Аристотель”, “первый космонавт”, “7”) или классы однородных предметов (например, “пароход”, “книга”, “стихотворение”, “засуха”, “гвардейский полк” и др.).

В суждении “Енисей - река Сибири” встречаются три имени предмета: “Енисей”, “река”, “Сибирь”. Имя предмета “Енисей” выполняет роль субъекта, а имена “река” и “Сибирь” входят в предикат (“река Сибири”) как его две составные части.

2. Предикаторы (знаки предметно-пропозициональных функций) - слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, “порядочный”, “синий”, “электропроводный”, “есть город”, “меньше”, “есть число”, “есть планета” и др.). Предикаторы бывают одноместные и многоместные. Одноместные предикаторы обозначают свойства (например, “талантливый”, “горький”, “большой”). Многоместные предикаторы обозначают (выражают) отношения. Двухместными предикаторами являются: “равен”, “больше”, “мать”, “помнит” и др. Например: “Площадь земельного участка А равна площади земельного участка В”, “Мария Васильевна - мать Сережи”. Пример трехместного предикатора - “между” (например: “Город Москва расположен между городами Санкт-Петербург и Ростов-на-Дону”).

Функциональные знаки(знаки именных функций) выражения, обозначающие предметные функции, операции (“сtg a”, “+”,“O” и др.).

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

В естественном языке имеются слова и словосочетания: “и”, “или”, “если... то”, “эквивалентно”, “равносильно”, “не”, “неверно, что”, “всякий” (“каждый”, “все”), “некоторые”, “кроме”, “только”, “тот... который”, “ни... ни”, “хотя... но”, “если и только если” и многие другие, выражающие логические константы (постоянные).

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

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

-,^ , v, ? , >, ?.

Конъюнкция соответствует сонму “и”. Конъюнктивное высказывание обозначается: a ^ b, или а * b, или а & b(например, “Закончились лекции (а), и студенты пошли домой (b)”1.

Дизъюнкция соответствует союзу “или”. Дизъюнктивное суждение обозначается: a vЬ (нестрогая дизъюнкция) и avb (строгая дизъюнкция); отличие их в том, что при строгой дизъюнкции сложное суждение истинно только в том случае, когда истинно одно из составляющих суждений, но не оба, а при нестрогой дизъюнкции истинными могут быть одновременно оба суждения. “Он шахматист или футболист” обозначается как аvb.“Сейчас Петров находится дома или в институте” обозначается как аb.

Импликация соответствует союзу “если... то”. Условное суждение обозначается: а>b.(например: “Если будет хорошая погода, то мы пойдем в лес”).

Эквиваленция соответствует словам “если и только если”, “тогда и только тогда, когда”, “эквивалентно”. Эквивалентное высказывание обозначается: а?b, или а-b, или а>

Отрицание соответствует словам “не”, “неверно, что”. Отрицание высказывания обозначается: a, а, ~а[например: “Падает снег” (а); “Неверно, что падает снег” (a)].

Квантор общности обозначаетсяи соответствует кванторным словам “все” (“всякий”, “каждый”, “ни один”).хР(х) -запись в математической логике. (Например, в суждении “Все красные мухоморы ядовиты” кванторное слово “все”).

Квантор существования обозначаетсяи соответствует словам “некоторые”, “существует”.хР (х) -запись в математической логике. (Например, в суждениях “Некоторые люди имеют высшее образование” или “Существуют люди, которые имеют высшее образование” - кванторные слова выделены курсивом).

Выразим в форме схемы разновидности семантических категорий (рис.2).

Упражнение

Выполнены ли логические правила «деления понятий», если нет, то какие правила нарушены:

Производительные силы включают в себя средства труда и орудия труда.

(Правила не нарушены)

В эволюции органического мира выделяют два вида отбора: искусственный и естественный. (Правила не нарушены)

Войны бывают справедливые, несправедливые, национальные. (Правила нарушены. Освободительные войны относятся к числу справедливых войн, следовательно, члены деления в данном примере не исключают друг друга.)

Упражнение :

Через какой вид индукции (полной или неполной) можно обосновать следующие заключения:

Ничто не вечно под луной. (полное)

Всю осень преобладала дождливая погода. (неполное)

Все птицы летают.(полное)

Введение

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

Заключение

Словарь терминов

Список используемой литературы

Введение

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

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

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

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

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

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

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

Какую роль играет формализация в научном познании вообще и в логике в особенности?

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

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

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

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

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

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

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

Основным строительным материалом при конструировании языка выступают используемые в нем знаки. Знак - это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет, выступающий представителем другого предмета. Среди различных знаков выделим два вида: знаки-образы и знаки-символы.

Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; дактилоскопические отпечатки пальцев; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов. Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков.

Множество исходных знаков языка составляет его алфавит.

Комплексное изучение языка осуществляется общей теорией знаковых систем - семиотикой, которая анализирует язык в трех аспектах: синтаксическом, семантическом и прагматическом.

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

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

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

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

Какую роль играет формализация в научном познании вообще и в логике в особенности?

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

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

Множество исходных знаков языка составляет его алфавит.

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

По происхождению языки бывают естественные и искусственные.

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

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

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

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

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

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

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

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

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

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

Отношение между именем, смыслом и денотатом (объектом) можно представить следующей семантической схемой:

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

Типы имен языка логики предикатов, определяемые спецификой объектов именования и представляющие собою его основные семантические категории, это имена: 1) предметов, 2) признаков и 3) предложений.

Имена предметов обозначают единичные предметы, явления, события иди их множества. Объектом исследования в этом случае могут быть как материальные (самолет, молния, сосна), так и идеальные (воля, правоспособность, мечта) предметы.

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

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

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

Алфавит языка логики предикатов включает следующие виды знаков (символов):

1) а, b, с,... - символы для единичных (собственных или описательных) имен предметов; их называют предметными постоянными, или константами;
2) х, y, z, ... - символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;
3) Р 1 ,Q 1 , R 1 ,... - символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;
4) р, q, r, ... - символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского рropositio - «высказывание»);
5) - символы для количественной характеристики высказываний; их называют кванторами: -- квантор общности; он символизирует выражения -- все, каждый, всякий, всегда и т.п.; -- квантор существования; он символизирует выражения -- некоторый, иногда, бывает, встречается, существует и т.п.;
6) логические связки:
- - конъюнкция (союз «и»);
- - дизъюнкция (союз «или»);
- - импликация (союз «если..., то...»);
- - эквиваленция, или двойная импликация (союз «если и только если..., то...»);
- - отрицание («неверно, что...»).

Технические знаки языка: (,) - левая и правая скобки.

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

1. Всякая пропозициональная переменная -- р, q, r, ... есть ППФ.
2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А 1 (х), А 2 (х, у), А 3 (х, у, z), А" (х, у,..., n), где А 1 , А 2 , А 3 ,..., А n - знаки метаязыка для предикаторов.
3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения хА (х) и хА(х) также будут ППФ.
4. Если А и В - формулы (А и В - знаки метаязыка для выражения схем формул), то выражения:

также являются формулами.

5. Любые иные выражения, помимо предусмотренных в п. 1-4, не являются ППФ данного языка.

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

Рассмотрим кратко основные функции и состав языка, а также специфику языка логики.

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

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

Языки делятся на естественные и искусственные.

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

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

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

Общепринятым в современной логике является так называемый язык логики предикатов. Рассмотрим кратко принципы построения и структуру этого языка.

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

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

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

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

Выражения языка, обозначающие свойства и отношения, называются предикаторами. В предложениях они обычно выполняют роль сказуемого (например, «быть синим», «бегать», «дарить», «любить» и т. д.). Число имен, к которым относится данный предикатор, называется его местностью. Предикаторы, выражающие свойства, присущие отдельным предметам, называются одноместными (например, «небо синее»). Предикаторы, выражающие отношения между двумя и более предметами, называются многоместными. Например, предикатор «любить» относится к двухместным («Мария любит Петра»), а предикатор «дарить» -- к трехместным («Отец Дарит книгу сыну»).

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

Алфавит языка логики предикатов, отражая и следуя за семантическими категориями естественного языка, включает следующие виды знаков (символов):

1) а, b, с, ... -- символы для единичных имен предметов; их называют предметными постоянными (константами);

2) х, у, z ,... -- символы общих имен предметов; их называют предметными переменными;

Р1, Q1, R1, … ; Р2, Q2, R2, …, Рn, Qn, Rn - символы для предикаторов, индексы над которыми выражают их местность: 1 -- одноместный, 2 -- двухместный, п -- местный. Их называют предикатными переменными;

p, q, r - символы для высказываний, которые называют высказывательными или препозиционными переменными ;

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

6) логические связки:

Конъюнкция (соединительное «и»);

Дизъюнкция (разделительное «или»);

Импликация (союз «если..., то...»);

Эквивалентность (союз «если и только если..., то...»);

Отрицание («неверно, что...»);

7) технические знаки: (;) --левая и правая скобки.

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

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

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

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

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

Выделяют несколько видов знаков:

1) знаки-копии (фотографии, отпечатки пальцев и т. п.);

2) знаки-признаки (дым – признак огня, боль – признак болезни и т. п.);

3) знаки-сигналы (звонок – начало занятия);

4) знаки-символы (дорожные знаки, буквы алфавита и т. п.). По происхождению языки бывают естественные и искусственные.

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

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

Естественные языки имеют определенные недостатки, затрудняющие точную передачу информации. К таким недостаткам относится тот факт, что со временем слова изменяют свое значение. Например, слово «танк» первоначально обозначало резервуар, цистерну, а сейчас оно обозначает боевую машину. В естественном языке также одно слово часто обозначает разные предметы и имеет несколько смысловых значений (кисть руки и кисть винограда). Бывает, что разные слова имеют одно и то же значение (перевес и превосходство). Иногда значение слов естественного языка бывает неопределенным, расплывчатым (человек не совсем здоров). Искусственные языки лишены данных недостатков, но бедны образами. Логика пользуется искусственным языком, который создан с помощью формализации. В логике операции с мыслями заменяют действиями со знаками. Основными знаками формальной логики являются слова, а сложными – предложения естественного языка. С помощью формализованного языка из формул, соответствующих истинным высказываниям, можно получить формулы, соответствующие другим истинным высказываниям, не принимая во внимание преобразование самого высказывания.

Общепринятым является язык логики предикатов. Его основными категориями являются: имена предметов, выражения, обозначающие свойства и отношения, и предложения.

Имена предметов обозначают как единичные предметы или явления, так и их множества. Например, студент Иванов и студент. Объектом исследования могут быть как материальные, так и идеальные объекты. Имена бывают простые (государство) и сложные (студенты третьего курса); единичные (обозначающие один предмет) и общие (обозначающие множество предметов).

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

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

Главная » Для начинающих » Каково соотношение логики и языка. Проблема соотношения языка и логики