Как соотносятся логика и язык. Реферат: Логика и язык. Язык как знаковая система. Его структура и виды

S есть А или В. S есть А (В). S не есть В (А). Например:

Выстрел бывает точным и неточным. Этот выстрел является точным. Этот выстрел не является неточным.

Условно-разделительное суждение может быть или дилеммой, или трилеммой.

Вопросы к зачету по курсу «Логика»

для студентов очного/заочного отд. 2006/2007 уч.г.

Логика как наука, ее предмет, методы и сфера применения.

ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ

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

Первый метод – этимологический. Он заключается в том, что требуется прояснить значение слова, которое используется для названия данной науки. Термин «логика» восходит к древнегреческому слову «логос», означавшему слово, мысль, понятие, рассуждение и закон. Древнегреческие философы считали, что в речах человека есть некая сила. Она побуждает, сказав «А», сказать и «Б». В основе этого принуждения лежит человеческий разум, который отыскивает в природе необходимое и отбрасывает случайное.

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

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

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

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

3. Значение логики состоит в следующем:

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

5. 2) формальная логика применяется в науке и технике. При этом техническими приложениями формальной логики являются: исчисление высказываний и исчисление предикатов. Без исчисления предикатов не могли появиться искусственные информационные языки, основа современной компьютерной техники. Традиционная формальная логика остается важнейшим логическим инструментом построения доказательств, обоснований во всех науках;

6. 3) традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;

7. 4) логика является важнейшим и незаменимым инструментом развития культуры. Без логики не может обойтись никакая культурная деятельность вообще, поскольку в ней присутствуют и играют принципиальную роль рациональные элементы.

Язык как знаковая система. Его структура и виды.

ВЗАИМОСВЯЗЬ ЛОГИКИ И ЯЗЫКА

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Существуют различные мнения о соотношении языковых (прежде всего грамматических) и логических категорий. Древнегреческий философ АРИСТОТЕЛЬ (IV век до н.э.) полагал, что в основе грамматики лежит логика. Недаром у древних греков слово logos означало одновременно слово, мышление, разум и речь.

Его последователи в этом вопросе французские ученые АНТУАН АРНО И КЛОД ЛАНСЛО, аббаты монастыря ПОР-РОЯЛЬ, в своей работе «Всеобщая рациональная грамматика» (1660), считали, что цель языкознания - изучение логических принципов, лежащих в основе всех языков. А поскольку категории и законы мышления у всех мыслящих людей одинаковы, то и грамматика у них едина. Следовательно, логические и языковые категории тождественны.

В основе логики лежит суждение, т.е. форма мышления, в которой что-либо утверждается или отрицается. Суждение состоит из субъекта S (предмета суждения), предиката Р(свойства или отношения), связки (есть) и кванторов (все А и некоторые Е). Субъект есть то, о чем нечто высказывается, а предикат - то, что высказывается о субъекте, причем S единичное, а Р - всеобщее.

Согласно грамматике Пор-Рояля суждение совпадает с предложением. Напр., в основе предложения человек бежит лежит суждение:
Человек (предикат) есть (связка) бегущий (атрибут, т.е.предикат). Следовательно, в языке все должно быть подчинено логике.

Остатки подобных взглядов сказываются и на современной грамматической терминологии многих западноевропейских языков (напр., для слов, обозначающих подлежащее и сказуемое, применяются логические термины субъект (анг. subject, HeM.Subjekt, фр. sujet) и предикат (анг. predicate, нем-Pradikat, фр. predicat).

Противоположная точка зрения о несовпадении языковых и логических категорий поддерживается почти всеми современными лингвистами. Еще ГЕРМАН ШТЕЙНТАЛЬ, немецкий лингвист XIX века, выразил это в крайней форме:
«Категории языка и логики несовместимы и так же мало могут соотноситься друг с другом, как понятия круга и красного.»

Логические и грамматические категории не совпадают, так как
1) грамматических категорий (падеж, число, род и т.д.) больше, чем логических (суждение, вывод, умозаключение и т.д.)
2) языковые категории (время, число, лицо и т.д.) не совпадают по содержанию в различных языках (напр., в древнерусском, древнегреческом, арабском есть еще одно число - двойственное).
3) аналогичные языковые и логические категории часто различны по содержанию: фраза Ну, я пошел по грамматической форме -прошедшее время, а по логическому содержанию - настоящее. Аналогично, местоимение мы во фразах Мы считаем в научном труде одного автора, Мы, Николай Второй в указах монарха относится к одному лицу. Кроме того, логический субъект может быть выражен и в окончании грамматического сказуемого (чита-ю).
4) вопросительные предложения не выражают суждения.
5) мышление человека не строго логическое. В нем отражаются человеческие эмоции, желания, характер человека. Логика стремится освободить язык от эмоций, а язык их включает (междометия, модальность и т.д.).
6) язык допускает наличие парадоксов, а логика борется с ними. Не всегда человек мыслит логично, хотя и бывает в ряде случаев прав. Французский психолог Жан Пиаже недаром утверждал, что можно быть умным, но нелогичным. Логика - проще, чем язык, язык -сложнее, так как он отражает жизнь во всем ее разнообразии.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

