This theory doesn't have to correspond exactly to human behavior or social customs; we only need analogs useful for program correctness.

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• The results are more widely applicable; similar results will come from asking people in other cultures to answer analogous questions.claim0.796
  Universalist claim predicting cross-cultural generality.
• Although none of these behaviours necessarily require sentience, they are often proposed as evidence of animal sentience because of their subjective correlates in humans.claim0.796
  Acknowledgment that the same behaviours are used to infer sentience in animals despite not proving it.
• The same charitable interpretation must be extended to all systems that display observable response patterns that are consistent with animal cognition, including artificial intelligences, metaplastic materials, and robotic systems.claim0.789
  Call to extend the inference of sentience to non-biological systems as well.
• No special theory of programming is required to prove properties of programs if they are expressed as logical sentences.claim0.787
  Key claim of the Algol 48/50 and Elephant approach.
• Behavioural patterns associated with subjective experiences in humans are considered valid for inferring cognition in non-human animals but not in diverse other systems including plants.claim0.785
  The double standard pointed out by S&C and endorsed by the authors.
• A formal model fails to convey the essential meaning of a concept because it treats all behaviors equally and does not distinguish motivating behaviors.claim0.783
  Critique of using formal specifications alone for concept definition.
• Under these conditions, what is done next always has a natural and comfortable relation to what existed before: it has a similar structure and never violates the previously existing structure.claim0.782
  Characteristic of a structure-preserving process.
• Rules are wrongly formulated and processes are too rigid to allow adaptation; they cannot allow life to occur.claim0.780
  General statement that current rules and processes are fundamentally incompatible with living structure.