Chapter

Logical Preliminaries to a Formal Theory of Rules

David Braybrooke, Bryson Brown, Peter K. Schotch and Laura Byrne

in Logic on the Track of Social Change

Published in print December 1995 | ISBN: 9780198235309
Published online October 2011 | e-ISBN: 9780191679056 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780198235309.003.0003

Series: Clarendon Library of Logic and Philosophy

Logical Preliminaries to a Formal Theory of Rules

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

This chapter lays out the ingredients of the logic in which the account of rules is to be formalized, and says something about its genesis. We assume no great proficiency with matters of formal science, but neither do we deny that a certain amount of goodwill, or at least patience, will be required of those who are new to the subject, or those whose formerly robust understanding of symbolic material has become somewhat withered by time. Most of the notation used is standard. Objects with which the formal theory deals are categorized as follows: sentences, individuals, predicates, routines, and rules. Also, the language in the theory is described (especially its semantics) and makes use of the vocabulary of set theory. The chapter explains these categories in more detail and then briefly annotates the set theoretic notions used.

Keywords: logic; rules; notations; sentences; individuals; predicates; routines

Chapter.  5794 words. 

Subjects: Philosophy of Mathematics and Logic

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.