Notes on Gibbard's theorem
| Abstract | Let L be a sentential (object) language containing atoms ‘A’, ‘B’, . . . , and two logical connectives ‘&’ and ‘→’. In addition to these two logical connectives, L will also contain another binary connective ‘ ’, which is intended to be interpreted as the English indicative. In the meta-language for L , we will have two meta-linguistic operations: ‘ ’ and ‘ ’. ‘ ’ is a binary relation between individual sentences in L . It will be interpreted as “single premise entailment” (or “single premise deducibility in L ”). ‘ ’ is a monadic predicate on sentences of L . It will be interpreted as “logical truth of the logic of L ” (or “theorem of the logic of L ”). We will not presuppose anything about the relationship between ‘ ’ and ‘ ’. Rather, we will state explicitly all assumptions about these meta-theoretic relations that will be required for Gibbard’s Theorem. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesAlexander Paseau (2011). Proofs of the Compactness Theorem. History and Philosophy of Logic 31 (1):73-98.
M. Dusche (1995). Interpreted Logical Forms as Objects of the Attitudes. Journal of Logic, Language and Information 4 (4):301-315.
Curtis Franks (2009). The Gödelian Inferences. History and Philosophy of Logic 30 (3):241-256.
Dale Jacquette (2010). Circularity or Lacunae in Tarski's Truth-Schemata. Journal of Logic, Language and Information 19 (3).
Mark Howard (1988). A Proofless Proof of the Barwise Compactness Theorem. Journal of Symbolic Logic 53 (2):597-602.
Volker Halbach, Hannes Leitgeb & Philip Welch (2003). Possible-Worlds Semantics for Modal Notions Conceived as Predicates. Journal of Philosophical Logic 32 (2):179-223.
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
Victor Harnik & Michael Makkai (1976). Applications of Vaught Sentences and the Covering Theorem. Journal of Symbolic Logic 41 (1):171-187.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,586 of 549,069 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
