IPCC SPECIAL REPORT ON CLIMATE CHANGE AND LAND (SRCCL) -/- Chapter 3: Climate Change and Land: An IPCC special report on climate change, desertification, land degradation, sustainable land management, food security, and greenhouse gas fluxes in terrestrial ecosystems.

It is well known that for a given continuous function f : [0, 1] → ℝ and a number n there exists a unique polynomial pn ∈ Pn which best L1-approximates f. We establish the first upper bound on the complexity of the sequence n∈ ℕ, assuming f is polynomial-time computable. Our complexity analysis makes essential use of the modulus of uniqueness for L1-approximation presented in [13].

This article presents an analysis of Gödel's dialectica interpretation via a refinement of intuitionistic logic known as linear logic. Linear logic comes naturally into the picture once one observes that the structural rule of contraction is the main cause of the lack of symmetry in Gödel's interpretation. We use the fact that the dialectica interpretation of intuitionistic logic can be viewed as a composition of Girard's embedding of intuitionistic logic into linear logic followed by de Paiva's dialectica interpretation of linear (...) logic. We then investigate the various properties of the dialectica interpretation, such as the characterisation theorem, and variants of Gödel's interpretation within the linear logic context. The role of contraction in extensions to classical logic, arithmetic and analysis is also discussed. (shrink)

This article presents a parametrized functional interpretation. Depending on the choice of two parameters one obtains well-known functional interpretations such as Gödel's Dialectica interpretation, Diller-Nahm's variant of the Dialectica interpretation, Kohlenbach's monotone interpretations, Kreisel's modified realizability, and Stein's family of functional interpretations. A functional interpretation consists of a formula interpretation and a soundness proof. I show that all these interpretations differ only on two design choices: first, on the number of counterexamples for A which became witnesses for ¬A when defining (...) the formula interpretation and, second, the inductive information about the witnesses of A which is considered in the proof of soundness. Sufficient conditions on the parameters are also given which ensure the soundness of the resulting functional interpretation. The relation between the parametrized interpretation and the recent bounded functional interpretation is also discussed. (shrink)

O objetivo do artigo é analisar as aparições do termo contemplação na parte IV da Ética de Espinosa, destacando a relação deste conceito com a questão da medida dos afetos. Mostrando que os afetos têm, ontologicamente, a mesma natureza da imaginação, veremos que a intensidade dos afetos dependerá do “grau de afirmação de presença” que a imaginação correspondente contém. A razão, que também é afetiva em Espinosa, difere dos outros afetos na medida em que não pode ter excesso.

In this contribution, I critically discuss the thesis, advanced by some recent writers, that nonreductive physicalists can solve the problem of causal exclusion by resorting to the metaphysical notion of grounding. After discussing the many problems confronted by very recent versions of this proposal, I conclude that a version of Nonreductive Physicalism framed in terms of a notion of realization of properties is in a better position than Grounding Physicalism in order to successfully deal with a notoriously complex metaphysical issue (...) such as the causal exclusion problem. (shrink)

Este artículo se adentra en los temas y tópicos vitales de la obra literaria de Eliacer Cansino, escritor dedicado a la literatura juvenil, e invita a reflexionar sobre cómo su lectura puede desarrollar el pensamiento crítico de los jóvenes lectores del siglo XXI. Para abordar esta investigación, se ha recurrido a una metodología de corte cualitativo, con especial atención a la narrativa biográfica. De esta manera, dado que literatura y realidad constituyen dos caras de una moneda al forjar lectores, se (...) analizó el perimundo literario de Eliacer Cansino. Los resultados justifican que la lectura de la obra de este autor es un referente literario para el desarrollo del pensamiento crítico desde la experiencia lectora de los adolescentes. (shrink)

In this paper I want to do the following things. First I want to show that in the part of the Theaetetus where the relationship between knowledge and perception is examined, the concept of knowledge that is in question is very clearly characterized. We are left in no doubt as to what is to count as knowing. Secondly I want to unravel in some detail the case that Socrates puts on Protagoras’ behalf where he draws on what Protagoras actually wrote (...) (151 E-152C); as opposed to what he may have taught secretly to his pupils (152C-160D). Thirdly I wish to argue that if we let the dialogue speak for itself, it is manifest that this case put up on Protagoras’ behalf at 151 E-152C is not overthrown; it is not even shaken. (shrink)

