Язык логики

Основные символы, заменяющие главные понятия логики, S и P используются для обозначения понятий субъекта, или предмета мысли, и предиката, признака предмета мысли соответственно. Понятия «субъект» и «предикат» также используются и в философии, но имеются различия между их философским и логическим значениями. Именно в философии «субъект» — это то, что противостоит «объекту» — природе, миру в целом. По этой причине субъектом в данном смысле становится и один человек, и все человечество, т.е. общество. В логике же «субъект» — предмет мысли, о чем ведется рассуждение, это логическое подлежащее суждения. С точки зрения логики субъектом может выступать любое понятие, отражающее любой реальный или мнимый, материальный или идеальный «предмет», поскольку предметом мысли может быть все, что угодно.

«Предикаты» в философии и логике почти совпадают по значению.

«Предикат» — это любой признак, присущий или не присущий тому или иному предмету (в логике — предмету мысли).

Приведем символику логики.

S — символ для обозначения субъекта суждения (логического подлежащего).

Р — символ для обозначения предиката суждения (логического сказуемого).

М — средний термин умозаключения, общее для исходных суждений понятие.

«Есть» — «не есть» (суть — не суть и пр.) — логическая связка между субъектом и предикатом суждения, выражаемая иногда с помощью тире между «S» и «Р».

R — символ любого отношения.

А (а) — символ общеутвердительного суждения («Все школьники — учащиеся»).

Е (е) — символ общеотрицательного суждения («Ни один цветок этого букета не является ромашкой»).

I(i) — символ частноутвердительного суждения («Некоторые люди миллионеры»).

О (о) — символ частноотрицательного суждения («Некоторые студенты не есть спортсмены»).

∀ — символ квантора общности, в языке выражается словом «для всякого», «для любого» и т.п.

∃ — символ квантора существования, в языке выражается словом «некоторые», «существуют такие» и т.п.

& — символ, или знак, соединительного логического союза «и» (конъюнкция).

V — символ (знак) разделительного логического союза «или» (дизъюнкция).

=> — символ условного логического союза «если, то» (импликация).

<=> — символ логического союза тождества, эквивалентности, «тогда и только тогда, когда».

«Не» — отрицательная частица, может быть выражена и чертой над знаком или тильдой ~, например: ~В или С.