Логика как наука и ее значение

Главная - Логика - Логика как наука и ее значение

Она составляет 3 направления.

Синтаксис - изучает структуру языка : способы образования, превращения и связи между знаками. Семантика занимается проблемой интерпретации, то есть анализом отношения между знаками и отмечаемыми объектами. Прагматика - анализирует коммуникативную функцию языка - эмоционально-психологическое, эстетическое, экономическое, другие отношения носителя языка к самому языку.

Есть языки естественные и искусственные (устное объяснение).

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

Названия предметов - отдельные слова или словосочетания, помечающие предметы. Есть предметное и смысловое значение. Предметное значение имени - это множественность предметов, к которым относится имя (денотат). Смысловое значение (смысл) - это свойства присущие предметам, с помощью которых выделяют множество предметов (концепт.) Есть простые и сложные имена (названия) - "государство", "спутник Земли". По денотату названия бывают единичные и общие - ("Аристотель" и дается описанием "сама большая река в Коломые"). Общее название помечает множество больше одного предмета ("закон").

Названия примет (признаков) - качеств, свойств или отношений - называют предикаторами (исполняют роль сказуемому).

Число названий, к которым относится предикатом, называется местностью. Предикатори, которые выражают свойства присущие отдельным предметам, называются одноместными ("небо синее"). Предикат паши, что выражают отношение между двумя и больше предметами, называются многоместными ("Мария любит Петра", "Папа дарит книгу сыну").

Предложение - это выражения языка, в которых несколько утверждается или отрицается.

Алфавит языка логики предикатов включают следующие виды знаков (символов) :

1) а, в, с, ... - символы для единичных названий предметов и их называют предметными постоянными, или константами;

2) x, y, z, . - символы общих названий предметов, принимающих значение в той или другой сфере; их называют предметными переменными;

3) P*, Q*, R*, . - символы для предикатов; их называют предикатними переменными;

4) p, q, r, . - символы для высказываний; их называют пропозицийними переменными (propositio - высказывание);

5) - символы для количественной характеристики высказываний; их называют кванторами. - квантор всеобщности (все, каждый, всякий, всегда и так далее); - квантор существования (некоторый, иногда, бывает, встречается, существует и так далее).

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

Λ - конъюнкция ("и")

v - дизъюнкция ("или")

→ - импликация ("если..., то... )

≡ - еквиваленция, или двойная импликация ("если и только если..., то.".);

┐ - отрицание ("неверно, что... ").