тегория имеет таким образом две обязательные характеристики или значения:предметное значение и смысловое значение.

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

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

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

объект / денотат

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

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

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

По составу различают имена простые, которые не включают других имен (государство), и сложные, включающие другие имена (спутник Земли). По денотату имена бывают единичные и общие.

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

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

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

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

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

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

3) Р", Q", R",... - символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;

4) р, q, r, ... - символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского propositio - «высказывание»);

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

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

л - конъюнкция (союз «и»);

V - ДИЗЪЮНКЦИЯ (СОЮЗ «ИЛИ»);

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

Эквиваленция, или двойная импликация (союз «если и только если..., то...»);

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

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

1. Всякая пропозициональная переменная-p,q, r,... есть ППФ.

2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А" (х), А2 (х, у), А^х, у, z), А" (х, у,..., п), где А1, А2, А3,..., А" - знаки метаязыка для предикаторов.

3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения V хА (х) и Э хА(х) также будут ППФ.

4. Если А и В - формулы (А и В - знаки метаязыка для выражения схем формул), то выражения:

I А, -1 В также являются формулами.

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

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

Введение

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

Заключение

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

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

Введение

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Роль знаков в познании исследовал еще Аристотель. Этой проблемой занимались Лейбниц и другие ученые. Особенно актуальным стало развитие учения о знаках в XIX в. в связи с запросами лингвистики и символической логики. Американский философ Чарльз Пирс (1839-1914) заложил основы особой науки о знаках - семиотики. В этой науке выделяют три раздела - синтаксис, семантику и прагматику, что связано с наличием трех аспектов языка.

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

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

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

Одним из видов знаков являются имена. Учение об именах, называемое теорией именования , относительно полно разработано немецким ученым Готлобом Фреге (1848-1925). Большой вклад в создание этого учения внесли американские логики Р. Карнап (1891-1970) и А. Черч (1903-1995), а также отечественный логик Е.К. Войшвилло (р. 1913).

Основным понятием теории именования является понятие «имя».

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

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

Графически:

пометка">универсальными . Универсальными называются общие имена, объемами которых является весь универсум рассуждения, т.е.: вся предметная область, о которой рассуждают. Например, «человек, знающий некоторые иностранные языки или не знающий ни одного иностранного языка». Универсум рассуждения здесь - множество (всех) людей. Объем имени - то же самое множество. Имя «человек, знающий какие-то иностранные языки» - не универсальное, поскольку его объем не совпадает с множеством (всех) людей. Универсум рассуждения определяется контекстом, в котором употребляется имя.

Могут быть имена с разными смыслами и одним и тем же объемом (например, «самый большой город Англии» и «столица Англии»), но не может быть имен с одним и тем же смыслом, но разными объемами.

Имена могут обозначать предметы, не существующие в универсуме рассуждения. Такие имена являются мнимыми . Примеры: «русалка», «самая удаленная точка Вселенной». Эти имена являются мнимыми, если универсум рассуждения составляют предметы, существующие в объективной реальности. Объем мнимого имени - пустое множество.

пометка">действительными .

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

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

Согласно принципу предметности в высказываниях должно утверждаться или отрицаться нечто о значениях имен, входящих в предложения, а не о самих именах. Нужно, конечно, иметь в виду, что значениями некоторых имен являются имена. Такие случаи не противоречат принципу предметности. Например, в предложении «Материя первична, а сознание вторично» «материя» - это имя объективной реальности, а в предложении «„Материя“ - философская категория» слово «материя», взятое в кавычки, - это имя имени, имя категории. Такие имена называются кавычковыми именами. Иногда в естественном языке встречаются случаи, когда именем имени является само исходное имя. Например, в предложении «Слово стол состоит из четырех букв» слово «стол» является именем самого этого слова. Такое употребление имен называется автонимным. Автонимное употребление имен недопустимо в научных языках, поскольку оно приводит к недоразумениям. Так, в известном определении В.И. Ленина: «Материя есть философская категория для обозначения объективной реальности, которая дана человеку в ощущениях его, которая копируется, фотографируется, отображается нашими ощущениями, существуя независимо от них» - имеет место автонимное употребление имени «материя». Это вызывало споры о том, что называл В.И. Ленин материей, объективную реальность или категорию, т.е. мысль, понятие о реальности.

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

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

Принцип взаимозаменимости кажется естественным, однако можно привести примеры подстановки имен, которые ему противоречат. Рассмотрим предложение: «Птолемей считал, что Солнце вращается вокруг Земли». Оно истинно. Заменим имя «Солнце» на имя «центральное тело Солнечной системы», имеющее то же значение. Получим ложное предложение.

Такие несоответствия принципу взаимозаменимости называются антиномиями отношения именования .

