от суждений «Л — смертен», «В — смертен» и т. д., а каждое из последних суждений приобретает истинность от таких суждений, как «тело А коченеет», «тело В коченеет» и т. д. Эти суждения, для определенных значений А и В, могут быть выведены из наблюдения. Поэтому они являются базисными суждениями в обеих теориях. Они, если истинные, будут базисными суждениями логической теории, даже когда они ненаблюдаемы; логическая теория будет придерживаться того, что имеется «факт», который превратил бы высказывание «Тело А коченеет» в истинное, даже если никто не осведомлен об этом факте — или альтернативно, что имеется противоположный факт, или, точнее, множество фактов, из которых бы следовало, что А — бессмертен.
В эпистемологической теории базисные суждения определяются, как в главе X. В логической теории они должны иметь определение, не ссылающееся на наше знание, однако такое, что благодаря этому новому логическому определению «опытные базисные суждения» становятся тождественными «базисным суждениям» эпистемологической теории. Логическое определение должно быть получено путем наблюдения логической формы эпистемологичес-ки базисных суждений и снятия требования, чтобы они были опытными, в то время как сохраняется требование, что они должны быть истинными (в смысле логической теории).
В эпистемологической теории мы говорим, что «базисное» предложение таково, что оно «соответствует опыту», или же «выражает опыт». Определение «соответствия» или «выражения» является в основном бихевиористическим. Можно сделать обзор «опытам», но с наших нынешних позиций «опыт» с трудом может быть определен. С альтернативной, «логической», точки зрения «опыты» могут быть определены как конкретный подкласс «фактов».
Предложения, которые выражают опыты, обладают определенной логической формой. Когда они выражают такие опыты, которые снабжают данными физику, они всегда атомарны. Что касается данных психологии, существуют трудности в утверждении того, что это имеет место, но мы уже видели основания думать, что эти трудности преодолимы. Имеются воспоминания, включающие ло-