GreatPhilosophy

В традиционной формальной логике символика немногочисленна. К основным символам, заменяющим главные понятия логики, понятие субъекта, или предмета мысли (логическое подлежащее) и предиката, т.е. признака предмета мысли, присущего или не присущего ему (логическое сказуемое), относятся S и P. Понятия "субъект" и "предикат" используются и в философии, поэтому с самого начала необходимо установить пусть и не столь уж радикальные, но все же существующие различия между философским и логическим значениями их. В философии "субъект" - это и отдельный человек, и мыслящее человечество, общество в целом, т.

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

"Предикат" в философии и логике почти совпадают по своему значению, это любой признак, присущий или не присущий тому или иному предмету, в логике, конечно же, предмету мысли.

Итак:

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

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

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

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

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

А (а) - символ общеутвердительного суждения ("Все студенты - учащиеся").

Е (е) - символ общеотрицательного суждения ("Все студенты этой группы не являются спортсменами", или, что одно и то же, "Ни один студент этой группы не является спортсменом").

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

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

V - символ квантора общности (всеобщности), в языке выражается словом "все", "для всякого" и т.п.

I - символ квантора существования, в языке выражается словом "некоторые", "существуют такие", "многие" и т.п.

/\ - символ, или знак соединительного логического союза "и" (конъюнкция).

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

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

<--> - символ логического союза тождества, эквивалентности: "если и только если", "тогда и только тогда, когда" (эквиваленция).

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

символ для обозначения необходимости.

символ для обозначения возможности.

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

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