Логика Тема 2 ЛОГИКА И ЯЗЫК 1. Мышление и язык 2. Знаки. Язык как знаковая система 3. Язык логики высказываний 1. МЫШЛЕНИЕ И ЯЗЫК Структура мышления — это комбинации мыслей в процессе мышления (нельзя увидеть). Внешняя форма мышления — это речь. Формальная логика — это наука об общих структурах правильного мышления в его языковой форме. 2. ЗНАКИ. ЯЗЫК КАК ЗНАКОВАЯ СИСТЕМА Знак — соглашение о приписывании чему-либо (означающему) определенного смысла (означаемого); — чувственно воспринимаемый предмет, представитель другого предмета. СИСТЕМЫ ЗНАКОВ ОБРАЗНЫЕ КОНВЕНЦИОНАЛЬНЫЕ Живопись, музыка, танцы, мимика, жесты НАТУРАЛЬНЫЕ Коллекции минералов, следы зверей, звёздное небо и т.д. ЕСТЕСТВЕННЫЕ ЯЗЫКИ ФОРМАЛЬНЫЕ ЯЗЫКИ СИСТЕМЫ ЗАПИСИ Устная речь, письменная речь Алгоритмические, информационные, специализированные (математика, логика, химия), искусственные (эсперанто, волапюк и т.д.) Нотная запись, формулы, шахматная нотация Язык как знаковая система Язык — знаковая система, средство фиксирования, хранения и передачи информации в процессе познания и общения. Языковой знак — заместитель объекта в процессе коммуникации и познания. ВИДЫ ЯЗЫКОВЫХ ЗНАКОВ ЗНАКИ-ОБРАЗЫ Находятся в отношениях подобия с объектом (план местности, фото, отпечатки). ЗНАКИ-СИМВОЛЫ Не связаны с объектом причинно или отношением подобия (ноты, буквы). Наглядные Вербальные — (логотип фирмы). имена (название фирмы). Логика исследует вербальные знаки-символы — имена. Языки (по происхождению): ЕСТЕСТВЕННЫЕ ЯЗЫКИ ИСКУССТВЕННЫЕ ЯЗЫКИ — исторически сложившиеся — вспомогательные знаковые в обществе информационные системы на базе знаковые системы: естественных языков для • звуковые (речь); точной передачи научной • графические (письмо). и другой информации. ФУНКЦИИ — формализованные языки — закрепление и передача современной науки и техники: информации в процессе • химии, общения; • математики, — несут культуру народов; • теоретической физики, — имеют богатые • вычислительной техники, выразительные возможности. • кибернетики, • логики высказываний. ЕСТЕСТВЕННЫЕ ЯЗЫКИ ИСКУССТВЕННЫЕ ЯЗЫКИ ОСОБЕННОСТИ — сформировались естественно; — созданы искусственно; — многозначность имен (коса, ключ и др.); — однозначность имен; — зависимость от контекста («Человек шел по дороге с флагами»); — независимость от контекста; — самоприменимость имен — выражения могут говорить сами о себе («Слово “мрамор” — это существительное»). — взаимозаменимость имен (a b = солнце и луна = черное и белое). V Таким образом, в решении познавательных задач искусственные языки более эффективны. 3. ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ Логика изучает естественные и искусственные языки. Язык логики высказываний — это искусственный язык для построения высказываний из элементарных частей с помощью логических операций, учитывающий при анализе суждений истинность логических связок без учета структуры суждения. ЛОГИЧЕСКИЕ ОПЕРАЦИИ Значение Конъюнкции «и» Дизъюнкции «или» Импликации «если..., то» Эквиваленции Отрицания Обозначение & или V «если и только если» «не» ¬ V Операция Условные обозначения в языке логики высказываний а, b, с, ... Символы для единичных имен предметов: предметные постоянные (константы). р, q, r, ... Символы для высказываний: высказывательные (пропозициональные) переменные (от лат. propositio — высказывание). (, ) Технические знаки, обозначающие целое высказывание. Высказывания, формализованные с помощью языка логики высказывания, — формулы. Язык логики предикатов Искусственный язык, учитывающей при анализе суждений истинность логических связок и структуру суждений. Имя — основная смысловая (семантическая) категория языка логики предикатов; — языковое выражение, обозначающее внеязыковой объект (самолет, молния, воля, мечта). ХАРАКТЕРИСТИКИ (ЗНАЧЕНИЯ) ИМЕНИ ПРЕДМЕТНОЕ (ДЕНОТАТ) — объект/объекты, которые обозначаются именем. Денотат имени «дом» — все сооружения, которые этим именем обозначаются (деревянные, каменные). СМЫСЛОВОЕ (КОНЦЕПТ) — информация о предметах (свойства, которые выделяют множество предметов). Концепт имени «дом»: 1) сооружение (здание) для жилья; 2) построено человеком. ВИДЫ ИМЕН Имена предметов Имена признаков (предикаторы) Имена предложений Виды имен 1. Имена предметов — единичные предметы, события, множества (самолет, растения, молния, воля, мечта). ПО СОСТАВУ ПРОСТЫЕ Не включают других имен (государство). СЛОЖНЫЕ Включают другие имена (спутник Земли). ПО ДЕНОТАТУ (ПРЕДМЕТУ) ЕДИНИЧНЫЕ Один объект, в т. ч. имя собственное (Аристотель), описание (самая длинная река в Европе). ОБЩИЕ Множество (нарицательные имена), описание (большой деревянный дом). Виды имен 2. Имена признаков (предикаторы) — свойства/отношения (сказуемое в предложении: дарить, любить). Местность предикатора — число имен предметов, к которым он относится. • Одноместные: • Двухместные: «небо синее». «Растения нуждаются в солнечном свете». • Многоместные: «Отец дарит книгу сыну». Виды имен 3. Имена предложений Предложения — это имена для выражений языка, в которых нечто утверждается или отрицается. Литература по теме 1. Грядовой Д.И. Логика. Общий курс формальной логики: учебник /Д.И. Грядовой. – 3-е изд., перераб. и доп. – М.: Юнити-Дана, 2012. С. 31 – 56. 2. Ивлева М.И Логика: учебник. – 2-е изд., доп. и перераб. — М.: Маркет ДС. 2009. — 192 с. — (Университетская серия)/С. 9 – 35. 3. Бочаров В.А. Основы логики: учебник/В.А. Бочаров, В.И.Маркин. М.: ФОРУМ, Инфра – М, 2008. — 336 с. — («Классический университетский учебник»). С. 1 – 39. 4. Гусев Д.А. Логика. Учебное пособие. М., 2004. С. 57 – 83.
