# Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

## Markdown

This is a page not in th emain menu

## Future Blog Post

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

## Blog Post number 4

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

## Blog Post number 3

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

## Blog Post number 2

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

## Blog Post number 1

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

## Paper Title Number 1

Published in Journal 1, 2009

This paper is about the number 1. The number 2 is left for future work.

Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf

## Paper Title Number 2

Published in Journal 1, 2010

This paper is about the number 2. The number 3 is left for future work.

Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2). http://academicpages.github.io/files/paper2.pdf

## Paper Title Number 3

Published in Journal 1, 2015

This paper is about the number 3. The number 4 is left for future work.

Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3). http://academicpages.github.io/files/paper3.pdf

Published:

Published:

## On Russell’s ‘‘Vagueness’’

Published:

Abstract I argue that Bertrand Russell's 1923 ''Vagueness'' has wrongly endured long-standing criticism in the secondary literature on metaphysical vagueness. I divide the most com- mon criticisms of Russell into three 'myths', as I call them. I then indicate why none of these three myths is justifed by the light of a close reading of Russell's 1923 piece. The upshot of dispelling the myths is inviting work on *representationalism*, the view that metaphysical vagueness is a feature of representations.

Published:

Published:

Published:

Published:

Published:

Published:

Published:

Published:

Published:

## A theorem of infinity for Principia Mathematica

Published:

Abstract I prove a theorem of infnity for *Principia Mathematica*. The proof requires altering the meta-theory of *Principia*. In *Principia* we have a simple type theory with a lowest type (call this 'simple ℕ-type theory'). Our key idea is to allow for infnitely-descending types just as there are infnitely-ascending types; that is, we allow our simple type theory to be not well-founded (call this 'simple ℤ-type theory'). Given the acceptableness of *Principia*'s (well-founded) simple type theory, this adjustment is minor. This adjustment is also implicitly suggested by various remarks of Whitehead and Russell. By so-adjusting *Principia*, a core objection to Logicism--namely, that Logicism cannot recover Peano arithmetic without an axiom of infnity--dissipates.

Published:

Published:

Published:

Published:

Published:

Published:

Published:

Published:

## Any philosophical canon is practically self-undermining

Published:

Abstract There has recently been much-needed critical discussion of the current Anglo-American philosophical canons, but not as much consideration of their nature and purposes. I discuss what philosophical canons are and argue that they are social practices, and in particular, social practices of enforcing rules. I then consider what purposes a philosophical canon can have for various stakeholders. Building on Luca Castagnoli’s work on self-refutation in ancient philosophy, I clarify various notions of being practically self-undermining. I then argue that even on an inclusive view of what the purposes of a philosophical canon are, any philosophical canon is self-undermining. There is no plausible account of the purposes of a philosophical canon that is not undermined by having one, whatever its makeup.

Published:

Published:

Published:

## The propositional logic of Principia in Coq

Published:

Abstract There have been multiple reconstructions of the propositional logic of *Principia* beginning with the artificial intelligence research of Newell, Simon, and Shaw in the 1950s, including the mechanical validity-checker of Hao Wang (see ''IBM Journal of Research and Development'' 1960), and the proof reconstructions of Daniel O'Leary using Polish notations (see *Russell* 1988). To these results I have added a fully computer-checked reconstruction of the propositional logic of "Principia" following the proof sketches indicated in that work. This talk will discuss what computer-checking *Principia* proofs in Coq tells us about the proof sketches, and also about the development of propositional logic between *Principia* and Russell's 1906 ''The Theory of Implication.''

## The Genealogy of ‘‘v’’

Published:

Joint work with Richard Zach (University of Calgary).

Published:

Published:

## Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

## Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.