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.