This article presents the recent literature about the church Nossa Senhora da Consolação, considered through the prism of the study of sacred art. After a historical overview about the neighborhood and the ancient temple of Consolation, will be highlighted some most relevant artistic aspects of architecture and works of art gathered in the sacred building, designed by German engineer Maximilian Emil Hehl, whose inspiration reports to the formal and stylistic features of Romanesque architecture as well as the (...) influences of eclecticism with a predominance of Romanesque Revival architecture and Gothic Revival in São Paulo in the early twentieth century. (shrink)

This article presents the recent literature about Cathedral of See considered from the History of Arts perspective in São Paulo. After highlight some functional, stylistic and historical data about the building idealized by Brazilian Archbishop Dom Duarte Leopoldo e Silva and designed by German engineer Maximilian Emil Hehl , will be highlighted the most important artistic aspects of architecture and Works of Art gathered in the paulist sacred buildings. The article also highlights the Cathedral in its connection (...) with the history of the city and the Archdiocese of São Paulo. (shrink)

Short description: One of the major works of the great German theologian Emil Brunner, The Divine Imperative deals with one the many uncertainties in which we ...

This essay explores the implications of historicising John Rawls’s theory of justice. While historical research on Rawls and his social context has provided valuable insights, some scholars argue that historicising carries significant philosophical consequences. This paper critically examines one such argument that contends that historicising Rawls’s theory demonstrates its contextual nature, undermines its diagnostic powers, and leads to its complete dissolution. We offer a reconstruction of this argument and show that it fails. Further, while we argue that this argument fails, (...) we go on to suggest that historical evidence may contribute to a defensive argument against appeals to expert opinion. By examining the appropriate relationship between historical research and philosophy, this essay contributes to the evaluation of the historicist critique and offers insights into the broader role of historical research in philosophical discourse. (shrink)

The introduction of normothermic regional perfusion (NRP) in controlled donation after circulatory determination of death (cDCDD) protocols is by some regarded as controversial and ethically troublesome. One of the main concerns that opponents have about introducing NRP in cDCDD protocols is that reestablishing circulation will negate the determination of death by circulatory criteria, potentially resuscitating the donor. In this article, I argue that this is not the case. If we take a closer look at the concept of death underlying the (...) circulatory criterion for determination of death, we find that the purpose of the criterion is to show whether the organism as a whole has died. I argue that this purpose is fulfilled by the circulatory criterion in cDCDD protocols, and that applying NRP does not negate the determination of death or resuscitate the donor. (shrink)

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable in (...) existential theories in the process. (shrink)

It has been argued that Hume's denial of infinite divisibility entails the falsity of most of the familiar theorems of Euclidean geometry, including the Pythagorean theorem and the bisection theorem. I argue that Hume's thesis that there are indivisibles is not incompatible with the Pythagorean theorem and other central theorems of Euclidean geometry, but only with those theorems that deal with matters of minuteness. The key to understanding Hume's view of geometry is the distinction he draws between a precise and (...) an imprecise standard of equality in extension. Hume's project is different from the attempt made by Berkeley in some of his later writings to save Euclidean geometry. Unlike Berkeley, who interprets the theorems of Euclidean geometry as false albeit useful approximations of geometrical facts, Hume is able to save most of the central theorems as true. (shrink)

Vorwort.--Schultz, F. Die philosophisch-weltanschauliche entwicklung der literarhistorischen methode.--Gumbel, H. Dichtung und volkstum.--Cysarz, H. Das periodenprinzip in der literaturwissenschaft.--Petersen, J. Die literarischen generationen.--Medicus, F. Das problem einer vergleichenden geschichte der künste.--Petsch, R. Die analyse des dichtwerkes.--Muschg, W. Das dichterporträt in der literaturgeschichte.--Jung, C. G. Psychologie und dichtung.--Ermatinger, E. Das gesetz in der literaturwissenschaft.--Nadler, J. Das problem der stilgeschichte.--Wundt, M. Literaturwissenschaft und weltanschauungslehre.--Strich, F. Weltliteratur und vergleichende literaturgeschichte.--Sarnetzki, D. H. Literaturwissenschaft und die dichtung und kritik des tages.

We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition under which the admissibility problem is coNEXP-hard. We also show that admissibility in several well-known systems (including GL, S4, and IPC) is in coNE, thus obtaining a sharp complexity estimate for admissibility in these systems.

According to John Rawls’s famous Liberal Principle of Legitimacy, the exercise of political power is legitimate only if it is justifiable to all citizens. The currently dominant interpretation of what is justifiable to persons in this sense is an internalist one. On this view, what is justifiable to persons depends on their beliefs and commitments. In this paper I challenge this reading of Rawls’s principle, and instead suggest that it is most plausibly interpreted in externalist terms. On this alternative view, (...) what is justifiable to persons is not in any way dependent on, or relativized to, their beliefs and commitments. Instead, what is justifiable to all in the relevant sense is what all could accept as free and equal. I defend this reinterpretation of the view by showing how it is supported by Rawls’s account of the freedom and equality of persons. In addition, a considerable advantage of this suggestion is that it allows for an inclusive account of to whom the exercise of political power must be made justifiable. (shrink)

