Предложение - это...

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