Chapter

Intensional Logic

George Bealer

in Quality and Concept

Published in print May 1982 | ISBN: 9780198244288
Published online October 2011 | e-ISBN: 9780191680762 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780198244288.003.0003

Series: Clarendon Library of Logic and Philosophy

Intensional Logic

Show Summary Details

Preview

This chapter constructs an intensional language called Lω. The semantics for Lω requires a new semantic method, one which harks back to the work of Boole, Peirce, and Schroder. This algebraic semantic method does not appeal to possible worlds even as a heuristic. The heuristic that is used is simply that of properties, relations, and propositions, taken at face value, and fundamental logical operations on properties, relations, and propositions. Using this new algebraic method, the chapter defines two notions of validity, one for the first traditional conception of intensional entities and one for the second traditional conception. Then, surprisingly as it might seem, the logics for Lω relative to these two notions of validity are found to be both sound and complete. This way, two complete theories of PRPs are obtained, one ideally suited for modal matters and the other for intentional matters.

Keywords: intensional language; semantics; algebraic semantic method; heuristic; intensional entities

Chapter.  8423 words. 

Subjects: Metaphysics

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.