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. Austral ....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.Read moreRead less