Польский логик А.Тарский предложил различать предметный (объектный) язык и метаязык.

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

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

Предложение «Снег бел» истинно тогда и только тогда, когда снег в действительно бел. Или, в случае парадоксом лжеца: Высказанное Евбулитом предложение «Я лгу». Ложно тогда и только, когда Евбулит высказал информацию, несоответствующую действительности, т.е., что денотатом данного предложения является – ложь.

2.3.6. К ак соотносятся понятия истины и выполнимости в формализованных и естественных языках?

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

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

Пример: Функция высказывания «х > y» считается выполнимой в арифметике натуральных чисел, поскольку существует множество упорядочных пар чисел, которые, подставленные вместо « х, у» в эту функцию преобразуют ее в высказывание (предложение), выполнимое в области натуральных чисел. Это следующие пары чисел: 2, 1; 3, 2 и т.д.

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

2.3.7. Какие принципы закладываются в основу языков любого типа в соответствии с постулатом понятийной ясности и языковой точности, с точки зрения логики?

Ими являются следующие принципы:

Принцип предметности. Принцип однозначности и принцип взаимозаменяемости.

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

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

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

Автонимное (от греч. autos-сам, onoma-имя) употребление языковых выражений – это употребление выражения для обозначения самого себя. Пример. Слово «право» состоит из пяти букв.

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

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

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

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

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

Например, понятия «автор романа Война и мир» и «Л.Н. Толстой» имеют один и тот же денотат или объем, состоящий из одного десигната в данном случае лица, названного Л. Н. Толстым.

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

Истинное предложение остается истинным, а ложное – ложным предложениям. Эти языки называются экстенсиональными.

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

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

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

В данном учебном материале речь идет исключительно о взаимозаменяемости на основе принципа равнообъемности или экстенсиональность. Этот принцип позволяет четко сформулировать основные законы логики.

Тема 3. Понятие логического закона, логического исчисления и логического следования.

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

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

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

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

Закон тождества.

Логическая версия. В логически правильном рассуждении каждая мысль должна быть тождественной самой себе. Формальная запись «А=А» или «А→ А», где «А» означает понятие, суждение и мысль вообще.

В онтологической версии: Каждый предмет тождественен самому себе.

Психологическая версия: Познающая личность осознает актуально свою идентичность.

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

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

Закон непротиворечия.

Логическая версия. Из двух противоречащих суждений одно является ложным. Противоречащими друг другу суждениями называются суждения, которые не могут быть одновременно оба истинными и одновременно оба ложными. Формальная запись: неверно, что (А и не-А) или 7(А& 7А).

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

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

Логические следствия этого закона: 1. ((А & не - А) → В)- из противоречивого утверждения следует логически как истинное, так и ложное суждение. 2. (( А→ не - А) → не - А)- если из истинности суждения логически следует истинность его отрицания, то во избежание противоречия необходимо признать истинным отрицание этого суждения. 3. Ни одно суждение не может быть истинным и ложным одновременно. Поскольку истинное суждение соответствует действительность, а ложное - нет. Снятие отрицания перед скобками в формуле этого закона дает формулу (А или не-А).

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

⇐ Предыдущая6789101112131415Следующая ⇒

Поделиться: