2 y Логика и язык 2011-12.ppt
- Количество слайдов: 46
Лекция № 2 по теме: Логика и язык
План лекции: 1. Язык как средство познания. 2. Логическая грамматика (язык логики).
Вопрос 1. Язык как средство познания
Язык – это система знаков, используемая для целей коммуникации и познания.
Язык как система Словарь – знаки и выражения языка Синтаксис – правила образования сложных выражений из простых Семантика – правила придания значений выражениям языка Прагматика – способы употребления выражений в процессе коммуникации
Функции языка Коммуникативная Познавательная Практическая Побудительная Описательная Экспрессивная Оценочная Декларация – изменение мира словом
Виды языков Человеческие Животные Естественные Искусственные Специализированные Неспециализированные Вербальные Невербальные Обыденный Научный
Речь – это последовательность языковых знаков, построенная по правилам языка и несущая некоторую информацию.
Виды речи Внутренняя Внешняя Устная Монологическая Письменная Диалогическая
ЯЗЫК 1) Абстрактен 2) Идеален 3) Находится вне времени и пространства 4) Конечен (число знаков (слов) конечно) 5) Иерархически организован РЕЧЬ 1) Конкретна 2) Материальна 3) Релизуется во времени и пространстве 4) Бесконечна (потенциально) 5) Линейно организована
Общезначимость Строгость Специфика языка науки Однозначность Точность
Аргументированность Ограниченное использование авторского «Я» Ясность Специфика научной речи Насыщенность спец. терминами Логичность Точность
Логичность – это последовательность расположения всех единиц текста и наличие смысловых связей между ними. Ясность – понятность, доступность, доходчивость, приведение поясняющих примеров, использование синонимов, повторов, тропов, т. е. метафор, сравнений, гипербол (особенно в устной речи).
Точность – однозначность понимания терминов, запрет на подмену понятий и пр. Аргументированность – наличие в научной речи достаточного количества логических и фактических доводов, обосновывающих позицию автора.
Формы научной речи Монолог Описание Диалог Научная дискуссия Рассуждение Повествование Интеллектуальная беседа Монография в форме диалога
Вывод: Задача логики — выяснить способы и характер связи выражений (элементов языка) с объектами действительности.
Вопрос 2. Логическая грамматика (Язык логики)
Знак – это любой чувственно воспринимаемый предмет, выступающий представителем другого предмета.
Виды знаков Знаки-образы (знаки-копии) – сходны с обозначаемым предметом Знаки-признаки – следствия обозначаемых предметов Знаки-символы – никак не связаны с обозначаемым предметом Языковые знаки Неязыковые знаки
Семиотика – наука о знаках. Разделы семиотики: • Синтаксис – изучает структуру языка: способы образования, преобразования знаков и связи между знаками. • Семантика - занимается проблемой интерпретации, т. е. анализом отношений между знаками и обозначаемыми объектами. • Прагматика - анализирует коммуникативную функцию языка – эмоциональные, психологические, эстетические, экономические и другие отношения носителя языка к самому языку.
Структура языкового знака(Ф. де Соссюр): Означающее Символ или акустический образ --------- = ---------Означаемое Совокупность предметов, явлений, понятий
Принципы употребления знака: • 1. принцип однозначности (употреблять знак языка в каждом процессе рассуждения с одним и тем же значением).
Пример • Как написано в толковом словаре, родственники имеют хотя бы одного общего предка. А супруги, как сказано в законе, являются ближайшими родственниками. Следовательно, супруги имеют хотя бы одного общего предка.
• 2. принцип предметности (высказывая нечто о предмете, нужно употреблять знак этого предмета, а также знак того, что высказывается, но высказывание при этом относится не к знакам, а к самим предметам).
• 3. принцип взаимозаменимости (любой знак в составе сложного знака может быт заменен другим знаком с тем же значением, при этом значение сложного знака не изменится).
Имя (десигнат) – это слово или словосочетание, обозначающее какой-либо определенный предмет.
Виды имен: • • Простые - «книга» , «снегирь» , «опера» Сложные (составные, описательные) «самое глубокое озеро России» , «планета Солнечной системы» Собственные - имена отдельных людей, предметов, событий - «П. И. Чайковский» , «Обь» , «Великая Отечественная война» . Общие - названия класса однородных предметов - «дом» , «академия» , «река» .
Имя обладает значением и смыслом. Значение имени (денотат) обозначаемый именем предмет. Например, денотатом имени «дом» в русском языке будет все многообразие сооружений, которые этим именем обозначаются.
• Смысл (концепт) имени – способ, каким имя обозначает предмет, т. е. информация о предмете, которая содержится в имени. Смысл обычно включает в себя свойства имени. Например, смыслом слова «дом» будут следующие характеристики: а) это сооружение (здание); б) построено человеком; в) предназначено для учебы, работы, проживания.
Семантический треугольник Имя – языковое выражение, обозначающее предмет Значение (денотат) – обозначаемый именем предмет или класс предметов Смысл (концепт) – способ, каким имя обозначает предмет (информация о предмете)
Именная функция – это выражение, содержащее переменную, и которое при замене переменной постоянной превращается в обозначение предмета. Например, «x+1» , «отец у» . Заменяя x в выражении «x+1» числом 3, получим обозначение предмета – числа 4.
Пропозициональная функция выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при подстановке вместо переменной имени предмета. Например, «х – поэт» , « 7+y=10» . Подставив в выражение « 7+у=10» число 3 получим истинное суждение « 7+3=10» .
Пропозициональные функции делятся на одноместные, содержащие одну переменную, называемые свойствами (например, «x – композитор» ), и многоместные, содержащие две и более переменных, называемые отношениями (например, «x-z=16» , «x подарил у своему знакомому z» ).
Семантические категории выражения (слова и словосочетания), имеющие какой-либо самостоятельный смысл.
Семантические категории Предложения Повествовательные Выражения, играющие определенную роль в составе предложений Дескриптивные термины Логические термины Конъюнкция Вопросительные Имена предметов Дизъюнкция Импликация Предикаторы Побудительные Функциональные знаки (функторы) Отрицание Эквиваленция Кванторы Квантор общности Квантор существования
Имена – слова или словосочетания, обозначающие единичные предметы или классы однородных предметов. Имена простые сложные
• Простые имена не дают информации об обозначаемых предметах (Москва, книга). • Сложные имена сообщают о своих значениях какую-либо информацию (самая северная точка Европы, большая горная река).
• Предикаторы – слова и словосочетания, обозначающие свойства предметов(одноместные предикаторы) или отношения между предметами (многоместные предикаторы). Кот, однокурсник, бежит от.
• Функциональные знаки (функторы)– выражения, обозначающие предметные функции, операции ( «+» , «ctg α» , «≥» ).
Логические термины (логические постоянные, логические константы, логические связки) образуют «логический алфавит» . Эти константы заменяют в искусственном языке символической логики определенные слова-связки обыденного языка. А именно речь идет о таких словах, как «и» , «или» , «если… то» , «равносильно» , «неверно, что» , «всякий» , ( «каждый» , «все» ), «некоторые» и др. С помощью логических связок из простых суждений образуются сложные.
Название Конъюнкция Дизъюнкция Импликация (следование) Эквиваленция Отрицание (негация) Символ Соответствие в языке Λ, & V → «и» , «а» , «но» , «однако» ↔, ≡ «эквивалентно» , «если и только если» , , «или» , «либо…» «если… то» «не» , «неверно, что» Квантор общности «все» , «каждый» , «ни один» Квантор существования «некоторые» , «существует»
Виды суждений Символ Конъюнктивное f аΛb Идет дождь и дует ветер a. Vb a→b Человек спит или идет Эквивалентное a≡b Квадрат – равносторонний прямоугольник Отрицательное a Неверно, что Земля больше Солнца Всякий человек смертен Дизъюнктивное Импликативное (условное) x x Примеры Если ночь, то темно Некоторые люди – поэты
Примеры формализации сложных суждений: Если у меня будет свободное время (а) и я сдам экзамены по психологии (b) и философии (c), то я поеду отдыхать в Крым (d) или на Кавказ (e). (a Λ b Λ c) → (d V e)
Если человек с детства и юности своей не давал нервам властвовать над собой, то они не привыкнут раздражаться и будут ему послушны. (К. Д. Ушинский) ( a Λ b) → ( с Λ d)
Вывод. Чтобы выявить логическую форму, следует отвлечься от содержания рассуждения. В логике принято с этой целью заменять содержательные элементы рассуждения (имена и высказывания) переменными, т. е. знаками, не имеющими никакого содержания и указывающими только на вид заменяемого выражения.