В данном разделе представлены словари и энциклопедии по философии и
смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело,
став одним из авторов Открытой философской энциклопедии.
[Помощь]
пропозициональная функция Выражение, подобное предложению, которое может быть представлено как полученное из предложения путем замены содержащихся в нем констант на переменные. Например, выражение «x был родителем y» может мыслиться как производное от предложения «Адам был родителем Авеля». Пропозициональная функция, следовательно, не имеет собственного истинностного значения, становясь истинной или ложной только тогда, когда входящие в ее состав свободные переменные замещаются константами соответствующих синтаксических категорий (напр., «Авраам был родителем Исаака»).
