30,278 research outputs found

    The Double-Movement Model of Forgiveness in Buddhist and Christian Rituals

    Get PDF
    We offer a model of moral reform and regeneration that involves a wrong-doer making two movements: on the one hand, he identifies with himself as the one who did the act, while he also intentionally moves away from that self (or set of desires and intentions) and moves toward a transformed identity. We see this model at work in the formal practice of contrition and reform in Christian and Buddhist rites. This paper is part of a broader project we are undertaking on the philosophy of forgivenes

    Indexed linear logic and higher-order model checking

    Full text link
    In recent work, Kobayashi observed that the acceptance by an alternating tree automaton A of an infinite tree T generated by a higher-order recursion scheme G may be formulated as the typability of the recursion scheme G in an appropriate intersection type system associated to the automaton A. The purpose of this article is to establish a clean connection between this line of work and Bucciarelli and Ehrhard's indexed linear logic. This is achieved in two steps. First, we recast Kobayashi's result in an equivalent infinitary intersection type system where intersection is not idempotent anymore. Then, we show that the resulting type system is a fragment of an infinitary version of Bucciarelli and Ehrhard's indexed linear logic. While this work is very preliminary and does not integrate key ingredients of higher-order model-checking like priorities, it reveals an interesting and promising connection between higher-order model-checking and linear logic.Comment: In Proceedings ITRS 2014, arXiv:1503.0437

    Why stagnant? Behind the scenes in Indonesia's reformed state asset management policies

    Get PDF
    This study seeks to answer the question of “why is policy innovation in Indonesia, in particular reformed state asset management laws and regulations, stagnant?” through an empirical and qualitative approach, identifying and exploring potential impeding influences to the full and equal implementation of said laws and regulations. The policies and regulations governing the practice of state asset management has emerged as an urgent question among many countries worldwide (Conway, 2006; Dow, Gillies, Nichols, & Polen, 2006; Kaganova, McKellar, & Peterson, 2006; McKellar, 2006b) for there is heightened awareness of the complex and crucial role that state assets play in public service provision. Indonesia is an example of such country, introducing a ‘big-bang’ reform in state asset management laws, policies, regulations, and technical guidelines. Two main reasons propelled said policy innovation: a) world-wide common challenges in state asset management practices - such as incomplete information system, accountability, and governance adherence/conceptualisation (Kaganova, McKellar and Peterson 2006); and b) unfavourable state assets audit results in all regional governments across Indonesia. The latter reasoning is emphasised, as the Indonesian government admits to past neglect in ensuring efficiency and best practice in its state asset management practices. Prior to reform there was euphoria of building and developing state assets and public infrastructure to support government programs of the day. Although this euphoria resulted in high growth within Indonesia, there seems to be little attention paid to how state assets bought/built is managed. Up until 2003-2004 state asset management is considered to be minimal; inventory of assets is done manually, there is incomplete public sector accounting standards, and incomplete financial reporting standards (Hadiyanto 2009). During that time transparency, accountability, and maintenance state assets was not the main focus, be it by the government or the society itself (Hadiyanto 2009). Indonesia exemplified its enthusiasm in reforming state asset management policies and practices through the establishment of the Directorate General of State Assets in 2006. The Directorate General of State Assets have stressed the new direction that it is taking state asset management laws and policies through the introduction of Republic of Indonesia Law Number 38 Year 2008, which is an amended regulation overruling Republic of Indonesia Law Number 6 Year 2006 on Central/Regional Government State Asset Management (Hadiyanto, 2009c). Law number 38/2008 aims to further exemplify good governance principles and puts forward a ‘the highest and best use of assets’ principle in state asset management (Hadiyanto, 2009a). The methodology of this study is that of qualitative case study approach, with a triangulated data collection method of document analysis (all relevant state asset management laws, regulations, policies, technical guidelines, and external audit reports), semi-structured interviews, and on-site observation. Empirical data of this study involved a sample of four Indonesian regional governments and 70 interviews, performed during January-July 2010. The analytical approach of this study is that of thematic analysis, in an effort to identify common influences and/or challenges to policy innovation within Indonesia. Based on the empirical data of this study specific impeding influences to state asset management reform is explored, answering the question why innovative policy implementation is stagnant. An in-depth analysis of each influencing factors to state asset management reform, and the attached interviewee’s opinions for each factor, suggests the potential of an ‘excuse rhetoric’; whereby the influencing factors identified are a smoke-screen, or are myths that public policy makers and implementers believe in; as a means to explain innovative policy stagnancy. This study offers insights to Indonesian policy makers interested in ensuring the conceptualisation and full implementation of innovative policies, particularly, although not limited to, within the context of state asset management practices

    TAXES AND EMPLOYMENT SUBSIDIES IN OPTIMAL REDISTRIBUTION PROGRAMS

    Get PDF
    This paper explores how to optimally set tax and transfers when taxation authorities : (1) are uninformed about individuals’ value of time in both market and non-market activities and (2) can observe both market-income and time allocated to market employment. In contrast to much of the optimal income taxation literature, we show that optimal redistribution in this environment involves distorting market employment upwards for low net-income individuals through phased-out wage-contingent employment subsidies, and distorting employment downward for high net-income individuals through positive and increasing marginal income tax rate. We also show that workfare may also be used as part of an optimal redistribution program.Taxation ; Redistribution ; Wage Subsidies Screening

    Taxes and Employment Subsidies in Optimal Redistribution Programs

    Get PDF
    This paper explores how to optimally set tax and transfers when taxation authorities : (1) are uninformed about individuals’ value of time in both market and non-market activities and (2) can observe both market-income and time allocated to market employment. In contrast to much of the optimal income taxation literature, we show that optimal redistribution in this environment involves distorting market employment upwards for low net-income individuals through phased-out wage-contingent employment subsidies, and distorting employment downward for high net-income individuals through positive and increasing marginal income tax rate. We also show that workfare may also be used as part of an optimal redistribution program.Taxation ; Redistribution ; Wage Subsidies Screening

    Biology and Management of the American Shad and Status of the Fisheries, Atlantic Coast of the United States, 1960

    Get PDF
    This paper summarizes current information on the American shad, Alosa sapidissima, and describes the species and its fishery. Emphasis is placed on (1) life history of the fish, (2) condition of the fishery by State and water areas in 1960 compared to 1896 when the last comprehensive description was made, (3) factors responsible for decline in abundance, and (4) management measures. The shad fishery has changed little over the past three-quarters of a century, except in magnitude of yield. Types of shad-fishing gear have remained relatively unchanged, but many improvements have been made in fishing techniques, mostly to achieve economy. In 1896 the estimated catch was more than 50 million pounds. New Jersey ranked first in production with about 14 million pounds, and Virginia second with 11 million pounds. In 1960 the estimated catch was slightly more than 8 million pounds. Maryland ranked first in production with slightly more than 1.5 million pounds, Virginia second with slightly less than 1.4 million pounds, and North Carolina third with about 1.3 million pounds. Biological and economic factors blamed for the decline in shad abundance, such as physical changes in the environment, construction of dams, pollution, over-fishing, and natural cycles of abundance, are discussed. Also discussed are methods used for the rehabilitation and management of the fishery, such as artificial propagation, installation of fish-passage facilities at impoundments, and fishing regulations. With our present knowledge, we can manage individual shad populations; but, we probably cannot restore the shad to its former peak of abundance
    corecore