Следует различать два способа употребления имен. Первый - имя просто выделяет предмет (предметы). Второй - предметы, обозначаемые именем, рассматриваются в определенном аспекте. Если имя употребляется во втором смысле, то его можно заменять другим именем с тем же значением, если только во втором имени предметы рассматриваются в том же аспекте. Указанную выше замену можно было бы произвести, если бы Птолемей считал, что значения имен «Солнце» и «центральное тело Солнечной системы» совпадают. Тогда значением предложения «Птолемей считал, что Солнце вращается вокруг Земли» была бы «ложь». Ложным бы оказалось и предложение, получаемое в результате замены: «Птолемей считал, что центральное тело Солнечной системы вращается вокруг Земли».

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

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

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

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

К дескриптивным терминам относятся: 1) единичные имена; 2) общие имена; 3) знаки свойств и отношений; 4) знаки признаков; 5) знаки предметных функций.

Единичные и общие имена охарактеризованы выше.

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

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

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

Отношение «больший, чем», - двухместное, так как для получения истинного или ложного предложения его необходимо отнести в мыслях к паре предметов. Отношение «расположенный между» - трехместное, его необходимо отнести к тройке предметов, чтобы получить истинное или ложное предложение.

Признак «какого-либо предмета - это наличие или отсутствие у него того или иного свойства или отношения к другим предметам». Признак n-ки (пары, тройки и т.д. предметов) - это наличие или отсутствие какого-либо отношения между ее элементами. Слова или словосочетания, выражающие признаки последовательностей из n предметов опред-е">предикатами .

В предложении «Этот стол желтый» утверждается наличие у этого стола желтого цвета. Словосочетание «является желтым» - знак признака, а слово «желтый» - знак свойства. В предложении «Москва больше Архангельска» «больше» - знак признака пары предметов (Москва, Архангельск). Содержание этого предложения можно выразить по-другому: «Москва есть большая, чем Архангельск». Здесь «есть большая, чем» («больше») - знак признака, а «большая, чем» - знак отношения.

Между общими именами, с одной стороны, и знаками свойств и отношений - с другой, не всегда легко провести различие. Вне контекста, например, слово «красный» можно считать как знаком свойства, так и общим именем. В последнем случае это общее имя красных предметов.

При построении языка логики предикатов будем понимать свойства как общие имена предметов, а n-местные отношения - как общие имена n-ок предметов. Общие имена в таком расширительном толковании будем называть предикаторами .

Знаки предметных функций, или функциональные знаки, или предметные функторы, представляют предметные функции.

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

Предметной называется функция, значениями которой являются предметы. Примеры предметных функций: sin, log, +, масса. Применив функциональный знак «масса» к единичному имени «Земля», получим в качестве значения единичное имя «масса Земли», обозначающее определенную величину, т.е. предмет. Таким образом, данная функция сопоставляет предметы (материальные объекты, обладающие массой) с другими предметами (величинами массы).

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

Рассмотрим предложение: «Если ни один член семьи Ивановых не является честным человеком, и Степан - член семьи Ивановых, то Степан не является честным человеком» и определим, к каким семантическим категориям относятся выражения, являющиеся его частями. В этом предложении «если..., то...» - логический термин, «ни один» («все») - логический термин, «член семьи Ивановых» - предикатор (общее имя), «не» - логический термин, «является» («есть») - логический термин, «честный человек» - предикатор (общее имя), «и» - логический термин, «Степан» - единичное имя.

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

Проанализируем два рассуждения.

(1) Все участники этого преступления опознаны потерпевшим. Ни один из членов семьи Петровых не опознан потерпевшим. Никто из лиц, не участвовавших в совершении этого преступления, не привлечен к уголовной ответственности за его совершение. Следовательно, ни один из членов семьи Петровых не привлечен к уголовной ответственности за совершение этого преступления.

(2) Всякий, кто находится в здравом уме, может понимать логику. Ни один из сыновей Крокса не может понимать логику. Сумасшедшие не допускаются к голосованию. Следовательно, ни один из сыновей Крокса не допускается к голосованию.

Заменим дескриптивные термины-предикаторы, встречающиеся в каждом из этих рассуждений, переменными Р, Q, R, S в том порядке, в каком они входят в рассуждение.

В первое рассуждение входят четыре дескриптивных термина-предикатора, порядок их вхождения в рассуждение таков: первым встречается термин «участник этого преступления» (Р ), вторым - «опознанный потерпевшим» (Q ), третьим - «член семьи Петровых» (R ), четвертым - «привлеченный к уголовной ответственности за совершение этого преступления» (S ). Следует заметить, что термин «не участвовавший в совершении этого преступления» можно рассматривать как полученный в результате применения операции логического отрицания «не» к термину «участник этого преступления» и обозначить «не-Р ».

Во втором рассуждении встречаются четыре дескриптивных термина в следующем порядке: «находящийся в здравом уме» (Р ), «могущий понимать логику» (Q ), «сын Крокса» (R ), «допускаемый к голосованию» (S ). Термин «сумасшедший» соответствует термину «не находящийся в здравом уме» и обозначается «не-P ».

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

пометка">логическая форма .

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