АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Роль мышления в познании

Читайте также:
  1. Анализ как способ развития экономического мышления
  2. Билет № 37 Проблема истины в философии и в науке. Ложь, дезинформация и заблуждение в познании.
  3. Виды мышления
  4. Виды мышления
  5. Виды мышления
  6. Виды мышления и качество ума
  7. Виды мышления. Индивидуальные особенности мышления
  8. Виды мышления. Формы и операции мышления.
  9. ВНИМАНИЯ, ПАМЯТИ И МЫШЛЕНИЯ МЛАДШИХ ШКОЛЬНИКОВ
  10. Вопрос для размышления
  11. Вопрос для размышления
  12. Вопрос для размышления

Познание как процесс отражения объективного мира сознанием человека представляет собой единство чувственного и рационально­го (от латинского слова ratio – «разум», «мышление») познания.

Чувственное познание протекает в трех основных формах: ощу­щение, восприятие, представление.

Ощущение это отражение отдельных чувственно воспринима­емых свойств предметов' — их цвета, формы, запаха, вкуса.

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

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

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

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

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

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

3. Мышление неразрывно связано с языком.

4. Мышление — процесс активного отражения действитель­ности.

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

Благодаря этим особенностям мышление является высшей по сравнению с чувственным познанием формой отражения действи­тельности.

 

§ 2. Понятие о форме и законе мышления. Форма мышления.

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

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

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

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

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

 

Закон мышления

Мышление человека подчинено логическим законам, или зако­нам мышления.

Для уяснения этого вопроса необходимо различать истинность мысли и логическую правильность рассуждения. Мысль является истинной, если она соответствует действительности. Мысль, не соот­ветствующая действительности, является ложной. Так, утверждение «Вологда находится в европейской части России» истинно, оно соот­ветствует действительности. То же утверждение, относящееся к Красноярску, ложно, оно не отражает действительного географи­ческого положения этого города.

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

Так, из истинных мыслей (суждений) «Произведения Л.Н Толс­того нельзя прочитать за одну неделю» и «Рассказ «После бала» — произведение Л.Н. Толстого», казалось бы, следует, что рассказ «После бала» нельзя прочитать за одну неделю. Но такое заключе­ние ложно: рассказ «После бала», занимающий 10 страниц печатно­го текста, можно прочитать за полчаса. Ложный вывод из истинных суждений получен в результате отождествления нетождественных понятий: в первом суждении понятие «произведения Л.Н. Толстого» употребляется в собирательном смысле — речь идет о всех вместе взятых его произведениях, которые действительно нельзя прочитать за одну неделю; во втором суждении имеется в виду одно из этих произведений — понятие «произведение Л.Н. Толстого» берется в разделительном смысле. Поэтому понятие, которое должно свя­зать два суждения, на самом деле отсутствует. Рассуждение постро­ено логически неправильно.

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

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

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

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

 

§ 3. Основные логические законы

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

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

Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойст­во мышления — его определенность — выражает закон тождества:

всякая мысль в процессе рассуждения должна быть тождественна самой себеесть а, или а=а, где под а понимается любая мысль).

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

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

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

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

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

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

Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую). Он выражается формулой ù (р Ù ù р) (неверно, что р и не-р одновременно истинны). Под р понимается любое высказывание, под ùр — отрицание высказывания р, знак ù перед всей форму­лой — отрицание двух высказываний, соединенных знаком конъ­юнкции.

Закон непротиворечия действует в отношении всех несовмести­мых суждений.

Для правильного его понимания необходимо иметь в виду сле­дующее. Утверждая что-либо о каком-либо предмете, нельзя, не противореча себе, отрицать (1) то же самое (2) о том же самом предмете, (3) взятом в то же самое время и (4) в том же самом отношении. Не будет противоречия между суждениями, если в одном из них утверждается принадлежность предмету одного при­знака, а в другом — отрицается принадлежность этому же предмету другого признака (1) и если речь идет о разных предметах (2). (3) Противоречия не будет и в том случае, если мы что-либо утверждаем и то же самое отрицаем относительно одного лица, но рассматриваемого в разное время. Допустим, что обвиняемый Н. в начале следствия дал ложные показания, однако в конце следствия он был вынужден под тяжестью изобличающих его улик признаться и дать истинные показания. В этом случае суждения: «Показания обвиняемого Н. являются ложными» и «Показания обвиняемого Н. являются истинными» — не противоречат друг другу. (4) Наконец один и тот же предмет нашей мысли может рассмат­риваться в разных отношениях. Так, о студенте Щукине можно сказать, что он хорошо знает немецкий язык, так как его знания удовлетворяют требованиям, предъявленным к поступающим в ин­ститут. Однако этих знаний недостаточно для работы в качестве переводчика. В этом случае мы вправе сказать: «Щукин плохо знает немецкий язык». В двух суждениях знание Щукиным немецкого языка рассматривается с точки зрения разных требований, следова­тельно, эти суждения также не противоречат друг другу.

Закон непротиворечия выражает одно из коренных свойств логи­ческого мышления — непротиворечивость, последовательность мышления.

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

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

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

Этот закон можно записать с помощью дизъюнкции: р v ù p, где р — любое высказывание, ù р — отрицание высказывания р. Подобно закону непротиворечия закон исключенного третьего выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях. Вместе с тем, действуя только в отношении противоречащих суждений, он устанавливает, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но также и одновременно ложными: если ложно одно из них, то другое необхо­димо истинно, третьего не дано.

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

Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истин­ной, если она имеет достаточное основание. Если есть В, то есть и его основание А.

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

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

Истинность законов, аксиом подтверждена практикой человече­ства и не нуждается поэтому в новом подтверждении.

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

Если из истинности суждения а следует истинность суждения b, то а будет основанием для b, a b — следствием этого основания.

 

§ 4. Язык логики

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

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

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

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

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

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

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

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

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

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

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

Рассмотрим кратко состав и структуру этого языка, отдельные эле­менты которого будут использованы в процессе содержательного изложения курса.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1. Всякая пропозициональная переменная — р, q, г,... есть ППФ. Всякая предикатная переменная, взятая с последовательнос­тью предметных переменных или констант, число которых соответ­ствует ее местности, является ППФ. А' (х), А2 (х, у), А" (х, у,..., п), где А', А2,..., А" — знаки метаязыка для предикаторов.

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

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

А Ù В,

A v В,

А®В,

АºВ,

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

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

 


1 | 2 | 3 |

Поиск по сайту:



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