925 resultados para Logic of proofs
Resumo:
How the degree of publicness of goods affect violent conflict? Based on the theoretical model in Esteban and Ray (2001) we find that the effect of the degree of publicness depends on the group size. When the group is small (large), the degree of publicness increases (decreases) the likelihood of conflict. This opens an empirical question that we tackle using microdata from the Colombian conflict at the municipality level. We use three goods with different publicness degree to identify the sign of the effect of publicness on conflict. These goods are coca crops (private good), road density (public good subject to congestion) and average education quality (a purer public good). After dealing with endogeneity issues using an IV approach, we find that the degree of publicness reduces the likelihood of both paramilitary and guerrilla attacks. Moreover, coca production exacerbates conflict and the provision of both public goods mitigates conflict. These results are robust to size, geographical, and welfare controls. Policies that improve public goods provision will help to fight the onset of conflict.
Resumo:
The thesis which follows, entitled ''The Postoccidental Deconstruction and Resignification of 'Modemity': A Critical Analysis", is an exposition and criticism of the critique of occidental modemity found in a group of writings which identify their critique with a "postoccidental" point of view with respect to postcolonial studies. The general problem ofthe investigation concems the significance and reach ofthis critique of modemity in relation to the ongoing debate, in Latín American studies, about the historical relationship between Latín America, as a mu1ticultural/ structurally heterogeneous region, and the industrial societies of Euro pe and North America. A brief Preface explains the genealogy of the author's ideas on this subject Following this preface, the thesis proceeds to analyze the writings in this corpus through an intertextual, schematic approach which singles out two rnajor elements of the postoccidental critique: "coloniality" and "eurocentrism". These two main elements are investigated in the Introduction and Chapters One and Two, in terms of how they distinguish postoccidental analysis from other theoretical tendencias with which it has affinities but whose key concepts it reformu1ates in ways that are key to the unique approach which postoccidental analysis takes to modemity, the nature of the capitalist world system, colonialism, subaltemization, center/periphery and development . Chapter Three attempts a critical analysis of the foregoing postoccidentalist deconstruction according to the following question: to what extent does it succeed in deconstructing "modernity" as a term which refers to a historically articulated set of discourses whose underlying purpose has been to justify European and North American hegemony and structural asymmetries vis-a-vis the peripheries of the capitalist world system, based on an ethnocentric, racialist logic of exploitation and subalternization of non-European peoples? A Conclusion follows Chapter Three.
Resumo:
In this article Geoff Tennant summarises the first half of Imre Lakatos's seminal 1976 book, "Proofs and refutations: the logic of mathematical discovery". Implications are drawn for the classroom treatment of proof.
Resumo:
Most discussions of Immanuel Kant's political theory of international politics focus on his work on Eternal Peace and its normative and empirical relevance for contemporary international relations and international law. Yet for all his concern with peace, Kant's work is characterised by a fascinating preoccupation with the concept of war and its role in human history. The purpose of this essay is to investigate critically Kant's different conceptualisations of war and to evaluate his writing as a critique against contemporary versions of Liberal war and peace, as well as recent attempts to reduce war to an immanent logic of biopolitics.
Resumo:
The Code for Sustainable Homes (the Code) will require new homes in the United Kingdom to be ‘zero carbon’ from 2016. Drawing upon an evolutionary innovation perspective, this paper contributes to a gap in the literature by investigating which low and zero carbon technologies are actually being used by house builders, rather than the prevailing emphasis on the potentiality of these technologies. Using the results from a questionnaire three empirical contributions are made. First, house builders are selecting a narrow range of technologies. Second, these choices are made to minimise the disruption to their standard design and production templates (SDPTs). Finally, the coalescence around a small group of technologies is expected to intensify with solar-based technologies predicted to become more important. This paper challenges the dominant technical rationality in the literature that technical efficiency and cost benefits are the primary drivers for technology selection. These drivers play an important role but one which is mediated by the logic of maintaining the SDPTs of the house builders. This emphasises the need for construction diffusion of innovation theory to be problematized and developed within the context of business and market regimes constrained and reproduced by resilient technological trajectories.
Resumo:
This paper proposes a limitation to epistemological claims to theory building prevalent in critical realist research. While accepting the basic ontological and epistemological positions of the perspective as developed by Roy Bhaskar, it is argued that application in social science has relied on sociological concepts to explain the underlying generative mechanisms, and that in many cases this has been subject to the effects of an anthropocentric constraint. A novel contribution to critical realist research comes from the work and ideas of Gregory Bateson. This is in service of two central goals of critical realism, namely an abductive route to theory building and a commitment to interdisciplinarity. Five aspects of Bateson’s epistemology are introduced: (1) difference, (2) logical levels of abstraction, (3) recursive causal loops, (4) the logic of metaphor, and (5) Bateson’s theory of mind. The comparison between Bateson and Bhaskar’s ideas is seen as a form of double description, illustrative of the point being raised. The paper concludes with an appeal to critical realists to start exploring the writing and outlook of Bateson himself.
Resumo:
Throughout history of painting, the representation of landscape has been considered a laboratory for the human gaze on the world. The First World War and its new approach to the battlefield altered deeply the classical forms of representation, and replaced them with a mechanised and fragmentary vision, which was related with the development of photography and cinema. As Vicente J. Benet has analysed, Hollywod cinema used these deep changes in its filmic versions of the conflict, although it organised them following a narrative logic. In this text we intend to study how the battlefield and, particularly, the trench, are inserted in this logic of the history of landscape painting. We do so through some Hollywood films from the period 1918-1930. Firstly, we approach the trench as a composition value which can structure the image and guide the camera movement. In the second place, we study how it creates a dialog between its inside, melodrama scenery, and the outside, battlefield and danger. In both cases, we conclude that the trench as a form and as a narrative element plays a structuring and integrative role with the storytelling logic.
Resumo:
The commitments and working requirements of abstract, applied, and art of, economics are assessed within an analogy with the fields of inert matter and life. Abstract economics is the pure logic of the phenomenon. Applied positive economics presupposes many distinct abstract sciences. Art presupposes applied economics and direct knowledge of the specificities which characterize the time-space individuality of the phenomenon. This is an indetermination clearly formulated by Senior and Mill; its connection with institutionalism is discussed. The Ricardian Vice is the habit of ignoring the indetermination; its prevalence in mainstream economics is exemplified, and its causes analyzed.
Resumo:
The general commitments and working requirements of abstract, applied, and art of science, including economics, are assessed. Pure economics deals with the logic of the phenomenon. Positive socio-economics presupposes pure economics and many distinct sciences. Art presupposes socio-economics and direct knowledge of the specificities which characterize the time-space individuality of the phenomenon. This indetermination was partially formulated by Senior and Mill; graduate education in economics is considered in its light. The habit of ignoring it is the Ricardian Vice, as named by Schumpeter; the prevalence of the vice is exemplified, and its causes analyzed.
Resumo:
Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic
Resumo:
Fish welfare issues are predicated on understanding whether fish are sentient beings. Therefore, we analyzed the logic of the methodologies used for studying this attribute. We conclude that empirical science is unable to prove or to disprove that fish are sentient beings. Thus, we propose a combined ethical-scientific approach for considering fish as sentient beings. The most difficult ongoing question is to determine which conditions fish prefer. Approaches to assess fish preferences should be rigorously and cautiously employed. In light of these considerations, attempts to establish physiological standards for fish welfare are discouraged, and a preference-based definition of fish welfare is proposed.
Resumo:
UNATI (Open University of the Third Age), UNESP, Marília campus, has offered subsidies for the development of this work aimed at researching the existing relationships between information mediation processes and technological devices, especially computers, assuming that reading practices and textual construction in online environments could help the “third age” population to have access to these devices, thus promoting digital inclusion in this group. Mediation was presented as an interventionist action that, by introducing an intermediate element in the learning process, causes a rupture in the ways of living and personal digital inclusion processes hitherto experienced. In the context of a workshop, we found out that there is a physical relationship between subjects and technological supports and such a contact proved to be necessary, considering that handling a computer required knowledge of procedures, thus furthering a logic of use. It turned out to be necessary to develop actions that would enable the handling of a computer so as to bring about acceptance of these supports. Accordingly, activities were developed so as to articulate reminiscent processes, memories of older adults, the writing down of such memories and the creation of a blog to bring enhanced visibility to the content produced by older people. Such actions have shown that remembering, writing down and posting can reshape not only social relations but somehow significantly promote digital inclusion among older adults.
Resumo:
The present paper is a reflection on the diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) and its relations to the process of medicalization as well as the meanings and perspectives apprehended through three case studies of children diagnosed with such disorder in a doctoral research in which the main purpose was to understand the meanings and peculiarities of ADHD symptomatology .We’ve utilized the model of qualitative research, grounded in psychoanalytic perspective, and conducted the psychodiagnosis for three children who were referred for psychological treatment. The survey found that those children had few experiences of both continence and frustration tolerance. It was evidenced how the school uses the logic of medicalization to try solving the problems with their children when it came to the school dimension. The variety of symptomatic manifestations and psychic dynamics presented by the cases that were studied revealed the weaknesses and inconsistencies of the referred diagnosis.
Resumo:
Pós-graduação em Geografia - FCT