6. Понятие и виды языков

Язык – это знаковая система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми. Комплексное изучение языка осуществляется общей теорией знаковых систем – семиотикой.

По своему происхождению языки бывают естественные и искусственные.

- Естественные языки – это исторически сложившиеся в обществе звуковые (речь) и графические (письмо) знаковые системы. Они являются носителями многовековой культуры народов.

- Искусственные языки – это вспомогательные знаковые системы, создаваемые на базе естественных языков для точной и экономной передачи научной и другой информации. Юридический язык или язык права является одним из искусственных языков.

7. Язык логики высказываний.

Он применяется в логической системе, называемой исчислением высказываний, которая анализирует рассуждения, опираясь на истинностные характеристики логических связок и отвлекаясь от внутренней структуры суждений. 

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

Структура языка.

I) Имя - слово как словосочетание, обозначающий какой либо предмет, а также св-ва и отношения действительности. Имена бывают единичные и общие. Имя имеет 2 хар-ки: Денотат – значение имени ктр этим именем называется. Концепт – смысл имени или способ, при помощи ктр мы назыв какой либо предмет.

II) Предикторы – выражения, отряжающие св –ва языка. В зависимости от того к какому числу имен относятся, бывают либо одноместные, либо многом.

III) Функциональные знаки. Алфавит формальной логики

1.Единые имена, логическая константа

2.Общие имена логические переменные

3.Предикторы.

IV) Предложения – высказывания, утверждающие или отрицающие существование предмета их св-в и отношений.

V) Кванторы.

VI) Лог союзы: конъюнкция (соед. «и»); дизъюнкция («или») строгая и слабая; импликация (следование) «если», «то».

VII) Отрицание «не» (инверсия)

8. Логические союзы и таблицы истинности.

Логика выделяет четыре логических союза: соединительный союз (конъюнкция), в языке выразимый грамматическими союзами и частицами "и", "а", "но", "да" и т.п.; разделительный союз (дизъюнкция) - "или", "либо" и т.п.; условный союз (импликация) - "если.., то" и союз эквивалентности, тождественности (эквиваленция) - "если и только если.., то", "тогда и только тогда, когда".

Таблица истинности — это таблица, описывающая логическую функцию.

Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Например, в двузначной логике они могут принимать значения «истина» либо «ложь» (  либо  ,   либо  ).

Таблицы истинности для основных двоичных логических функций.

Конъюнкция	Дизъюнкция	Сложение по модулю 2
Импликация		Эквиваленция
Штрих Шеффера	Стрелка Пирса	Отрицание