Естественный язык и искусственные языки (стр. 3 из 3)

6) логические связки:

— конъюнкция (союз «и»);

— дизъюнкция (союз «или»);

— импликация (союз «если..., то...»);

— эквиваленция, или двойная импликация (союз «если и только если..., то...»);

┐— отрицание («неверно, что...»).

Технические знаки языка: (,) — левая и правая скобки.

Других знаков данный алфавит не включает. Допустимые, т.е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами —ППФ. Понятие ППФ вводится следующими определениями:

1. Всякая пропозициональная переменная — р, q

, r, ... есть ППФ.

2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или констант, число которых соответствует ее местности, является ППФ: А1 (х), А2 (х, у), А3(х, у, z), А" (х, у,..., n), где А1, А2, А3,..., Аn — знаки метаязыка для предикаторов.

3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения

хА (х) и хА(х) также будут ППФ.

4. Если А и В — формулы (А и В — знаки метаязыка для выражения схем формул), то выражения:

А

В,

А

В,

А

В,

А

В,

┐А, ┐В

также являются формулами.

5. Любые иные выражения, помимо предусмотренных в п. 1—4,

не являются ППФ данного языка.

3.Заключение

Язык, как известно, представляет собой средство коммуникации, общения между людьми, с помощью которого они обмениваются друг с другом мыслями, информацией. Мысль находит свое выражение именно в языке, без такого выражения мысли одного человека оказываются недоступными другому. С помощью языка происходит познание различных объектов. Успех познания зависит от правильного употребления естественных и искусственных языков. Первые этапы познания связано с использованием естественного языка. Постепенное углубление в сущность объекта требует более точных систем исследования. Это приводит к созданию искусственных языков. Чем большей точностью обладает знание, тем более реальна возможность его практического использования. Таким образом, проблема развития искусственных языков науки не является чисто теоретической, она имеет определенное практическое содержание. Вместе с тем, домината естественного языка в познании бесспорна. Как бы ни был развит, абстрактен и формализован конкретный искусственный язык, он имеет своим источником определенный естественный язык и развивается по единым естественным законам языка. Дмитриевская И.В. Логика. 2006.[3]

4. Список использованной литературы

1. Ивин А.А. Логика. - М.: Просвещение, 1996. - 206 с.

2. Непейвода Н.Н. Прикладная логика. - Ижевск: Изд-во Удмурт. ун-та, 1997. - 384 с.

3. Дмитриевская И.В. Логика. - М.: Флинта, 2006. - 383 с.

4. Петров В.В., Переверзев В.Н. Обработка языка и логика предикатов. - Новосибирск: Изд-во Новосибир. ун-та, 1993. - 156 с.

5. Рузавин Г.И. Логика и аргументация. - М.: Культура и спорт, ЮНИТИ, 1997. - 351 с.

6. Кириллов В.И., Старченко А.А. Логика. - М.: ЮРИСТЪ, 1995. - 256 с.

[1]Рузавин Г.И. Логика и аргументация. - М.: Культура и спорт, ЮНИТИ, 1997. - 351 с.

[2]Петров В.В., Переверзев В.Н. Обработка языка и логика предикатов. – Новосибирск Изд-во Новосибир. ун-та, 1993. - 156 с.

[3]Петров В.В., Переверзев В.Н. Обработка языка и логика предикатов. - Новосибирск: Изд-во Новосибир. ун-та, 1993. - 156 с.