Individual Constants

Individual constants are simply symbols that are used to refer to some fixed individual object. They are the FOL analogue of names.

Mike
1

Names in FOL are quite similar to names in English except that names in FOL must refer to exactly one object.

The properties of names in FOL can be summarised as follows:

• Every name must name an object
• No name can name more than one object
• An object can have more than one name, or no name at all.