925 resultados para Logic of proofs


Relevância:

80.00% 80.00%

Publicador:

Resumo:

El objetivo de la tesis es identificar una familia de argumentos que comparten una estructura con el principio de dualidad de la geometría proyectiva. Esta familia la denomino "argumentos duales". Para lograr este objetivo, tomo cuatro argumentos importantes de la filosofía analítica e identifico en ellos la estructura que comparten. Los cuatro argumentos son: (i) el acertijo de la inducción de Goodman; (ii) la indeterminación de la referencia Putnam; (iii) la indeterminación de la traducción de Quine; (iv) la paradoja del seguimiento de reglas de Wittgenstein.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Este estudio realiza una categorización regional de los países en América Latina con respecto de las categorizaciones globales teniendo en cuenta los índices de competitividad, crecimiento económico y desarrollo humano. El objetivo es actualizar los análisis sobre la situación regional de forma cuantitativa involucrando el grado de asimetría en la competitividad. Esta relación entre el posicionamiento global y regional ha influenciado directamente la evolución del tejido empresarial

Relevância:

80.00% 80.00%

Publicador:

Resumo:

El interés de esta monografía es evaluar la relación entre el orden institucional del Estado colombiano y las lógicas del control territorial de los paramilitares sobre el Urabá antioqueño durante el periodo 1997-2007. Se analiza y explica cómo los grupos paramilitares aprovecharon el contexto de debilidad institucional del Urabá antioqueño para consolidar estructuras paraestatales que instrumentalizaron y cooptaron la institucionalidad del Estado con la pretensión de reproducir las condiciones necesarias para su sostenimiento. Así como las consecuencias sobre la Institucionalidad regional a causa de la consolidación de un control político de corte autoritario y clientelista, la obstaculización de la afirmación del monopolio de la violencia estatal, y la protección de un modelo económico particular sustentado en la violencia. Para ello, como parámetros generales se siguen las funciones estatales descritas por Charles Tilly, la descripción de los estados entre estados de Kinsgton y Spears y la teoría de la cooptación del Estado de Jorge Garay.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

La principal finalidad de este estudio, es presentar una visión actualizada y genérica respecto a las condicionantes económicas de Colombia en particular y las relacionadas con el conjunto de países que conforman la Alianza del Pacífico en general –Chile, Colombia, México y Perú. Se trata de un estudio no experimental, descriptivo-interpretativo con énfasis en la revisión de datos. Entre las conclusiones más importantes se destacan los niveles de crecimiento económico con mayor estabilidad se presentan en Chile y Perú, una dependencia comercial exterior de México hacia Estados Unidos y que en Colombia se tiene el caso de que el aumento de producción que se hace evidente, no impacta tanto como era de esperarse, en la variable empleo.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

El propósito de esta monografía es comprender cuál ha sido el rol de la Unión Africana (UA), dentro de la misión de paz AMISOM en el periodo de 2007- 2013. Por ello, el trabajo abarca aspectos geopolíticos e históricos, que han influido en la configuración del conflicto armado de Somalía y que han llevado progresivamente a la creación, evolución e implementación de mecanismos como las misiones de paz. Además, se abarcan los planteamientos del neo-funcionalismo y el neo-regionalismo para comprender las estructuras y las dinámicas propias de la UA y así, comprender la naturaleza tanto de sus acciones, como de sus propósitos; propósitos que aclaman el fomento del panafricanismo. Desde aquí se puede entender como su rol ha contribuido con el crecimiento del mercado de la industria militar en la región, a costa de la responsabilidad de proteger. Por último, se concluye que dichas dinámicas han llevado a la creación de comunidades de inseguridad.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Desde los años 80’s, en los barrios populares de Cartagena y Barranquilla se ha venido desarrollando un fenómeno musical denominado champeta. Este tipo de música es descendiente de bailes populares conocidos en la tradición regional como casetas o verbenas, en los cuales el eje central son grandes amplificadores de sonido denominados picós y datan aproximadamente del decenio de 1950 del siglo XX . El presente trabajo se inscribe en los estudios sociales de la música en los que se analiza los procesos de creación, difusión y distribución por los que atraviesa una canción de champeta en la ciudad de Barranquilla, Caribe de Colombia. Teniendo en cuenta que dichos procesos responden a una lógica de circulación musical alternativa enmarcada en un contexto en el que la música champeta es marginada y estigmatizada por las élites costeñas y nacionales a través de varios mecanismos discursivos, legales y mediáticos, generando unas formas de circulación musical propias que colindan entre lo informal/ilegal.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

