claim

active

claim: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

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.

Claim that obligation types are institution-dependent.

Source paper

extracted_from

Elephant 2000: A Programming Language Based on Speech Acts

McCarthy, John

Neighborhood — ranked by edge-count

Claims (1)

claim

This theory doesn't have to correspond exactly to human behavior or social customs; we only need analogs useful for program correctness.
extends
The speech act theory for programming can be simpler than human models.

Questions (1)

question

What do we want to say about airline reservations to our program?
gates
Question guiding minimal specification.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

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

type 1 and type 2 obligationsconcept0.882
Proposed abstract obligation types for specifying programs, e.g., a reservation incurs a type 1 obligation.
obligationsconcept0.795
Legal or social duties incurred through speech acts like promises, important for commercial programs.
For some purposes, it will be convenient to settle for specifications in terms of fulfilling internal commitments, and sometimes the public character of promises will have to be taken into account in the specifications.claim0.791
Trade-off between internal and public obligations.
Commitments are like specifications, but they are to be considered as dynamic, i.e. specific commitments are created as the program runs.claim0.781
Dynamic nature of commitments.
We also propose to handle external obligations in an abstract way.claim0.779
Proposal for type 1/type 2 obligations.
What degree of concern and care should we exhibit toward the many diverse agents around us, and what criteria do we use to identify sentience, capacity for suffering, and other properties that have moral implications?question0.773
Central question motivating the paper.
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.claim0.772
Distinction between illocutionary and perlocutionary correctness.
Programs that engage in commercial transactions assume obligations on behalf of their owners in exchange for obligations assumed by other entities. It may be part of the specifications of an Elephant 2000 programs that these obligations are exchanged as intended, and this too can be expressed by a logical sentence.claim0.771
Sixth abstract claim.