Semantics, externalism and a priori truths

这个项目旨在发现更多关于先验知识的逻辑根源。纯粹的数学家和逻辑学家发现的真理是不能通过观察推断来证明的；哲学家传统上也渴望这样做。然而，关于是什么使先验知识成为可能，人们知之甚少。有一个不断发展的逻辑分支，它研究所谓的“双重索引”，这有望揭示先验。澳大利亚哲学家在双重索引的研究中发挥了非常重要的作用，该项目处于有利地位，可以在这一领域做出重大贡献。

This project aims to discover more about the logical roots of a priori knowledge. Pure mathematicians and logicians discover truths which are not justified by inference from observations; philosophers traditionally have aspired to do likewise. Yet little is understood about what makes a priori knowledge possible. There is a growing branch of logic which studies what is known as "double indexing" and this promises to throw light on the a priori. Australian philosophers have played a very salient role in the study of double indexing, and this project is well placed to make significant contributions in this area.