Difference between revisions of "Edu:Rigidity"
From IAOA Wiki
(Created page with "== Rigidity == Rigidity is a property of relations/properties, a meta-property. It is defined in terms of modal logic. A property of an entity is essential to that entity i...") |
(Revised formatting.) |
||
Line 1: | Line 1: | ||
== Rigidity == | == Rigidity == | ||
− | Rigidity is a property of relations/properties, a meta-property. It is defined in terms of modal logic. | + | :1. Rigidity is a property of relations/properties, a meta-property. It is defined in terms of modal logic. |
− | A property of an entity is essential to that entity if it must be true of it in every possible world, i.e. if it necessarily holds for that entity. | + | ::* A [[Edu:property|'''property''']] of an entity is essential to that entity if it must be true of it in every possible world, i.e. if it necessarily holds for that entity. |
− | A property is rigid if it is essential to all its possible instances; an instance of a rigid property cannot stop being an | + | ::* A [[Edu:property|'''property''']] is '''''rigid''''' if it is essential to all its possible instances; an instance of a rigid property cannot stop being an instance of that property in a different world. |
− | Rigidity as a meta-property is not “inherited” by sub-properties of properties that carry it. [ [[Edu:TermlistReferences#GuarinoWelty2003|Guarino & Welty, 2003(?)]] ] | + | ''' Commentary ''' |
+ | * Rigidity as a meta-property is not “inherited” by sub-properties of properties that carry it. [ [[Edu:TermlistReferences#GuarinoWelty2003|Guarino & Welty, 2003(?)]] ] | ||
[[Category:Term|Term]] | [[Category:Term|Term]] |
Latest revision as of 22:00, 14 January 2020
Rigidity
- 1. Rigidity is a property of relations/properties, a meta-property. It is defined in terms of modal logic.
- A property of an entity is essential to that entity if it must be true of it in every possible world, i.e. if it necessarily holds for that entity.
- A property is rigid if it is essential to all its possible instances; an instance of a rigid property cannot stop being an instance of that property in a different world.
Commentary
- Rigidity as a meta-property is not “inherited” by sub-properties of properties that carry it. [ Guarino & Welty, 2003(?) ]