" -- Franklin H. Littell In To Mend the World Emil L. Fackenheim points the way to Judaism's renewal in a world and an age in which all of our notions -- about ...

We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Blok–Esakia (...) theorem and the theory of modal companions to systems of multiple-conclusion rules or (finitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property. (shrink)

We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.

One of the major challenges facing agricultural and food systems today is the loss of agrobiodiversity. Considering the current impasse of preventing the worldwide loss of crop diversity, this paper highlights the possibility for a radical reorientation of current legal seed frameworks that could provide more space for alternative seed systems to evolve which centre on norms that support on-farm agrobiodiversity. Understanding the underlying norms that shape seed commons are important, since norms both delimit and contribute to what ultimately will (...) constitute the seeds and who will ultimately have access to the seeds and thus to the extent to which agrobiodiversity is upheld and supported. This paper applies a commoning approach to explore the underpinning norms of a Swedish seed commons initiative and discusses the potential for furthering agrobiodiversity in the context of wider legal and authoritative discourses on seed enclosure. The paper shows how the seed commoning system is shaped and protected by a particular set of farming norms, which allows for sharing seeds among those who adhere to the norms but excludes those who will not. The paper further illustrates how farmers have been able to navigate fragile legal and economic pathways to collectively organize around landrace seeds, which function as an epistemic farming community, that maintain landraces from the past and shape new landraces for the present, adapted to diverse agro-ecological environments for low-input agriculture. The paper reveals how the ascribed norms to the seed commons in combination with the current seed laws set a certain limit to the extent to which agrobiodiversity is upheld and supported and discusses why prescriptions of “getting institutions right” for seed governance are difficult at best, when considering the shifting socio-nature of seeds. To further increase agrobiodiversity, the paper suggests future seed laws are redirected to the sustenance of a proliferation of protected seed commoning systems that can supply locally adapted plant material for diverse groups of farmers and farming systems. (shrink)

Excerpt from Die Lehre vom Urteil Windelband hat in seinen "präludien und in dem Aufsatz der Festschrift für Zeller "beiträge zur Lehre vom nega tiven Urteil gerade vermittelst der Urteilslehre den ent scheidenden Schritt zu tun vermocht, der Logik wieder ihre sachliche Heimat im Ganzen der Philos0phie zu bestimmen. Rickerts "gegenstand der Erkenntnis ist sodann das Grund buch für alle logischen Untersuchungen der Werttheorie geworden und geblieben. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. (...) Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

We study the notion of conservative translation between logics introduced by (Feitosa & D’Ottaviano2001). We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most (...) nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal. (shrink)

We study the extension 123) of the theory S21 by instances of the dual weak pigeonhole principle for p-time functions, dWPHPx2x. We propose a natural framework for formalization of randomized algorithms in bounded arithmetic, and use it to provide a strengthening of Wilkie's witnessing theorem for S21+dWPHP. We construct a propositional proof system WF , which captures the Π1b-consequences of S21+dWPHP. We also show that WF p-simulates the Unstructured Extended Nullstellensatz proof system of Buss et al. 256). We prove that (...) dWPHP is equivalent to a statement asserting the existence of a family of Boolean functions with exponential circuit complexity. Building on this result, we formalize the Nisan–Wigderson construction in a conservative extension of S21+dWPHP. (shrink)

We study variants of Buss’s theories of bounded arithmetic axiomatized by induction schemes disallowing the use of parameters, and closely related induction inference rules. We put particular emphasis on \ induction schemes, which were so far neglected in the literature. We present inclusions and conservation results between the systems and \ of a new form), results on numbers of instances of the axioms or rules, connections to reflection principles for quantified propositional calculi, and separations between the systems.

Excerpt from Friedrich Nietzsche A philosopher in the academical, in the technical sense of the word Nietzsche was not. But if we accept his own definition that the real philosophers are com manders and law-givers, fighters against their time, then Nietzsche was a philosopher. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the (...) work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Mixed strategies have been used to show that Pascal’s Wager fails to offer sufficient pragmatic reasons for believing in God. Their proponents have argued that, in addition to outright belief in God, rational agents can follow alternatives strategies whose expected utility is infinite as well. One objection that has been raised against this way of blocking Pascal’s Wager is that applying a mixed strategy in Pascal’s case is tantamount to applying an iterated mixed strategy which, properly understood, collapses into the (...) pure strategy of becoming a theist. I argue that since the assumptions used to develop the iterated mixed strategies response are even more questionable than those the initial objection relies on, this type of response to the mixed strategy objection fails. (shrink)

We prove that the sharply bounded arithmetic T02 in a language containing the function symbol ⌊x /2y⌋ is equivalent to PV1.