ПРЕДЛОЖЕНИЕ

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

Для описания П. часто используется теория немецкого логика Г. Фреге (1848–1925), согласно которой П. является именем определенного рода. Как и в обычном имени, содержание П. включает смысл и обозначаемый объект – денотат. Смысл П. можно охарактеризовать как то, что бывает усвоено, когда П. понято, или как то общее, что имеют два П. в различных языках, если они правильно переведены. В качестве объектов, обозначаемых П., выступают два абстрактных предмета, называемых истинностными значениями, – истина и ложь; устанавливается, что все истинные П. обозначают истину, а все ложные П. обозначают ложь. Так, П. «И. С. Тургенев – автор романа «Отцы и дети«» и «Ф. М. Достоевский – автор романа «Бесы»» имеют разный смысл, но обозначают один и тот же объект – истину; П. «Луна обитаема» и «Марс – спутник Фобоса», имеющие разный смысл, обозначают один и тот же объект – ложь.

Преимуществом такого взгляда на П. является возможность непосредственного применения к ним всего того, что говорится об именах. Отождествление П. с именами определенного рода упрощает логическую теорию и придает ей единообразие. Тем не менее оно во многом представляется неестественным. Наиболее обычным употреблением П. является не просто называние ч.-л., скажем, абстрактных объектов, подобных истине и лжи, а формулировка утверждений. Истолкование П. как частного случая имен заставляет считать такие разные П., как «Волга впадает в Каспийское море» и «Лошади едят овес», обозначающими один и тот же объект, что явно не соответствует обычным представлениям о П.

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