Введение

Бастиан Корнелис ван Фраассен (/v//æ//n// /'/f//r//ɑː//s//ən/; род. 1941) — нидерландско-американский философ, известный своими вкладами в философию науки, эпистемологию и формальную логику. Он является выдающимся профессором философии в Государственном университете Сан-Франциско и профессором философии Маккоша в отставке в Принстонском университете.

Биография и карьера

Ван Фраассен родился в оккупированных немцами Нидерландах 5 апреля 1941 года. Его отец, слесарь-паропроводчик, был вынужден нацистами работать на фабрике в Гамбурге. После войны семья воссоединилась, и в 1956 году эмигрировала в Эдмонтон, расположенный на западе Канады. Ван Фраассен получил степень бакалавра (B.A.) в 1963 году в Университете Альберты, а степень магистра (M.A.) в 1964 году и степень доктора философии (Ph.D.) в 1966 году (под руководством Адольфа Грунбаума) в Университете Питтсбурга. Ранее он преподавал в Йельском университете, Университете Южной Калифорнии, Университете Торонто и с 1982 по 2008 год в Принстонском университете, где в настоящее время является профессором-эмеритом. Ван Фраассен обратился в католическую веру во взрослом возрасте и является одним из основателей Института Кира. Он – член Американской академии искусств и наук, иностранный член Королевской академии искусств и наук Нидерландов с 1995 года и член Международной академии философии науки. В 1986 году ван Фраассен получил премию Лакатоса за вклад в философию науки, а в 2012 году – первую премию Хемпеля Ассоциации философии науки за выдающиеся достижения в области философии науки. Среди его многочисленных учеников – философы Элизабет Ллойд (Университет Индианы), Аня Яуэрниг (Нью-Йоркский университет), Дженнан Исмаэль (Университет Джона Хопкинса), Нед Холл (Гарвардский университет), Алан Хажек (Австралийский национальный университет) и профессор математики Юкка Керанен (UCLA).

Философия науки

Ван Фраассен ввел термин "конструктивный эмпиризм" в своей книге 1980 года "Научный образ", в которой он отстаивал агностицизм в отношении реальности ненаблюдаемых сущностей. Эта книга "получила широкое признание как возродившая научный антиреализм". Согласно Стэнфордской энциклопедии философии: "Конструктивный эмпирик, подобно логическим позитивистам, отвергает метафизические предположения в науке, но расходится с ними в отношении поддержки верификационистского критерия значимости, а также одобрения идеи о том, что дискурс, нагруженный теорией, можно и следует исключить из науки. До выхода книги ван Фраассена "Научный образ" некоторые философы считали научный антиреализм исчерпавшим себя, поскольку логический позитивизм был мертв. Ван Фраассен показал, что существуют и другие пути быть эмпириком в отношении науки, не следуя по стопам логических позитивистов. В своей книге 1989 года "Законы и симметрия" ван Фраассен попытался заложить основу для объяснения физических явлений, не постулируя, что эти явления вызываются правилами или законами, которые можно считать их причинами или регуляторами. Сосредоточившись на проблеме недоопределенности, он утверждал о возможности существования теорий, эмпирически эквивалентных, но различающихся своими онтологическими обязательствами. Он отвергает представление о том, что цель науки – создать описание физического мира, которое было бы буквально истинным, и вместо этого утверждает, что ее цель – создавать эмпирически адекватные теории. Ван Фраассен также занимался философией квантовой механики, философской логикой и байесовской эпистемологией.

Философская логика

Ван Фраассен был редактором Журнала философской логики и соредактором Журнала символической логики. В логике Ван Фраассен наиболее известен своей работой в области свободной логики и введением семантики супероценки. В своей статье "Сингулярные термы, пробелы в значениях истинности и свободная логика" ван Фраассен начинает с очень краткого введения в проблему нереферентных имен. Вместо какой-либо единой формализации он просто корректирует аксиомы стандартной предикатной логики, например, те, что представлены в "Методах логики" Уилларда Ван Ормана Куайна. Вместо аксиомы вида он использует ; это будет истинно, если экзистенциальное утверждение в антецеденте ложно. Если имя не имеет референта, то атомное предложение, содержащее его, которое не является тождественным утверждением, может быть произвольно наделено значением истинности. Свободная логика оказывается полной при такой интерпретации. Однако он отмечает, что не видит достаточных оснований называть утверждения, использующие её, ни истинными, ни ложными. Некоторые пытались решить эту проблему с помощью многозначных логик; ван Фраассен предлагает вместо них использовать супероценки. Вопросы полноты меняются, когда допускаются супероценки, поскольку они позволяют строить корректные аргументы, не соответствующие логически истинным импликациям. Его статья "Факты и тавтологическая импликация" (J Phil 1969) сейчас считается началом семантики создателей истины.

Бейсианская эпистемология

В байесовской эпистемологии ван Фраассен предложил то, что теперь известно как принцип отражения ван Фраассена: "чтобы принцип был выполнен, текущая субъективная вероятность агента для утверждения А, при условии, что его субъективная вероятность для этого утверждения станет равной r в будущем, должна быть равна этому же числу r".