№11 Язык логики высказываний
Язык – средство повседневного общ-я людей, средство общения в научной и практической деятельности.
Структура языка.
I) Имя - слово как словосочетание, обозначающий какой либо предмет, а также св-ва и отношения действительности. Имена бывают единичные и общие. Имя имеет 2 хар-ки: Денотат – значение имени ктр этим именем называется. Концепт – смысл имени или способ, при помощи ктр мы назыв какой либо предмет.
II) Предикторы – выражения, отряжающие св –ва языка. В зависимости от того к какому числу имен относятся, бывают либо одноместные, либо многом.
III) Функциональные знаки
Алфавит формальной логики
1.Единые имена, логическая константа
2.Общие имена логические переменные
3.Предикторы.
IV) Предложения – высказывания, утверждающие или отрицающие существование предмета их св-в и отношений.
V) Кванторы.
VI) Лог союзы: конъюнкция (соед. «и»); дизъюнкция(«или») строгая и слабая; импликация (следование) «если», «то».
VII) Отрицание «не» (инверсия)