Cookies?
Library Header Image
LSE Research Online LSE Library Services

Completeness theorems, representation theorems: what’s the difference?

Makinson, David C. (2007) Completeness theorems, representation theorems: what’s the difference? In: Rønnow-Rasmussen, Toni, Petersson, Bjorn, Josefsson, Josef and Egonsson, Dan, (eds.) Hommage a Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz. Lunds Universitet, Lund, Sweden.

[img]
Preview
PDF
Download (168Kb) | Preview

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.

Item Type: Book Section
Official URL: http://www.fil.lu.se/hommageawlodek/index.htm
Additional Information: © 2007 David C. Makinson
Library of Congress subject classification: B Philosophy. Psychology. Religion > BC Logic
Sets: Departments > Philosophy, Logic and Scientific Method
Rights: http://www.lse.ac.uk/library/usingTheLibrary/academicSupport/OA/depositYourResearch.aspx
Date Deposited: 18 Feb 2008
URL: http://eprints.lse.ac.uk/3411/

Actions (login required)

Record administration - authorised staff only Record administration - authorised staff only