TWiki's Discussion web
http://zillion.homelinux.com/twiki/bin/view/Discussion
The Discussion web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2008 by contributing authorsShaughan Lavine [shaughanREMOVE@q.com]The contributing authors of TWikiTWikiPowered by TWiki.Discussion
http://zillion.homelinux.com/twiki/bin/view/Discussion
http://zillion.homelinux.com/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gifShaughanSlideTemplate
http://zillion.homelinux.com/twiki/bin/view/Discussion/ShaughanSlideTemplate
Slide of COPYRIGHT by the contributing authors (last changed by ShaughanLavine)2007-10-19T08:29:01ZShaughanLavineFullSchemasandCategoricitySlideTemplate
http://zillion.homelinux.com/twiki/bin/view/Discussion/FullSchemasandCategoricitySlideTemplate
Slide of COPYRIGHT by the contributing authors ShaughanLavine 17 Mar 2005 http://www.forskning.no/Artikler/2002/juni/1023116423.71: (last changed by ShaughanLavine)2007-09-29T10:04:24ZShaughanLavineHowtoTalkwithStrangers
http://zillion.homelinux.com/twiki/bin/view/Discussion/HowtoTalkwithStrangers
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 ... (last changed by ShaughanLavine)2007-02-25T04:44:33ZShaughanLavineWinterReadingGroupII
http://zillion.homelinux.com/twiki/bin/view/Discussion/WinterReadingGroupII
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 ... (last changed by ShaughanLavine)2007-02-25T02:20:12ZShaughanLavineVagueReferringTermsSlideTemplate
http://zillion.homelinux.com/twiki/bin/view/Discussion/VagueReferringTermsSlideTemplate
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 ... (last changed by ShaughanLavine)2007-02-25T02:15:22ZShaughanLavineSummerReadingGroupII
http://zillion.homelinux.com/twiki/bin/view/Discussion/SummerReadingGroupII
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 ... (last changed by ShaughanLavine)2007-02-25T02:12:53ZShaughanLavineHowtoTalkwithStrangersSlideTemplate
http://zillion.homelinux.com/twiki/bin/view/Discussion/HowtoTalkwithStrangersSlideTemplate
Slide of COPYRIGHT by the contributing authors ShaughanLavine 20 Sep 2005 (last changed by ShaughanLavine)2007-02-25T02:03:04ZShaughanLavineComprehensionSlideTemplate
http://zillion.homelinux.com/twiki/bin/view/Discussion/ComprehensionSlideTemplate
Slide of COPYRIGHT by the contributing authors (last changed by ShaughanLavine)2007-02-25T02:00:15ZShaughanLavineFullSchemasandCategoricityHandout
http://zillion.homelinux.com/twiki/bin/view/Discussion/FullSchemasandCategoricityHandout
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 ... (last changed by ShaughanLavine)2007-02-23T20:23:54ZShaughanLavineFullSchemasandCategoricity
http://zillion.homelinux.com/twiki/bin/view/Discussion/FullSchemasandCategoricity
Full Schemas and Categoricity FullSchemasandCategoricityHandout Thanks Thanks for inviting me. Full Schemas and Categoricity What I intend to do today is introduce ... (last changed by ShaughanLavine)2007-02-23T20:23:13ZShaughanLavineWinterReadingGroup
http://zillion.homelinux.com/twiki/bin/view/Discussion/WinterReadingGroup
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 ... (last changed by ShaughanLavine)2007-02-23T14:15:12ZShaughanLavineWhatIDontComprehendAboutComprehension
http://zillion.homelinux.com/twiki/bin/view/Discussion/WhatIDontComprehendAboutComprehension
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 ... (last changed by ShaughanLavine)2007-02-23T14:13:54ZShaughanLavineVagueReferringTermsHandout
http://zillion.homelinux.com/twiki/bin/view/Discussion/VagueReferringTermsHandout
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 ... (last changed by ShaughanLavine)2007-02-23T07:42:55ZShaughanLavineVagueReferringTerms
http://zillion.homelinux.com/twiki/bin/view/Discussion/VagueReferringTerms
Vague Referring Terms VagueReferringTermsHandout Thanks Thanks for inviting me. A Precise Formalization of Vagueness. The simple picture is that a context for ... (last changed by ShaughanLavine)2007-02-23T07:37:36ZShaughanLavineSummerReadingGroup
http://zillion.homelinux.com/twiki/bin/view/Discussion/SummerReadingGroup
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 ... (last changed by ShaughanLavine)2007-02-23T07:19:23ZShaughanLavineProofThatPrimitiveRecursionIsEssentialToolTip
http://zillion.homelinux.com/twiki/bin/view/Discussion/ProofThatPrimitiveRecursionIsEssentialToolTip
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 ... (last changed by ShaughanLavine)2007-02-23T07:16:36ZShaughanLavine