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.

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)

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

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)

Cognition or higher brain activity is sometimes seen as a phenomenon greater than the sum of its parts. This viewpoint however is largely dependent on the state of the art of experimental techniques that endeavor to characterize morphology and its association to function. Retinal ganglion cells are readily accessible for this work and we discuss recent advances in computational techniques in identifying novel parameters that describe structural attributes possibly associated with specific function. These parameters are based on calculating wavelet gradients (...) from cell images followed by the extraction of meaningful measures including 2nd wavelet moment, entropy of orientation, and curvature. For the three cell types analyzed, the mean 2nd wavelet moment, which relates to the field of influence of the dendritic-tree segments was significantly different. cells had the highest mean 2nd wavelet moment, followed by the and cells (134 ± 22, 93 ± 19 and 63 ± 12, respectively). There was no significant difference between cells for entropy of orientation, indicating no class with a preferential orientation of their dendritic tree. Curvature provided similar results to the 2nd wavelet moment with cells having the highest curvature followed by and the cells (mean ± SD: 161 ± 15; 134 ± 22; 121 ± 15). Our feature space analysis also indicated a difference between these cell types. No difference was found between the and cell types and their physiological counterparts the Y and X cells based on wavelet analysis. Both the X and Y cells can be divided into two subtypes, the ON- and OFF-center cells based on the stratification level of the dendritic tree within the retina. Using 2nd wavelet moment, a difference in their morphological attributes, not reported previously, was noted for these subtypes. The 2nd wavelet moment and curvature are further discussed with respect to explaining regularity of spacing and coverage associated with retinal ganglion cell mosaics. (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)

Pocock, J. G. A. (John Greville Agard) 1924- "Quentin Skinner: The History of Politics and the Politics of History" Common Knowledge - Volume 10, Issue 3, Fall 2004, pp. 532-550.

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

In recent work, Adlam (2022b), Chen & Goldstein (2022), and Meacham (2023) have defended accounts of laws that take laws to be primitive global constraints. A major advantage of these accounts is that they’re able to accommodate the many different kinds of laws that appear in physical theories. In this paper I’ll present these three accounts, highlight their distinguishing features, and note some key differences that might lead one to favor one of these accounts over the others. I’ll conclude by (...) briefly discussing a version of a “constraint” account that I think is especially attractive. (shrink)

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)

J. G. H. Newfield; IV—Equality in Society, Proceedings of the Aristotelian Society, Volume 66, Issue 1, 1 June 1966, Pages 193–210, https://doi.org/10.1093/aris.

J. G. H. Newfield; IV—Equality in Society, Proceedings of the Aristotelian Society, Volume 66, Issue 1, 1 June 1966, Pages 193–210, https://doi.org/10.1093/aris.