В книге анализируются способы рассуждений и введения понятий, используемых в дедуктивных и эмпирических науках. Значительное внимание уделено малоисследованным проблемам определимости в научных теориях. Изучены различные типы отношений между теориями. Даются логические реконструкции процедур описания, объяснения, предсказания. Помимо классических, изучаются интенсиональные логики и языки, выявляется их роль для описания научных процедур. Проанализированы гносеологические предпосылки применения логики к анализу научного знания. Книга предназначена для всех интересующихся вопросами методологии науки.
V knige analizirujutsja sposoby rassuzhdenij i vvedenija ponjatij, ispolzuemykh v deduktivnykh i empiricheskikh naukakh. Znachitelnoe vnimanie udeleno maloissledovannym problemam opredelimosti v nauchnykh teorijakh. Izucheny razlichnye tipy otnoshenij mezhdu teorijami. Dajutsja logicheskie rekonstruktsii protsedur opisanija, objasnenija, predskazanija. Pomimo klassicheskikh, izuchajutsja intensionalnye logiki i jazyki, vyjavljaetsja ikh rol dlja opisanija nauchnykh protsedur. Proanalizirovany gnoseologicheskie predposylki primenenija logiki k analizu nauchnogo znanija. Kniga prednaznachena dlja vsekh interesujuschikhsja voprosami metodologii nauki.
