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)

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 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.

Diese Studie der Deskription bei Franz Brentano lässt dessen Philosophie als ein «Programm der Deskription» erscheinen, das einen spezifischen Beitrag zur Gottesfrage leistet. Im Gegensatz zur scholastischen Tradition stellt er diese Frage auf sprachlicher Ebene und sucht dadurch erkenntnistheoretisch-metaphysische Engführungen zu überwinden. Er betont die deskriptive (nicht physikalische oder metaphysische) Bedeutung der Kausalität in ihrer Zeitgebundenheit und zeigt, dass die Existenz Gottes zeitlich bestimmt werden muss: Nur so ist eine sinnvolle Rede von Gott möglich. Brentanos Denken wurde in der Theologie (...) kaum wahrgenommen, aber die deskriptive Lösung des Problems von «esse et essentia», die Arten der Zeitlichkeit, die Betrachtung von Analogielehre und Univozität sind richtungsweisend. (shrink)

Enrique Leff sostiene que las causas profundas de la crisis ambiental se basan en formas dominantes de conocimiento, es decir, la crisis tiene sus raíces en las bases epistemológicas de la modernidad. Leff sistemáticamente se ha dedicado a proponer y construir conceptos que deconstruyen los supuestos modernos, y que al mismo tiempo, permiten nuevas formas de entender y aprehender el mundo. Su extensa obra ha logrado trascender y forjar un espacio para el pensamiento ambiental, no sólo en la educación y (...) la filosofía ambiental, sino también en las áreas de la economía, la sociología y el desarrollo. Su argumento central es que estos problemas son el resultado de una crisis de la civilización, e insta a todos a repensar los fundamentos de la racionalidad moderna que subyace a la sociedad global contemporánea. (shrink)

Enrique Leff sostiene que las causas profundas de la crisis ambiental se basan en formas dominantes de conocimiento, es decir, la crisis tiene sus raíces en las bases epistemológicas de la modernidad. Leff sistemáticamente se ha dedicado a proponer y construir conceptos que deconstruyen los supuestos modernos, y que al mismo tiempo, permiten nuevas formas de entender y aprehender el mundo. Su extensa obra ha logrado trascender y forjar un espacio para el pensamiento ambiental, no sólo en la educación y (...) la filosofía ambiental, sino también en las áreas de la economía, la sociología y el desarrollo. Su argumento central es que estos problemas son el resultado de una crisis de la civilización, e insta a todos a repensar los fundamentos de la racionalidad moderna que subyace a la sociedad global contemporánea. (shrink)

El propósito de este trabajo es mostrar, primero, cómo se formaron las ciencias sociales, con qué características y presupuestos, y comprender sus dificultades para entender y abordar los problemas ambientales. En un segundo momento se presentarán unas reflexiones en torno al conocimiento y su relación con el ambiente, así como la importancia de superar la escisión entre las llamadas ciencias duras y las sociales/humanas, y la necesidad de aportes como los de las ciencias de la complejidad, de los estudios culturales, (...) de modernidad/colonialidad, y del pensamiento ambiental, como desafíos y posibilidades para abordar el problema ambiental de manera integral. Este conjunto de aproximaciones representa un reto grande para las ciencias sociales, pero sin enfrentarlo será imposible abordar los problemas ambientales de manera adecuada. (shrink)

This article provides an intellectual history of the status of wage earners as conceptualized within the natural law paradigm by European writers both on the Continent and in Britain. Historians of political discourse have mostly investigated the consequences of such a status for the political rights of labourers. This article shows that the crucial moves were made by different authors analysing the relation of servant to master either in the domestic sphere or in private contracts. The article further contends that (...) that resulting deeply ambiguous analyses implied a far from complete personal freedom for wage earners. This had a decisive impact on different visions of commercial society in early modern times, and left a significant legacy for moderns. ☆ Apart from a few changes and some abridgment, this essay is the first chapter of my forthcoming book Vite da servi. Figure del lavoro salariato dalla giurisprudenza naturale all’economia politica (Servants’ Lives: Figures of Paid Labour from Natural Law to Political Economy). I am much indebted to Matthew Armistead for translating it, and to Marco Geuna and Gabriella Silvestrini for commenting on an earlier draft. (shrink)