It is generally assumed that Le Corbusier’s urban planning made a break with the past, and that the public spaces designed by him had nothing to do with anything that existed before – a conviction fostered by both the innovative character of his proposals and by the proliferation in his manifestos of watchwords that mask any evocation of the past – words like civilisation machiniste, l’esprit nouveau, l’architecture de demain. However, in his writings, Le Corbusier often mentioned the powerful analogy that exists between the architecture of other times and the logic of modern production. Vers une architecture, for example, contains a mixture of photographs showing silos, cars, aeroplanes, ships (i.e. the fruits of 19th and 20th century civil architecture and mechanical engineering) alongside photographs of Greek and Roman buildings. While Le Corbusier, at the end of the 1920s, claimed “I have only one teacher: the past; only one education: the study of the past”, a series of sketches in the first volume of the Œuvre complète, done during his youth at the archaeological sites visited during his Grand Tour, shows that his interest in the past went far beyond a simple reference.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

As políticas públicas na área do turismo tornaram-se uma prioridade dos governos dos países desenvolvidos e menos desenvolvidos a partir da década de 1970, quando os organismos estatais ligados ao sector do turismo deram início à definição de amplas agendas nacionais para o desenvolvimento da indústria do turismo para períodos de longo prazo, com descrições claras sobre a posição que o turismo ocupa no âmbito do desenvolvimento da economia nacional; sobre as metas que se pretendem alcançar e a forma como elas serão atingidas. O enorme crescimento do turismo, o envolvimento dos governos e os impactos negativos do turismo que foram registados nos países em desenvolvimento ajudou a trazer ao debate académico a análise sobre as políticas públicas do turismo no final dos anos 80 e início de 90 do séc. passado. Neste estudo inventariou-se o quadro legislativo das políticas públicas do turismo em Angola e fez-se o enquadramento sociológico da Política Nacional e do Plano Diretor do turismo em Angola; identificaram-se os atores que intervêm na execução das políticas públicas do turismo em Angola e o seu sentido social, assim como os fatores centrais propiciadores do desenvolvimento social e económico em contexto local (Huíla). Isto permitiu determinar o perfil e tipologias resultantes da contribuição do quadro de Políticas Públicas de turismo para o nível de promoção do desenvolvimento social local em Angola, ajudando-nos a tentar perceber até que ponto as políticas públicas do turismo em Angola se constituem como fator de desenvolvimento social local. Partindo do perfil e tipologias resultantes da contribuição do quadro de Políticas Públicas de turismo e com base nos resultados obtidos através da análise de conteúdo das entrevistas, construiu-se uma proposta de modelo de políticas públicas de turismo propiciadoras do desenvolvimento local sustentável em Angola baseada numa lógica de ação coletiva, capaz de salvaguardar a sustentabilidade económica, política, social e territorial; ABSTRACT: Public policies in tourism became a priority of developed country governments and less developed countries from the 1970s, when the state bodies linked to the tourism sector began the definition of a broad national agenda for the development of the tourism industry for long-term periods, with clear descriptions of the position that tourism occupies in the national economic development; on the goals they want to achieve and how they will be achieved. The tremendous growth of tourism, the involvement of governments and the negative impacts of tourism were registered in developing countries and helped to bring the academic debate analysis on public tourism policies, in the late 80s and early 90s of the past century. In the legislative framework, we inventoried public tourism policies in Angola that later became the sociological framework of the National Policy and Plan for tourism in Angola; we identified the actors involved in the execution of public tourism policies in Angola and its social meaning, as well as the central factors conductive to social and economic development in the local context (Huila). This allowed to determine the profile and types resulting from the tourism Public Policy framework contribution to the level of promotion of local social development in Angola, helping us in this way to try to understand to what extent public tourism policies in Angola work as a local social development factor. From the profile and types resulting from the tourism Public Policy framework contribution and based on the results obtained from the interviews, we constructed a proposed model of public policies which encourage a more sustainable local development kind of tourism in Angola, based on a logic of collective action, able to safeguard the economic, political, social and territorial capitals.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In this article I develop an analysis in the context of the global society, a context split into its practical subsystems, due to the prevailing logic of confrontation and violence. Some of its expressions are studied, in the fields of international law and geopolitical relations between given societies. Also discussed are analyses of the relations between religions and cultural systems, from the perspective of mutual destruction logistics. In a context of violent interactions through diverse levels of social reality, I claim for a different strategy to guide social practices, from the recognition of universal human rights for concrete human beings, understanding that such recognition implies reducing the historical production of deaths, and the magnification of human life and of the conditions for its reproduction.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

