Эта классификация приводится в хрестоматиях по психологии, и она в самом деле проницательна и интересна. Отвечает ли она хотя бы одному из тех требований, которые принято предъявлять к делению? Вряд ли. По какому признаку разграничиваются эти четыре рода любви? Не очень ясно. Исключают ли они друг друга? Определенно – нет. Исчерпываются ли ими все разновидности любовного влечения? Конечно, нет.

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

Высказывание – более сложное образование, чем имя. При разложении высказываний на более простые части мы всегда получаем те или иные имена. Скажем, высказывание «Солнце есть звезда» включает в качестве своих частей имена «Солнце» и «звезда».

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

Понятие высказывания – одно из исходных, ключевых понятий логики. Как таковое оно не допускает точного определения, в равной мере приложимого в разных ее разделах.

Высказывание считается истинным, если даваемое им описание соответствует реальной ситуации, и ложным – если не соответствует ей. «Истина» и «ложь» называются «истинностными значениями высказываний».

Из отдельных высказываний разными способами можно строить новые высказывания.

Например, из высказывания «Дует ветер» и «Идет дождь» можно образовать более сложные высказывания «Дует ветер, и идет дождь», «Либо дует ветер, либо идет дождь», «Если идет дождь, то дует ветер» и т. п.

Высказывание называется простым, если оно не включает других высказывании в качестве своих частей.

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

Рассмотрим наиболее важные способы построения сложных высказываний.

Отрицательное высказывание состоит из исходного высказывания и отрицания, выражаемого обычно словами «не», «неверно, что». Отрицательное высказывание является, таким образом, сложным высказыванием: оно включает в качестве своей части отличное от него высказывание. Например, отрицанием высказывания «10 – четное число» является высказывание «10 не есть четное число» (или: «Неверно, что 10 есть четное число»).

Обозначим высказывания буквами А, В, С, … Полный смысл понятия отрицания высказывания задается условием: если высказывание А истинно, его отрицание ложно, и если А ложно, его отрицание истинно. Например, так как высказывание «1 есть целое положительное число» истинно, его отрицание «1 не является целым положительным числом» ложно, а так как «1 есть простое число» ложно, его отрицание «1 не есть простое число» истинно.

Соединение двух высказываний при помощи слова «и» дает сложное высказывание, называемое конъюнкцией. Высказывания, соединяемые таким образом, называются «членами конъюнкции».

Например, если высказывания «Сегодня жарко» и «Вчера было холодно» соединить таким способом, получится конъюнкция «Сегодня жарко и вчера было холодно».

Конъюнкция истинна только в случае, когда оба входящих в нее высказывания являются истинными; если хотя бы один из ее членов ложен, то и вся конъюнкция ложна.

В обычном языке два высказывания соединяются союзом «и», когда они связаны между собой по содержанию, или смыслу. Характер этой связи не вполне ясен, но понятно, что мы не рассматривали бы конъюнкцию «Он шел в пальто, и я шел в университет» как выражение, имеющее смысл и способное быть истинным или ложным. Хотя высказывания «2 – простое число» и «Москва – большой город» истинны, мы не склонны считать истинной также их конъюнкцию «2 – простое число, и Москва – большой город», поскольку составляющие ее высказывания не связаны между собой по смыслу. Упрощая значение конъюнкции и других логических связок и отказываясь для этого от неясного понятия «связь высказываний по смыслу», логика делает значение этих связок одновременно и более широким, и более ясным.

Соединение двух высказываний с помощью слова «или» дает дизъюнкцию этих высказываний. Высказывания, образующие дизъюнкцию, называются «членами дизъюнкции».

Слово «или» в повседневном языке имеет два разных смысла. Иногда оно означает «одно или другое или оба», а иногда «одно или другое, но не оба вместе». Например, высказывание «В этом сезоне я хочу пойти на „Пиковую даму“ или на „Аиду“» допускает возможность двукратного посещения оперы. В высказывании «Он учится в Московском или Ярославском университете» подразумевается, что упоминаемый человек учится только в одном из этих университетов.

Первый смысл «или» называется неисключающим. Взятая в этом смысле дизъюнкция двух высказываний означает, что по крайней мере одно из этих высказываний истинно, независимо от того, истинны они оба или нет. Взятая во втором, исключающем, или строгом, смысле дизъюнкция двух высказываний утверждает, что одно из высказываний истинно, а второе – ложно.

Неисключающая дизъюнкция истинна, когда хотя бы одно из входящих в нее высказываний истинно, и ложна, только когда оба ее члена ложны.

Исключающая дизъюнкция истинна, когда истинным является только один из ее членов, и она ложна, когда оба ее члена истинны или оба ложны.

В логике и математике слово «или» почти всегда употребляется в неисключающем значении.

Условное высказывание – сложное высказывание, формулируемое обычно с помощью связки «если то…» и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием для другого.

Например: «Если есть огонь, то есть дым», «Если число делится на 9, оно делится на 3» и т. п.

Условное высказывание слагается из двух более простых высказываний. То из них, которому предпослано слово «если», называется основанием, или антецедентом (предыдущим), высказывание, идущее после слова «то», называется следствием, или консеквентом (последующим).

Утверждая условное высказывание, мы прежде всего имеем в виду, что не может быть так, чтобы то, о чем говорится в его основании, имело место, а то, о чем говорится в следствии, отсутствовало. Иными словами, не может случиться, чтобы антецедент был истинным, а консеквент – ложным.

В терминах условного высказывания обычно определяются понятия достаточного и необходимого условия: антецедент (основание) есть достаточное условие для консеквента (следствия), а консеквент – необходимое условие для антецедента. Например, истинность условного высказывания «Если выбор рационален, то выбирается лучшая из имеющихся альтернатив» означает, что рациональность – достаточное основание для избрания лучшей из имеющихся возможностей и что выбор такой возможности есть необходимое условие его рациональности.

Типичной функцией условного высказывания является обоснование одного высказывания ссылкой на другое высказывание. Например, то, что серебро электропроводно, можно обосновать ссылкой на то, что оно металл: «Если серебро – металл, оно электропроводно».

Выражаемую условным высказыванием связь обосновывающего и обосновываемого (основания и следствия) трудно охарактеризовать в общем виде, и только иногда природа ее относительно ясна. Эта связь может быть, во-первых, связью логического следования, имеющей место между посылками и заключением правильного умозаключения («Если все живые многоклеточные существа смертны, а медуза является таким существом, то она смертна»); во-вторых, законом природы («Если тело подвергнуть трению, оно начнет нагреваться»); в-третьих, причинной связью («Если Луна в новолуние находится в узле своей орбиты, наступает солнечное затмение»); в-четвертых, социальной закономерностью, правилом, традицией («Если меняется общество, меняется также человек», «Если совет разумен, он должен быть выполнен») и т. п.