Язык логики Презентацию подготовила Мохова В. , гр. ДЭЭ-110
Язык – это любая знаковая информационная система (система слов или знаков) Естественные языки исторически сложившиеся в обществе звуковые и графические знаковые системы АБВ Искусственные языки вспомогательные знаковые системы, создаваемые специально для точной передачи специфической информации
Знак — это любой чувственно воспринимаемый (зрительно, на слух или иным способом) предмет Знаки-образы Знаки-символы
- общая теория знаковых систем, анализирующая язык в трех аспектах: синтаксисе, семантике, прагматике Синтаксис • изучает структуру языка: способы образования, преобразования и связи между знаками Семантика • занимается проблемой интерпретации, т. е. анализом отношений между знаками и обозначаемыми объектами Прагматика • исследует коммуникативную функцию языка – отношение носителя языка к самому языку
Язык логики высказываний описание внешней структуры высказываний Язык логики предикатов описание внутренней структуры высказываний
Язык логики высказываний
Формулы языка логики высказываний
Таблица истинности • Всегда истинная формула логики высказываний, или тавтология, – это формула, дающая истинное высказывание при любых подстановках в нее конкретных высказываний. • Всегда ложная формула, или логическое противоречие, всегда превращается в ложное высказывание при подстановке конкретных высказываний вместо ее переменных.
ЯЗЫК ЛОГИКИ ПРЕДИКАТОВ Субъект — это предмет мысли, то, на что направлено наше сознание, наше внимание, интеллект, разум, о чем ведется рассуждение. Субъект – это логическое подлежащее суждения Предикат - это любой признак, присущий или не присущий тому или иному предмету, в логике, конечно же, предмету мысли
— это имеющее определенный смысл языковое выражение в виде отдельного слова или словосочетания, обозначающее или именующее какойлибо объект (предметное значение имени) (смысловое значение имени) - это один или множество каких-либо объектов, которые этим именем обозначаются - это информация о предметах, присущих им свойствах, с помощью которых выделяют эти предметы Дом 1) это сооружение (здание), 2) построено человеком, 3) предназначено для жилья
— субъект (логическое подлежащее) – предикат (логическое сказуемое) — средний термин умозаключения, общее дли исходных суждений понятие. « » — « » (суть — не суть и пр. ) — логическая связка между субъектом и предикатом суждения, выражаемая иногда простым тире между «S» и «Р» . — символ любого отношения. (а) — символ общеутвердительного су ждения ( «Все студенты — учащиеся» ). (е) — символ общеотрицательного сужде ния ( «Все студенты этой группы не являются спортсменами» , или, что одно и то же, «Ни один студент этой группы не яв ляется спортсменом» ). (i) — символ частноутвердительного су ждения ( «Некоторые студенты отличники» ). (о) — символ частноотрицательного су ждения ( «Некоторые студенты не есть отличники» ).
При подготовке презентации использовались: 1. 2. 3. И. Кобзарь. Логика. Учебное пособие Ю. В. Ивлев. Логика для юристов. Учебник Логика. Интернет портал. basiclogic. ru Спасибо за внимание!