Das Kontinuum. 1918.
105
Tractatus logische-philosophicus, 1922.
106
Следует отметить работу: Tarski A. Fundamentale Begriffe der Methodologie der deduktiven Wisssenschaften // Monatsh. f. Math. u. Phys. 1930. Jg. 37.
107
Schlick. Gesammelte Aufsatze. S. 320.
108
С тех пор Карнап считал эти определения достаточными и верными для всех видов исчислений. В работе «Meaning and Necessity» (1947) он придал им новую форму с помощью новых синтаксических понятий.
109
Lewis. Survey of Symbolic Logic. 1918.
110
Introduction to Semantics. S. 249, 43.
111
Philosophy of Science. 1937. Vol. 4. S. 25.
112
Сначала его высказал К. Менгер в споре об основаниях математики (Menger K. Der Intuitionismus 11 Blatter f. deutsche Philosophie, 1930. Jg. 4), затем К. Поппер фактически принял его для логики науки (Popper K. Die Logik der Forschung. 1935. S. 19f, 195). В названии «принцип конвенциональное™», которое недавно ввел Карнап (Introduction to Semantics. S. 247), суть дела выражена лучше.
113
Der logistische Vfersuch einer Neugestaltung der Philosophie // Actes du 8e Congres intemat. de Philosophie. 1936. S. 203f.
114
Логико-философский трактат. C. 73.
115
The Concept of Meaning in Pragmatism and Logical Positivism // Actes du 8e Congresde Philosophie a Prague 1934, 1936. S. 103f.
116
A Survey of Symbolic Logic. 1918.
117
Йоргенсен также считает неустранимой логику, опирающуюся на смысл: Jorgensen. Uber die Ziele und Probleme der Logistik // Erkenntnis, 1932, Bd. 111. S. 730.
118
Уже в «Логическом синтаксисе языка» Карнап признавал, что для осуществления логической формализации необходима логика, учитывающая смысл, поскольку при установлении логических отношений высказывания метаязыка о фигурах и формулах должны быть поняты содержательно, в соответствии с их смыслом.
