В книге анализируются способы рассуждений и введения понятий, используемых в дедуктивных и эмпирических науках. Значительное внимание уделено малоисследованным проблемам определимости в научных теориях. Изучены различные типы отношений между теориями. Даются логические реконструкции процедур описания, объяснения, предсказания. Помимо классических, изучаются интенсиональные логики и языки, выявляется их роль для описания научных процедур. Проанализированы гносеологические предпосылки применения логики к анализу научного знания.