ResumenEl análisis de la dinámica del sistema de atención de la salud en el ámbito de las cárceles de la provincia de Buenos Aires, permite comprender las concepciones que, en torno a la violencia y a la población carcelaria, se hacen quienes definen la política sanitaria interna y a los funcionarios menores que la implementan en cada unidad penitenciaria; constituye una puerta de entrada para conocer y comprender la lógica de funcionamiento de cada unidad penitenciaria. Así, proponemos transitar este sistema con el objeto de plantear que la coexistencia de normas contradictorias, normas escritas proclamadas por el discurso oficial y normas impuestas por la vida en el interior del sistema carcelario, en tanto condición del funcionamiento del sistema, se ha convertido en un contrasentido que tiene una lógica propia de funcionamiento. Lo haremos recorriendo la trayectoria de una de las personas detenidas, a través de los registros realizados en su legajo sanitario (historia clínica), como trayectoria socioinstitucional que da cuenta del despliegue de la maquinaria penitenciaria sobre los cuerpos.AbstractThe analysis of the dynamic of the health system attention in the ambit of jails of the province of Buenos Aires, allows the understanding of the conceptions that -around violence and of prison population- those who define the sanitary internal politics and implement it in every penitentiary unit have; it constitutes a clue to understand the functioning logic of every penitentiary unit. So, we propose to travel this system in order to raise that the coexistence of contradictory procedures, written procedures proclaimed by the official discourse and imposed by the life inside the prison system, as a condition of the functioning of the system, have turned into an absurdity that has an own logic of functioning. We will do the analysis by going across the path of one of the arrested persons, across the records performed in his sanitary file (clinical history), as socio institutional path which accounts for the penitentiary machinery display on the bodies.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Questa tesi propone un indagine sulla memoria del retorno a partire da una prospettiva critica che assume il “sud globale di lingua portoghese” come spazio storico e concettuale di riferimento. Si riflette sull'idea di specificità attribuita alla colonizzazione promossa dal Portogallo in Africa tenendo conto delle contraddizioni associate al movimento migratorio innescato dal processo violento di decolonizzazione dell’Africa portoghese.
 Le memorie trauamatiche sul retorno espongono la violenza come componente costitutiva della realtà coloniale ma ripropongono anche dinamiche che permettono l’occultamento del razzismo. L'esplorazione della “soffitta”, assunta come metafora della memoria familiare custodita nello spazio domestico, accompagna quella dell’archivio pubblico. L’analisi dell’archivio ufficiale e della memoria familiare riflette il tentativo di stabilire un dialogo tra storia e memoria superando la logica di antitesi che tradizionalmente le contrappone. Utilizzando il concetto criticamente problematico di “postmemoria” si riflette sulla riconfigurazione del rapporto con il passato in funzione di un’idea di “eredità come compito” assunto nel presente). La possibilità di “salvare” il passato dalla progressiva scomparsa dei testimoni comporta un pericolo di abuso ideologico connaturato al processo di trasmissione. La traduzione delle memorie coloniali sul retorno dallo spazio intimo allo spazio del dibattito pubblico mostra la relazione tra la costruzione della mitologia familiare e l’adozione del discorso lusotropicale. Il tentativo di definire la natura indecifrabile del retornado comporta la possibilità di sanzionare la violenza coloniale negando una responsabilità collettiva riferita al colonialismo. Si presenta il tentativo di configurare i termini di una questione post-coloniale portoghese dai contorni opachi. Questa tesi approda ad una conclusione aperta, articolata sul rischio sempre presente di appropriazione delle categorie critiche post-coloniali da parte dell’ideologia egemonica. Attraverso le (post)memorie (post)coloniali la denuncia del razzismo in quanto eredità permanente e la riconfigurazione dell’archivio coloniale costituiscono operazioni possibili, necessarie, ma non per questo scontate o prive di rischi.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

