Wayic architectonic - The fundamental, logically necessary structure of the wayic according to its essential purpose, abstracting from all technical options and other variables. : join `logically necessary structure` @ `^^architectonic$` @ lexicon.brec / Much of the structure I define indirectly by functional as opposed to formal predication. ────────── personal ┈┈┈┈┈┈┈┈┈┈ U. Personally useful. : join G. Orients the user to an endmost personal goal. : join Gi. Affords the user formation of an aimed way of life. \ re ‘i’, see `architecture.brec` : join ──────── social ┈┈┈┈┈┈┈┈ X. Extends throughout society. : join H. Holds in society. : join Fa. Alterable in crucial functions by copy and change. : join Fi. Interoperable to altered copies in crucial functions. : join ────────── rightful ┈┈┈┈┈┈┈┈┈┈ G. Orients the user to an endmost goal. : join R. Infringes no right. : join Rg. Infringes no rightful orientation to endmost goals. : join Rf. Infringes no rightful promotion of personal freedom. : join ━━━━━ L o g i c o f s t r u c t u r a l n e c e s s i t y ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ ━━━━━━━━━━ Personal ────────── U. Personally useful. ∵ U inheres in P. G. Orients the user to an endmost personal goal. ∵ G inheres in P. ∵ P concerns the formation of aimed ways of life. ∵ Intrinsic to an aimed way of life is a personal goal, especially a final or endmost goal. ∵ Intrinsic to an aimed way of life is an orientation to the goal. ∵ Intrinsic to an aimed way of life is a choice of means in respect of the goal. Gi. Affords the user formation of an aimed way of life. ∵ Gi inheres in P. ━━━━━━━━ Social ──────── X. Extends throughout society. ∵ X inheres in P. H. Holds in society. ∵ H inheres in P. Fa. Alterable in crucial functions by copy and change. ∵ No right is infringed. ∵ R. ∵ Omitting Fa would risk infringing a right. : join `^^• Omitting Fa or Fi would risk infringing a right.$` Fi. Interoperable to altered copies in crucial functions. - Operational data for crucial functions are visible to any altered copy that depends on them. ∵ No right is infringed. ∵ R. ∵ Omitting Fi would risk infringing a right. : join `^^• Omitting Fa or Fi would risk infringing a right.$` ━━━━━━━━━━ Rightful ────────── G. Orients the user to an endmost goal. : join `^^G\.` @ `^^ Personal$` R. Infringes no right. ∵ P asserts rightful action, which implies R. Rf. Infringes no rightful promotion of personal freedom. ∵ No right is infringed. ∵ R. ∵ Rightful promotion of personal freedom is a right. : see right#right_to_F Rg. Infringes no rightful orientation to endmost goals. ∵ No right is infringed. ∵ R. ∵ Rightful orientation to endmost goals is a right. : see right#right_to_G ┈┈┈┈┈ p r e m i s e s ┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈ • Omitting Fa or Fi would risk infringing a right. ∵ Omitting Fa or Fi would allow the development of a personal service monopoly. ∵ The wayic provides a personal service. ∵ U. ∵ The wayic is socially extended. ∵ X. ∵ Any socially extended personal service is liable to network effects that tilt the competitive landscape and risk tipping it into a monopoly. ∵ Under the pressure of network effects, only Fa and Fi together can hold a competitive landscape level. ∵ A personal service monopoly would likely contravene a right to F. ∵ Any F rightful, independent attempt to correct the service supply would likely be impeded by the monopoly. ∵ Monopolies tend to impede independent attempts at supply correction. ∵ Some such F rightful, independent attempts would be likely. ∵ Some F *form* independent attempts would be likely. ∵ All service supplies have faults. ∵ Faults in the supply of personal services tend to restrict personal freedom. ∵ Supply faults tend to restrict utility and use of a service. ∵ To restrict utility or use of a personal service is to restrict personal freedom. ∵ Correction of such restrictive faults would be in demand. ∵ People tend to oppose restrictions on their personal freedom. ∵ Any such correction would inherently be F form. ∵ Some of these F-form attempts would likely be F rightful. ∵ Not all F-form attempts would likely be wrong. ∵ Not being wrong, an F-form attempt is thereby F rightful. P. The essential purpose of the wayic is as follows. : join purpose.brec \ This file has been dedicated by Michael Allan to the public domain. To the extent possible by law, \ Michael Allan has waived all copyright and related or neighbouring rights to this file under the terms \ of a CC0 1.0 waiver. https://creativecommons.org/publicdomain/zero/1.0/