TWiki> Discussion Web>WebRss (16 Aug 2004, PeterThoeny )EditAttach
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-us Copyright 2009 by contributing authors Shaughan Lavine [shaughanREMOVE@q.com] The contributing authors of TWiki TWiki Powered by TWiki.Discussion http://zillion.homelinux.com/twiki/bin/view/Discussion http://zillion.homelinux.com/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif VagueReferringTermsHandout 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 TWikiGuest) 2009-11-08T05:20:01Z guest FullSchemasandCategoricityHandout 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 TWikiGuest) 2009-11-05T11:09:22Z guest FullSchemasandCategoricity 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 TWikiGuest) 2009-11-05T11:01:47Z guest SummerReadingGroup 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 TWikiGuest) 2009-11-05T10:48:14Z guest WhatIDontComprehendAboutComprehension 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 TWikiGuest) 2009-11-05T05:35:55Z guest HomogeneityToolTip http://zillion.homelinux.com/twiki/bin/view/Discussion/HomogeneityToolTip 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 % ... (last changed by TWikiGuest) 2009-11-05T05:07:36Z guest HowtoTalkwithStrangers 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 TWikiGuest) 2009-11-03T09:09:02Z guest VagueReferringTerms 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 TWikiGuest) 2009-11-03T09:07:29Z guest SummerReadingGroupII 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 TWikiGuest) 2009-11-02T20:06:05Z guest WinterReadingGroup 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 TWikiGuest) 2009-11-02T20:05:05Z guest ProofThatPrimitiveRecursionIsEssentialToolTip 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 TWikiGuest) 2009-11-02T20:03:45Z guest FullSchemasandCategoricityVariableTypesToolTip http://zillion.homelinux.com/twiki/bin/view/Discussion/FullSchemasandCategoricityVariableTypesToolTip 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 ... (last changed by TWikiGuest) 2009-11-02T20:03:44Z guest FullSchemasandCategoricitySubstitutabilityToolTip http://zillion.homelinux.com/twiki/bin/view/Discussion/FullSchemasandCategoricitySubstitutabilityToolTip 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 ... (last changed by TWikiGuest) 2009-11-02T20:03:43Z guest WebLeftBar http://zillion.homelinux.com/twiki/bin/view/Discussion/WebLeftBar " warn "off"}% nop (last changed by TWikiAdminGroup) 2009-10-05T04:13:39Z admin ShaughanSlideTemplate http://zillion.homelinux.com/twiki/bin/view/Discussion/ShaughanSlideTemplate Slide of COPYRIGHT by the contributing authors (last changed by ShaughanLavine) 2007-10-19T08:29:01Z ShaughanLavine FullSchemasandCategoricitySlideTemplate 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:24Z ShaughanLavine

Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | More topic actions
Topic revision: r2 - 16 Aug 2004 - 03:27:17 - PeterThoeny
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback