This chapter contains sections titled: Taste and Discernment Delicacy of Taste and the Supertasters Practices and Comparisons Who Are the True Judges of Wine? Experts and Projects Experts and Evaluation Ideal and Izeal experts ‐ And You The Canon and Ideal Critics: The Special Relationship Levinson's Problems The Canon and Wine Wine Canons and Ideal Wine Critics Taste, the Competencies and Trust Iconic or Iconoclastic Critics Conclusion Notes.

In this paper, we prove several results about the Turing jumps of low c.e. sets. We show that only Δ‐levels of the Ershov Hierarchy can properly contain the Turing jumps of c.e. sets and that there exists an arbitrarily large computable ordinal with a normal notation such that the corresponding Δ‐level is proper for the Turing jump of some c.e. set. Next, we generalize the notion of jump traceability to the jump traceability with ‐ and ‐bound for every infinite computable (...) ordinal α. It is known that jump traceability and superlowness coincide on the c.e. sets and we show that for every infinite computable ordinal α, jump traceability with ‐ or ‐bound of a c.e. set A is equivalent to the fact that. Finally, we consider the generalized truth‐table reducibilities and prove that for every (not necessarily the Turing jump of a c.e. set) set A and every limit computable ordinal α, iff. (shrink)

In this thesis, we study the complexity of some mathematical problems: in particular, those arising in computable analysis and algorithmic learning theory for algebraic structures. Our study is not limited to these two areas: indeed, in both cases, the results we obtain are tightly connected to ideas and tools coming from different areas of mathematical logic, including for example descriptive set theory and reverse mathematics.After giving the necessary preliminaries, we first study the uniform computational strength of the Cantor–Bendixson theorem in (...) the Weihrauch lattice. This work falls into the program connecting reverse mathematics and computable analysis via the framework of Weihrauch reducibility. We concentrate on problems related to perfect subsets of Polish spaces, studying the perfect set theorem, the Cantor–Bendixson theorem, and various problems arising from them. As far as we know, this is the first systematic study of problems at the level of $\mathbf {\Pi }^1_1\mathsf {-CA}_0$ in the Weihrauch lattice. We show that the strength of some of the problems we study depends on the topological properties of the Polish space under consideration, while others have the same strength once the space is rich enough.We continue considering problems related to (induced) subgraphs. We provide results on the (effective) Wadge complexity of sets of graphs, that are also used to determine the Weihrauch degree of certain decision problems. The decision problems we consider are defined for a fixed graph G, and they take as input a graph H, answering whether G is an (induced) subgraph of H: we also consider the opposite problem (i.e., answering whether H is an induced subgraph of G). We conclude this part on (induced) subgraphs considering the Weihrauch degree of “search problems.”These problems are defined for a fixed graph G, and they take as input a graph H such that G is an (induced) subgraph H: the output is a copy of G in H. In both cases, we highlight differences and analogies between the subgraph and the induced subgraph relation.We then move our attention to algorithmic learning theory, and we present the framework we use to study the learnability of families of algebraic structures: here, given a countable family of pairwise nonisomorphic structures $\mathfrak {K}$, a learner receives larger and larger pieces of an arbitrary copy of a structure in $\mathfrak {K}$ and, at each stage, is required to output a conjecture about the isomorphism type of such a structure. We say that $\mathfrak {K}$ is learnable if there exists a learner which eventually stabilizes to a correct guess. The framework was lacking a method for comparing the complexity of nonlearnable families, and so we propose a solution to this problem using tools coming from invariant descriptive set theory. To do so, we first prove that a family of structures is learnable if and only if its learning domain is continuously reducible to the relation $E_0$ of eventual agreement on infinite binary sequences and then, replacing $E_0$ with Borel equivalence relations of higher complexity, we obtain a new hierarchy of learning problems. This leads to the notion of E-learnability, where a family of structures $\mathfrak {K}$ is E-learnable, for a Borel equivalence relation E, if there is a continuous reduction from the isomorphism relation associated with $\mathfrak {K}$ to E. It is then natural to ask how the notion of E-learnability interacts with “classical” learning paradigms.Finally, we study the number of mind changes that a learner needs to learn a given family, both from a topological and a combinatorial point of view, and we consider how the complexity of a learner (in terms of Turing reducibility) affects the number of mind changes for learning a given family.Abstract prepared by Vittorio Cipriani.E-mail: vittorio.cipriani17@gmail.com.URL: https://air.uniud.it/handle/11390/1252226. (shrink)

We investigate a theory of Frege structures extended by the Myhill-Flagg hierarchy of implications. We study its relation to a property theory with an approximation operator and we give a proof theoretical analysis of the basic system involved. MSC: 03F35, 03D60.

The nature and functions of classifications are first discussed and the differences between natural and artificial classifications are explicated. It is shown that borderline-case type problems result not from classifications, but from extending them to wider domains. Some methods of solving such problems are considered. The differences between monothetic and polythetic classifications are also taken up. A new treatment of trees as relations and their levels is developed. Certain kinds of hierarchies such as the classificatory, the inclusional, and the (...) structural are then characterized by means of the tree concept. (shrink)

In order to solve the problem of the influence of feature word position in lyrics on music emotion classification, this paper designs a music classification and detection model in complex noise environment. Firstly, an intelligent detection algorithm for electronic music signals under complex noise scenes is proposed, which can solve the limitations existing in the current electronic music signal detection process. At the same time, denoising technology is introduced to eliminate the noise and extract the features from the (...) signal. Secondly, from the perspective of audio and lyrics of song sentiment analysis and the unique characteristics of lyrics text, a lyric sentiment analysis method based on text title and position weight is proposed. Finally, considering the influence of the weight of feature words in different positions on the classification of lyrics, the analytic hierarchy process is used to calculate the weight of feature words in different positions of text title and lyrics before, in, and after the text. The results show that in the complex noise environment, the accuracy of music classification and detection of the proposed model is more than 90%, which is far beyond the control range of the actual application of music processing. The effect of music classification and detection is better than that of the contrast model, which has a certain practical application value. (shrink)

Aristotle's endeavor, at least insofar as we can judge from the way it has been transmitted to us and from the titles of the lost works, is often presented as the first work of an encyclopedic nature, as it seems to embrace and order all of the elements of knowledge. Does Aristotle not advance a classification of sciences, in Metaphysics, E, 1, as well as a systematic outline of the “sciences of nature” in his Meteorologica, I, 1? And again, (...) although logic is often presented as not belonging to the system of sciences since it is not counted as a science in Metaphysics, E, 1, is Aristotle not generally considered the inventor of this discipline? The impression is all the stronger in that Andronicus of Rhodes, in the first century b.c., edited Aristotle's works by roughly adopting the threefold division of philosophy into Logic-Physics-Ethics, a division that had become common during the Hellenistic period though more particularly proper to the Stoic system. Since then, all the editions of Aristotle, in every language, have been made to serve the order in which Aristotle's treatises were thus edited. (shrink)

We start with a simple proof of Leivant's normal form theorem for ∑11 formulas over finite successor structures. Then we use that normal form to prove the following:1. over all finite structures, every ∑21 formula is equivalent to a ∑21 formula whose first-order part is a Boolean combination of existential formulas, and2. over finite successor structures, the Kolaitis-Thakur hierarchy of minimization problems collapses completely and the Kolaitis-Thakur hierarchy of maximization problems collapses partially.The normal form theorem for ∑21 fails if ∑21 (...) is replaced with ∑11 or if infinite structures are allowed. (shrink)

Islamic scholars, who encountered works on the classification of sciences together with their translation activities, formed their own classification traditions by classifying the sciences from different perspective. These classifications, which position the sciences by considering the connection between reason and revelation, and pointing to the hierarchy and relationship between the sciences, also reflect the understanding of science on which they are based. In this context, we can talk about two different classification traditions put forward by Islamic philosophers (...) on the one hand and Islamic scholars on the other. At this point, Tashkoprīzāda (d. 958/1561), one of the 16th century Ottoman scholars, created an original classification of sciences that influenced the future by benefiting from both traditions. Tashkoprīzāda, who sees the classification of sciences as a branch of science at the same time, has written four valuable books in this field, especially his book called Miftāhu’s-sa‘āda. These works contain rich information about the history of sciences as well as the classification of sciences. He determined the sciences of fiqh and usūl al-fiqh as a sub-branch of shar‘ī sciences and gave both historical and current information about these sciences by focusing on the works of influential scholars. Tashkoprīzāda, who is followed Hanafi sect and saw the Hanafi school as the most virtuous one, handled the fiqh section by putting the Hanafi school in the center. One of the remarkable points is that Tashkoprīzāda completed the part in which he dealt with the historical process of Hanafi fiqh with two great scholars, such as Mewlānā Calāleddīn al-Konewī (v. 672/1273) and Sheikh Badraddin as-Simāwī (v. 823/1420), who stood out with their Sufism. It is also important in terms of showing the mystic environment in which Tashkoprīzāda was influenced and his approach to the relationship between tasawwuf and fiqh. Another point that makes Tashkoprīzāda’s works stand out in terms of the history of sciences is that he mentions famous and acceptable works by referring to the curriculum of his period and surroundings. Thus, Tashkoprīzāda reveals the classification of sciences as a whole with its history, hierarchy and curriculum. (shrink)

Trade-offs between the conflicting aspects of corporate sustainability have hindered the realization of win–win opportunities that advance both sustainable development and the bottom line. The question today is no longer whether these trade-offs are encountered in the pursuit of CS, but under which circumstances they occur, with which responses, and how best to navigate them. This study conducted a systematic review and content analysis of the trade-off literature published to-date at both conceptual and applied levels. Through this process, a hierarchical (...) framework is proposed for the analysis of trade-offs based on their different categories, their root tensions, their interconnections, and where they are encountered in the practice of CS, from policy to implementation. Based on this, a number of recommendations are provided on how managers may better navigate the hierarchy of trade-off decision-making, to ultimately transform trade-offs into synergies. Several suggestions for future trade-off research are also provided. (shrink)

The Ikhwan al-Safa' (Brethren of Purity), the anonymous adepts of a tenth-century esoteric fraternity based in Basra and Baghdad, hold an eminent position in the history of science and philosophy in Islam due to the wide reception and assimilation of their monumental encyclopaedia, the Rasa 'il Ikhwan al-Safa' (Epistles of the Brethren of Purity). This compendium contains fifty-two epistles offering synoptic accounts of the classical sciences and philosophies of the age; divided into four classificatory parts, it treats themes in mathematics, (...) logic, natural philosophy, psychology, metaphysics, and theology, in addition to didactic fables. Epistles 6 to 8 are from the first division of the Epistles, on the propaedeutical and mathematical sciences. Epistle 6 develops ideas concerning natural numbers and their arithmetic, geometric, and harmonic ratios, marked by the influence of Nicomachus of Gerasa and of Euclid. The Brethren here emphasize practical applications of proportionality in music, medicine, and alchemy. Epistle 7 addresses theoretical scientific knowledge as directed towards the spiritual realities of souls, the goal of which is to actualize human potential; this epistle also presents a remarkable classification of sciences. Epistle 8 surveys material cultures in the Islamic mediaeval milieu, embellished by a consideration of the effects of the heavenly bodies on the predisposition of individuals to follow specific trades. These three epistles are, of course, underpinned by the Brethren's perennial tropes of the microcosm/macrocosm analogy and the emanative hierarchy of existents. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Classification and Explanation in Aristotle’s Theory of DefinitionGreg Bayer1. introductiona problem lies at the heart of Aristotle’s theory of definition. On the one hand, Aristotle says in Topics VI.4 that “the one who defines well must define by means of genus1 and differentia” (141b25–7); indeed his view of definition most often seems to be confined to its role of picking out the definiendum by indicating the class it (...) belongs to—what can be called its “class definition.”2 But on the other hand, in Posterior Analytics II.2 he makes the pronouncement that “knowing what something is ” is the same as knowing why it is ” (90a31–2), and then goes on in II.2 and 8 to argue that definition is an, “explanation” or “explanatory principle.” How can these two notions of definition be reconciled?Short of giving the full Aristotelian solution to this problem, I hope here to suggest one way in which Aristotle’s notion of class definition—especially the reformed version presented in De Partibus Animalium I.2–4—can be shown to relate to his notion of explanatory definition in APo II. The link is his notion of scientific, “problems,” as discussed in APo II. 14 and elsewhere.3 It will turn out that a class definition in effect presents a scientific problem to the scientist which can best be solved by an explanation—ultimately by an “explanatory definition”—accounting for the attributes that form the basis of [End Page 487] class membership. Or more succinctly: the class definition presents a problem that the explanatory definition solves. Further, although the discussion in PA I is meant to be a reform of the simpler but unworkable method of arriving at the genus-differentia formula based upon, “division,” I intend to argue that an important ancillary benefit of the reformed method is that it is capable of articulating scientific problems in a much clearer way than division can. In fact, it seems very well suited to the task of presenting problems and hence to the task of searching for explanatory definitions.2. scientific problemsIn APo II. 14, Aristotle begins to outline the proper procedure for formulating scientific problems. We are told that “in order to obtain problems, we must pick out the sections 4 and divisions” of the subject we are investigating, about which we are formulating a problem (98a1–3). That is, we must learn to pick out each genus in the hierarchy of genera the subject belongs to by learning to identify the attributes associated with each of these genera. This will enable us to account for each attribute we find in the subject under investigation in terms of the genus the attribute is primarily associated with. As Aristotle explains: “Let A stand for animal, B for [an attribute] of every animal, and C, D, and E some particular animal [species]; it is clear why B belongs to D—because of A” (98a9–11).This, in a sense, shows one way a scientific problem—Why does attribute B belong to D?—can be “solved”: by finding the right “division” of D that accounts for its having B. But what is important to note here is that, in fact, our investigation only begins with this process of finding the right genus. This is simply how we “obtain” the problem, strictly speaking, not the means for ultimately solving it. Indeed the problem of accounting for why an attribute belongs to a given subject is not even completely formulated until we are able to determine the proper “division,” or genus, the attribute universally belongs to. Then we can ask the more fundamental question of why the attribute belongs to this genus, i.e., why B belongs to genus A. Now this question can be analyzed further, in terms of the other attributes of the genus. Any genus (or infima species) is, in effect, designated by a regular concomitance of the many attributes that identify it—i.e., attributes that universally co-occur in it. So the scientific problem we are formulating, regarding why a certain attribute belongs to a certain subject, ultimately should be reformulated in this way: Why does... (shrink)

Four classes of naturally rare vascular plant species are described and classified, based on parameters of spatial distribution and longevity. Properties intrinsic to these time/space parameters are explored and an importance hierarchy of causes of rarity is proposed for each class. These hierarchies serve as the basis for a predictive classification. Human causes of rarity such as habitat destruction and taxonomic difficulties are not considered in detail here but are discussed as confounding factors in the elucidation of rarity (...) in vascular plants. Several examples are provided to illustrate this classification and provide testable hypotheses concerning the origins of natural rarity in plant species. (shrink)

It has become commonplace within feminist theory to claim that women’s lives are constructed by multiple, intersecting systems of oppression. In this thesis, I challenge the consensus that oppression is aptly captured by the theoretical model of “intersectionality.” While intersectionality originates in Black feminist thought as a purposive intervention into US antidiscrimination law, it has been detached from that context and harnessed to different representational aims. For instance, it is often asserted that intersectionality enables a representational politics that overcomes legacies (...) of exclusion within hegemonic Anglo-American feminism. I argue that intersectionality reinscribes the political exclusion of racialized women as a feature of their embodied identities. That is, it locates the failure of political representation in the “complex” identities of “intersectional” subjects, who are constructed as unrepresentable in terms of “race” or “gender” alone. Further, I argue that intersectionality fails to supplant race- and class-privileged women as the normative subjects of feminist theory and politics. In Chapter One, I demonstrate that intersectionality illicitly imports unitary concepts of “race,” “gender,” and “class.” In Chapter Two, I argue that intersectionality lacks a theory of hierarchy: it is a “flat geography” which cannot capture vertical and horizontal lines of power. In Chapter Three, I explore the role of analogical reasoning in rendering racialized women invisible both as gendered and as racialized subjects in twentieth-century social movements. To concretize this argument, I turn to Simone de Beauvoir’s use of race-sex analogies to describe (white, bourgeois) “women’s” situation in The Second Sex. In Chapter Four, I advance a programmatic unified account of oppression. I suggest that the possibility of a unified theory (as opposed to an intersectional one) is intimated in the concrete articulation of race, class, and gender. My point of departure is a phenomenology of capitalism, which reveals that these are all fundamentally modes of exploitation and appropriation. In Chapter Five, I theorize how they are made visible (and invisible) on the body. I extend Frantz Fanon’s account of “epidermalization,” drawing upon the marxian concepts of “fetishism” and “mode of appearance” to elaborate four structures of gendered racialized perception: first, the “miscegenation taboo” structures perceptions of the “purity” of whiteness and the “polluting” effects of blackness. Whiteness, theorised as a “possessive investment” and as “property” is defined by the right to exclude. Second, the “episteme of tellable differences” produces the conviction that we can automatically “tell the difference” between a body placed in one “racial” or gender category, and another—while bodies that temporarily confound classification cause fear and consternation. Third, the “race/reproduction bind” names the axiomatic assumption that “race” is reproduced through (heterosexual) procreation and that “race” is, therefore, biologically inheritable. Finally, the “fear/criminalisation reflex” refers to the bidirectional equation of particular racialised-gendered bodies with crime, and of crime with those bodies; this a function of the discursive use of ‘crime’ as an alibi for “race’” the systemic racialisation of punitive carceral institutions, and the historical origins of “race” in transatlantic chattel slavery, which shaped perceptual-cognitive associations of freedom with whiteness and captivity with blackness. (shrink)

The question of whether biologists should continue to use the Linnaean hierarchy has been a hotly debated issue. Invented before the introduction of evolutionary theory, Linnaeus's system of classifying organisms is based on outdated theoretical assumptions, and is thought to be unable to provide accurate biological classifications. Marc Ereshefsky argues that biologists should abandon the Linnaean system and adopt an alternative that is more in line with evolutionary theory. He traces the evolution of the Linnaean hierarchy from its introduction to (...) the present. He illustrates how the continued use of this system hampers our ability to classify the organic world, and then goes on to make specific recommendations for a post-Linnaean method of classification. Accessible to a wide range of readers by providing introductory chapters to the philosophy of classification and the taxonomy of biology, the book will interest both scholars and students of biology and the philosophy of science. (shrink)

The classification of grammars that became known as the Chomsky hierarchy was an exploration of what kinds of regularities could arise from grammars that had various conditions imposed on their structure. Intersubstitutability is closely related to the way different levels on the Chomsky hierarchy correspond to different kinds of memory. This chapter deals with the general concept of a string‐rewriting grammar, which provides the setting in which the Chomsky hierarchy can be formulated. An unrestricted rewriting grammar works with a (...) specified set of nonterminal symbols, and specified set of terminal symbols. From the very outset there were doubts about about whether context‐free grammars (CFGs) could form the basis of a theory of natural language syntax. The grammar's rewrite rules correspond to the automaton's transitions. Chomsky argued that even if the generative capacity of CFGs turned out to be sufficient for English, the resulting grammars would be unreasonably complex. (shrink)

The paper provides a new argument against the classical invariance criterion for logical terms: if all terms with a permutation invariant extension qualify as logical, then for any arbitrary true contingent sentence K of the meta-language, there would be a logically true object-language sentence 'φ' such that K follows from the sentence 'φ is true'. Thus, many logically true sentences would be a posteriori. To prevent this fatal consequence, we propose to alter the invariance criterion: not only the term's extension, (...) but also its semantic clause must satisfy certain invariance conditions. The paper ends with the observation that the new criterion makes explicit the dependency of the classification of terms into logical and non-logical ones at the different levels of the Tarskian hierarchy of languages. (shrink)

The Linnaean system of classification is a threefold system of theoretical assumptions, sorting rules, and rules of nomenclature. Over time, that system has lost its theoretical assumptions as well as its sorting rules. Cladistic revisions have left it less and less Linnaean. And what remains of the system is flawed on pragmatic grounds. Taking all of this into account, it is time to consider alternative systems of classification.

It is possible to predict future life forms? In this paper it is argued that the answer to this question may well be positive. As a basis for predictions a rationale is used that is derived from historical data, e.g. from a hierarchical classification that ranks all building block systems, that have evolved so far. This classification is based on specific emergent properties that allow stepwise transitions, from low level building blocks to higher level ones. This paper shows (...) how this hierarchy can be used for predicting future life forms.The extrapolations suggest several future neural network organisms. Major aspects of the structures of these organisms are predicted. The results can be considered of fundamental importance for several reasons. Firstly, assuming that the operator hierarchy is a proper basis for predictions, the result yields insight into the structure of future organisms. Secondly, the predictions are not extrapolations of presently observed trends, but are fully integrated with all historical system transitions in evolution. Thirdly, the extrapolations suggest the structures of intelligences that, one day, will possess more powerful brains than human beings.This study ends with a discussion of possibilities for falsification of the present theory, the implications of the present predictions in relation to recent developments in artificial intelligence and the philosophical implications of the role of humanity in evolution with regard to the creation of future neural network organisms. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into (...) class='Hi'>hierarchies via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)

In their recent article “A Hierarchy of Classical and Paraconsistent Logics”, Eduardo Barrio, Federico Pailos and Damien Szmuc present novel and striking results about meta-inferential validity in various three valued logics. In the process, they have thrown open the door to a hitherto unrecognized domain of non-classical logics with surprising intrinsic properties, as well as subtle and interesting relations to various familiar logics, including classical logic. One such result is that, for each natural number n, there is a logic which (...) agrees with classical logic on tautologies, inferences, meta-inferences, meta-meta-inferences, meta-meta-...-meta-inferences, but that disagrees with classical logic on n + 1-meta-inferences. They suggest that this shows that classical logic can only be characterized by defining its valid inferences at all orders. In this article, I invoke some simple symmetric generalizations of BPS’s results to show that the problem is worse than they suggest, since in fact there are logics that agree with classical logic on inferential validity to all orders but still intuitively differ from it. I then discuss the relevance of these results for truth theory and the classification problem. (shrink)

Adaptors are proteins of multi‐modular structure without enzymatic activity. Their capacity to organise large, temporary protein complexes by linking proteins together in a regulated and selective fashion makes them of outstanding importance in the establishment and maintenance of specificity and efficiency in all known signal transduction pathways. This review focuses on the structural and functional characterisation of adaptors involved in tyrosine kinase (TK) signalling. TK‐linked adaptors can be distinguished by their domain composition and binding specificities. However, such structural classifications have (...) proven inadequate as indicators of functional roles. A better way to understand the logic of signalling networks might be to look at functional aspects of adaptor proteins such as signalling specificity, negative versus positive contribution to signal propagation, or their position in the signalling hierarchy. All of these functions are dynamic, suggesting that adaptors have important regulatory roles rather than acting only as stable linkers in signal transduction. BioEssays 28: 465–479, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

The article discusses the formal classification of natural sciences, which is based on several propositions: (a) natural sciences can be separated onto independent and dependent sciences based on the gnosiologic criterion and irreducibility criteria (principal and technical); (b) there are four independent sciences which form a hierarchy: physics ← chemistry ← terrestrial biology ← human psychology; (c) every independent science except for physics has already developed or will develop in the future a set of final paradigms formulated in the (...) terms of the science one step above it in the hierarchy; (d) some paradigms in physics will never become final; (e) each independent natural science has dependent sciences with paradigms already expressed in the terms of the respective independent sciences. Existing paradigms of independent natural sciences are listed and discussed with respect to the degree of their approach to the final state. Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;}. (shrink)

Say that a d.c.e. degree d is isolated by a c.e. degree b, if bMathematics Subject Classification (2000): 03D25, 03D30, 03D35 RID=""ID="" Key words or phrases: Computably (...) enumerable set – d.c.e. degree – Isolation – High/low hierarchy RID=""ID="" Ishmukhametov's research is supported by RFBR grant 01-01-00733, and Wu's research is supported by the Marsden Fund of New Zealand. Wu would like to thank his supervisor, Prof. Rod Downey, for his many helpful suggestions and comments. (shrink)

The idea that nature is governed by laws and that the goal of science is to discover and formulate these laws, rose to prominence during the Scientific Revolution of the seventeenth century. It was manifestly held by the most significant actors of that revolution such as Galileo, Descartes, Kepler, Boyle, and Newton. But this idea was not new. In fact, it made an appearance in the Middle Ages, and it is likely to have emerged already in Antiquity.1In this paper we (...) pay close attention to the concept of law of nature in the writings of Roger Bacon, the outspoken Franciscan who promoted experimental science. We will be using Bacon as a test case to show that long before the... (shrink)

Frontoparietal connectivity has been suggested to be important in conscious processing and its interruption is thought to be one mechanism of general anesthesia. Data in animals demonstrate that feedforward processing of information may persist during the anesthetized state, while feedback processing is inhibited. We investigated the directionality and functional organization of frontoparietal connectivity in 10 human subjects anesthetized with propofol on two separate occasions. Multichannel electroencephalography and a computational method of assessing directed functional connectivity were employed. We demonstrate that directed (...) feedback connectivity is diminished with loss of consciousness and returns with responsiveness to verbal command. We also applied the Dendrogram classification method to assess the global organization of directed functional connectivity during consciousness and anesthesia. We demonstrate a state-specific hierarchy and subject-specific subhierarchy in functional organization. These data support the hypothesis that specific states of human consciousness are defined by specific states of frontoparietal connectivity. (shrink)

We extend the hierarchy defined in [5] to cover all hyperarithmetical reals. An intuitive idea is used or the definition, but a characterization of the related classes is obtained. A hierarchy theorem and two fixed point theorems are presented.

We study a hierarchy of Kalmàr elementary functions on integers based on a classification of LOOP programs of limited complexity, namely those in which the depth of nestings of LOOP commands does not exceed two. It is proved that -place functions in can be enumerated by a single function in , and that the resulting hierarchy of elementary predicates (i.e., functions with 0,1-values) is proper in that there are predicates that are not in . Along the way the rudimentary (...) predicates of Smullyan are classified as. (shrink)

Hierarchies abound to help us organize our world. A hierarchy places items into a general order, where more ‘general’ is also more ‘abstract’. The etymology of hierarchy is grounded in notions of religious and social rank. This article, after a historical review, focuses on knowledge systems, an interloper of the term hierarchy since at least the 1800s. Hierarchies in knowledge systems include taxonomies, classification systems, or thesauri in information science, and systems for representing information and knowledge to (...) computers, notably ontologies and knowledge representation languages. Hierarchies are the logical underpinning of inference and reasoning in these systems, as well as the scaffolding for classification and inheritance. Hierarchies in knowledge systems express subsumption relations that have flexible variants, which we can represent algorithmically, and thus computationally. This article dissects that variability, leading to a proposed typology of hierarchies useful to knowledge systems. The article argues through a perspective informed by Charles Peirce that natural hierarchies are real, can be logically determined, and are the appropriate basis for knowledge systems. Description logics and semantic language standards reflect this perspective, importantly through their open-world logic and vocabularies for generalized subsumption hierarchies. Recent research suggests possible mechanisms for the emergence of natural hierarchies. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:CHARITY LOST: TBE SECtJLA'.RIZATfON OF THE PRINCIPLE OF DOUBLE EFFECT IN THE JUST-WAR TRADITION TIMOTHY M. RENICK Georgia State University Atlanta, Georgia 0 N AUGUST 12, 1945, the city of Hiroshima still smoldered, and President Harry Truman addressed the American people : We have used [the atomic bomb] against those who have attacked us without warning at Pearl Harbor, against those who have starved and beaten and executed American (...) prisoners of war, against those who have abandoned all pretense of obeying international laws of warfare. We have used it in order to shorten the agony of war.1 Truman and his military advisers had made a calculation. Japan was preparing for a last-ditch defense of the Japanese Islands. The prospect was ominous, to say the least. The United States had suffered eighty thousand casualties in the taking of the smaller and less protected Okinawa just two months earlier; 120,000 Japanese soldiers had been killed (and only ten-thousand taken prisoner). Strategists estimated that losses, both military and civilian, from a full scale battle for Japan itself would exceed one million. Surely the tens of thousands killed by exploding a bomb over Hiroshima was the lesser evil. Surely this was a proportionate act : fifty thousand lives traded for a million. As Winston Churchill wrote in support of Truman's decision: "To avert a vast, indefinite butchery... at the cost of a few explosions seemed, after all our toils and perils, a miracle of deliverance." 2 1 Michael Walzer, lust and Unjust Wars (New York: Basic Books, 1979), p.164. 2 Ibid., pp. 266-267. 441 442 TIMOTHY M. RENICK From an ethical perspective, however, the act was anything but a deliverance. I am not alone in this assessment. Advocates of the just-war tradition including Elizabeth Anscombe, Paul Ramsey, George Kennan, John Langan, and Michael Walzer have condemned the bombing of Hiroshima by means of a shared just-war argument.8 The argument goes as follows, and it is a good one. In times of war, many actions are likely to have both good and evil effects. One destroys an enemy's munitions factory (good effect) but kills an innocent child in the process (evil effect). The jus in bello of the just-war tradition, however, stipulates that an action which has a " double effect " is permissible if and only if: ( 1) it is discriminate (i.e., the actor aims only at the good effect and does not intend the evil effect, nor is the evil effect a means to the end, however good); and (2) it is proportionate (i.e., the good created by the act outweighs the bad).4 Now, the argument continues, Truman's decision to bomb Hiroshima failed the first criterion. It was not a discriminate act because the evil effect (the killing of tens of thousands of Japanese civilians) was not unintended. In fact, the evil was the very means to the good end. Although Truman himself claimed to have selected Hiroshima as a target because it was "a war s See, for example, G. E. M. Anscombe, "Mr. Truman's Decision," in Ethics, Religion and Politics (Minneapolis, Minn.: University of Minnesota, 1981); M. Walzer "Supreme Emergency," in Just and Unjust Wars; and John Langan, "The American Hierarchy and Nuclear Weapons," Theological Studies 43 (1982) : 447-467. ' I utilize here a helpful shorthand version of the principle of double effect introduced by Paul Ramsey in War and the Christian Conscience (Durham, North Carolina: Duke, 1961). More frequently, the principle is rendered by means of four criteria: It is permissible to perform an act likely to have evil consequences if and only if (I) the act is good in itself or at least indifferent; (2) the direct effect is morally justified; (3) the actor aims only at the acceptable effect and does not intend the evil effect, nor is the evil effect a means to the end, however good ; and (4) there is in the good effect a proportionately grave reason for permitting the evil effect. The shortened version of the theory captures all components essential to my discussion and enhances clarity. I thus will make use of it throughout this essay. CHARITY AND... (shrink)

In this influential work, first published in English in 1963, Durkheim and Mauss claim that the individual mind is capable of classification and they seek the origin of the ‘classificatory function’ in society. On the basis of an intensive examination of forms and principles of symbolic classification reported from the Australian aborigines, the Zuñi and traditional China, they try to establish a formal correspondence between social and symbolic classification. From this they argue that the mode of (...) class='Hi'>classification is determined by the form of society and that the notions of space, time, hierarchy, number, class and other such cognitive categories are products of society. Dr Needham’s introduction assesses the validity of Durkhiem and Mauss’s argument, traces its continued influence in various disciplines, and indicates its analytical value for future researches in social anthropology. (shrink)

The purpose of this study is to propose and develop an intelligent e-learning system based on advanced document management techniques at Al-Quds Open University. In this article, we focus on a case using e-mail contents as supplement educational materials at QOU. We describe how the interactive classification system based on concept hierarchy can simplify this task. This system provides the functions to index, classify, and retrieve a collection of e-mail messages based on user profiles. By automatically indexing e-mail messages (...) using our E-mail Classification System for e-Learning, instructors and/or students can easily find their messages and find the topics. The test results of our system evaluation showed that a good classification quality has been achieved, with a precision of 77.4%, recall of 90%, and F-measure of 82.8. (shrink)

In this paper, we provide an analysis about the relationship between expert and pragmatic categories used to name and categorize social space, from the point of view of the social hierarchies that structure it. Taking the case of Chile, and applying an experimental simulation methodology, we seek to contribute to the epistemological debate about the representations that individuals elaborate about social space, from a cognitive and interactionist perspective of everyday life. We analyse in particular the scope of the concept (...) of social class as an element of expert description of social reality, but also as a categorization used by ordinary subjects. We argue that although classifications used by ordinary people to describe members of society are not consistent with the most common academic class schemes, they nevertheless share the same logic and ranking system, adding evaluative and normative elements to the cognitive distinction, in the social construction of reality. En este artículo, presentamos un análisis acerca de la relación entre categorías expertas y categorías pragmáticas usadas para nombrar y categorizar el espacio social, desde el punto de vista de las jerarquías sociales que lo estructuran. Tomando el caso de Chile y aplicando una metodología experimental de simulación, aportamos al debate epistemológico acerca de las representaciones que los sujetos sociales elaboran acerca del espacio social, desde una perspectiva cognitiva e interaccionista situada en la vida cotidiana de las personas. Analizamos en especial el alcance del concepto de clase social en cuanto elemento de descripción experta de la realidad social, contrastándolo con la categorización de la misma de parte de sujetos comunes y corrientes. Postulamos que si bien las clasificaciones que ocupan las personas comunes y corrientes para describir a los integrantes de la sociedad no se condicen con las clasificaciones académicas más comunes, comparten sin embargo las mismas lógicas clasificatorias de jerarquización y ordenamiento, agregándose a la distinción cognitiva elementos normativos que aportan a la construcción social de la realidad. (shrink)

The topological arithmetical hierarchy is the effective version of the Borel hierarchy. Its class Δta 2 is just large enough to include several types of pointsets in Euclidean spaces ℝ k which are fundamental in computable analysis. As a crossbreed of Hausdorff's difference hierarchy in the Borel class ΔB 2 and Ershov's hierarchy in the class Δ0 2 of the arithmetical hierarchy, the Hausdorff-Ershov hierarchy introduced in this paper gives a powerful classification within Δta 2. This is based on (...) suitable characterizations of the sets from Δta 2 which are obtained in a close analogy to those of the ΔB 2 sets as well as those of the Δ0 2 sets. A helpful tool in dealing with resolvable sets is contributed by the technique of depth analysis. On this basis, the hierarchy properties, in particular the strict inclusions between classes of different levels, can be shown by direct constructions of witness sets. The Hausdorff-Ershov hierarchy runs properly over all constructive ordinals, in contrast to Ershov's hierarchy whose denotation-independent version collapses at level ω 2. Also, some new characterizations of concepts of decidability for pointsets in Euclidean spaces are presented. (shrink)

In this influential work, first published in English in 1963, Durkheim and Mauss claim that the individual mind is capable of classification and they seek the origin of the ‘classificatory function’ in society. On the basis of an intensive examination of forms and principles of symbolic classification reported from the Australian aborigines, the Zuñi and traditional China, they try to establish a formal correspondence between social and symbolic classification. From this they argue that the mode of (...) class='Hi'>classification is determined by the form of society and that the notions of space, time, hierarchy, number, class and other such cognitive categories are products of society. Dr Needham’s introduction assesses the validity of Durkhiem and Mauss’s argument, traces its continued influence in various disciplines, and indicates its analytical value for future researches in social anthropology. (shrink)

Gender Hierarchy in the Qurʾān: Medieval Interpretations, Modern Responses. By Karen Bauer. Cambridge Studies in Islamic Civilization. New York: Cambridge University Press, 2015. Pp. xi + 308. $99.99, £64.99. Gender and Muslim Constructions of Exegetical Authority: A Rereading of the Classical Genre of Qurʾān Commentary. By Aisha Geissinger. Islamic History and Civilization, vol. 117. Leiden: Brill, 2015. Pp. xi + 319. $163, €126. Tafsīr and Islamic Intellectual History: Exploring the Boundaries of a Genre. Edited by Andreas Görke and Johanna Pink. (...) Qur’anic Studies Series. New York: Oxford University Press, in association with the Institute of Ismaili Studies, London, 2014. Pp. xxi + 547. $99. (shrink)

The management control system aids administrators in guiding a business toward its organizational plans; as a result, management control is primarily concerned with the execution of the plan and plans. Financial and nonfinancial criteria are used to create management control systems. The financial element focuses on net income, earnings, and other financial metrics. The two components of leadership strategy in this study are cost and differentiation, which highlight the strategy of differentiation in attaining higher quality due to the robust strategy’s (...) attention on a particular area of the company. In this study, we presented a novel method named deep interaction neural network to predict the performance of the manufacturing companies based on their leading competitors using features cost leadership and differentiation strategies. Moreover, the management control system is classified into two financial and nonfinancial factors based on machine learning methods. Based on the results, the presented factors can accurately estimate the company’s performance based on management control criteria with a 93.48% R-square. Moreover, it can be seen that the DT method is presented with higher classification performance values. (shrink)

This research was partially supported by Grant-in-Aid for Scientific Research (No. 06640178 and No. 06640336), Ministry of Education, Science and Culture of Japan Mathematics Subject Classification: 03E05 --> Abstract. Following Carr's study on diagonal operations and normal filters on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\cal P}_{\kappa}\lambda$\end{document} in [2], several weakenings of normality have been investigated. One of them is to consider normal filters without \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document}-completeness, (...) for example, see DiPrisco-Uzcategui [3]. The other is weakening normality itself while keeping \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document}-completeness such as in Mignone [10] and Shioya [11]. We take the second one so that all filters are assumed to be \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document}-complete. In Sect. 1 a hierarchy of filters on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\cal P}_{\kappa}\lambda$\end{document} is presented which corresponds to the length of diagonal intersections under which the filters are closed. It turns out that many ranks exist between \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $FSF_{\kappa\lambda}$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $CF_{\kappa\lambda}$\end{document}. We consider seminormal ideals in Sect. 2 and determine the minimal seminormal ideal extending Johnson's result in [6]. Its precise descripti on changes according to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $cf(\lambda )$\end{document} although we can write it in a single form as well. We also prove that a nonnormal seminormal ideal \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $I\supset NS_{\kappa\lambda}$\end{document} exists if and only if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\lambda$\end{document} is regular. (shrink)

The investigation of computational properties of discontinuous functions is an important concern in computable analysis. One method to deal with this subject is to consider effective variants of Borel measurable functions. We introduce such a notion of Borel computability for single-valued as well as for multi-valued functions by a direct effectivization of the classical definition. On Baire space the finite levels of the resulting hierarchy of functions can be characterized using a notion of reducibility for functions and corresponding complete functions. (...) We use this classification and an effective version of a Selection Theorem of Bhattacharya-Srivastava in order to prove a generalization of the Representation Theorem of Kreitz-Weihrauch for Borel measurable functions on computable metric spaces: such functions are Borel measurable on a certain finite level, if and only if they admit a realizer on Baire space of the same quality. This Representation Theorem enables us to introduce a realizer reducibility for functions on metric spaces and we can extend the completeness result to this reducibility. Besides being very useful by itself, this reducibility leads to a new and effective proof of the Banach-Hausdorff-Lebesgue Theorem which connects Borel measurable functions with the Baire functions. Hence, for certain metric spaces the class of Borel computable functions on a certain level is exactly the class of functions which can be expressed as a limit of a pointwise convergent and computable sequence of functions of the next lower level. (shrink)

This paper proposes a novel method for identifying the public evaluative standards that contribute to the classification of certain conditions as mental disabilities. Public evaluative standards could contribute to ascertaining disabilities by outlining characteristics whose presence beyond a threshold is fundamentally important for the life of a person and whose absence or reduced occurrence constitutes a disability. Additionally, they can participate in determining disabilities by delineating particularly grave difficulties, impairments, or incapacities. Our method relies on a model of public (...) justification of evaluative standards that is inspired by Gerald Gaus’s theory of public reason. Thus, our approach recommends the justification of evaluative standards through sound deliberative routes from reasons accessible to all persons who participate in the process of justification and the convergence of what is justified in this way to each of them. We deem that disabilities could be caused both by problems in the internal characteristics of a person as well as by unfairness or a lack of hospitality in external circumstances. This is why the method of justification is applied to the assessment of those circumstances as well. If social or environmental circumstances cannot be justified through the convergence of reasons accessible to all persons involved in the process of justification, we have reasons to exclude the presence of a disability and ascertain the presence of inadequate external conditions. (shrink)

The history of biological systematics documents a continuing tension between classifications in terms of nested hierarchies congruent with branching diagrams (the ‘Tree of Life’) versus reticulated relations. The recognition of conflicting character distribution led to the dissolution of the scala naturae into reticulated systems, which were then transformed into phylogenetic trees by the addition of a vertical axis. The cladistic revolution in systematics resulted in a representation of phylogeny as a strictly bifurcating pattern (cladogram). Due to the ubiquity of (...) character conflict—at the genetic or morphological level, or at any level in between—some characters will necessarily have to be discarded ( qua noise) in favor of others in support of a strictly bifurcating phylogenetic tree. Pattern analysts will seek maximal congruence in the distribution of characters (ultimately of any kind) relative to a branching tree-topology; process explainers will call such tree-topologies into question by reference to incompatible evolutionary processes. Pattern analysts will argue that process explanations must not be brought to bear on pattern reconstruction; process explainers will insist that the reconstructed pattern requires a process explanation to become scientifically relevant, i.e., relevant to evolutionary theory. The core question driving the current debate about the adequacy of the ‘Tree of Life’ metaphor seems to be whether the systematic dichotomization of the living world is an adequate representation of the complex evolutionary history of global biodiversity. In ‘Questioning the Tree of Life’, it seems beneficial to draw at least four conceptual distinctions: pattern reconstruction versus process explanation as different epistemological approaches to the study of phylogeny; open versus closed systems as expressions of different kinds of population (species) structures; phylogenetic trees versus cladograms as representations of evolutionary processes versus patterns of relationships; and genes versus species as expressions of different levels of causal integration and evolutionary transformation. (shrink)

We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I. Kalimullin, and R. Miller to show that for every computable ordinal $\alpha$, $\mathbf{0}^{}$ is the degree of categoricity of some computable structure $\mathcal{A}$. We show additionally that for $\alpha$ a computable successor ordinal, every degree $2$-c.e. in and above $\mathbf{0}^{}$ is a degree of categoricity. We further prove that every degree of categoricity is hyperarithmetic and show that the index set of structures with degrees (...) of categoricity is $\Pi_{1}^{1}$-complete. (shrink)

This paper examines classification practices in the domain of plant data semantics, and particularly methods used to label plant traits to foster the collection, management, linkage and analysis of data about crops across locations—which crucially inform research and interventions on plants and agriculture. The efforts required to share data place in sharp relief the forms of diversity characterizing the systems used to capture the biological and environmental characteristics of plant variants: particularly the biological, cultural, scientific and semantic diversity affecting (...) the identification and description of plant traits, the methods used to generate and process data, and the goals and skills of those with relevant expertise—including farmers and breeders. Through a study of the Crop Ontology (which explicitly recognizes and negotiates diversity) and its application to cassava breeding, I argue for a process-sensitive approach to the naming of plant traits that focuses on documenting environmental processes instead of biological products. I claim that this approach can foster reliable linkage and robust re-use of plant data, while at the same time facilitating dialogue between data scientists, plant researchers, breeders, and other relevant experts in ways that crucially inform agricultural interventions. I conclude that the study of data semantics and related descriptors constitutes a productive and underexplored way to think about the epistemic import of naming traits within plant science. The effort to articulate semantic differences among plant varieties and methods of data processing can generate newly inclusive ways to develop and communicate biological knowledge. In turn, such practices have the potential to defy existing understandings of systematisation and hierarchies of expertise in biology, thus bolstering the extent to which plant science can support biodiversity and sustainable agriculture. (shrink)

Small pendant discs known as Scandinavian gold bracteates are visually impressive indicators of status and identity during the early medieval Migration Period (c. 450–550 CE). Much of the emphasis in bracteate studies has been on typological classification and iconographic interpretation of the pictures, along with decipherment of the inscriptions, yet the sensory impression made by bracteates has been neglected. For decades, archaeologists considered it futile to speculate on the experiential; however, recent research has begun to contend with the materiality (...) of senses and emotions in the past. In this paper, I focus on the both sensory effect of experiencing the pendants and the emotional impact of the objects on those who wore and handled them. Since bracteates are often discovered in women’s graves and show evidence of wear on their suspension loops, it is assumed that these objects were actually used in life. A spotlight on agency turns the study of bracteates from an emphasis on typology, iconography, and runology to trace instead the agency and multisensory effects of these objects on people and the effects of people’s actions on these items. This allows an examination of how bracteates were entangled with the senses and emotions of those who made, wore, and gazed upon these small but important objects. I consider what it may have felt like to make, receive, wear, lose, or bequeath a bracteate – or to deposit it into a bog or a grave. (shrink)

Adam Graves presents a new framework for understanding the importance of the concept of revelation in the development of phenomenology while also charting a path towards a more fruitful understanding of the relationship between reason and revelation, one that is rooted in a deeper appreciation of the complexities of our linguistic inheritance.

An archive is a repository - that is, a place or space in which materials of historic interest or social significance are stored and ordered. A national archive is the storing and ordering place of the collective memory of that nation or people(s). This article provides a brief his torical/theoretical introduction to the politics of the archive in late capi talist societies and discusses this politics of memory via the performance of ordinary daily activities of librarians and archivists. Some relevant (...) political/discursive questions include: who controls, establishes and maintains the archive, and how do they do so? Which materials are preserved in the archive and which are excluded? As the documents and artifacts selected for the archive are ordered and classi fied, how do the schemas and structures applied include, exclude, fore ground or marginalize those materials? Finally, to what extent do the logical hierarchies for classification and arrangement reflect social or political hierarchies? Librarians and archivists face these concerns in HISTORY OF THE HUMAN SCIENCES Vol. 11 No. 4 © 1998 SAGE Publications (London, Thousand Oaks and New Delhi) [0952-6951(199811)11:4;17-32; 006604]their professional practice as they make decisions influenced by budgets, finite amounts of both physical and computer storage space and limited staff resources. The authors give real-life examples of choices made as archivists struggle to balance ideological goals made contradictory by practical constraints. For example, is it more appro priate to acquire as many materials as possible but be unable to describe, preserve and present them adequately, or is it preferable to describe, preserve and make fully available a more limited range of records and documents? Because of such practical concerns in modern technicist cultures, the explicitly political who often is reduced to the technically instrumental how - that is, political-moral questions are displaced to nonmoral and nonpolitical technical discourse, thereby establishing a 'meta-politics' that is understood only by the initiated. Conversely, archival activities such as acquisition, classification and preservation are 'technical' activi ties that may become explicitly 'political'. The article concludes that technical activities always are political, at least latently or potentially, even when they are not contested and made explicitly political. (shrink)

There is a perennial philosophical dream of a certain natural order for the natural kinds. The name of this dream is ‘the hierarchy requirement’. According to this postulate, proper natural kinds form a taxonomy which is both unique and traditional. Here I demonstrate that complex scientific objects exist: objects which generate different systems of scientific classification, produce myriad legitimate alternatives amongst the nonetheless still natural kinds, and make the hierarchical dream impossible to realize, except at absurdly great cost. Philosophical (...) hopes for a certain order in nature cannot be fulfilled. Natural kinds crosscut one another, ubiquitously so, and this crosscutting spells the end of the hierarchical dream. (shrink)