The correctness conditions for an illocutionary act involve the state of the program and its inputs and outputs. The correctness conditions for a perlocutionary act depends also on events in the world.

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

• The correctness of programs is partly defined in terms of proper performance of the speech acts. Answers should be truthful and responsive, and promises should be kept. Sentences of logic expressing these forms of correctness can be generated automatically from the form of the program.claim0.818
  Second abstract claim.
• Abstract performatives include purely internal actions such as commitments not necessarily expressed in output, but on whose fulfillment the correctness of the program depends.quote0.774
  Definition of abstract performative, a core invention of the paper.
• What type 1 and type 2 obligations are, e.g. the legal requirements they impose, how they are to be treated when they conflict with other considerations, and the consequences of their non-fulfillment, is subject to institutional definition.claim0.772
  Claim that obligation types are institution-dependent.
• Perlocutionary Actsconcept0.767
  Speech acts whose success depends on effects in the world external to program; harder to verify than illocutionary acts.
• Elephant programs that interact non-trivially with the outside world can have both input-output specifications, relating the programs inputs and outputs, and accomplishment specifications concerning what the program accomplishes in the world. These concepts are respectively generalizations of the philosophers' illocutionary and perlocutionary speech acts.claim0.766
  Fifth abstract claim.
• Proving that a program meets accomplishment specifications must be based on assumptions about the world, the information it makes available to the program and the effects of the program's actions as well as on facts about the program itself.claim0.765
  Claim about the nature of accomplishment verification.
• Illocutionary Actsconcept0.761
  Speech acts whose success depends only on program state and I/O; distinguished from perlocutionary acts in Elephant framework.
• This theory doesn't have to correspond exactly to human behavior or social customs; we only need analogs useful for program correctness.claim0.757
  The speech act theory for programming can be simpler than human models.