- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Логика языка и язык логики (Лекция №2) презентация
Содержание
- 1. Логика языка и язык логики (Лекция №2)
- 2. Логика языка и язык логики Лекция №2
- 3. Структура лекции Язык, мышление, логика Язык как
- 4. Язык, мышление, логика
- 5. Вторая сигнальная система Функционирование языка относится к
- 6. «Сигналы сигналов» ЯБЛОКО ЯБЛОКО
- 7. Сигнальные системы Первая сигнальная система Существует практически
- 8. Горилла Коко http://www.koko.org/
- 9. Нейрофизиология речи
- 10. Языковые зоны Зона (область) Брока Воспроизведение речи.
- 11. Язык и мышление Язык, речевая деятельность и
- 12. Теория лингвистической относительности Существующие в сознании человека
- 13. Границы языка и границы мышления Согласно
- 14. Примеры заданий (эксперимент А.Лурии)
- 15. Сравнение результатов Европейцы Геометрическим фигурам даются соответствующие
- 16. Н.Хомский Критика бихевиоризма. Генеративная лингвистика Существуют универсальные
- 17. Э.Рош и Д.Лакофф Теория прототипов Не существует
- 18. Философская проблематика Аналитический и синтетический компонент. Проблема категоризации. Интерсубъективность логико-лингвистических структур.
- 19. ЯЗЫК ЛОГИКА МЫШЛЕНИЕ МИР ЯЗЫК ЛОГИКА
- 20. Язык как знаковая система
- 21. Язык как знаковая (семиотическая) система Всякий язык
- 22. Типы знаков Знаки-иконы (иконические знаки, знаки-копии, знаки-изображения).
- 23. Знаки-иконы Основаны на подобии формы знака и того, что он обозначает
- 24. Знаки-индексы Привлекают внимание к означаемому им объекту
- 25. Знаки-символы Форма не связана с тем, что они обозначают «Стол», “Table”
- 26. Знак Имя, слово, сочетание знаков, выражение Значение знака (экстенсионал) Смысл знака (интенсионал, концепт)
- 27. Значение знака (экстенсионал) Предмет (денотат, референт), представляемый (репрезентируемый) данным знаком.
- 28. Смысл знака (интенсионал) Информация о репрезентируемом предмете,
- 29. Экстенсиональный контекст Предложение или совокупность взаимосвязанных предложений,
- 30. Интенсиональный контекст Допускает замену только интенсионально эквивалентных
- 31. Пример интенсионального контекста Студент Дураков думает, что
- 32. Треугольник Фреге Знак
- 33. Знак «Джим Парсонс» Значение Смысл
- 34. СМЫСЛ = ЗНАЧЕНИЕ ?
- 35. Одному значению может соответствовать несколько смыслов,
- 36. Пример
- 37. Семиозис Процесс интерпретации знака Интерпретанта – это
- 38. Составляющие знаковой системы Семантика Синтаксис Прагматика
- 39. Семантика - отношение знаков к тому, что они обозначают, смысл и значение знаков.
- 40. Синтаксис – правила согласования знаков внутри знаковой системы безотносительно к интерпретации знаков.
- 41. Прагматика – контекст использования знаков, интерпретация с точки зрения субъекта.
- 42. Структура и свойства языка
- 43. Язык – это знаковая система, предназначенная для
- 44. Выражения языка Категорематические Синкатегорематические
- 45. Категорематические - сами по себе имеют то или иное значение.
- 46. Синкатегорематические - сами по себе не имеют
- 47. Языки Естественные Национальные языки (русский, английский). Язык
- 48. Свойства естественных языков Универсальность. Многозначность. Грамматическая неоднозначность. Семантическая замкнутость.
- 49. Категориальный анализ языка
- 50. Классификация языков с точки зрения логики Языки-объекты Мета-языки
- 51. Языки-объекты – описывают предметы, объекты, события, состояния и т.п.
- 52. Мета-языки - описывают то, каким образом следует применять определенный язык в какой-либо предметной области.
- 53. Классификация по уровням языка Нулевой уровень Язык первого уровня Язык второго уровня
- 54. Нулевой уровень Описываются предметы, которые трактуются как индивиды (универсум рассуждения).
- 55. Язык первого уровня Язык описания признаков индивидов, т. е. свойств и отношений.
- 56. Язык второго уровня Язык описания признаков признаков,
- 57. Логические принципы использования языка Принцип однозначности:
- 58. Основные типы значимых выражений Предложения Термины
- 59. Предложения Побудительные Вопросительные Повествовательные
- 60. Повествовательное предложение = Суждение = Пропозиция = Высказывание.
- 61. Суждения Простые В составе нет частей, которые
- 62. Базовая структура простого суждения Субъект Логическое подлежащее
- 63. Термины Имеющие значения определенного типа части предложений,
- 64. Нелогические термины Имена - слова или словосочетания,
- 65. Логические термины Предицирующие связки. Операторы. Пропозициональные связки.
- 66. Предицирующие связки Утверждающая («есть», «является») Отрицающая («не есть»);
- 67. Операторы Кванторы (всеобщности ∀, существования ∃). Дескрипторы
- 68. Пропозициональные связки Конъюнкция Дизъюнкция Импликация Эквиваленция Отрицание
- 69. Знаки Константы Параметры Переменные
- 70. Константы Знаки, значение которых не меняется при
- 71. Параметры Знаки, значение которых изменяется внутри одного и того же контекста.
- 72. Переменные Индивидуальные – значением является отдельный объект.
- 73. Пример 2x3 + ax2 + b > 0
- 74. Логическая форма Выражение, фиксирующее ту часть содержания
- 75. Функциональный анализ языка
- 76. Функциональный подход к языку Все значимые выражения
- 77. Декартово произведение Декартовым произведением двух множеств М1
- 78. А - множество городов. В -
- 79. Свойство Свойством R, заданным на множестве М,
- 80. Функция n-местная функция f есть отображение, которое
- 81. Типы логических функций Предметно-предметные - функции, возможными
- 82. Простая классификация функций Именная функция – это
- 83. Языки логики
- 84. Общая схема построения формализованного языка Задается алфавит
- 85. Алфавит Логические символы – специальные знаки для
- 86. Правила Формулируется, какие выражения будут приемлемы в рамках данного языка.
- 87. Формулы Общее определение: соотнесение логического символа с областью интерпретаций.
- 88. Логическая теория Выделяет во множестве формул языка
- 89. Логический закон Форма высказывания, которая принимает значение
- 90. Логическое следование Из формул А1 А2,..., АВ
- 91. Алфавит языка логики высказываний A, B, C,
- 92. Определения формулы алгебры высказываний Отдельно стоящая буква
- 93. Логические операции
- 94. Предикат Высказывание, в которое можно подставлять аргументы.
- 95. Алфавит языка логики предикатов объектные переменные x,
Логика языка и язык логики Лекция №2
Слайд 3Структура лекции
Язык, мышление, логика
Язык как знаковая система
Структура и свойства языка
Категориальный анализ
языка
Функциональный анализ языка
Языки логики
Функциональный анализ языка
Языки логики
Слайд 5Вторая сигнальная система
Функционирование языка относится к так называемой второй сигнальной системе
Вторая
сигнальная система – особая форма высшей нервной деятельности, система условно-рефлекторных связей, формирующихся при воздействии речевых сигналов, то есть не непосредственного раздражителя, а его словесного обозначения («сигналы сигналов»)
Слайд 7Сигнальные системы
Первая сигнальная система
Существует практически у всех живых организмов, обладающих различными
формами нервной системы
Сигналы, непосредственно поступающие от органов чувств
Связана с ощущением и восприятием
Сигналы, непосредственно поступающие от органов чувств
Связана с ощущением и восприятием
Вторая сигнальная система
Существует у людей и, возможно, у некоторых животных (высшие приматы, китообразные)
Слова, заменяющие сигналы от рецепторов
Связана с абстрактным мышлением
Слайд 10Языковые зоны
Зона (область) Брока
Воспроизведение речи.
Управляет мышцами лица, языка, глотки и
челюстей.
При повреждении больные не могут читать и писать, но понимают речь.
При повреждении больные не могут читать и писать, но понимают речь.
Зона (область) Вернике
Понимание информации.
Преобразование звуков речи в нейронные коды слов
При повреждении человек не может воспринимать звуки речи как лингвистически значимые.
Слайд 11Язык и мышление
Язык, речевая деятельность и мышление не тождественны
Генетическая связь –
происхождение языка было тесно связано с возникновением мышления, и наоборот
Функциональная связь – язык и мышление в их современном состоянии представляют собой такое единство, стороны которого взаимно предполагают друг друга и способствуют взаиморазвитию.
Функциональная связь – язык и мышление в их современном состоянии представляют собой такое единство, стороны которого взаимно предполагают друг друга и способствуют взаиморазвитию.
Слайд 12Теория лингвистической относительности
Существующие в сознании человека системы понятий, а, следовательно, и
существенные особенности его мышления, логические конструкции определяются тем конкретным языком, носителем которого этот человек является (Э. Сепир, Б.Уорф)
Слайд 13Границы языка
и границы мышления
Согласно ранней концепции Л.Витгенштейна, «границы мышления» совпадают
с границами языка
Невозможно непротиворечиво мыслить о том, о чем не возможно ясно говорить, используя логику языка
Невозможно непротиворечиво мыслить о том, о чем не возможно ясно говорить, используя логику языка
Слайд 14Примеры заданий
(эксперимент А.Лурии)
— Хлопок растет там, где жарко и сухо.
—
В Англии холодно и сыро.
— Может там расти хлопок или нет?
Классификация предметов:
молоток, пила, полено, топор
стакан, сковородка, очки, бутылка.
Классификация предметов:
молоток, пила, полено, топор
стакан, сковородка, очки, бутылка.
Слайд 15Сравнение результатов
Европейцы
Геометрическим фигурам даются соответствующие названия.
Умозаключения делаются, исходя из принципов
дедуктивной логики.
Классификация объектов по сходству.
Классификация объектов по сходству.
Сельское население Узбекистана и Киргизии
Геометрические фигуры интерпретируются как объекты реального мира.
Умозаключения делаются только на основании эмпирического опыта.
Классификация объектов по назначению.
Слайд 16Н.Хомский
Критика бихевиоризма.
Генеративная лингвистика
Существуют универсальные для различных языков грамматические структуры
Все многообразие речи
порождается за счет конечного набора правил.
Логико-лингвистические структуры являются врожденными
Логико-лингвистические структуры являются врожденными
Слайд 17Э.Рош и Д.Лакофф
Теория прототипов
Не существует универсальных принципов категоризации
У каждого класса
объектов есть «лучшие» и «худшие» представители.
Логика языка зависит от форм поведения, телесной структуры и социального опыта.
Логика языка зависит от форм поведения, телесной структуры и социального опыта.
Слайд 18Философская проблематика
Аналитический и синтетический компонент.
Проблема категоризации.
Интерсубъективность логико-лингвистических структур.
Слайд 21Язык как знаковая (семиотическая) система
Всякий язык представляет собой систему знаков или
семиотическую систему.
Знак – это особый объект, который для некоторого интерпретатора выступает в качестве представителя какого-то другого объекта (представление об объекте).
Система знаков – это структура взаимосвязи между знаками и теми объектами, которые они представляют, осуществляющаяся по определенным правилам.
Знак – это особый объект, который для некоторого интерпретатора выступает в качестве представителя какого-то другого объекта (представление об объекте).
Система знаков – это структура взаимосвязи между знаками и теми объектами, которые они представляют, осуществляющаяся по определенным правилам.
Слайд 22Типы знаков
Знаки-иконы (иконические знаки, знаки-копии, знаки-изображения).
Знаки-индексы (индексальные знаки, знаки-признаки).
Знаки-символы (символические знаки,
условные, конвенциональные знаки).
Слайд 26Знак
Имя, слово, сочетание знаков, выражение
Значение знака (экстенсионал)
Смысл знака (интенсионал, концепт)
Слайд 27Значение знака (экстенсионал)
Предмет (денотат, референт), представляемый (репрезентируемый) данным знаком.
Слайд 28Смысл знака (интенсионал)
Информация о репрезентируемом предмете, которую содержит сам знак или
которая связывается с этим знаком в процессе общения или познания.
Слайд 29Экстенсиональный контекст
Предложение или совокупность взаимосвязанных предложений, говорящих только об экстенсионалах входящих
в них выражений.
При замене двух выражений с одним и тем же экстенсионалом в некотором предложении это предложение остается истинным.
При замене двух выражений с одним и тем же экстенсионалом в некотором предложении это предложение остается истинным.
Слайд 30Интенсиональный контекст
Допускает замену только интенсионально эквивалентных выражений.
Включает в себя выражение суждения,
мысли и т.п.
Слайд 31Пример интенсионального контекста
Студент Дураков думает, что Париж является столицей Англии.
Париж =
столица Франции.
«Студент Дураков думает, что столица Франции является столицей Англии».
«Студент Дураков думает, что столица Франции является столицей Англии».
Слайд 33Знак
«Джим Парсонс»
Значение
Смысл
«Актер, который играет роль Шелдона Купера в сериале
«Теория большого взрыва»
Слайд 35
Одному значению может соответствовать несколько смыслов, выражаемых различными знаками.
Выявление, того, что
несколько интенсионалов относятся к одному значению, дает приращение знания.
Слайд 37Семиозис
Процесс интерпретации знака
Интерпретанта – это перевод, истолкование, концептуализация отношения знак/объект в
последующем знаке.
Процесс порождения значения.
Процесс порождения значения.
Слайд 40Синтаксис
– правила согласования знаков внутри знаковой системы безотносительно к интерпретации знаков.
Слайд 43Язык
– это знаковая система, предназначенная для фиксации, переработки и передачи информации
от одного субъекта к другому.
Слайд 46Синкатегорематические
- сами по себе не имеют значения, но входят в состав
значимых выражений, выполняя в них вспомогательную техническую роль.
Слайд 47Языки
Естественные
Национальные языки (русский, английский).
Язык науки (термины физики, химии, биологии).
Искусственные
Формализованные языки
(язык логики предикатов, язык теории множеств).
Языки программирования (C#, Java).
Языки для представления информации (UML).
Искусственные языки, имитирующие естественные (языки в книгах Толкина).
Специально созданные языки для международного общения (воляпюк, эсперанто).
Языки программирования (C#, Java).
Языки для представления информации (UML).
Искусственные языки, имитирующие естественные (языки в книгах Толкина).
Специально созданные языки для международного общения (воляпюк, эсперанто).
Слайд 48Свойства естественных языков
Универсальность.
Многозначность.
Грамматическая неоднозначность.
Семантическая замкнутость.
Слайд 52Мета-языки
- описывают то, каким образом следует применять определенный язык в какой-либо
предметной области.
Слайд 54Нулевой уровень
Описываются предметы, которые трактуются как индивиды (универсум рассуждения).
Слайд 56Язык второго уровня
Язык описания признаков признаков, т. е. свойств и отношений,
присущих свойствам индивидов и отношениям между ними.
Слайд 57Логические принципы использования языка
Принцип однозначности: каждый знак внутри некоторого контекста
своего употребления должен употребляться ровно в одном значении.
Принцип предметности: употребляя знаки, говорят не о знаках, а об их значениях.
Принцип взаимозаменимости: Если А = В, то К(А) = К(А:В).
Принцип предметности: употребляя знаки, говорят не о знаках, а об их значениях.
Принцип взаимозаменимости: Если А = В, то К(А) = К(А:В).
Слайд 58Основные типы значимых выражений
Предложения Термины
Дескриптивные Логические
Имена
Предикаторы Функторы Пропозициональные Предицирующие
связки связки
Операторы
Кванторы Дескрипторы
Имена
Предикаторы Функторы Пропозициональные Предицирующие
связки связки
Операторы
Кванторы Дескрипторы
Слайд 61Суждения
Простые
В составе нет частей, которые могут рассматриваться как самостоятельные выражения того
же самого типа
Сложные
В составе имеются такие части, которые могут рассматриваться как самостоятельные выражения этого же типа.
Слайд 62Базовая структура простого суждения
Субъект
Логическое подлежащее простого предложения - простое или
сложное выражение, обозначающее тот объект (объекты), о котором (которых) нечто говорится в данном предложении.
S
S
Предикат
Логическое сказуемое - выражение, обозначающее то, что утверждается или отрицается об объекте (объектах), обозначаемом (обозначенных) субъектом.
P
Слайд 63Термины
Имеющие значения определенного типа части предложений, которые сами не являются предложениями.
Нелогические
(дескриптивные) и логические
Слайд 64Нелогические термины
Имена - слова или словосочетания, которые внутри некоторого контекста употребления
обозначает ровно один предмет;
Предикаторы - знаки свойства (одноместные) или отношения (многоместные);
Функторы - знаки предметно-функциональных качественных и количественных характеристик предметов.
Предикаторы - знаки свойства (одноместные) или отношения (многоместные);
Функторы - знаки предметно-функциональных качественных и количественных характеристик предметов.
Слайд 67Операторы
Кванторы (всеобщности ∀, существования ∃).
Дескрипторы (оператор определенной дескрипции г; оператор неопределенной
дескрипции; оператор множественности W; оператор абстракции L.
Слайд 70Константы
Знаки, значение которых не меняется при переходе от одного контекста их
употребления к другим.
Слайд 72Переменные
Индивидуальные – значением является отдельный объект.
Пропозициональные - переменные для высказываний, область
значений которых состоит из двух истинностных значений: «истина» и «ложь»
Слайд 74Логическая форма
Выражение, фиксирующее ту часть содержания языкового контекста, которая остается в
результате отвлечения от конкретных содержаний нелогических терминов или же от содержаний простых высказываний, входящих в данный контекст.
Слайд 76Функциональный подход к языку
Все значимые выражения трактуются либо как знаки функций,
либо как знаки их аргументов.
Слайд 77Декартово произведение
Декартовым произведением двух множеств М1 и М2 (обозначается М1 х
М2) называется множество всех возможных пар <х, у> таких, что х является элементом первого множества, а у является элементом второго множества,
Слайд 78
А - множество городов.
В - множество государств.
Декартово произведение А х
В.
Подмножество R, которое состоит из тех и только тех пар, для которых верно, что первая компонента будет городом, который является столицей того государства, которое будет второй компонентой этой пары.
Двухместное отношение R - «столица государства»
Подмножество R, которое состоит из тех и только тех пар, для которых верно, что первая компонента будет городом, который является столицей того государства, которое будет второй компонентой этой пары.
Двухместное отношение R - «столица государства»
Слайд 79Свойство
Свойством R, заданным на множестве М, называется любое подмножество множества М,
т. е. R € М.
Слайд 80Функция
n-местная функция f есть отображение, которое каждому элементу множества М1 х
М2 х...х Мn ставит в соответствие
ровно один элемент множества М.
ровно один элемент множества М.
Слайд 81Типы логических функций
Предметно-предметные - функции, возможными аргументами и значениями которых являются
индивиды (предметы).
Предметно-истинностные - функции, возможными аргументами которых являются индивиды, а возможными значениями - истинностные оценки.
Истиностно-истинностные - функции, возможными аргументами и значениями которых являются истинностные оценки.
Предметно-истинностные - функции, возможными аргументами которых являются индивиды, а возможными значениями - истинностные оценки.
Истиностно-истинностные - функции, возможными аргументами и значениями которых являются истинностные оценки.
Слайд 82Простая классификация функций
Именная функция – это выражение, которое при замене переменных
постоянными превращается в обозначение предмета.
Пропозициональная функция - это функция, область значений которой составляют высказывания, обладающие определенным истинностным значением.
Пропозициональная функция - это функция, область значений которой составляют высказывания, обладающие определенным истинностным значением.
Слайд 84Общая схема построения формализованного языка
Задается алфавит формализованного языка – совокупность простейших,
исходных символов, из которых строятся выражения этого языка.
Формулируются правила образования из исходных символов различных типов выражений данного языка.
Задается класс формул.
Строятся логические теории.
Определяются логические законы.
Формулируются правила образования из исходных символов различных типов выражений данного языка.
Задается класс формул.
Строятся логические теории.
Определяются логические законы.
Слайд 85Алфавит
Логические символы – специальные знаки для логических терминов.
Нелогические символы –
параметры, предназначенные для замещения простых высказываний или нелогических терминов различных семантических категорий.
Технические символы (например, скобки).
Технические символы (например, скобки).
Слайд 88Логическая теория
Выделяет во множестве формул языка класс формул, представляющих собой логические
законы.
Выделяет во множестве переходов от формулы к формуле класс таких переходов, которые являются формами правильных умозаключений.
Выделяет во множестве переходов от формулы к формуле класс таких переходов, которые являются формами правильных умозаключений.
Слайд 89Логический закон
Форма высказывания, которая принимает значение «истина» при любой интерпретации параметров,
входящих в ее состав.
Слайд 90Логическое следование
Из формул А1 А2,..., АВ логически следует формула В, если
и только если при любой допустимой интерпретации нелогических символов, при которой формулы А1 А2,..., АВ принимают значение «истина», формула В также принимает значение «истина».
Слайд 91Алфавит языка логики высказываний
A, B, C, ... , X, Y, Z
... - переменные высказывания;
0, 1, И, Л – константы;
∧, ∨, →, ↔ - символы соответствующих логических операций.
0, 1, И, Л – константы;
∧, ∨, →, ↔ - символы соответствующих логических операций.
Слайд 92Определения формулы алгебры высказываний
Отдельно стоящая буква A, B, C, ... ,
X, Y, Z ... – формула;
Если А, В - формулы, то формулами являются и ( ), ( ), (А∧В), (А∨В), (А→В), (А↔В);
Других формул нет.
Если А, В - формулы, то формулами являются и ( ), ( ), (А∧В), (А∨В), (А→В), (А↔В);
Других формул нет.
Слайд 94Предикат
Высказывание, в которое можно подставлять аргументы.
Если аргумент один – то
предикат выражает свойство аргумента, если больше – то отношение между аргументами.
Слайд 95Алфавит языка логики предикатов
объектные переменные x, y, z, x1, y1, z1, x2, y2, z2, ...;
пропозициональные связки;
квантор
всеобщности (∀) и квантор существования (∃);
скобки и запятая.
скобки и запятая.
