1. теория

2. Классификация

3. тезаурус

4. парадигма

18. Исходные высказывания, из которых выводится заключение, в логике называют:

1. гипотезами

2. допущениями

3. посылками

4. суппозициями

5. пресуппозициями

19. Анализируя человеческое мышление, логика исследует его

1. форму

2. содержание

3. скорость

4. гибкость

5. глубину

20. Логическая форма некоторого языкового контекста – это способ ... его частей.

1. грамматического соединения

2. порядкового расположения

3. связи содержаний

4. соотношения объемов

21. Логическую форму любого контекста можно выявлять

5. только одним способом

6. несколькими взаимоисключающими способами

7. на более и менее глубоком уровне анализа

8. как с объективной, так и с субъективной точек зрения

22. При анализе логической формы любого контекста дескриптивные выражения заменяются

1. переменными

2. константами

3. знаками препинания

4. пробелами

23. Логически истинными являются высказывания, истинность которых

1. субъективно очевидна

2. признается большинством людей

3. гарантирована их логической формой

4. не противоречит здравому смыслу

24. Логический закон – это внутренняя форма логически

1. истинного высказывания

2. правильного умозаключения

3. верного вывода

4. обоснованного доказательства

25. Логически ложными являются высказывания, которые

1. интуитивно неприемлемы

2. лишены смысла

3. не соответствуют действительности

4. отрицают какой-либо логический закон

26. Логическое следование – это такая взаимосвязь между посылками и заключением, которая гарантирует истинность

1. посылок при истинности заключения

2. заключения при истинности посылок

3. как посылок, так и заключения

4. только заключения

27. Умозаключение является правильным, если и только если его заключение

1. интуитивно очевидно

2. не противоречит фактам

3. является истинным

4. представляет собой логический закон

5. логически следует из посылок

28. Утверждение, принимаемое в теории в качестве исходного, называют

1. аксиомой

2. гипотезой

3. тезисом

4. догмой

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

1. «от противного»

2. «как попало»

3. «до абсурда»

4. «с парадоксом»

30. Утверждение называется теоремой, если в данной теории

1. его можно вывести из пустого множества посылок

2. недоказуемо его отрицание

3. оно не противоречит основным аксиомам

4. с ним согласны все исследователи

31. Если в теории доказуемы не все истинные утверждения, ее называют

1. полной

2. неполной

3. противоречивой

4. непротиворечивой

32. Если в теории доказуемы только истинные утверждения, ее называют

1. полной

2. неполной

3. противоречивой

4. непротиворечивой

33. Если в теории истинны только доказуемые утверждения, ее называют

1. полной

2. неполной

3. противоречивой

4. непротиворечивой

Т ЕМА 2.

Логика и язык

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

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

С одержание темы:

Язык как знаковая система. Роль знаков в процессе мышления. Логическое значение семиотики – науки о знаках. Основные разделы семиотики: синтаксис, семантика, прагматика. Взаимосвязь синтаксического, семантического и прагматического аспектов языка.

Знаковая ситуация и ее элементы: знак, обозначаемое, интерпретатор. Смысл и значение знака. Пустые (мнимые) и непустые знаки. Описательные и неописательные знаки.

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

Язык как аналитический инструмент. Формализованные языки и их роль в науке. Общая схема построения формализованного языка: алфавит – синтаксис – семантика.

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

Логико-семантические парадоксы. Парадокс Эвбулида (парадокс лжеца) и его различные формулировки. Попытки разрешения этого парадокса в истории логики. Парадокс Ришара-Берри (парадокс определимости). Парадокс Греллинга-Нельсона (парадокс гетерологичности).

Понятие семантической замкнутости (А. Тарский). Семантическая замкнутость как источник языковых парадоксов. Пути и способы их устранения. Разделение уровней языка. Объектный язык и мета-язык.

Цели и задачи изучения темы:

1. Определить роль языка в процессе мышления.

2. Сформировать представление о языке как знаковой системе.

3. Провести различие между естественными и искусственными языками.

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

5. Сформулировать принципы правильного употребления языковых выражений.

6. Разобрать наиболее известные логико-семантические парадоксы и установить их причины.

При изучении темы необходимо акцентировать внимание на следующих понятиях:

• Знак

• Знаковая система

• Знаковая ситуация (семиозис)

• Интерпретатор

• Смысл

• Значение

• Подмена значения

• Автонимность

• Интенсиональный контекст

• Экстенсиональный контекст

• Естественный язык

• Искусственный язык

• Семантический парадокс

• Семантическая замкнутость

• Объектный язык

• Мета-язык

Порядок изучения темы:

Для изучения темы выделяется 2 лекционных часа, 2 часа семинарских занятий, 2 часа самостоятельной работы.

Формы самостоятельной работы:

1. Подготовка к лекции.

2. Подготовка к семинарскому занятию.

3. Подготовка докладов и рефератов по рекомендации преподавателя.

4. Участие в чатах.

5. Участие в тьюториалах.

Методические указания:

Вопросы лекции и семинарского занятия: