понятие философии науки, обозначающее процесс доказательства и обоснования научного знания. Согласно логическим позитивистам, хотя не существует логики открытия научных законов и теорий, существует логика их обоснования. Для логико-математических наук основным методом их обоснования служит логический анализ их отдельных высказываний и взаимоотношений между ними. Способом их обоснования является либо показ тавтологического характера логико-математических утверждений, имеющих аналитическую природу, либо логическое выведение подавляющего их большинства из небольшого числа аксиом, условно принятых за истинные высказывания. Большие усилия логическими позитивистами были приложены для того, чтобы логически смоделировать процесс обоснования научных законов и теорий в естественных (и шире опытных) науках. Однако здесь они в целом потерпели неудачу. Во—первых, потому что модель естественно-научной теории как дедуктивно организованного, логически замкнутого множества высказываний, оказалась слишком сильной идеализацией по отношению к реальным естественно-научным и социальным теориям, ни одна из которых не построена подобным образом. Во—вторых, столь же неадекватными оказались попытки логического моделирования
отношения эмпирического и теоретического знания с помощью создания различных систем индуктивной логики. Оказалось, что индуктивные методы не могут выполнять функцию не только способов доказательства научных законов, но и функцию подтверждения вероятности их истинности. Это обусловлено как парадоксами материальной импликации, так и неаналитическим характером самого отношения подтверждения. (См. научное обоснование, научное доказательство, контекст).
1.72 мб