понятия совр. логики. Когда предметом исследования является естественный или искусственный язык (напр., логическое исчисление или язык конкретной научной теории), необходимо отличать исследуемый язык, наз. языком-объектом, от языка, на к-ром ведется исследование языка-объекта; последний наз. метаязыком по отношению к данному языку-объекту. В частности, метаязыком является язык, на к-ром формулируется нек-рая метатеория. Отсутствие различения между М. и я.-о. приводит к различного рода парадоксам. Как правило, метаязык должен содержать, во-первых, имена всех выражений языка объекта и, во-вторых, выражения для различных синтаксических и семантических характеристик языка-объекта, т. е. быть логически более богатым, чем язык-объект; В качестве метаязыка может использоваться естественный (обычный, разговорный) язык или же формализованный язык. В последнем случае формализация метаязыка должна производиться на метаязыке второго порядка и т. д. С др. стороны, в исследованиях по основаниям математики и логики (Метаматематика, Формализм) весьма важно ограничение метаязыка тесными рамками финитных (Финитизм) средств.
|
