Искусственный язык логики как науки.

В составе этого языка выделяются дескриптивные (описательные) термины и логические термины.

Дескриптивные термины. Объекты мысли: предметы, свойства, отношения. Трем типам объектов мысли соответствуют три типа имен: имена предметов (стол), имена свойств (столовский), имена отношений

(больше). В логике для каждого из этих типов имен(терминов) вводятся специальные символические средства представления. Для краткого символического представления имен единичныхпредметов будем использовать малые буквы начала латинского алфавита или эти буквы с индексом:

а, в, с или а₁, а₂,.. в₁, в₂,.. с₁, с₂,..

Пример: а º Челябинск (имя единичного предмета)

Имена классов предметов (кроме единичных предметов):

Для краткого символического представления используются малые буквы конца латинского алфавита или эти буквы с индексом:

x, y, z… x i (i = 1, 2…)

Пример: человек = х₁ город = х₂

Такое символическое представление всех имен должно опираться на правило: каждому имени должен соответствовать единственный символ и каждому символу должно соответствовать единственное имя.

Имена свойств. Для краткого символического представления имен свойств используются большие латинские буквы середины алфавита: P, Q,R,.. или они же с индексом (Pi).

Пример: P₁ º синий; P₂ º бордовый; P₃ º красный; Р₄ º зеленый

Имена отношений. Для краткого символического представления имен отношений используется большая латинская буква R с индексом: Ri (i = 1,2…)

Отношение - это особая форма бытия, которая разворачивается в пространстве между соотносящимися предметами (оно не содержится в предметах). Они могут связывать различное число предметов. Например: а = в -отношение равенства, связывающее 2 предмета (а и в).

Логические термины - или выражают логический смысл, или логические отношения между мыслями:

1) ù или ¯ - отрицание («не», «неверно, что»).

2) Ù - конъюнкция («и»).

3) Ú - дизъюнкция («или»).

4) ® - импликация («если… , то»).

5) «, º - эквиваленция («если и только если…, то…»).

6) ", $ - кванторы для показывания количественной меры мысли:

Особым типом имен в логике считаются суждения. Для краткой символической передачи используются малые латинские буквы середины алфавита или они же с индексом: p, q, r или pi (i = 1, 2…).

р₁= Челябинск является областным центром.