Логика и язык

Главная - Логика - Логика и язык

-видиляти логические звязки и отличать их от синтаксических;

-за видом формулы делать вывод о характере отношения между обектами, которые фиксируются в ней (при условии знания введения символов)

-виражати с помощью формул готовый результат и в то же время путь, на котором можно получить этот результат;

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

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

Список знаковых средств языка логики высказываний включает такие знаки:

1. Знаки переменных логики высказываний :

p, q, r, s, p1, q1, r1, s1.

Эти знаки служат для обозначения простых высказываний естественного языка. В звязку с этим их еще называют пропозицийними переменными.

2.Знаки логических сполучникив :

~ - знак отрицания (читается: "не", "неверно, что".);

^ - знак конюнкций (читается: ".и".);

- знак дизюнкций (читается: ".или".);

-знак импликации (читается: "если.,тогда".).

3.Технические знаки:

( - левая скобка;

) - правая скобка;

, - запятая.

Эти знаки в языке логики высказываний исполняют роль знаков пунктуации естественного языка.

Никаких других знаков в языке логики высказываний нет.

КОНТРОЛЬНЫЕ ВОПРОСЫ

1.Что являет собой понятие логического закона?

2.Для освоения современной логики нужное ознакомление с аспектами языка. С которыми именно?

3.Что такое синтаксис?

4.Что такое прагматика?