Promise Theory as a Tool for Informaticians
DOI:
https://doi.org/10.36285/tm.35Abstract
Promise theory was designed and developed from 2005 onwards by Mark Burgess and his coworkers. It totalises the notion of a promise so that it applies to both animate and inanimate promisers. The focus of promise theory is on applications in informatics and systems design. This paper extends the account of promises by providing more detailed requirements on promises. In particular, the requirement of determinacy, the requirement of decomposition of aggregate agents, and the feature of a promise bias are introduced. The paper further includes an account of threats, as well as of risks, both viewed as an extension of promise theory. It is finally indicated by means of a series of informal examples how and where various kinds of promises and threats may occur in informatics.
References
Jan A. Bergstra. Informaticology: combining Computer Science, Data Science, and Fiction Science. (2012).
J.A. Bergstra. Division by zero, a survey of options. Transmathematica, ISSN 2632-9212, (published 2019-06-25 2019).
Jan A. Bergstra and Mark Burgess. A static theory of promises. (2014).
Jan A. Bergstra and Mark Burgess. Promise Theory: Principles and Applications. χtAxis Press. ISBN9781495437779 (2014), second edition (2019).
Jan A. Bergstra and Mark Burgess. Promise Theory: Case Study on the 2016 Brexit Vote. χtAxis Press. Kindle version: ASIN B074V9BW1C, Paperback: ISBN-13 987-1974545339 (2017).
Jan A. Bergstra and Mark Burgess. Money, Ownership, and Agency, as an Application of Promise Theory. χtAxis Press. ISBN9781696588379 (2019).
Jan A. Bergstra and Mark Burgess. A promise theoretic account of the Boeing 737 MCAS affair. (2019).
Jan A. Bergstra and Mark Burgess. Candidate software process flaws for the Boeing 737 MCAS algorithm and risks for a proposed update. (2020).
Jan A. Bergstra. Promises and Threats by Asymmetric Nuclear-WeaponStates. χtAxis Press. ISBN9781673128215 (2019).
Mark Burgess. Spacetimes with Semantics. (2014).
Mark Burgess. Spacetimes with Semantics II. (2015).
Mark Burgess. Spacetimes with Semantics III. (2016).
Mark Burgess. Thinking in Promises: Designing Systems for Cooperation. O’Reilly Media (2015).
John Gerring. What Makes a Concept Good? A Criterial Framework for Understanding Concept Formation in the Social Sciences. Polity 31 (3)357–393, (1999).
J. Andrew Jensen. Nuclear Weapons Proliferation Theory and the Case of Iran. Hinckley Journal of Politics 9, 29–41, (2008).
C. A. Middelburg. A survey of paraconsistent logics. (2011).
Bruno Latour. Reassembling the social: An introduction to actor-network-theory. Oxford university press, (2005).
James Edwin Mahon. The definition of lying and deception. The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward N.Zalta (ed.), (2016).
Katrine Nørgaard. Autonomous Weapon Systems and Risk Management in Hybrid Networks. In: In “The United Nations Convention on Certain Conventional Weapons”. Royal Danish Defense College(2016).
David Owens. A simple theory of promising. Philosophical Review 115 (1)51–77, (2006).
Robert Powell. The Theoretical Foundations of Strategic Nuclear Deterrence. Political Science Quarterly 100 (1) 75–96, (1985).
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2020 Jan Aldert Bergstra
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Authors retain copyright and, if appropriate, performance rights but licence the journal to publish submissions. The lead author confirms that the submission is bound by the CC Attributtion Share Alike 4.0 licence.
