http://zillion.homelinux.com/twiki/bin/view/Courses The Courses web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2010 by contributing authors Shaughan Lavine [shaughanREMOVE@q.com] The contributing authors of TWiki TWiki http://zillion.homelinux.com/twiki/bin/view/Courses http://zillion.homelinux.com/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif http://zillion.homelinux.com/twiki/bin/view/Courses/PublishContribHistory Last Published Publisher ShaughanLavine Date 07 May 2007 17:13 {PublishContrib}{Dir} c:/home/philosophy/faculty/slavine/public html/ {PublishContrib}{URL} http ... (last changed by TWikiAdminGroup) 2010-03-18T09:02:44Z unknown http://zillion.homelinux.com/twiki/bin/view/Courses/FiniteAxiomatizationToolTip If one used a theory with infinitely many axioms, then it would be necessary to fully specify how to decide whether or not an expression is an axiom but decidability ... (last changed by TWikiAdminGroup) 2010-02-23T09:01:00Z unknown http://zillion.homelinux.com/twiki/bin/view/Courses/PhilosophyofLanguage Philosophy of Language PhilosophyofLanguageSyllabus SomeConventionsandDefinitions AustinNatureofReality ShaughanLavine 18 Jan 2010 (last changed by ShaughanLavine) 2010-02-23T02:28:11Z ShaughanLavine http://zillion.homelinux.com/twiki/bin/view/Courses/DefinitionalExtensions Definitional Extensions and Interpretations Definitional Extensions Let %$T$% be a theory in a in a language (set of constant, predicate, and function symbols) % ... (last changed by TWikiGuest) 2010-02-20T18:32:18Z guest http://zillion.homelinux.com/twiki/bin/view/Courses/SomeBasics Some Basics Variables p. 24 See how the Fates their gifts allot, For %$A$% is happy %$B$% is not, Yet %$B$% is worthy, I dare say, Of more prosperity than %$A$% ... (last changed by TWikiAdminGroup) 2010-02-20T09:01:30Z unknown http://zillion.homelinux.com/twiki/bin/view/Courses/PhilosophyofLanguageSyllabus Philosophy of Language Professor Shaughan Lavine Philosophy 596L Spring 2010 Tuesday ... (last changed by ShaughanLavine) 2010-02-16T23:05:26Z ShaughanLavine http://zillion.homelinux.com/twiki/bin/view/Courses/MetaphysicsSyllabus Metaphysics Phil4/540 Fall 2008 Tuesday and Thursday9:30 A.M. 10:45 A.M.Room 304 Languages Shaughan Lavine Syllabus Overview A syllabus may be viewed by the University ... (last changed by ShaughanLavine) 2010-02-16T18:09:25Z ShaughanLavine http://zillion.homelinux.com/twiki/bin/view/Courses/CurryFormalism Curry's Philosophy: Formalism This article is out of sequence: he assumes you know what Hilbert's Program is and what (Brouwer's) intuitionism is. We'll read those ... (last changed by TWikiGuest) 2010-02-14T08:55:00Z guest http://zillion.homelinux.com/twiki/bin/view/Courses/WeirdTheory Weir's Theory, the mathematical background Logicians use theories in two ways: they reason about them and they reason within them. When you reason about a theory ... (last changed by TWikiAdminGroup) 2010-02-13T09:01:58Z unknown http://zillion.homelinux.com/twiki/bin/view/Courses/ChurchTuringThesis Church's Thesis Church's thesis is that the recursive functions, recursively decidable, enumerable sets are the (intuitively) computable functions, decidable sets ... (last changed by TWikiGuest) 2010-01-31T15:46:30Z guest http://zillion.homelinux.com/twiki/bin/view/Courses/WebHome This web includes course syllabi, class notes and the like for the following courses: PhilosophyofLanguage IntroductiontothePhilosophyofScience IssuesandMethods ... (last changed by ShaughanLavine) 2010-01-18T19:22:00Z ShaughanLavine http://zillion.homelinux.com/twiki/bin/view/Courses/WittgensteinSellarsBrandomUseTheories Use Theories Entity theories of meaning take referring terms as the paradigm words. They plausibly have associated entities, and so other words, it seems, must also ... (last changed by ShaughanLavine) 2010-01-18T19:21:11Z ShaughanLavine http://zillion.homelinux.com/twiki/bin/view/Courses/UsesandMeaningofTruth Truth Tarski showed how to give a theory of truth for a formalized language that permits one to derive the T sentences for every sentence of the language, which shows ... (last changed by ShaughanLavine) 2010-01-18T19:21:10Z ShaughanLavine http://zillion.homelinux.com/twiki/bin/view/Courses/WhatIsPragmatics What is Pragmatics? The traditional division of linguistics is into Philology, Phonology, Syntax, Semantics, and Pragmatics. Pragmatics is the study of the use of ... (last changed by ShaughanLavine) 2010-01-18T19:21:10Z ShaughanLavine http://zillion.homelinux.com/twiki/bin/view/Courses/SomeConventionsandDefinitions Use and Mention In this class, we shall always use words, never mention them, and so Pantanjali has four syllables is false. There are four ways of producing a name ... (last changed by ShaughanLavine) 2010-01-18T19:21:09Z ShaughanLavine http://zillion.homelinux.com/twiki/bin/view/Courses/TruthasMeaning Truth as Meaning Davidson views language as a human activity, not an abstract system of formal rules. His criteria of success are related to accounting for human linguistic ... (last changed by ShaughanLavine) 2010-01-18T19:21:09Z ShaughanLavine