A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR+ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.

An exploratory model is presented as a heuristic to indicate how individual perceptions of corporate reputation (before joining) and corporate ethical values (after joining) generate specific individual organizational senses of fit. The paper suggests that an ethical dimension of person-organization fit may go some way in explaining superior acquisition and retention of staff by those who are attracted to specific organizations by levels of corporate social performance consonant with their ethical expectations, or who remain with them by virtue of better (...) personal ethical fits with extant organizational ethical values. Specifically, the model suggests that individual misfits that arise from ethical expectations that either exceed or fall short of perceived organizational ethical performances lead to problematic acquisition and retention behavioural outcomes. (shrink)

The texts collected in this volume, which was originally published in 1969, contain Herder's most original and stimulating ideas on politics, history and language. They had for the most part not been previously available in English. In his introduction, Professor Barnard analyses the basic premises of Herder's political thought against the background of the Enlightenment. He examines Herder's concepts of language, community and culture, his theory of historical interaction, and his approach to the problem of change and progress. Finally, he (...) provides a brief comparative analysis of traditionalist thought following the French Revolution, showing how substantive writers like Burke differed from Herder despite the close similarity of political vocabulary. (shrink)

The first English translation of Fichte’s second set of 1804 lectures on the Wissenschaftslehre.

This collection by some of the leading scholars of Strauss's work is the first devoted to Strauss's thought regarding education. It seeks to address his conception of education as it applies to a range of his most important concepts, such as his views on the importance of revelation, his critique of modern democracy and the importance of modern classical education.

A solution of the sourceless Einstein's equation with an infinite value for the cosmological constant Λ is discussed by using Inönü–Wigner contractions of the de Sitter groups and spaces. When Λ→∞, spacetime becomes a four-dimensional cone, dual to Minkowski space by a spacetime inversion. This inversion relates the four-cone vertex to the infinity of Minkowski space, and the four-cone infinity to the Minkowski light-cone. The non-relativistic limit c→∞ is further considered, the kinematical group in this case being a modified Galilei (...) group in which the space and time translations are replaced by the non-relativistic limits of the corresponding proper conformal transformations. This group presents the same abstract Lie algebra as the Galilei group and can be named the conformal Galilei group. The results may be of interest to the early Universe Cosmology. (shrink)

This essay is written on the following premises and argues for them. “Enlightenment” is a word or signifier, and not a single or unifiable phenomenon which it consistently signifies. There is no single or unifiable phenomenon describable as “the Enlightenment,” but it is the definite article rather than the noun which is to be avoided. In studying the intellectual history of the late seventeenth century and the eighteenth, we encounter a variety of statements made, and assumptions proposed, to which the (...) term “Enlightenment” may usefully be applied, but the meanings of the term shift as we apply it. The things are connected, but not continuous; they cannot be reduced to a single narrative; and we find ourselves using the word “Enlightenment” in a family of ways and talking about a family of phenomena, resembling and related to one another in a variety of ways that permit of various generalizations about them. We are not, however, committed to a single root meaning of the word “Enlightenment,” and we do not need to reduce the phenomena of which we treat to a single process or entity to be termed “the” Enlightenment. It is a reification that we wish to avoid, but the structure of our language is such that this is difficult, and we will find ourselves talking of “the French” or “the Scottish,” “the Newtonian” or the “the Arminian” Enlightenments, and hoping that by employing qualifying adjectives we may constantly remind ourselves that the keyword “Enlightenment” is ours to use and should not master us. (shrink)

Philosophical discussions about health and disease often refer to a 'medical model' of bodily disease, in which diseases are regarded as causes of illness; diagnosis consists in identifying the disease affecting the patient, and this determines the appropriate treatment. This view is plausible only for diseases whose cause is known, though even in such instances the disease is the effect on the affected person, and must not be confused with its own cause. But in fact the medical diagnostic process which (...) progresses from recognition of patterns of symptoms and signs, through search for abnormalities of structure and/or function, towards knowledge of causation often stops short of this desirable end-point; and at whatever point it comes to a halt, its result is expressed in terms of 'diseases'. Thus in medical discourse the names of diseases are a convenient device by which the current conclusion of the diagnostic process can be stated briefly; and they have widely varying factual implications. This nominalist analysis of the medical usages of the names of diseases has consequences for definitions of health and disease, and for some problems in medical ethics. (shrink)

Legal positivism maintains a distinction between law as it is and law as it ought to be. In other words, for positivists, a law can be legally valid even if it is immoral. H. L. A. Hart hoped to defend legal positivism against natural law. This paper analyses Hart’s criticism of Gustav Radbruch, a natural lawyer, before suggesting that Hart’s account of legal positivism gives rise to a logical problem. It is concluded that this problem leaves logical space for a (...) theory of natural law based on moral authority rather than legal validity. (shrink)

Correspondence and texts by Fichte and Schelling illuminate their thought and the trajectory of their philosophical falling out.

This article seeks to combine two lines of thought that have been little studied: a model history of early modern historiography, and a theory of the impact of historiography on a political society. Under the former heading, it traces the growth of a narrative of European history as a series of sequels to the Roman empire, and a history of historiography as passing from classical narrative to antiquarian study and Enlightened philosophy. Under the latter, it considers the effect on political (...) life of being narrated in a plurality of contexts, and asks whether a modern society can survive if deprived of the capacity for debating its history. (shrink)

Critical scholarly edition of J. G. Fichte's Closed Commercial State.

Most Gentzen systems arising in logic contain few axiom schemata and many rule schemata. Hilbert systems, on the other hand, usually contain few proper inference rules and possibly many axioms. Because of this, the two notions tend to serve different purposes. It is common for a logic to be specified in the first instance by means of a Gentzen calculus, whereupon a Hilbert-style presentation ‘for’ the logic may be sought—or vice versa. Where this has occurred, the word ‘for’ has taken (...) on several different meanings, partly because the Gentzen separator ⇒ can be interpreted intuitively in a number of ways. Here ⇒ will be denoted less evocatively by ⊲.In this paper we aim to discuss some of the useful ways in which Gentzen and Hilbert systems may correspond to each other. Actually, we shall be concerned with thededucibility relationsof the formal systems, as it is these that are susceptible to transformation in useful ways. To avoid potential confusion, we shall speak of Hilbert and Gentzenrelations. By aHilbert relationwe mean any substitution-invariant consequence relation onformulas—this comes to the same thing as the deducibility relation of a set of Hilbert-style axioms and rules. By aGentzen relationwe mean the fully fledged generalization of this notion in whichsequentstake the place of single formulas. In the literature, Hilbert relations are often referred to assentential logics. Gentzen relations as defined here are their exactsequentialcounterparts. (shrink)