Автор:Смирнов В. А. Год: 1987 Издание:Наука Страниц: 256 ISBN: [не указан] В книге анализируются способы рассуждений и введения понятий, используемых в дедуктивных и эмпирических науках. Значительное внимание уделено малоисследованным проблемам определимости в научных теориях. Изучены различные типы отношений между теориями. Даются логические реконструкции процедур описания, объяснения, предсказания. Помимо классических, изучаются интенсиональные логики и языки, выявляется их роль для описания научных процедур. Проанализированы гносеологические предпосылки применения логики к анализу научного знания.