"Goodsell & Wells, - Printers, Hartford."

Relevância:

50.00% 50.00%

Publicador:

Resumo:

I will argue that the doctrine of eternal recurrence of the same no better interprets cosmology than pink elephants interpret zoology. I will also argue that the eternal-reiurn-of-the-same doctrine as what Magnus calls "existential imperative" is without possibility of application and thus futile. To facilitate those arguments, the validity of the doctrine of the eternal recurrence of the same will be tested under distinct rubrics. Although each rubric will stand alone, one per chapter, as an evaluation of some specific aspect of eternal recurrence, the rubric sequence has been selected to accommodate the identification of what I shall be calling logic abridgments. The conclusions to be extracted from each rubric are grouped under the heading CONCLUSION and appear immediately following rubric ten. Then, or if, at the end of a rubric a reader is inclined to wonder which rubric or topic is next, and why, the answer can be found at the top of the following page. The question is usually answered in the very first sentence, but always answered in the first paragraph. The first rubric has been placed in order by chronological entitlement in that it deals with the evolution of the idea of eternal recurrence from the time of the ancient Greeks to Nietzsche's August, 1881 inspiration. This much-recommended technique is also known as starting at the beginning. Rubric 1 also deals with 20th. Century philosophers' assessments of the relationship between Nietzsche and ancient Greek thought. The only experience of E-R, Zarathustra's mountain vision, is second only because it sets the scene alluded to in following rubrics. The third rubric explores .ii?.ih T jc,i -I'w Nietzsche's evaluation of rationality so that his thought processes will be understood appropriately. The actual mechanism of E-R is tested in rubric four...The scientific proof Nietzsche assembled in support of E-R is assessed by contemporary philosophers in rubric five. E-R's function as an ethical imperative is debated in rubrics six and seven.. .The extent to which E-R fulfills its purpose in overcoming nihilism is measured against the comfort assured by major world religions in rubric eight. Whether E-R also serves as a redemption for revenge is questioned in rubric nine. Rubric ten assures that E-R refers to return of the identically same and not merely the similar. In addition to assemblage and evaluation of all ten rubrics, at the end of each rubric a brief recapitulation of its principal points concludes the chapter. In this essay I will assess the theoretical conditions under which the doctrine cannot be applicable and will show what contradictions and inconsistencies follow if the doctrine is taken to be operable. Harold Alderman in his book Nietzsche's Gift wrote, the "doctrine of eternal recurrence gives us a problem not in Platonic cosmology, but in Socratic selfreflection." ^ I will illustrate that the recurrence doctrine's cosmogony is unworkable and that if it were workable, it would negate self-reflection on the grounds that selfreflection cannot find its cause in eternal recurrence of the same. Thus, when the cosmology is shown to be impossible, any expected ensuing results or benefits will be rendered also impossible. The so-called "heaviest burden" will be exposed as complex, engrossing "what if speculations deserving no linkings to reality. To identify ^Alderman p. 84 abridgments of logic, contradictions and inconsistencies in Nietzsche's doctrine of eternal recurrence of the same, I. will examine the subject under the following schedule. In Chapter 1 the ancient origins of recurrence theories will be introduced. ..This chapter is intended to establish the boundaries within which the subsequent chapters, except Chapter 10, will be confined. Chapter 2, Zarathustra's vision of E-R, assesses the sections of Thus Spoke Zarathustra in which the phenomenon of recurrence of the same is reported. ..Nihilism as a psychological difficulty is introduced in this rubric, but that subject will be studied in detail in Chapter 8. In Chapter 2 the symbols of eternal recurrence of the same will be considered. Whether the recurrence image should be of a closed ring or as a coil will be of significance in many sections of my essay. I will argue that neither symbolic configuration can accommodate Nietzsche's supposed intention. Chapter 3 defends the description of E-R given by Zarathustra. Chapter 4, the cosmological mechanics of E-R, speculates on the seriousness with which Nietzsche might have intended the doctrine of eternal recurrence to be taken. My essay reports, and then assesses, the argument of those who suppose the doctrine to have been merely exploratory musings by Nietzsche on cosmological hypotheses...The cosmogony of E-R is examined. In Chapter 5, cosmological proofs tested, the proofs for Nietzsche's doctrine of return of the same are evaluated. This chapter features the position taken by Martin ' Heidegger. My essay suggests that while Heidegger's argument that recurrence of the same is a genuine cosmic agenda is admirable, it is not at all persuasive. Chapter 6, E-R is an ethical imperative, is in essence the reporting of a debate between two scholars regarding the possibility of an imperative in the doctrine of recurrence. Their debate polarizes the arguments I intend to develop. Chapter 7, does E-R of the same preclude alteration of attitudes, is a continuation of the debate presented in Chapter 6 with the focus shifted to the psychological from the cosmological aspects of eternal recurrence of the same. Chapter 8, Can E-R Overcome Nihilism?, is divided into two parts. In the first, nihilism as it applies to Nietzsche's theory is discussed. ..In part 2, the broader consequences, sources and definitions of nihilism are outlined. My essay argues that Nietzsche's doctrine is more nihilistic than are the world's major religions. Chapter 9, Is E-R a redemption for revenge?, examines the suggestion extracted from Thus Spoke Zarathustra that the doctrine of eternal recurrence is intended, among other purposes, as a redemption for mankind from the destructiveness of revenge. Chapter 10, E-R of the similar refuted, analyses a position that an element of chance can influence the doctrine of recurrence. This view appears to allow, not for recurrence of the same, but recurrence of the similar. A summary will recount briefly the various significant logic abridgments, contradictions, and inconsistencies associated with Nietzsche's doctrine of eternal recurrence of the same. In the 'conclusion' section of my essay my own opinions and observations will be assembled from the body of the essay.

Relevância:

50.00% 50.00%

Publicador:

Resumo:

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Despite modern weed control practices, weeds continue to be a threat to agricultural production. Considering the variability of weeds, a classification methodology for the risk of infestation in agricultural zones using fuzzy logic is proposed. The inputs for the classification are attributes extracted from estimated maps for weed seed production and weed coverage using kriging and map analysis and from the percentage of surface infested by grass weeds, in order to account for the presence of weed species with a high rate of development and proliferation. The output for the classification predicts the risk of infestation of regions of the field for the next crop. The risk classification methodology described in this paper integrates analysis techniques which may help to reduce costs and improve weed control practices. Results for the risk classification of the infestation in a maize crop field are presented. To illustrate the effectiveness of the proposed system, the risk of infestation over the entire field is checked against the yield loss map estimated by kriging and also with the average yield loss estimated from a hyperbolic model.