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