Комплексная цель модуля «Семантическая теория истинности А. Тарского и семантические парадоксы»:
- ознакомление с основными проблемами построения семантики, роли понятия истины в таком построении. Показать неразрывную связь семантического понимания истины с гносеологичекой теорией истины.
Задачами данного модуля являются:
Сформировать алгоритм различения логических и семантических парадоксов
Выявить основные подходы к разрешению парадокса «Лжеца»
2 Содержание модуля Семантическая теория истинности А. Тарского и семантические парадоксы.
Уточнение классического, аристотелевского понятия истинности. Схема Тарского и ее значение. Определение понятия истинности для формализованных языков; отношение к классическому, философскому понятию истинности, условия адекватности. Семантическая непротиворечивость и семантическая полнота.
Семантические парадоксы, условия их возникновения и способы устранения. Логические и семантические парадоксы. Самоприменимость, непредикативные определения и парадоксы. Парадокс Лжеца и анализ понятия истинности высказываний. Истинность как предикат. Понятие семантически замкнутого языка. Пути и способы устранения парадокса Лжеца (подходы А. Тарского, Б. Рассела, Мартина, С. Крипке, Ван-Фрассена и др.). Условия истинностных оценок высказываний; истинность и осмысленность. Парадокс Ришара и анализ выразительных возможностей языков и теорий.
Вопросы для систематизации материала, виды вариативных заданий и литература.
Семинар:
Парадаксы, истина и логическая семантика.
Литература:
1. Н. Парадоксы теории множеств и диалектика. М.,1976.
2. Семантическая теория истины: гносеологические и логические аспекты. Ростов-на-Дону РГУ. 2006.
3. В. Истнностно-значная семантика и когерентная теория истины Таганрог,. 2005.
4. Д. Основы логической семантики. М, 19с.)
5. Смирнова Е. Д. Формализованные языки и проблемы логической семантики. М. Изд-во МГУ. 19с.
6. Д . Логика и философия. М. РОССПЭН, 1996.
7. Д . Логическая семантика и философские основания логики. М.: МГУ, 1986.
8. Понятие истины в языках дедуктивных наук // Философия
логика в львовско-варшавской школе. М., 1999. С. 14-178.
9. Истина и доказательство// Вопросы философии. № 8, 1972.с.
10. Проблемы семантики. М., 1975
Вариативные задания
Доклады:
1. А. Тарский о решении парадокса «Лжеца».
2. Б. Рассел и решение парадоксов.
3. Теория истины С. Крипке.
4. «Истинностно-значные провалы» в концепции Б. Фраассена.
Комплексная цель модуля «Теория семантических категорий»–
ознакомление с особенностями метода формализации и роли теории семантических категорий в процессе применения этого метода.
Задачи модуля – сформировать у студентов понятийный аппарат для формулирования и самостоятельного анализа проблем построения теории семантических категорий;
научить пониманию различных подходов к проблемам формализации с использованием различных типов и иерархий семантических категорий.
СОДЕРЖАНИЕ МОДУЛЯ Теория семантических категорий.
Понятие семантической категории, пути построения теории семантических категорий. Иерархия семантических категорий. Понятие семантической связанности по К. Айдукевичу и критерии осмысленности выражений языка. Анализ логической структуры выражений языка на базе теории семантических категорий. Языки с кванторами и операторами, уточнение понятия логической формы. Синкатегорематические знаки, их виды и роль в логике; вопросы номинализма и платонизма. Типология значений и типология сущностей. Иерархия семантических категорий и понятие языкового каркаса. Применение теории семантических категорий к анализу выражений естественных языков; основной принцип теории семантических категорий и вопросы стабильных и контекстно-зависимых значений. Иерархия семантических категорий и классификация языков по Тарскому. Принципы определения понятия истинности высказываний для языков различного типа. Проблема построения семантики для языков бесконечного порядка.
Вопросы для систематизации материала, виды вариативных заданий и литература.
Семинар 3. Понятие семантической категории и пути построения теории семантических категорий.
Литература
1. О синтаксической связанности // Философия и логика львовско-варшавской школы. М., 1999. С. 283-309.
2. Д. Основы логической семантики. М, 19с.)
3. Смирнова Е. Д. Формализованные языки и проблемы логической семантики. М. Изд-во МГУ. 19с.
4. Д . Логика и философия. М. РОССПЭН, 1996.
5. Д . Логическая семантика и философские основания логики. М.: МГУ, 1986.
6. Проблемы семантики. М., 1975
Вариативные задания:
Доклады:
1. Концепция Ст. Лесневского
2. А. Тарский и классификация формализованных языков.
3. Типология «значений» К. Айдукевича.
Комплексная цель модуля «Теория смысла и значения»:
-ознакомление студентов с главными понятиями семантики : смысл и значение. Основными принципами употребления имен и взаимодействия, и соответственно с антиномиями, возникающими в процессе применения законов логики к различного рода контекстов;
Задачи модуля:
- показать эволюцию взглядов на семантические проблемы. Связанные с употреблением языка и неразрывную связь семантики и законов логики.
- рассмотреть предпосылки и философские основания формирования эпистемической логики;
Содержание модуля: Теория смысла и значения.
Методы семантического анализа выражений языка. Метод отношения именования и его принципы. Антиномия отношения именования, причины ее возникновения. Метод семантического анализа Г. Фреге. Функция и предмет. Десигнативные выражения; смысл и значение собственных имен (сингулярных термов) и предложений. Предложение и суждение. Метод Фреге для дескрипций. Недостатки метода отношения именования. Расселом принципов теории именования. Концепция неполных символов. Семантический анализ контекстов с дескрипциями и проблема логических законов. Метод Рассела для дескрипций. Методологические аспекты семантической концепции Б. Рассела. Метод экстенсионала и интенсионала, понятия экстенсионала и интенсионала десигнативных выражений, отношение к понятиям смысл и значение выражений. Экстенсиональные и интенсиональные контексты. Виды интенсиональных контекстов (пропозициональные установки, эпистемические контексты, модальные высказывания). Концепция жестких десигнатов (С. Крипке) и анализ "загадки контекстов мнения".
Вопросы для систематизации материала, виды вариативных заданий и литература.
Семинар 4 (4 часа) Теория смысла и значения в логической семантике.
Литература
1. Логические теории значения (Вступительная статья) // Новое в зарубежной лингвистике / Под ред. . М.: Радуга, 1982. Вып. 13.
2. Предложение и его смысл. Логико-семантические проблемы. М.: Мысль, 1976.
3. Послесловие. В логическом мире Фреге // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 443-508.
4. Карнап Р. Постулаты значения // Там же. С. 321-331.
5. Карнап Р. О предложениях мнения // Там же. С. 331-334.
6. Павилёнис Р . Проблема смысла. М.: Мысль, 1983.
7. Дескрипции.// Новое в зарубежной лингвистике. Выпуск ХШ, М. Радуга, с.41-54.
8. Проблемы семантики. М., 1975
9. Смысл и значение // Избранные работы Г. Фреге. М., 1997. С. 2
50.
10. Фреге Г . Логические исследования. Часть третья: структура мысли // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 356–370.
11. Мысль. Логическое исследование // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 326–342.
12. Фреге Г . О понятии и предмете // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 253 – 262.
13. Фреге Г . О смысле и значении // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 230 – 246.
Вариативные задания:
Доклады:
1. Г. Фреге о семантическом анализе.
2. Принципы отношения именования.
3. Загадки контекстов мнения.
4. Метод Рассела для дескрипций.
Комплексная цель модуля: Логическая семантика и философия.
- ознакомление студентов с основными подходами к экспликации философски важных понятий выработанными в процессе формирования науки и культуры.,
Выявить сферу взаимодействия философских и логико-семантических дискурсов и их методологическое, онтологическое и гносеологическое взаимовлияние;
Задачи модуля:
- показать неразрывную связь философии, логики и логической семантики;
- рассмотреть онтологические, гносеологические и методологические предпосылки и другие философские основания логической семантики.
Содержание модуля: Логическая семантика и философия.
Роль логической семантики в анализе философских проблем. Проблема аналитических и синтетических суждений в логике и философии. Трактовка аналитически истинных суждений и вопросы обоснования аподиктического знания. Концепции аналитических и синтетических суждений Лейбница и Канта с точки зрения современной логики. Вопросы уточнения понятий аналитических и синтетических истин в логической семантике. Логически и аналитически истинные высказывания, роль постулатов значения. Две догмы логического позитивизма; критика конвенционального истолкования аналитических суждений. Модели и интерпретации и вопросы экспликации аналитических суждений на основе этих понятий.
Семантика и онтология, отношение языка и реальности. Смысл критерия Куайна, роль его в разграничении "номиналистических" и "платонистических" языков.
Вопросы для систематизации материала, виды вариативных заданий и литература.
Семинар 5 (4часа) Логическая семантика и философия
Литература
1. Теория объектов в логике. Новосибирск: Наука. Сиб. отд., 1987.
2. Карнап Р. Эмпиризм, семантика и онтология // Там же. С. 298-321.
3. Семантическая теория истины: гносеологические и логические аспекты. Ростов-на-Дону РГУ. 2006.
4. В. Истнностно-значная семантика и когерентная теория истины Таганрог,. 2005.
5. Семантика и необходимая истина. Исследование оснований аналитической философии. М.,20с.
6. В. Философские вопросы семантики. Киев.,1975
7. А . Современные семантические исследования модальных и интенсиональных логик (вступительная статья) // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. . М.: Прогресс, 1981. С. 5-26.
8. Д. Основы логической семантики. М, 19с.)
9. Смирнова Е. Д. Формализованные языки и проблемы логической семантики. М. Изд-во МГУ. 19с.
10. Смирнова Е. Д., В. Семантика в логике// Логическая семантика и модальная логика. М. Наука. 1967. С.3-63.
11. Д . Логика и философия. М. РОССПЭН, 1996.
12. Д . Логическая семантика и философские основания логики. М.: МГУ, 1986.
13. Проблемы семантики. М., 1975
14. В . Понятие объекта в модальной логике. М.: Наука, 1978.
Вариативные задания:
Доклады:
1. Аналитические и синтетические суждения у Г. Лейбница.
2. Аналитические и синтетические суждения у И. Канта.
3. Номиналистические и платонистические языки.
4. Критерий Куайна.
4.2Вопросы для самоконтроля по каждому подмодулю:
модуль 1:
Общая теория знаковых систем и предмет логической семантики
1. Что такое формализованные языки?
2. В чем разница между формальным и формализованным языком?
3. Что такое знак?
4. Что такое язык?
5. Какая разница между естественным и искусственным языками?
6. Что такое синтаксис языка?
7. Что является семантическим аспектом языка?
8. На что опирается прагматика языка?
9. Почему семиотика называется семиотикой?
10. Кто был основоположником семиотики?
11. От чего абстрагируются при логическом анализе языка?
12. Назовите семантические понятия.
13. Каким образом вводятся в теорию семантические понятия?
модуль 2 : Семантическая теория истинности А. Тарского и семантические парадоксы.
1. В чем смысл парадокса «лжеца»?
2. В чем разница между семантическими парадоксами и парадоксами теории множеств?
3. Что такое теория корреспонденции?
4. Что такое материальная адекватность?
5. В чем разница между теорией истины и теорией моделей?
6. Что значит семантическая непротиворечивость?
7. Что значит семантическая полнота?
модуль 3: Теория семантических категорий.
1. Что такое семантическая категория?
2. Что такое синтаксическая категория?
3. Какие семантические категории обычно выделяются при анализе естественного языка?
4. Какие синтаксические функции выполняют семантические категории?
5. Как зависит логическая форма от системы семантических категорий?
модуль 4: Теория смысла и значения
1. Что такое смысл знака?
2. Что такое значение знака?
3. Что является смыслом и значением единичного имени?
4. Что является смыслом и значением единичного имени?
5. Что является смыслом и значением общего имени?
6. Что является смыслом и значением предикатора?
7. Что является смыслом и значением функтора?
8. Что является смыслом и значением предложения?
9. Что такое принцип предметности?
10. Что такое принцип однозначности?
11. Что такое принцип взаимозаменимости?
модуль 5: Логическая семантика и философия
1. В чем главная задача теоретическое логики?
2. Что такое метод экспликации?
3. Какие концептуальные средства эксплицируются в логической семантике?
4. Каким образом логическая семантика связана с онтологией?
5. Каким образом логическая семантика связана с гносеологией?
6. Каким образом логическая семантика связана с методологией?
4.3. Заключительное семинарское занятие модуля реализует Промежуточный рейтинг-контроль, который может проводиться в форме письменной самостоятельная работа, представляющая собой ответы на поставленные преподавателем контрольные вопросы и задачи.
4.4. Индивидуальные собеседования для пропустивших занятия студентов. Вопросы для индивидуального собеседования по каждому подмодулю совпадают с вопросами для самоконтроля.
.
Методические указания по видам управляемой самостоятельной работы
Рефераты:
13. Платон и Аристотель о знаках и языке.
14. Аномалисты и аналогисты о языке.
15. Семиотические идеи в Средневековой философии.
16. Ф. Бэкон и реформа языка.
17. Д. Локк как предтеча семиотики.
18. Имена, сигналы и знаки у Гоббса.
19. Лейбница.
20. Трактовка семиотики И. Канта
21. Символический метод Дж. Буля
22. Парадоксы теории множеств.
23. Парадокс «Лжеца»: основные интерпретации.
24. Г. Фреге и Б. Рассел о принципах теории именования.
ГЛОССАРИЙ.
Методические рекомендации преподавателю |
Дополнительные методические материалы
Чтобы выявить связь между современными логическими исследованиями необходимо рассмотреть специфику предмета теоретической логики, ее структуру, соотношение ее разделов и выполняемых ими функций, а также связь логических построений с понятием истинности. Попытаемся ответить на вопросы: является ли и, если да, в какой степени современная теоретическая логика наукой о языке, какие аспекты языковой, интеллектуальной деятельности проясняются в комплексе логических дисциплин и какое значение в них играет понятие истинности.
О значении и предмете логики сказано немало. Так сторонники эмпирически-психологического истолкования логики считали, что она изучает законы и формы мышления как некоторого психического процесса.
Для их противника, Э. Гуссерля. логика изучает логические связи, носящие идеальный, невременной, непричинный характер.
Другие вообще отрицают какую-либо связь логики с мышлением, считая, ее теоретической наукой об объективных, идеальных связях и отношениях.
Конвенционалисты считают, что нормативный (принудительный) характер логических принципов, вытекает из принимаемых соглашений относительно терминов языка, исходя из прагматических соображений.
Обычно ее определяют, как науку о формах правильных рассуждений, имея в виду выявление, прежде всего, законов и форм правильных выводов и доказательств. В силу чего ее часто называют формальной логикой. При этом выделяется наиболее существенное в содержании этой науки, поскольку выводы (умозаключения) играют наиболее важную роль в процессах теоретического познания. Однако круг исследуемых проблем в современной теоретической логике значительно шире. Более предпочтительной кажется расширительная трактовка предмета логики, согласно которой теоретическая логика изучает эмпирически данную логическую практику, в которую мы все вовлечены. Под логической практикой понимается оперирование концептуальными средствами, выработанными в истории человеческого познания и культуры. К концептуальным средствам относятся высказывания и термины различных форм и категорий и самые различные комплексы из высказываний и содержащихся в них терминов. Оперирование включает в себя разнообразные действия с этими концептуальными средствами (обобщения и ограничения понятий, рассуждения, выводы, доказательства, определения, классификации и т. д.), а также самые различные взаимодействия (диалоги, вопросно-ответные процедуры и т. п.). Именно так понимаемая логическая практика составляет предмет исследования в теоретической логике.
Цель такого исследования – сделать существующую логическую практику более понятной и систематичной. Поэтому главной задачей теоретической логики является экспликация важных концептуальных средств, которые были выработаны в процессе развития науки и культуры. Реализация этой функции связана с так называемым «лингвистическим поворотом» в современной философии, в которой язык трактуется как более «объективное» (структурализм), «реальное» (феноменология, герменевтика), «прагматичное» (аналитико-прагматические подходы) образование, нежели сознание. Однако в языке можно видеть не столько «антагониста мышления», сколько новую опору процессов мысли и сознания. Особенно важен в этом смысле вклад языка с его собственной динамикой в формирование мысли, конструктивное включение неоднозначности, привносимой языком в познавательный процесс.
Интеллектуальная деятельность человека неразрывно связана с языком и любые логические действия и взаимодействия реализуются и фиксируются с помощью лингвистических средств. И когда мы начинаем исследовать логическую практику, обнаруживается, что свойство используемых концептуальных средств установлены иногда неотчетливо, довольно часто неполно и практически всегда не с предельной степенью общности. Поэтому фундаментальная задача логического исследования (теоретической логики) заключается как раз в том, чтобы вычленить важное общекультурное и общенаучное понятие и эксплицировать, т. е. прояснить и уточнить их структуру и природу. Поэтому главным методом логико-семантического обоснования как описательной, так и нормативно части логики является метод экспликации [27].
Экспликация есть прояснение и уточнение понятий, играющих философски важную роль в познгании. Одна из задач философии как раз и заключается в том, чтобы выразить нечто в логике понятий. И эта задача поднималась от Платона до настоящего времени.
Метод экспликации должен решить несколько задач.
1. Какова процедура, посредством которой мы можем использовать природу понятий.
2. Какие средства мы используем в этом методе и их роль. И при каких условиях мы можем сказать об их удовлетворительности.
3. Если имеются такие методы, то какую познавательную роль и ценность имеют теоретические построения, получаемые этими методами.
Экспликация – процедура, посредством которой хорошо знакомое, однако неточное понятие, замещается новым точным понятием. Понятие, которое подлежит прояснению, т. е. интуитивное понятие используемой в логической практике, как части научной практики, называется explicandum. Понятие, полученное в результате экспликации – explicatum.
Но каждое из этих понятий продолжает жить само по себе, и замещения одного на другое в обычном смысле здесь нет. Условно, можно выделить пять этапов процедуры экспликации. На первом этапе тщательно изучается концептуальная область, которая подлежит анализу, например, интуитивные представления относительно логической формы суждении или мысли, интуиции относительно условий и значения истинности для рассмотренных суждений или об отношении логического следствия. Эти представления систематизируются и обобщаются. На основании такого синтеза на уровне обычного (неформализованного) языка выделяется набор критериев, относительно которых будут оцениваться экспликационные построения как адекватные или неадекватные. Таким образом, на первом этапе вырабатываются критерии адекватности.
После разработки этих критериев, на втором этапе, производится построение логической теории, определенного концептуального каркаса и это построение осуществляется в соответствии с выделенными критериями. С помощью специальных языков задается исчисление, вводятся правила вывода и строится семантическая теория для данного языка. Выясняется полнота и семантическая непротиворечивость теории.
На третьем этапе этот концептуальный каркас проверяется относительно критериев адекватности, и если он удовлетворяет каждому из критериев, реализуется четвертый этап, на котором происходит развертывание этого концептуального каркаса путем выведения следствий. И уже эти следствия проверяются на соответствие или несоответствие нашим интуициям.
Если эти условия выполняются, то на пятом этапе этот концептуальный каркас используется для решения и исследования проблем и трудностей в исходной интуитивной области: выясняются источники заблуждений и предлагаются средства для их ликвидации.
Здесь можно увидеть некоторую связь метода экспликации с гипотетико-дедуктивным методом, в котором сначала на основе наблюдений и экспериментов, получают отчет об изменчивости изучаемого предмета. Затем вырабатывается гипотеза для объяснения экспериментальных данных. Далее, при помощи определенной дедуктивной процедуры из гипотезы выводятся следствия, и производится их верификация. После этого проводится интерпретация в виде некоторой системы объединяющей экспериментальные данные и гипотезу. И, в конце концов, полученная система применяется для получения, объяснения и предсказания поведения определенного рода объектов из некоторой предметной области. Таким образом, главное отличие гипотетико-дедуктивного метода от метода экспликации заключается в сфере применения или области исследования: первый обращен к предметной области, второй – к концептуальной, связанной с использованием понятий.. Отличаются эти методы также, и используемыми средствами.
Средствами экспликации являются понятия, выработанные в теоретической логике, идеи и приемы логического исследования. Эти средства не просто заимствуются из уже разработанных сфер логического исследования, они создаются в процессе экспликации. Средства бывают формальными и неформальными (содержательными). Центральным понятием формальных средств является формальная система или исчисление. С помощью этого средства и в первую очередь посредством аксиом строится теория доказательств для определенной системы высказываний. Поскольку прояснить природу понятий это описать свойства высказываний включающих эти понятия, построение теории доказательства является существенным способом такого описания.
Но этих средств явно недостаточно для того, чтобы ответить обосновать полноту, адекватность и семантическую непротиворечивость данной системы аксиом. Необходимы такие инструменты, которые могли бы объяснить природу логических принципов и допущений, которые мы выбираем. И для этого необходимы совершенно другие понятия: истинность, логическое следствие, значение, смысл, содержание, объем и т. д. Здесь нужен совершенно другой подход, который направлен на то, чтобы контролировать применение формальных средств при экспликации с помощью формальных средств и таким образом обосновывать теоретическую систему. Это связано с тем, что, когда мы применяем только формальные методы (формализацию, о сущности и природе которой до сих пор идут споры), в результате можно прийти к результатам, которые противоречат или не согласуются с нашими интуициями. Поэтому неформальные, т. е. содержательные средства предназначены для того, чтобы заполнить эту щель.
Исторически сложившийся каркас логики как науки содержит:
во-первых, теорию правильных рассуждений, позволяющих из истинных высказываний гарантированно получать истинные следствия;
во-вторых: методология, в которой рассматриваются проблемы, связанные с выработкой правил осуществления самых различных, познавательных процедур и приемов, которые характерны для всех наук, а также способов организации систем знания.
В настоящее время выделяют три уровня логических исследований: математическую логику, философию логики и философскую логику.
Математическая логика занимается построением формальных систем и исследованием таких формальных свойств как полнота и непротиворечивость.
Философия логики, изучая эти системы, ставит вопрос об области их применения, о том, являются ли они и в каком смысле подлинно альтернативными логиками, и в какой мере они применимы к анализу конкретных форм рассуждения.
Философская логика исследует «словарь» логики: что входит в состав высказываний, в чем состоит «логическая форма», импликация, следование, дизъюнкция или модальность и т. д.
Эти три уровня неразрывно связаны между собой, потому что проблемы, возникающие на одном уровне, решаются с помощью методов, применяемых на другом. Такое перемещение возможно благодаря тому, что на современном этапе развития в структуру теоретической логики включается и логическая семиотика, в которой исследуется язык как средство познания и выясняется, каким образом выражения языка могут представлять в нашем мышлении те или иные предметы, связи, отношения. К числу проблем решаемых в этом разделе относятся вопросы выделения категорий языковых выражений в зависимости от типов их значений, а также установления смыслов и условий истинности и ложности высказываний различных видов, поэтому она, применяя свои методы объединяет все три уровня.
Таким образом, в структуре теоретической логики как науки можно выделить три раздела, формальный, методологический и семиотический.
Развитие логико-семантических исследований определяется главной задачей логики - описание, систематизация и обоснование правильных способов рассуждения, т. е. таких, которые гарантируют при истинности посылок истинность заключения
Поэтому логика неразрывно связана с понятиями истина и истинность, непосредственно входящими в предмет современной теоретической логики. Действительно, в процессе рассуждения мы имеем дело с тремя сущностями: истинными посылками, истинным заключением и некоторой структурой мысли, при которой истинность одних мыслей, всегда должна приводить к истинности других. Такие структуры называются законами логики или логическими истинами, в отличие от истинных заключений, называемых логически истинными, поскольку они получились в результате логического вывода. Если наши посылки истинны, если мы правильно применяем к ним законы логики, то результат должен соответствовать действительности. То есть, мы должны строить структуру рассуждения так, чтобы из истинных посылок получать истинные заключения.
Проблема заключается в том, чтобы обосновать такие структуры. А поскольку логическая семантика имеет дело с отношением наших утверждений к действительности (о специфики которой ниже) она и явилась средством, с помощью которого происходит такое обоснование.
Истинность и истина, будучи связаны концептуально, принадлежат к числу взаимозависимых понятий, что имеет следствия не только для теории значения, но и для эпистемологии. Понятие истины было (и в значительной мере остается) тесно связанным с представлениями о познании, поскольку считается, что истина есть некоторая информация, о которой можно высказать нечто истинное или ложное. То есть утверждение о том, что нечто является истинным или ложным, равнозначным утверждению, что нечто принадлежит к объему понятия «истина» или понятия «ложь».
Как уже отмечалось, дедуктивная логика основывается уже на определенном понимании истинности – а именно, на строгом требовании к характеру истинности выводимого предложения. Понятие истинности, лежащее в основе формализации, есть характеристика не любого предложения, а только выводимого из других – а именно, истинностное значение заключения зависит исключительно от истинностных значений посылок, если соблюдены правила вывода. Однако такое определение истинности не распространяется на истинностное значение посылок: каковы условия их истинности или ложности – это в дедуктивной логике не оговаривается. В дополнении к этому следует отметить, что очень важно, сами структуры, по которым поизводится вывод или доказательство должны быть истинными, но обоснование их истинности не является сферой деятельности теории дедуктивного вывода и доказательства. Здесь необходима такая сфера исследования, в которой может быть построена такая теория истинности, которая не просто обосновывала бы условия передачи и сохранения истинности, а сформировать такое понятие истинности, которое в равной степени применимо ко всем предложениям, вне зависимости от того, являются ли они высказываниями представляющими структуры вывода, посылками или заключениями. Такой сферой теоретической логики является логическая семантика.
Логическая семантика и истинность
Использованию идей семиотики в логическом исследовании привело к возникновению логической семантики, в которой исследуется язык как средство познания и выясняется, каким образом выражения языка могут представлять в нашем мышлении те или иные предметы, связи, отношения. Как уже отмечалось, в ней рассматриваются вопросы, связанные со способами классификации языковых выражений в зависимости от типов их значений, установления их смыслов, а также условий истинности и ложности высказываний различных видов.
Язык в семиотике рассматривается как система знаков. Знак есть материальный объект, который служит в процессе общения и мышления людей представителем какого-то другого объекта. Слова и словосочетания языка – знаки, которые сами являются материальными объектами, и в то же время могут иметь предметные значения, которыми могут являться отдельные предметы, их классы, процессы, ситуации, свойства и отношения между ними.
Различают три основных аспекта языка: синтаксический, семантический и прагматический.
Синтаксический аспект рассматривает отношение знаков к другим знакам, правила образования одних знаков из других, а также изменение знаков, т. е. какова роль различного типа знаков в процессе формирования и выражения мысли.
Семантический аспект, касается совокупности отношений знаков к тому, что они обозначают, каким образом осуществляется связь между знаками и тем, что они представляют, каковы типы значений языковых выражений.
Прагматический учитывает те особенности языка, которые зависят от того, кем и в каких ситуациях язык используется.
Главный вопрос, на который пытаются ответить в этих разделах, каким образом слова и словосочетания языка становятся знаками.
Важную роль в таком понимании имеют понятия предметного значения и смысла. Предметное значение – это то, заместителем (или представителем) чего является знак. Без значения или смысла знак не будет знаком. Смысл же есть выраженная в самой структуре знака (собственный смысл) или ассоциированная с ним по соглашению (приданный смысл) характеристика обозначаемых предметов, позволяющих отличать их от всех других предметов, т. е. это такая информация, посредством которой объект мысленно может быть выделен однозначным образом. Предметное значение знака есть функция его смысла, т. к. смысл однозначно определяет предметное значение знака.
Смыслы и значения знаков являются логическими способами связи знаков с представляемыми ими объектами. Важно то, что для различных семантических категорий языковых выражений соответствую специфические типы предметных значений и смыслов. Семантическими категориями называются непересекающиеся классы выражений языка, имеющих однотипные предметные значения. Все значимые выражения языка делятся на предложения и выражения из которых состоят предложения. Главную роль в познании имеют повествовательные предложения.
Смыслом повествовательного предложения является суждение – мысль, в которой утверждается наличие или отсутствие свойств у предметов, отношений и связей между ними. Мысль может быть истинной или ложной, поэтому возможными предметными значениями предложений являются два абстрактных объекта «истинно» или «ложно». Таким образом, надо различать термины «предложение», «суждение» и «высказывание». Предложение – это знаковая форма, состоящая из некоторой последовательности знаков, суждение – это мысль, которую выражает предложение как некоторая знаковая форма. Термин «высказывание» употребляется тогда, когда имеется в виду суждение вместе с некоторой знаковой формой.
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 |
