|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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Lyle 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.
Added to index2010-07-25
Total downloads3 ( #203,804 of 556,837 )
Recent downloads (6 months)1 ( #64,847 of 556,837 )
How can I increase my downloads?