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 in-stance of that property in a different world.
+
::* 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(?) ]