Paradoxes of rational agency and formal systems that verify their own soundness

We consider extensions of Peano arithmetic which include an assertibility predicate. Any such system which is arithmetically sound effectively verifies its own soundness. This leads to the resolution of a range of paradoxes involving rational agents who are licensed to act under precisely defined conditions.Comment: 10 page

Erasing Red Lines: Part 3 - Building Community Wealth

Erasing Red Lines of discrimination and inequality from our map is a monumental task that will require transformational systems-change. As community-based organizations are demonstrating the possibilities of alternative systems in specific geographic places, the questions of (1) how to bring those efforts to scale, and (2) how public policies might change in response to the lessons learned from those efforts, require greater attention. Building on the previous installment of this series, this report engages with aspects of these two questions by: (a) further unpacking some of the beliefs, values, and goals that define the current economic system; (b) summarizing and synthesizing selected ideas from the literature to describe mental models that might underwrite a “next system”; and (c) relating a public policy case study from Buffalo, NY, in which a City-run program was redesigned to be a vehicle for bottom-up community empowerment as opposed to a tool for top-down command-and-control. The case study shows how the program redesign implicitly reflects, and explicitly embraces, some of the “next system” mental models that are outlined in the report. For these and other reasons, the program has received (inter)national recognition, and researchers have argued that it might offer budding insights for how local governments can begin reorienting their existing policies away from goals of growth that support the status quo, and toward goals of equity and community wealth-building. The report concludes with a summary of the case study’s practical lessons for policy development moving forward

Coordination, Cooperation, and Collaboration: Defining the C3 Framework

The term C3 refers to the framework of coordinative, cooperative and collaborative relationships within the realm of external supply chain partnerships. Each unique partnership offers both benefits and challenges within a supply chain and must be aligned with company and supply chain strategy in order to achieve maximum effectiveness. This paper aims to fill the current void in supply chain literature concerning C3 by defining each term based upon current supply chain research as well as give the most prevalent characteristics and differences between each “C” in this phase model. This research is then compared to the industry through a case study of a major international retailer. Finally, we propose a set of propositions that organizations can use to assess at what level their external relationships reside within the phase model as well as how companies move and evolve their relationships between the levels and what the trigger mechanisms are in this evolution

Logical consequence in modal logic II: Some semantic systems for S4

ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253)