We consider a modification of the pigeonhole principle, M P H P, introduced by Goerdt in [7]. M P H P is defined over n pigeons and log n holes, and more than one pigeon can go into a hole (according to some rules). Using a technique of Razborov [9] and simplified by Impagliazzo, Pudlák and Sgall [8], we prove that any Polynomial Calculus refutation of a set of polynomials encoding the M P H P, requires degree Ω(log n). We (...) also prove a simple Lemma giving a simulation of Resolution by Polynomial Calculus. Using this lemma, and a Resolution upper bound by Goerdt [7], we obtain that the degree lower bound is tight. Our lower bound establishes the optimality of the tree-like Resolution simulation by the Polynomial Calculus given in [6]. (shrink)

We consider small-weight Cutting Planes (CP * ) proofs; that is, Cutting Planes (CP) proofs with coefficients up to $\operatorname{Poly}(n)$ . We use the well known lower bounds for monotone complexity to prove an exponential lower bound for the length of CP * proofs, for a family of tautologies based on the clique function. Because Resolution is a special case of small-weight CP, our method also gives a new and simpler exponential lower bound for Resolution. We also prove the following (...) two theorems: (1) Tree-like CP * proofs cannot polynomially simulate non-tree-like CP * proofs. (2) Tree-like (CP * proofs and Bounded-depth-Frege proofs cannot polynomially simulate each other. Our proofs also work for some generalizations of the CP * proof system. In particular, they work for CP * with a deduction rule, and also for any proof system that allows any formula with small communication complexity, and any set of sound rules of inference. (shrink)

We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems, and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in Frege proof systems compared to lengths in these new systems. As applications we give near-linear simulations of the propositional Gentzen sequent calculus and the natural deduction calculus by Frege proofs. The length of a proof is the number of lines (...) in the proof. A general deduction Frege proof system provides at most quadratic speedup over Frege proof systems. A nested deduction Frege proof system provides at most a nearly linear speedup over Frege system where by "nearly linear" is meant the ratio of proof lengths is O) where α is the inverse Ackermann function. A nested deduction Frege system can linearly simulate the propositional sequent calculus, the tree-like general deduction Frege calculus, and the natural deduction calculus. Hence a Frege proof system can simulate all those proof systems with proof lengths bounded by O). Also we show that a Frege proof of n lines can be transformed into a tree-like Frege proof of O lines and of height O. As a corollary of this fact we can prove that natural deduction and sequent calculus tree-like systems simulate Frege systems with proof lengths bounded by O. (shrink)

El trabajo explora críticamente la idea de una justificación débil o pen última de la moral enmarcándola en el conjunto de la filosofía de Tugendhat, reordenan do sus escritos éticos y discriminando los diversos aspectos que incluye dicha idea. Entre ellos, revisa el concepto formal de moral, ligado a los sentimientos, antes de centrarse en el punto crucial: la fundamentación de la ética moderna. Aquí se distingue, por un lado, la justificación comparativa de un contractualismo igualitario frente a otras alternativas (...) teóricas y, por otro, los motivos que pueden llevar (more heideggeriano, en realidad) a un individuo autónomo a entenderse en términos morales. (shrink)

Tomando como marco de referencia algunos conceptos básicos de la teoría política de Gramsci, el objetivo principal de este artículo es criticar la función hegemónica e ideológica que la democracia representativa desempeña en el contexto social e histórico de la globalización neoliberal. Lejos de avanzar hacia el ideal emancipador que representa, en la época del neoliberalismo globalizado la democracia es un instrumento de dominación al servicio de una regulación social excluyente y desigual que origina nuevas formas de autoritarismo.

A partir de la definición de la globalización neoliberal como un localismo occidental globalizado, expresión de un nuevo tipo de imperialismo cultural, el objetivo principal de este artículo es el de llevar a cabo una exposición analítica de la propuesta de traducción intercultural e interpolítica d..

En Enero de 2002, los Servicios Sanitarios gestionados por el INSALUD fueron transferidos a las diez Comunidades Autónomas que todavía no los habían recibido. Se completó así el mapa territorial de Servicios de Salud Autonómicos, si exceptuamos Ceuta y Melilla que siguen gestionados por la Administración Central. Habiendo transcurrido más de tres años desde aquella fecha se puede ver con cierta perspectiva aquel proceso, algunos de sus componentes y aportar así algo al momento que vive nuestro sistema, siempre con ánimo (...) de enriquecer el debate.…. (shrink)

S'il est vrai qu'en conséquence du pêché l'âme est assujettie à son corps, quelle liberté l'homme peut-il encore avoir de faire par lui-même son salut ?

