Логика как наука и ее значение
Она составляет 3 направления.
Синтаксис - изучает структуру языка : способы образования, превращения и связи между знаками. Семантика занимается проблемой интерпретации, то есть анализом отношения между знаками и отмечаемыми объектами. Прагматика - анализирует коммуникативную функцию языка - эмоционально-психологическое, эстетическое, экономическое, другие отношения носителя языка к самому языку.
Есть языки естественные и искусственные (устное объяснение).
В общих чертах принятый в современной логике искусственный язык - это язык логики предикатов. Основными семантическими категориями языка являются: названия предметов, названия примет, предложения.
Названия предметов - отдельные слова или словосочетания, помечающие предметы. Есть предметное и смысловое значение. Предметное значение имени - это множественность предметов, к которым относится имя (денотат). Смысловое значение (смысл) - это свойства присущие предметам, с помощью которых выделяют множество предметов (концепт.) Есть простые и сложные имена (названия) - "государство", "спутник Земли". По денотату названия бывают единичные и общие - ("Аристотель" и дается описанием "сама большая река в Коломые"). Общее название помечает множество больше одного предмета ("закон").
Названия примет (признаков) - качеств, свойств или отношений - называют предикаторами (исполняют роль сказуемому).
Число названий, к которым относится предикатом, называется местностью. Предикатори, которые выражают свойства присущие отдельным предметам, называются одноместными ("небо синее"). Предикат паши, что выражают отношение между двумя и больше предметами, называются многоместными ("Мария любит Петра", "Папа дарит книгу сыну").
Предложение - это выражения языка, в которых несколько утверждается или отрицается.
Алфавит языка логики предикатов включают следующие виды знаков (символов) :
1) а, в, с, ... - символы для единичных названий предметов и их называют предметными постоянными, или константами;
2) x, y, z, . - символы общих названий предметов, принимающих значение в той или другой сфере; их называют предметными переменными;
3) P*, Q*, R*, . - символы для предикатов; их называют предикатними переменными;
4) p, q, r, . - символы для высказываний; их называют пропозицийними переменными (propositio - высказывание);
5) - символы для количественной характеристики высказываний; их называют кванторами. - квантор всеобщности (все, каждый, всякий, всегда и так далее); - квантор существования (некоторый, иногда, бывает, встречается, существует и так далее).
6) логические связки:
Λ - конъюнкция ("и")
v - дизъюнкция ("или")
→ - импликация ("если..., то... )
≡ - еквиваленция, или двойная импликация ("если и только если..., то.".);
┐ - отрицание ("неверно, что... ").
Вернуться назад