Логика и язык
-видиляти логические звязки и отличать их от синтаксических;
-за видом формулы делать вывод о характере отношения между обектами, которые фиксируются в ней (при условии знания введения символов)
-виражати с помощью формул готовый результат и в то же время путь, на котором можно получить этот результат;
-мова знаков, что используется в определенных областях знаний, имеет международное значение, облегчая обмен научной информацией.
Языком логики высказываний называется искусственный язык, предназначенный для анализа логической структуры сложных высказываний. Она характеризуется списком знаковых средств, которые применяются в этой логической теории, и определением формулы.
Список знаковых средств языка логики высказываний включает такие знаки:
1. Знаки переменных логики высказываний :
p, q, r, s, p1, q1, r1, s1.
Эти знаки служат для обозначения простых высказываний естественного языка. В звязку с этим их еще называют пропозицийними переменными.
2.Знаки логических сполучникив :
~ - знак отрицания (читается: "не", "неверно, что".);
^ - знак конюнкций (читается: ".и".);
- знак дизюнкций (читается: ".или".);
-знак импликации (читается: "если.,тогда".).
3.Технические знаки:
( - левая скобка;
) - правая скобка;
, - запятая.
Эти знаки в языке логики высказываний исполняют роль знаков пунктуации естественного языка.
Никаких других знаков в языке логики высказываний нет.
КОНТРОЛЬНЫЕ ВОПРОСЫ
1.Что являет собой понятие логического закона?
2.Для освоения современной логики нужное ознакомление с аспектами языка. С которыми именно?
3.Что такое синтаксис?
4.Что такое прагматика?
Вернуться назад