Bureaucrats, Comment administrators, editor, Interface administrators, Administrators (Semantic MediaWiki), Curators (Semantic MediaWiki), Suppressors, Administrators, Widget editors
11,019
edits
Changes
Mechanism of Compatibility (view source)
Revision as of 21:09, 9 October 2021
, 21:09, 9 October 2021no edit summary
|History=The first scientonomic account of compatibility, [[The Zeroth Law (Harder-2015)|the zeroth law]], was proposed by Rory Harder in 2013. It was meant to address the issues with an earlier formulation by Barseghyan which rendered inconsistency-toleration impossible. By divorcing the notion of [[Compatibility|compatibility]] from that of ''consistency'', Harder's formulation made it possible for agents to simultaneously accept mutually inconsistent theories.[[CiteRef::Barseghyan (2015)|p. 153]]
In 2018, [[Patrick Fraser]] and [[Ameer Sarwar]] argued that Harder's formulation of the zeroth law is a tautology and that its content can be recovered from the definition of [[Compatibility (Fraser-Sarwar-2018)|compatibility]]. They formulated a [[Compatibility Corollary (Fraser-Sarwar-2018)|corollary]] which preserves this content. They also argued that a new ''diachronic'' law of compatibility is needed. [[The Law of Compatibility (Fraser-Sarwar-2018)|The law they proposed]] spelled out under what conditions a pair of elements became to be considered compatible. [[CiteRef::Fraser and Sarwar (2018)]] The law became accepted in 2021.
|Current View=
|Page Status=Needs Editing