El término red social se ha utilizado para denotar conjuntos complejos de relaciones entre miembros de los sistemas sociales en todas las dimensiones, desde el ámbito interpersonal hasta el internacional. Los jóvenes utilizan las redes sociales como un elemento de comunicación a través de las Nuevas Tecnologías. Estos espacios virtuales son una evasión para ellos, pero hay que alertar a los menores del peligro de revelar datos personales a través de Internet.

Resumen En este trabajo se analizan las pautas de elección entre los cuatro paradigmas gramaticales de segunda persona del español peninsular (los prototípicos, representados por los pronombres tú y vosotros, y los desplazados, por usted y ustedes), cuando se usan para indexar a interlocutores específicos, en un corpus de discurso radiofónico de la ciudad española de Salamanca. Se plantea la hipótesis de que los fundamentos cognitivos de las personas gramaticales se proyectan en su potencial sociopragmático como recursos para la configuración (...) de identidades contextuales. Tras clasificar a los participantes del corpus en cuatro tipos de identidad socioprofesional recurrentes en la comunicación radiofónica (locutores, personajes públicos, políticos y hablantes particulares), se calculan las frecuencias con que cada tipo dirige y recibe cada tratamiento de segunda persona. El análisis cuantitativo constituye un punto de partida para la observación cualitativa de los contextos de uso. Tras este se concluye que la elección entre las cuatro formas de segunda persona combina los parámetros sociopragmáticos de cercanía-distancia (que afecta a la elección entre formas prototípicas y desplazadas) e individualidad-grupalidad (que afecta a la elección entre formas singulares y plurales). Tales parámetros remiten, a su vez, al continuum discursivo-cognitivo entre la subjetividad y la objetividad. (shrink)

The purpose of this article is to analyze Spanish first-person plural subjects as a cognitively grounded grammatical choice serving various discursive functions. Both the expressed and omitted variants of the subject will be considered, even if omission is by far the more frequent choice in Spanish and the more communicatively versatile one. The particularly vague reference of omitted nosotros ‘we’ – always involving an extension of the self towards a wider notional scope – results in a remarkable variety of possible (...) contextual projections. It can be used to signal speaker identities as well as manage interpersonal relationships through the iconic suggestion of viewpoint coincidence. First-person plural clauses are quantitatively and qualitatively investigated across two corpora of contemporary Spanish comprising a variety of spoken and written genres. It is found that, aside from the basic distinction between hearer-exclusive and hearer-inclusive first persons, a third, intermediate variant can be considered, that of empathic hearer-exclusive uses. These are typical of interactions where involvement of the audience is sought even if they are not referentially included in the subject, as is usual in some varieties of spoken mass-media discourse. Each one of the referential variants is used with different frequencies and contextual repercussions, depending on the socio-functional demands and goals of particular textual genres. (shrink)

The Perfection of the Universe gives an account of the idea of the universe and its perfection in Aquinas's philosophy, but at the same time it provides an example of how a cosmology can be developed in a teleological framework. Although this is the cosmology of one who was first and foremost a theologian, the book tries to show how it was articulated philosophically and in relation to a particular model of the universe. As a contribution to the history of (...) philosophy, and Thomistic studies in particular, it seeks to draw more attention to Aquinas's view of the world, which has been relatively neglected in favor of emphasis on his theory of knowledge and theory of being, and at the same time to show how it is integral to his very understanding of being. The book thereby brings out a dimension of rationality in Aquinas's philosophy that is often ignored, especially as it concerns creation as a whole and what Aquinas refers to as convenientia in this whole. The systematic nature of Aquinas's conception of the universe is highlighted by the author's attempt to reconstruct the movement of his thought. Thus Oliva Blanchette focuses not just on the universe or on perfection but on the perfection of the universe as a unified idea that recurs frequently in both the philosophy and the theology of Aquinas and that has its own philosophical dynamic both as a logic and as an actuality. In doing so, he endeavors to correct misconceptions about Aquinas's idea of the universe, such as that found in Lovejoy's Great Chain of Being, and to show how the idea stands up philosophically even while being connected with a scientific model of the universe now viewed as obsolete. (shrink)

