Wed, March 9th, 4:14pm, 104, in the Philosophy Club: WhatAbstractObjectsAre Thurs, March 10th and Thurs, March 17th, 11am, G03, in the Arché Maths Seminar: Two talks ...
Full Schemas and Categoricity FullSchemasandCategoricityHandout Thanks Thanks for inviting me. Full Schemas and Categoricity What I intend to do today is introduce ...
Full Schemas and Categoricity What I intend to do here is introduce the notion of a schema from scratch, complete with a formalized logic, and prove that a suitable ...
I have omitted the requirement that %$\tau $% be substitutable for %$x$% in %$\phi$% since it makes the statement of the rule more complicated and plays no r le in ...
The first three quantifiers are substitutional, the last may be either referential or substitutional. If you think the two possibilities for the last quantifier should ...
There is only one node, %$t$% at the top level, %$\alpha $%, of the tree, which is therefore full, and so an object %${\mathcal O}$% is homogeneous at level % ...
How to Talk with Strangers Field's Challenge On the radical versions of deflationism that I prefer, it doesn't make sense for X to ask whether one of Y's sentences ...
Philosophy of Biology Reading Group Here is the book we'll be reading: Sex and Death: An Introduction to Philosophy of Biology . Kim Sterelny and Paul E. Griffiths ...
For example, the structure formed as a disjoint sum of %$\langle\mathbb{N},0,S, ,\cdot\rangle$% and %$\langle\mathbb{Z}, \rangle$% is a model of PA%$^{( )U}\cup G ...
Summer Reading Group Intro This is to be a space for the summer philosophy reading group. The text will be Wittgenstein's Philosophical Investigations . If you ...
Summer Reading Group II Intro This is to be a space for the summer two dimensional semantics reading group. Most of the readings will come from an anthology edited ...
Vague Referring Terms VagueReferringTermsHandout Thanks Thanks for inviting me. A Precise Formalization of Vagueness. The simple picture is that a context for ...
A Precise Formalization of Vagueness. The simple picture is that a context for a language of vagueness, which will serve as a possible world for a modal semantics ...
Slide of COPYRIGHT by the contributing authors ShaughanLavine 15 Mar 2005 Bells heap (Bells Monument. Proper name is the McClean Tip Head ) is a big ...
Welcome to the home of TWiki.Discussion. This is a web based collaboration area for ... Arch Talks Summer Reading Group Summer Reading Group II May ...
This is a subscription service to be automatically notified by e mail when topics change in this Discussion web. This is a convenient service, so you do not have ...
nop Discussion Web Preferences The following settings are web preferences of the Discussion web. These preferences overwrite the site level preferences in ...
What Abstract Objects Are Thanks Thanks for inviting me. Abstractness Is Vagueness The thesis of this talk is that abstract objects and vague objects are but two ...
Thanks Thanks for inviting me. Comprehension Axiom The Axiom of Comprehension (CA) states that every formula defines a class. That is, %$\exists X\forall x(x\in X ...
Winter Reading Group Intro This is to be a space for the winter philosophy reading group. The text will be Dummett's Truth and the Past . If you are interested ...
Winter Reading Group II Absolute Generality Intro This is to be a space for the winter 2007 philosophy reading group. The text will be an anthology by Rayo and ...