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

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)