Как уже подчеркивалось, мысли сами по себе не имеют вещественно-телесной формы выражения, т.е. не существует мыслей в виде некоего самого по себе существующего тела. В силу своей идеальности мысли выразимы лишь в слове (символе, знаке), поэтому и мышление в целом, являясь (как и отдельная мысль, отдельная форма мысли) идеальным, тоже проявляется в языке, в речи, в деятельности. Между языком и мышлением настолько тесная связь, что мы вправе утверждать: нет языка вне мышления, как нет н мышления без языка. Под языком мы понимаем не только естественный, но и любой другой (в том числе искусственный) язык графических, звуковых, тактильных и прочих символов, знаков, сигналов, иероглифов и т.п. Теснейшая взаимосвязь языка и мышления, слова и мысли, часто приводящая к их отождествлению, порождает ошибочное представление, иллюзию, что мысли сами по себе можно передавать на расстояние. Строго же говоря, мысль саму по себе, как всего лишь свойство особым образом организованной материи, принципиально невозможно отделить от породившей ее материи. Мы передаем на расстояние не мысли сами по себе, а сигналы о мыслях (в виде слов, звуковых или электромагнитных колебаний), возникающих в наших головах, и эти сигналы, будучи восприняты другими людьми, могут уже в их головах превращаться в соответствующие исходным (если только сигналы в процессе передачи не были искажены) мысли.
Мышление неотрывно от языка. Мышление и язык исторически и генетически формировались в непосредственной связи друг с другом, сохраняя при этом относительную самостоятельность. качественное отличие друг от друга. Действительно, мышление идеально, любая же знаково-сигнальная система материальна. Поэтому не удивительно, что мышление и язык обладают помимо общих еще и разными свойствами, несводимыми одно к другому. Можно сказать, что всякая мысль выразима в языке, в той или иной знаковой системе, однако не всякий знак, не всякий символ, не всякое отдельное языковое выражение осмысленно.
Поскольку каждая форма мысли имеет свое языковое выражение, то обстоятельнее мы это рассмотрим позже, когда дойдем до каждой из них в отдельности. Сейчас мы лишь подчеркнем, что язык — это материальное образование, представляющее собой определенную систему, позволяющую выражать мысли, хранить их, передавать и преобразовывать. Мышление же (как и отдельная мысль) — идеальная система с отличными от языка элементами. Если элементы языка — буквы (знаки), буквенные сочетания, слова, словосочетания, предложения и т. п., то элементами мышления выступают отдельные формы мысли (понятия, суждения, умозаключения) и сочетания их.
Любая наука строит свой язык на основе естественного языка. Логика также использует естественный язык, формируя на его основе свой собственный: специальные слова, термины, особые знаки (символы). Поэтому одно и то же слово естественного языка в разных науках зачастую имеет совершенно разное значение. В частности, значение слова «термин» в логике отличается от общепринятого значения, в логике оно используется для обозначения элементов суждения и умозаключения. А так как элементами суждения и умозаключения являются понятия, то слово «термин», таким образом, выступает как синоним слова «понятие». Эту особенность языка логики как науки необходимо учитывать при дальнейшем знакомстве с содержанием логики.
Некоторые из специальных слов "языка" логики мы уже употребили, в частности, субъект, предикат, связка, термин и пр., другие назовем и определим позже. Логика требует, чтобы основополагающие понятия строго определялись, чтобы их значения были одинаковыми, общезначимыми в рамках того или иного учения, теории. Мы следовали этому методологического характера требованию логики. Но поскольку логика некоторые основополагающие понятия (категории) заимствует из философии, что вынуждены делать и другие науки, ибо только философия анализирует предельно общие, всеобщие понятия, то логика их и не определяет, например: "противоречие", "тождество", "различие" и пр. Все остальные слова "языка" логики должны (и будут!) своевременно определяться. Язык логики будет познаваться и усваиваться по мере знакомства с нею, по мере овладения ею, но о тех "словах", которые имеют символическое обозначение, желательно иметь предварительное первичное представление. В традиционной формальной логике символика немногочисленна. Символику эту следует знать, уметь оперативно пользоваться ею, переводить ее на естественный язык и наоборот.
К основным символам, заменяющим главные понятия логики, понятие субъекта, или предмета мысли (логическое подлежащее) и предиката, т.е. признака предмета мысли, присущего или не присущего ему (логическое сказуемое), относятся S и P. Понятия "субъект" и "предикат" используются и в философии, поэтому с самого начала необходимо установить пусть и не столь уж радикальные, но все же существующие различия между философским и логическим значениями их. В философии «субъект» — это и отдельный человек, и мыслящее человечество, общество в целом, т.е. то, что противостоит «объекту» - природе, миру в целом. В логике «субъект» — это предмет мысли, то, на что направлено наше сознание, наше внимание, интеллект, разум, о чем ведется рассуждение, это - логическое подлежащее суждения. Им может быть любое понятие, отражающее любой реальный или мнимый, материальный или идеальный "предмет". Предметом мысли, тем самым, может быть все, что угодно.
"Предикат" в философии и логике почти совпадают по своему значению, это любой признак, присущий или не присущий тому или иному предмету, в логике, конечно же, предмету мысли.
Итак:
S — символ для обозначения субъекта суждения (предмета мысли, логического подлежащего).
P -- символ предиката суждения (логического сказуемого), т.е. понятия, отражающего присущий или не присущий предмету мысли (субъекту), признак.
М — средний термин умозаключения, общее дли исходных суждений понятие.
«Есть» — «не есть» (суть — не суть и пр.) — логическая связка между субъектом и предикатом суждения, выражаемая иногда простым тире между «S» и «Р».
R — символ любого отношения.
А (а) — символ общеутвердительного суждения («Все студенты — учащиеся»).
Е (е) — символ общеотрицательного суждения («Все студенты этой группы не являются спортсменами», или, что одно и то же, «Ни один студент этой группы не является спортсменом»).
I (i) — символ частноутвердительного суждения («Некоторые студенты отличники»).
О (о) — символ частноотрицательного суждения («Некоторые студенты не есть отличники»).
V — символ квантора общности (всеобщности), в языке выражается словом "все", «для всякого» и т.п.
I — символ квантора существования, в языке выражается словом «некоторые», «существуют такие», "многие" и т.п.
/\ — символ, или знак соединительного логического союза «и» (конъюнкция).
V — символ (знак) разделительного логического союза «или» (дизъюнкция).
--> — символ условного логического союза «если.., то...» (импликация).
<--> -- символ логического союза тождества, эквивалентности: «если и только если», «тогда и только тогда, когда» (эквиваленция).
«Не» — отрицательная частица, может быть выражена и чертой над знаком, например: В, С.
— символ для обозначения необходимости.
— символ для обозначения возможности.
Рекомендуем начинающим изучение логики, да и всем интересующимся ею, обращаться в процессе чтения учебника, по мере надобности, к словарям и справочникам, в частности, к энциклопедическому «Логическому словарю-справочнику» Н.И. Кондакова (М., 1971 или 1975 г. издания).