The reception of the translations of Aristotelian and pseudo-Aristotelian works at the University of Paris in the thirteenth century promoted a new understanding of the sciences as specialized fields of knowledge. The huge amount of translations required a new organization of knowledge, which included novel subjects and categories. Among these there is a very special case, namely the pseudo-Aristotelian De plantis, translated from Arabic into Latin and then back into Greek to be re-translated into Latin again. De plantis was included (...) in the new curriculum in Ripoll 109, and constituted the main source for botanical studies until the sixteenth century. Throughout this paper we will explore the reception and impact of De plantis in both the Arabic and the Latin traditions. We aim to show its foundational role in the development of botany as a theoretical discipline within the natural sciences. (shrink)

In this paper, we present another case study in the general project of proof mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation developed in Kohlenbach , Oxford University Press, Oxford, 1996, pp. 225–260) to analyze Cheney's simplification 189) of Jackson's original proof 320) of the uniqueness of the best L1-approximation of continuous functions fC[0,1] by polynomials pPn of degree n. Cheney's (...) proof is non-effective in the sense that it is based on classical logic and on the non-computational principle WKL . The result of our analysis provides the first effective uniform modulus of uniqueness . Moreover, the extracted modulus has the optimal ε-dependency as follows from Kroó 331). The paper also describes how the uniform modulus of uniqueness can be used to compute the best L1-approximations of a fixed fC[0,1] with arbitrary precision. The second author uses this result to give a complexity upper bound on the computation of the best L1-approximation in Oliva 66–77). (shrink)

In this paper I want to do the following things. First I want to show that in the part of the Theaetetus where the relationship between knowledge and perception is examined, the concept of knowledge that is in question is very clearly characterized. We are left in no doubt as to what is to count as knowing. Secondly I want to unravel in some detail the case that Socrates puts on Protagoras’ behalf where he draws on what Protagoras actually wrote (...) ; as opposed to what he may have taught secretly to his pupils. Thirdly I wish to argue that if we let the dialogue speak for itself, it is manifest that this case put up on Protagoras’ behalf at 151 E-152C is not overthrown; it is not even shaken.In that part of the dialogue where the question is under examination whether or not knowledge and perception are the same, Socrates uses an idealized concept of knowledge. That is, he restricts the use of the word by setting down what he will consider to be the essential characteristics of knowledge, the sufficient and necessary conditions of its being instantiated. An excellent piece of philosophical procedure. (shrink)

Este artículo propone explorar algunos de los vínculos que es posible establecer entre el pensamiento indígena y el afrodescendiente que se ha desarrollado en América Latina durante el siglo XX. El caso que aquí trabajamos pone en relación al Caribe con los Andes, y más específicamente, a un intelectual indígena de Bolivia y un afrocaribeño de Martinica: Fausto Reinaga y Frantz Fanon. Reparamos en las referencias que hace Reinaga a la obra de Fanon en sus libros inaugurales del pensamiento indianista, (...) señalando que estas no son accesorias sino fundamentales para el tipo de indianismo que el autor quechua-aymara elabora, uno de tipo anticolonial en el que se encuentra presente un horizonte universal y humano. This article explores links that can be established among indigenous and Afro-descendent thought developed in Latin America during the 20th century. By drawing a comparison between the Caribbean and Andean regions, we specifically concentrate on the intellectual work of an indigenous Bolivian and an Afro-Caribbean from Martinique: Fausto Reinaga and Frantz Fanon. Reinaga’s inaugural writings on indianista thought reveal several references to the work of Fanon, providing material for our analysis. We argue that such allusions are not mere accessories, but rather fundamental elements for the kind of indianismo that the Quechua-Aymara author develops; that is, an anticolonial thought in which universal and human horizons are present. (shrink)