O objectivo deste artigo é a exploração de duas perspectivas contrastantes das teses de Leibniz sobre a Vida Feliz: numa, a felicidade depende da razão iluminada e da compreensão. A razão e a sabedoria são os verdadeiros fundamentos da felicidade, e se alcançarmos essa “Ciência da felicidade”, encontrá-la-emos, sem qualquer dúvida. A outra perspectiva apresenta-nos a finitude humana, a confusão que rege muitas vezes a própria vida, a fraqueza da vontade e os limites da razão, como obstáculos para a felicidade (...) e a tranquilidade. Efectivamente, a verdadeira felicidade só se pode encontrar na “delectatio in felicitate alterius”, em suma, no amor a Deus. Estas diferentes perspectivas podem entender-se como o contraste entre uma felicidade ideal que todo o homem deseja e a realidade da condição humana e da sua indigência. (shrink)

O tradicional problema do conhecimento do singular mantém-se hoje em dia: o impasse assinalado por Aristóteles prevalece na maioria das ciências actuais que lidam precisamente com casos particulares, contingentes, imprevisíveis, que escapam ao enquadramento nos modelos categoriais. Este Colóquio sobre O Estatuto do Singular constituiu um desafio para todos aqueles que em diversas áreas filosóficas e científicas se enfrentam com a necessidade de repensar modelos e estratégias aplicáveis ao caso prático, à decisão, à acção, à inovação, à invenção; noções como (...) o incerto, o provável, o casual, o frequente, o diferente, o imprevisível - exigem um novo modo de pensar e uma revisão das formas típicas da racionalidade. O tópico convocou, além da filosofia, uma ampla gama de domínios: desde as ciências e artes médicas, a biologia, até ao direito e às ciências humanas e sociais, passando também pela literatura e a arte. O que se pretendeu foi apresentar uma sinopse de diferentes olhares e perspectivas sobre um ponto de mira comum: «o estatuto do singular» foi o leit motiv para abrir um horizonte de pensamento e de diálogo profícuo e abrangente. (shrink)

O “programa fiduciário” de Polanyi desafia o ideal da racionalidade moderna de alcançar uma completa justificação de todas as crenças, submetendo-as a uma crítica prévia à sua aceitação. Este requisito é um dos malefícios que está na raiz de preconceitos filosóficos e científicos que Polanyi se propõe superar. Este artigo apresenta o confronto entre o “modelo linear” da justificação do conhecimento, a partir de um princípio absoluto, com a alternativa do “modelo circular” proposto por Polanyi. Não se trata de uma (...) circularidade viciosa, mas do reconhecimento de que os fundamentos do conhecimento radicam no compromisso pessoal e na atitude fiduciária, alicerces inegáveis de qualquer forma de conhecer. A alternativa proposta por Polanyi, de longa tradição filosófica, é, nos nossos dias, uma fonte de inspiração também para a hermenêutica contemporânea, com as suas noções de compreensão e interpretação. (shrink)

El objetivo principal de este trabajo es dar a conocer las reflexiones del filósofo alemán Robert Spaemann en torno al concepto de dignidad humana. Para ello, nos detendremos a considerar qué van antes, si los derechos humanos o la dignidad; los tipos de dignidad: ontológica y moral; así como los problemas que lleva consigo el concepto de dignidad humana. A continuación, abordaremos la argumentación de Robert Spaemann en torno a la dignidad en tres apartados: la capacidad de autotrascendencia del ser (...) humano, el ser potencialmente moral, y el poder representar a lo Absoluto. (shrink)

Knowledge about eating habits is relevant for understanding the relations between diet, obesity and development of Chronic Non-Communicable Diseases. The storage of calories as body fat, mainly in the visceral subcutaneous adipose tissue, as consequence of hypercaloric diet poor in nutrients, is responsible for increasing sublinic inflammation and overloading the immune system. Diet plays an important role in reducing inflammation. In time of infectious pandemia, of the new corona virus (COVID-19), the food quality and nutritional status of Brazilians may interfere (...) in fighting this infection. Based on the literature, this article aims to discuss the Brazilians eating habbits and nutritional status. The data shows that Brazilian are gainning weight and tend to a diet poor in nutrient intake. Consequently this scenario favors the subclinical inflammation and the weakness of the immune response. We suggest that Brazilian Health Authorities pay attention to this issue. (shrink)