Razdel 1. F. Nit︠s︡she i russkai︠a︡ myslʹ Serebri︠a︡nogo veka -- Razdel 2. Religii︠a︡ Serebri︠a︡nogo veka -- Razdel 3. Russkai︠a︡ germenevtika -- Razdel 4. Filosofii︠a︡ imeni v Rossii.

Tomando como marco de referencia las aportaciones teóricas de la epistemología del Sur de Boaventura de Sousa Santos, el objetivo principal de este artículo es el de revisar críticamente algunas de las modernas concepciones lineales y homogeneizantes del tiempo y la historia, concretamente la filosofía ilustrada del progreso, la teleología eurocéntrica de Hegel y el finalismo histórico neoconservador del primer Fukuyama. Con este propósito, el artículo plantea un nuevo enfoque de la relación entre pasado, presente y futuro desde la perspectiva (...) crítica, emancipadora y poscolonial de la sociología de las ausencias y de las emergencias propuesta por el teórico social portugués. (shrink)

La construcción del Canal de Isabel II, inaugurado en 1858, vino a solucionar la sed secular de Madrid en la época del estío y ala vez hacer posible el ensanche de la ciudad. La presa del Pontón y la traída de agua del río Lozoya, obras del ingeniero Lucio del Valle, supusieron un avance en la modernización de la capital de España. La creciente necesidad de agua según fue aumentando el índice demográfico de Madrid hizo necesario que se aumentasen las (...) obras del canal con nuevas presas. En 1865 se construyó un Segundo Depósito y en 1915 un Tercer Depósito. También importante tanto desde el punto de vista ingenieril como arquitectónico es el Depósito elevado de la calle de Santa Engracia. A lo largo del siglo XX el canal no ha cesado de ampliar su red y de aplicar nuevas tecnologías para suministrar agua a Madrid. (shrink)

Russkiĭ proekt novoĭ religii -- Istoki novoĭ dukhovnosti -- Bogi Cerebri︠a︡nogo veka -- Religii︠a︡ i revoli︠u︡t︠s︡ii︠a︡ -- Personalii.

Tri filosofskikh "opravdanii︠a︡" (teodit︠s︡ei︠a︡, antropodit︠s︡ei︠a︡, kosmodit︠s︡ei︠a︡ Serebri︠a︡nogo veka) -- Russkai︠a︡ sofiologii︠a︡ i kabbala -- S. Bulgakov : nauka sofiologii︠a︡ (ili konet︠s︡ religii) -- Tretiĭ Zavet o. Sergii︠a︡ Bulgakova -- Tretʹezavetnai︠a︡ misterii︠a︡ ("malai︠a︡" trilogii︠a︡ Bulgakova).

The “language-communication-society” triangle defies traditional scientific approaches. Rather, it is a phenomenon that calls for an integration of complex, transdisciplinary perspectives, if we are to make any progress in understanding how it works. The highly diverse agents in play are not merely cognitive and/or cultural, but also emotional and behavioural in their specificity. Indeed, the effort may require building a theoretical and methodological body of knowledge that can effectively convey the characteristic properties of phenomena in human terms. New complexity approaches (...) allow us to rethink our limited and mechanistic images of human societies and create more appropriate emo-cognitive dynamic and holistic models. We have to enter into dialogue with the complexity views coming out of other more ‘material’ sciences, but we also need to take steps in the linguistic and psycho-sociological fields towards creating perspectives and concepts better fitted to human characteristics. Our understanding of complexity is different – but not opposed – to the one that is more commonly found in texts written by people working in physics or computer science, for example. The goal of this book is to extend the knowledge of these other more ‘human’ or socially oriented perspectives on complexity, taking account of the language and communication singularities of human agents in society. (shrink)

This book offers insights on the study of natural language as a complex adaptive system. It discusses a new way to tackle the problem of language modeling, and provides clues on how the close relation between natural language and some biological structures can be very fruitful for science. The book examines the theoretical framework and then applies its main principles to various areas of linguistics. It discusses applications in language contact, language change, diachronic linguistics, and the potential enhancement of classical (...) approaches to historical linguistics by means of new methodologies used in physics, biology, and agent systems theory. It shows how studying language evolution and change using computational simulations enables to integrate social structures in the evolution of language, and how this can give rise to a new way to approach sociolinguistics. Finally, it explores applications for discourse analysis, semantics and cognition. (shrink)

We extend results of Bonet, Buss and Pitassi on Bondy’s Theorem and of Nozaki, Arai and Arai on Bollobás’ Theorem by proving that Frankl’s Theorem on the trace of sets has quasipolynomial size Frege proofs. For constant values of the parametert, we prove that Frankl’s Theorem has polynomial size AC0-Frege proofs from instances of the pigeonhole principle.