Completeness theorems, representation theorems: what's the difference?
| Abstract | Most areas of logic can be approached either semantically or syntactically. Typically, the approaches are linked through a completeness or representation theorem. The two kinds of theorem serve a similar purpose, yet there also seems to be some residual distinction between them. In what respects do they differ, and how important are the differences? Can we have one without the other? We discuss these questions, with examples from a variety of different logical systems. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesLyle Zynda (2000). Representation Theorems and Realism About Degrees of Belief. Philosophy of Science 67 (1):45-69.
Adriana Galli, Marta Sagastume & Gonzalo E. Reyes (2000). Completeness Theorems Via the Double Dual Functor. Studia Logica 64 (1):61-81.
Paolo Gentilini (1993). Syntactical Results on the Arithmetical Completeness of Modal Logic. Studia Logica 52 (4):549 - 564.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Christopher J. G. Meacham & Jonathan Weisberg (2011). Representation Theorems and the Foundations of Decision Theory. Australasian Journal of Philosophy 89 (4):641-663.
Norihiro Kamide (2009). Proof Systems Combining Classical and Paraconsistent Negations. Studia Logica 91 (2):217 - 238.
Peter Milne (2004). Algebras of Intervals and a Logic of Conditional Assertions. Journal of Philosophical Logic 33 (5):497-548.
Kenneth Harris & Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51-55.
Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51 - 55.
Analytics
Monthly downloads |
Added to index2010-07-25Total downloads3 ( #203,804 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
