ВЫСКАЗЫВАНИЕ

По определению, любое В. имеет грамматические и логические аспекты. Грамматич. аспект В. выражается повествоват. предложением (простым или сложным), а логический — его смыслом и истинностным значением. В., различающиеся как грамматич. предложения (напр., принадлежащие различным языкам), могут выражать одну и ту же мысль. Эту общую для грамматически различных В. мысль и называют содержанием, или смыслом, В.; часто её называют также суждением. Однако терминология, относящаяся к В., не установилась, и термины «В.», «предложение», «суждение» употребляются как синонимы или за ними закрепляются значения, отличающиеся от описанных выше.

В связи с языковой практикой выделяют способы употребления В. Говорят, что В. употреблено утвердительно, если оно употреблено с целью утверждения истинности выраженной в нём мысли. Утвердительное употребление В.— это их наиболее частое употребление: выражая свои мысли, люди обычно претендуют на их истинность. В том случае, когда истинность содержания В. не утверждается, говорят о неутвердительном употреблении В. Одним из способов не утвердительного употребления В. является их косвенное употребление. Оно имеет целью не утверждение истинности мысли, а лишь передачу содержания.

В логике с В. имеют дело гл. обр. при применении логич. исчислений в к.-л. конкретной области объектов. В формулах же самих т. н. «чистых» логич. исчислений в основном фигурируют переменные В. и формы высказываний (выскааывательяые формы). Переменное В.— это не В. в подлинном смысле, а переменная для В., т. е. переменная, на место к-рой могут подставляться конкретные («постоянные») В. (данного вида) или их имена. Форма В.— это выражение, содержащее переменные (в частности, быть может, и переменные для В.) и обращающееся в В. после подстановки к.-л. значений — из соответств. допустимых областей значений — вместо всех входящих в неё переменных. Напр., формой В. является формула х + у >2 (х, у — переменные, принимающие значения, напр., из области действит. чисел; при х= 1, у = 2 эта формула обращается в истинное В. 1 + 2 > 2). См. Логика высказываний.

• Тарский А., Введение в логику и методологию дедуктивных наук, перевод о англ.,М., 1948; Чёрч А., Введение в математическую логику, перевод с англ., т. 1, М., 1960.