Cтраница 2
Селлар-сом и др. с позиций прагматизма. Куайн отверг также принцип верифицируемости значения, требующий подтверждения или отрицания каждого отд. [16]
В теориях других авторов ( в частности, Куайна и Кемени) таким экспликатом ( уточняющим понятием) служит именно определяемое в них понятие аналитич. Так, Куайн по определению наз. [17]
А само имеет пресуппозицию В и, если угодно, само либо истинно, либо ложно, когда его пресуппозиция В истинна. При таком понимании пресуппозицию следует отличать от логической импликации А. Тарского: А логически влечет В, если Б является необходимым условием истинности А, тогда как А предполагает В, если В является необходимым условием наличия у А истинностного значения. Куайн, имеются истинностные провалы. [18]
А само имеет пресуппозицию В и, если угодно, само либо истинно, либо ложно, когда его пресуппозиция В истинна. При таком понимании пресуппозицию следует отличать от логической импликации А. Тарского: А логически влечет В, если В является необходимым условием истинности Л, тогда как А предполагает В, если В является необходимым условием наличия у А истинностного значения. Куайн, имеются истинностные провалы. [19]
Вводимые посредством такого рода расширения ( правил образования и преобразования) исчислений объекты при нек-рых естеств. Рассел и Куайн в использовании 1-опера-тора увидели подходящую возможность избавиться от собств. Исключение единичных терминов ( путем использования i-выражений с последующим их преобразованием в выражения, содержащие только кванторы) позволяет привести любое предложение ( классической) логики к виду предложения о существовании, что отвечает общей номиналистич. [20]
Рассела и логиков львовско-варшавской школы. Тарский заложил основы систематич. Тарский уделяет анализу семантич. Как показал Тарский, попытка определения семантич. Карнапа, к-рый создал наиболее развитую систему С. Взглядам Карнапа и Тарского противопоставляет свою позицию У. Первую характеризуют такие понятия, как смысл, синонимия ( см. Синонимы), осмысленность, следование. По мнению Куайна, эти две дисциплины настолько отличаются друг от друга, что нецелесообразно объединять их под общим названием С. Более или менее развитой из них Куайн считает теорию обозначения, к к-рой он относит, напр. Он строит формализованный язык, в к-ром определяются понятия модели и интерпретации. На основе понятия интерпретации Кемени вводит различение аналитич. В соответствии с этим понятия, определяемые в терминах всех интерпретаций, относятся к тому, что Куайн назвал теорией смысла, а понятия, определяемые в терминах одной интерпретации - к теории обозначения. [21]
Рассела и логиков львовско-варшавской школы. Тарский заложил основы систематич. Тарский уделяет анализу семантич. Как показал Тарский, попытка определения семантич. Карнапа, к-рый создал наиболее развитую систему С. Взглядам Карнапа и Тарского противопоставляет свою позицию У. Первую характеризуют такие понятия, как смысл, синонимия ( см. Синонимы), осмысленность, следование. По мнению Куайна, эти две дисциплины настолько отличаются друг от друга, что нецелесообразно объединять их под общим названием С. Более или менее развитой из них Куайн считает теорию обозначения, к к-рой он относит, напр. Он строит формализованный язык, в к-ром определяются понятия модели и интерпретации. На основе понятия интерпретации Кемени вводит различение аналитич. В соответствии с этим понятия, определяемые в терминах всех интерпретаций, относятся к тому, что Куайн назвал теорией смысла, а понятия, определяемые в терминах одной интерпретации - к теории обозначения. [22]