ABSTRACT This paper presents an attempt to create a shell for generic interactive proof search and proof assistant software based on it.

A generic statement is a type of generalization that is made by asserting that a "kind" has a certain property. For example we might hear that marshmallows are sweet. Here, we are talking about the "kind" marshmallow and assert that individual instances of this kind have the property of being sweet. Almost all of our common sense knowledge about the everyday world is put in terms of generic statements. What can make these generic sentences be true even (...) when there are exceptions? A mass term is one that does not "divide its reference;" the word water is a mass term; the word dog is a count term. In a certain vicinity, one can count and identity how many dogs there are, but it doesn't make sense to do that for water--there just is water present. The philosophical literature is rife with examples concerning how a thing can be composed of a mass, such as a statue being composed of clay. Both generic statements and mass terms have led philosophers, linguists, semanticists, and logicians to search for theories to accommodate these phenomena and relationships. The contributors to this interdisciplinary volume study the nature and use of generics and mass terms. Noted researchers in the psychology of language use material from the investigation of human performance and child-language learning to broaden the range of options open for formal semanticists in the construction of their theories, and to give credence to some of their earlier postulations--for instance, concerning different types of predications that are available for true generics and for the role of object recognitions in the development of count vs. mass terms. Relevant data also is described by investigating the ways children learn these sorts of linguistic items: children can learn how to sue generic statements correctly at an early age, and children are adept at individuating objects and distinguishing them from the stuff of which they are made also at an early age. (shrink)

We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in automated theorem provers. For querying, we present a generic language extension approach that allows constructing queries by minimally annotating existing representations. First experiments show that this architecture results in a scalable application.

We give some restrictions for the search for a model of the club principle with no Souslin trees. We show that ${\diamondsuit(2^\omega, [\omega]^\omega}$ , is almost constant on) together with CH and “all Aronszajn trees are special” is consistent relative to ZFC. This implies the analogous result for a double weakening of the club principle.

We are experiencing a new phase of the crisis of the universality in the transmodern era. In the XXIst century there is room for the common search for the human unity starting from the acceptance of our fundamental diversity and the experiencing of an insular, local universality in the Digital Realm of the Net. There are good reasons to consider the Human Being has a ground non generic universality, inviting us to search the human integrality as a (...) process, not as a result and to accept that the digital natives are naturally adapted to the Transmodern Era. (shrink)

Life scientists increasingly rely upon abstraction-based modeling and reasoning strategies for understanding biological phenomena. We introduce the notion of constraint-based reasoning as a fruitful tool for conceptualizing some of these developments. One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models. Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general dependency-relations and (...) patterning between functions and structures. We describe such situations as constraint-based explanations and argue that these differ from mechanistic strategies in important respects. While mechanistic explanations emphasize change-relating causal features, constraint-based explanations emphasize formal dependencies and generic organizational features that are relatively independent of lower-level changes in causal details. Our distinction between mechanistic and constraint-based explanations is pragmatically motivated by the wish to understand scientific practice. We contend that delineating the affordances and assumptions of different explanatory questions and strategies helps to clarify tensions between diverging scientific practices and the innovative potentials in their combination. Moreover, we show how constraint-based explanation integrates several features shared by otherwise different philosophical accounts of abstract explanatory strategies in biology. (shrink)

Museum professionalism remains an unexplored area in museum studies, particularly with regard to what is arguably the core generic question of a sui generis professional knowledge base, and its necessary and sufficient conditions. The need to examine this question becomes all the more important with the increasing expansion of the museum’s roles and functions. This paper starts by mapping out the policy and organizational context within which the roles of museums have expanded in the UK. It then situates the (...) discussion of museum professional knowledge within a cross-disciplinary matrix bearing on the question of what is professional about occupations classified—or classifiable—as professions. Against the backdrop of the current organizational context of the museum as well as theories of professional knowledge, it highlights the ways in which museum work, more specifically museography, poses a distinctive set of questions compared to other ‘professional’ fields; the paper thus homes in on the question of what it is that constitutes the uniqueness of museum professional knowledge in relation to museographic practice and the type of professional knowledge and expertise that can sustain it and enact its creative and educational potentials and affordances. (shrink)

The reductive, as opposed to deductive, view of logic is the form of logic that is, perhaps, most widely employed in practical reasoning. In particular, it is the basis of logic programming. Here, building on the idea of uniform proof in reductive logic, we give a treatment of logic programming for BI, the logic of bunched implications, giving both operational and denotational semantics, together with soundness and completeness theorems, all couched in terms of the resource interpretation of BI’s semantics. We (...) use this set-up as a basis for exploring how coalgebraic semantics can, in contrast to the basic denotational semantics, be used to describe the concrete operational choices that are an essential part of proof-search. The overall aim, toward which this paper can be seen as an initial step, is to develop a uniform, generic, mathematical framework for understanding the relationship between the deductive structure of logics and the control structures of the corresponding reductive paradigm. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.4 (2003) 564-565 [Access article in PDF] Samuel J. Kerstein. Kant's Search for the Supreme Principle of Morality. New York: Cambridge University Press, 2002. Pp. xiv + 226. Cloth, $60.00. Summed up in a sentence, this book is both a critical examination of Kant's claim to have derived a supreme moral principle and a limited defense of Kant's project that appears to (...) depart significantly from Kant's own approach. Methodologically, a large portion of this book is devoted to analyzing various key concepts and claims about the nature of the categorical imperative in the Groundwork of the Metaphysics of Morals and the Critique of Practical Reason and testing them against "everyday" moral intuitions via numerous examples and counterexamples.Kerstein begins by distinguishing between the tasks of deduction and derivation of a supreme moral principle, whereby a deduction is understood as an argument for the existence of a supreme moral principle, and a derivation simply assumes this conditionally and goes on to argue that a particular principle and no other can claim the title. Kerstein waives the discussion of whether Kant succeeds in giving a deduction and hence satisfactorily refutes moral skepticism. His focus in the book is on the derivation proposed primarily in Groundwork I and II that if there is a supreme moral principle, then it must be that law expressed in his formulations of the Categorical Imperative (hereafter "CI"). Kerstein addresses Bruce Aune's "traditional" reading of Kant's derivation, wherein the argument utterly fails because Kant allegedly infers a relatively substantive command ("Act only on that maxim which you can at the same time will to be universal law") from a purely formal, higher order, and hence relatively empty one ("Conform your actions to universal law"). He then devotes a chapter each to two recent, influential defenses of Kant's derivation that seek his argument outside the Groundwork. Kerstein addresses Henry Allison's attempt to rescue the derivation via an account of agency rooted in Kant's notion of transcendental freedom, elaborated in the second Critique. Kerstein rejects Allison's reconstruction on the grounds that it remains too abstract to generate the degree of specificity arrived at in Kant's Groundwork universalization formulation. Chapter Three examines Christine Korsgaard's alternative reconstruction of Kant's argument that focuses on the formulation of humanity ("Act so as to treat humanity, whether in your own person or that of any other, always as an end and never as a means only"). He rejects her interpretation because, again, the move from the abstract command to conform to universal law to the substantive formulation about humanity as a universally recognizable unconditional good fails. From the former, more abstract claim, he argues, it does not follow that there is a universally recognizable unconditional good, let alone that this good is humanity in itself (and not, say, utility [happiness], or even some intrinsic value unrelated to humanity, both of which Kant rejects as candidates for the unconditionally good).In his own reconstruction, Kerstein dissolves the criticism of the traditional reading of Kant's Groundwork derivation of the formula of universal law by simply denying that Kant [End Page 564] argues directly from the more generic principle to the specific versions of the CI (91ff). Instead he suggests that Kant's argument is less direct, made by way of laying out a set of criteria that any supreme principle must meet, and showing how the CI meets them while no other candidates can. In the second half of the book he takes a painstaking and critical look at a total of eight criteria, each of which Kant holds to be necessary and together are jointly sufficient for establishing the CI as "the supreme norm for the evaluation of the moral permissability and requiredness of an action, but not of its moral value" (165). This statement includes Kerstein's most controversial and interesting reconstructive claim, namely his denial that moral worth attaches only to actions done in accordance with duty as determined by the test... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.4 (2003) 564-565 [Access article in PDF] Samuel J. Kerstein. Kant's Search for the Supreme Principle of Morality. New York: Cambridge University Press, 2002. Pp. xiv + 226. Cloth, $60.00. Summed up in a sentence, this book is both a critical examination of Kant's claim to have derived a supreme moral principle and a limited defense of Kant's project that appears to (...) depart significantly from Kant's own approach. Methodologically, a large portion of this book is devoted to analyzing various key concepts and claims about the nature of the categorical imperative in the Groundwork of the Metaphysics of Morals and the Critique of Practical Reason and testing them against "everyday" moral intuitions via numerous examples and counterexamples.Kerstein begins by distinguishing between the tasks of deduction and derivation of a supreme moral principle, whereby a deduction is understood as an argument for the existence of a supreme moral principle, and a derivation simply assumes this conditionally and goes on to argue that a particular principle and no other can claim the title. Kerstein waives the discussion of whether Kant succeeds in giving a deduction and hence satisfactorily refutes moral skepticism. His focus in the book is on the derivation proposed primarily in Groundwork I and II that if there is a supreme moral principle, then it must be that law expressed in his formulations of the Categorical Imperative (hereafter "CI"). Kerstein addresses Bruce Aune's "traditional" reading of Kant's derivation, wherein the argument utterly fails because Kant allegedly infers a relatively substantive command ("Act only on that maxim which you can at the same time will to be universal law") from a purely formal, higher order, and hence relatively empty one ("Conform your actions to universal law"). He then devotes a chapter each to two recent, influential defenses of Kant's derivation that seek his argument outside the Groundwork. Kerstein addresses Henry Allison's attempt to rescue the derivation via an account of agency rooted in Kant's notion of transcendental freedom, elaborated in the second Critique. Kerstein rejects Allison's reconstruction on the grounds that it remains too abstract to generate the degree of specificity arrived at in Kant's Groundwork universalization formulation. Chapter Three examines Christine Korsgaard's alternative reconstruction of Kant's argument that focuses on the formulation of humanity ("Act so as to treat humanity, whether in your own person or that of any other, always as an end and never as a means only"). He rejects her interpretation because, again, the move from the abstract command to conform to universal law to the substantive formulation about humanity as a universally recognizable unconditional good fails. From the former, more abstract claim, he argues, it does not follow that there is a universally recognizable unconditional good, let alone that this good is humanity in itself (and not, say, utility [happiness], or even some intrinsic value unrelated to humanity, both of which Kant rejects as candidates for the unconditionally good).In his own reconstruction, Kerstein dissolves the criticism of the traditional reading of Kant's Groundwork derivation of the formula of universal law by simply denying that Kant [End Page 564] argues directly from the more generic principle to the specific versions of the CI (91ff). Instead he suggests that Kant's argument is less direct, made by way of laying out a set of criteria that any supreme principle must meet, and showing how the CI meets them while no other candidates can. In the second half of the book he takes a painstaking and critical look at a total of eight criteria, each of which Kant holds to be necessary and together are jointly sufficient for establishing the CI as "the supreme norm for the evaluation of the moral permissability and requiredness of an action, but not of its moral value" (165). This statement includes Kerstein's most controversial and interesting reconstructive claim, namely his denial that moral worth attaches only to actions done in accordance with duty as determined by the test... (shrink)

Wattpad is a popular online writing website in which individuals write, upload, and comment on original stories. In 2020, the platform had more than a hundred million registered users. In this article, we use a mixture of close and distant reading methods to study how lay authors wrote about the COVID-19 global pandemic during its first year. We examine some of the formal and generic norms these authors used to narrativize this event; how such norms evolved over time as (...) the pandemic dragged on; and how these online COVID stories differ from more established online genres, such as mystery and romance. Overall, this article explores how a large reading and writing public, leveraging the novel affordances of user generated content, came to respond to a massive social crisis in real time, before they knew how it would end. This exploration allows us to accomplish two things. First, we are able to situate real-time pandemic stories against the retrospective narratives that we expect from literary fiction. How does writing crisis in real time and in a collaborative mode produce its own unique plot and narrative structures, and how do stories written in the immediate wake of the pandemic anticipate later mainstream cultural productions (fiction, film, television)? Second, we gain a broader understanding of how new genres of writing emerge within a cultural ecosystem increasingly defined by generic predictability and the recycling of familiar cultural intellectual property (IP), such as The Avengers and Harry Potter. COVID-19 dramatically disrupted global economic, political, and health systems. How did it also disrupt cultural systems? (shrink)

The perennial issue of the distinctiveness of the mental health nurse (MHN) is once again to the fore. Previous attempts to resolve this apparent identity crisis in the discipline have included proposals for new models, new research and new educational preparation as well as new alliances, and new ways of practising. Now the politically driven concept of the generic nurse is gaining enough momentum to potentially end the discussion once and for all. This paper takes a postmodernist approach to (...) MHN identity that questions the requirement for MHNs to articulate their distinctiveness, and offers alternative constructions of this identity to those promulgated by policy makers and by other health disciplines. (shrink)

Using the example of the Herzog August Bibliothek, the paper shows how (medieval) manuscripts are currently catalogued in the digital environment and how the data is published and shared with other relevant communities. The paper focuses both on the process of data production as well as the exchange and re-use of data. In particular, the paper will discuss the challenges of distributing the data into non-specialised databases. Two elements are crucial here: firstly, the standardised modelling of manuscript-related information, including semantic (...) enrichment. Secondly, the challenge of providing as much data as possible on the Web and offering interfaces to access the data. (shrink)

From social media to search engines to Wikipedia, the internet is thoroughly embedded in how we produce, locate, and share knowledge around the world. Who Should We Be Online? provides an account of online knowledge that takes seriously the role of sexist, racist, transphobic, colonial, and capitalist forms of oppression. Frost-Arnold argues against analyzing internet users as a collection of identical generic people with smartphones. The novel epistemology developed in this book recognizes that we are differently embodied beings (...) interacting within systems of dominance. Our social identities and global inequalities shape who we are, who we can be online, and what we know. Tackling problems of online content moderation, fake news, and hoaxes, Frost-Arnold shows that oppressive online structures and practices help fuel ignorance. But she also reveals how the internet provides opportunities for marginalized people and activists to share knowledge online. Drawing on feminist accounts of objectivity, veritistic social epistemology, epistemologies of ignorance, virtue epistemology, and the epistemic injustice literature, this book argues for a social epistemology that values truth and objectivity, while recognizing that inequalities shape our collective ability to attain these goals. Timely and interdisciplinary, Who Should We Be Online? weaves together internet studies scholarship from across the humanities, social sciences, and computer science. Presenting case studies of moderators, imposters, tricksters, fakers, and lurkers, this book both explains the problems with our current internet ecosystem and imagines liberatory online futures. (shrink)

From social media to search engines to Wikipedia, the internet is thoroughly embedded in how we produce, locate, and share knowledge around the world. Who Should We Be Online? provides an account of online knowledge that takes seriously the role of sexist, racist, transphobic, colonial, and capitalist forms of oppression. Frost-Arnold argues against analyzing internet users as a collection of identical generic people with smartphones. The novel epistemology developed in this book recognizes that we are differently embodied beings (...) interacting within systems of dominance. Our social identities and global inequalities shape who we are, who we can be online, and what we know. -/- Tackling problems of online content moderation, fake news, and hoaxes, Frost-Arnold shows that oppressive online structures and practices help fuel ignorance. But she also reveals how the internet provides opportunities for marginalized people and activists to share knowledge online. Drawing on feminist accounts of objectivity, veritistic social epistemology, epistemologies of ignorance, virtue epistemology, and the epistemic injustice literature, this book argues for a social epistemology that values truth and objectivity, while recognizing that inequalities shape our collective ability to attain these goals. Timely and interdisciplinary, Who Should We Be Online? weaves together internet studies scholarship from across the humanities, social sciences, and computer science. Presenting case studies of moderators, imposters, tricksters, fakers, and lurkers, this book both explains the problems with our current internet ecosystem and imagines liberatory online futures. (shrink)

Despite its generic title, Yakira’s Spinoza and the Case for Philosophy has a specific and idiosyncratic focus: Spinoza’s mind-body doctrine, in the context of both an ontology of thought and a search for what Spinoza calls “salvation.” The book will be of value to those interested in Spinoza’s philosophy of mind and epistemology, especially in the context of his moral theory.Yakira’s discussion of Spinoza’s mind-body doctrine is thought-provoking, confronting head-on not just well-known puzzles, but also those dark elements (...) of Spinoza’s philosophy of mind that are crucial to his view but rarely discussed. What does it mean to say that the mind is the idea of the body? How does.. (shrink)

It is in Sein und Zeit that Heidegger decrees the end of the Geisteswissenschaften and their tradition, when, as he is commenting on the Briefwechsel [exchange of letters] between Dilthey and Yorck von Wartenburg, he pays homage to the latter for “his full understanding of the fundamental character of history as virtuality [...] [which he] owes to his knowledge of the character of being of human Dasein itself.” Consequently, Heidegger continues, “the interest of understanding historicality” is confronted with the task (...) of an elaboration of the “generic difference between the ontic and the historical.” But he must part ways with Yorck when the latter, after having clearly established that difference, moves from virtuality to mysticism. If, on the other hand, once separated from the ontic, “the question of historicality shows itself to be an ontological question which inquires into the constitution of being of historical being”, it is once again towards Dilthey that one must turn, in spite of his confused vitalism. Heidegger effects two operations at once. On the one hand, he expels the Geisteswissenschaften from the position they occupied at the heart of metaphysics, as the inheritors of the Enlightenment and the outcome of Hegelianism. On the other hand, he brings to fulfillment the critical labor which had precisely shown its value in Dilthey’s historicism —acritical labor which develops the search for the meaning of historicity and allows one to move from the theory of objectivity to that of expression, from the acknowledgment of historiography in the context of the critique of cognition to its definition at the heart of the transcendental schematism. Historicity is then posited as an ontological dimension and leaves only its ontic residue for historiography. (shrink)

Evaluating clinical ethics support services has been hailed as important research task. At the same time, there is considerable debate about how to evaluate CESS appropriately. The criticism, which has been aired, refers to normative as well as empirical aspects of evaluating CESS. In this paper, we argue that a first necessary step for progress is to better understand the intervention in CESS. Tools of complex intervention research methodology may provide relevant means in this respect. In a first step, we (...) introduce principles of “complex intervention research” and show how CESS fulfil the criteria of “complex interventions”. In a second step, we develop a generic “conceptual framework” for “ethics consultation on request” as standard for many forms of ethics consultation in clinical ethics practice. We apply this conceptual framework to the model of “bioethics mediation” to make explicit the specific structural and procedural elements of this form of ethics consultation on request. In a final step we conduct a comparative analysis of two different types of CESS, which have been subject to evaluation research: “proactive ethics consultation” and “moral case deliberation” and discuss implications for evaluating both types of CESS. To make explicit different premises of implemented CESS interventions by means of conceptual frameworks can inform the search for sound empirical evaluation of CESS. In addition, such work provides a starting point for further reflection about what it means to offer “good” CESS. (shrink)

In a series of articles on population theory, culminating in his 1984 b00k Reasons and Persons, Dcrck Pariit presented dilemmas for utilitarian and conscqucntialist moral theories.] ParHt’s work has led to rcncwcd interest in thc theory of optimal population. More generally, Pariit is searching for a general theory of bcncHcencc—"Theory X"——that also will covcr population comparisons. Theory X corresponds to Kenneth Arrow’s notion of a social welfare function—both attempt t0 provide 21 generic formula or algorithm for ranking social outcomes (...) on the basis of their characteristics. (shrink)

Spirituality has long been considered a dimension of holistic palliative care. However, conceptualizations of spirituality are in transition in the nursing literature. No longer rooted within religion, spirituality is increasingly being defined by the universal search for meaning, connectedness, energy, and transcendence. To be human is to be spiritual. Some have argued that the concept of spirituality in the nursing literature has become so generic that it is no longer meaningful. A conceptualization that attempts to be all‐encompassing of (...) what it means to live a human life has a tendency to render invisible the differences that make life meaningful. For palliative patients in particular, a generic approach may obscure and relativize the important values and beliefs that inform the critical questions that many patients grapple with at end of life. A different approach to conceptualizing spirituality can be achieved through the use of typologies. Rather than obscuring difference, categories are constructed to illuminate how spirituality is understood within a diverse society and how those understandings might influence patient–provider relationships. What follows in this article is a dialogue illustrating one typology of spirituality constructed from a review of selected nursing literature. The hypothetical narrator and three participants, representing the positions of theism, monism, and humanism, discuss their understandings of spirituality and religion, and how those understandings influence the intersections between nursing ontology, epistemology, and spiritual care. (shrink)

The success of particle detection in high energy physics colliders critically depends on the criteria for selecting a small number of interactions from an overwhelming number that occur in the detector. It also depends on the selection of the exact data to be analyzed and the techniques of analysis. The introduction of automation into the detection process has traded the direct involvement of the physicist at each stage of selection and analysis for the efficient handling of vast amounts of data. (...) This tradeoff, in combination with the organizational changes in laboratories of increasing size and complexity, has resulted in automated and semi-automated systems of detection. Various aspects of the semi-automated regime were greatly diminished in more generic automated systems, but turned out to be essential to a number of surprising discoveries of anomalous processes that led to theoretical breakthroughs, notably the establishment of the Standard Model of particle physics. The automated systems are much more efficient in confirming specific hypothesis in narrow energy domains than in performing broad exploratory searches. Thus, in the main, detection processes relying excessively on automation are more likely to miss potential anomalies and impede potential theoretical advances. I suggest that putting substantially more effort into the study of electron–positron colliders and increasing its funding could minimize the likelihood of missing potential anomalies, because detection in such an environment can be handled by the semi-automated regime—unlike detection in hadron colliders. Despite virtually unavoidable excessive reliance on automated detection in hadron colliders, their development has been deemed a priority because they can operate at currently highest energy levels. I suggest, however, that a focus on collisions at the highest achievable energy levels diverts funds from searches for potential anomalies overlooked due to tradeoffs at the previous energy thresholds. I also note that even in the same collision environment, different research strategies will opt for different tradeoffs and thus achieve different experimental outcomes. Finally, I briefly discuss current searches for anomalous process in the context of the previous analysis. (shrink)

Why does #RepealedThe8th matter for feminist legal studies? The answers seem obvious in one sense. Feminism has long constituted itself through the struggle for sexual and reproductive justice, and Irish feminism has contributed a significant ‘legal win’ with the landslide vote of approval for lifting abortion restrictions in the referendum on the 25th May 2018. That win comes at a global moment when populist legal engagement is doing significant damage in countries that regard themselves as world leaders, and beyond. #RepealedThe8th (...) offers Ireland, and the world, the actuality that the popular vote, and everything that contributes to it, could be something else. Repeal shows how legal tools like the vote may be made into an expression of care for reproductive lives. This expression is important in recognizing pregnant people as knowing agents who are best placed to decide, and in seeking to do justice to those who contribute to everyday reproductive life. But repeal, like the many who brought it into being, has multiple meanings. #RepealedThe8th matters because it is a moving process of socio-legal translation, which draws on a collective energy, ‘repeal energy’, to turn the travesty that was the Eighth Amendment and all it represents into a search for the rest of reproductive life. In opening up the meaning of the vote, much like feminists elsewhere have opened up the meaning of the strike, Irish feminists have turned public mourning over past mistreatment into a series of reproductive connections. This is not a strategy that can be rolled out. Figuring out #RepealedThe8th will take many tellings. Rather we need to give repeal, and repealers, room to breathe and rest. We need to feel our way through repeal’s production of legal change so that this success is not reduced to some generic transferable set of legal instructions. I begin by reflecting on repeal as a process of feminist socio-legal translation, which shows us how legal change comes about through the motivation of collective joy, the mourning of damaged and lost lives, the sharing of legal knowledge, and the claiming of the rest of reproductive life. (shrink)

The speech of Gregory Thaumaturgus to the Christian scholar and theologian Origen is a historical document of unusual importance, both in terms of its content, depicting the master-student relationship of the time from the perspective of the student, and in terms of form, providing an actual implementation of the theory of rhetoric that was a cornerstone of higher education. Yet disagreement persists to this day in the scholarly literature over the generic classification of this first example of Christian epideictic (...) oratory. It is most frequently found categorized as a speech of thanksgiving, of praise, or of farewell. This paper discusses the grounds for the various definitions, examines the text itself in search of such grounds, and shows, in reference to two treatises on epideictic attributed to Menander Rhetor, why the most plausible classification is as a logos syntaktikos – a farewell speech, in which a traveler, by means of portraying and arousing emotion, laments the necessary parting and praises the person or people of whom leave is taken. (shrink)

What follows is a discussion of three sets of experimental results that deal with various aspects of universal biological understanding among American and Maya children and adults. The first set of experiments shows that by the age of four-to-five years urban American and Yukatek Maya children employ a concept of innate species potential, or underlying essence, as an inferential framework for understanding the affiliation of an organism to a biological species, and for projecting known and unknown biological properties to organisms (...) in the face of uncertainty. The second set of experiments shows that the youngest Maya children do not have an anthropocentric understanding of the biological world. Children do not initially need to reason about non-human living kinds by analogy to human kinds. The third set of results show that the same taxonomic rank is cognitively preferred for biological induction in two diverse populations: people raised in the Mid-western USA and Itza' Maya of the Lowland Meso-american rainforest. This is the generic species  the level of oak and robin. These findings cannot be explained by domain-general models of similarity because such models cannot account for why both cultures prefer species-like groups in making inferences about the biological world, although Americans have relatively little actual knowledge or experience at this level. The implication from these experiments is that folk biology may well represent an evolutionary design: universal taxonomic structures, centred on essence-based generic species, are arguably routine products of our ‘habits of mind,' which may be in part naturally selected to grasp relevant and recurrent ‘habits of the world.' The science of biology is built upon these domain-specific cognitive universals: folk biology sets initial cognitive constraints on the development of any possible macro-biological theory, including the initial development of evolutionary theory. Nevertheless, the conditions of relevance under which science operates diverge from those pertinent to folk biology. For natural science, the motivating idea is to understand nature as it is ‘in itself,' independently of the human observer. From this standpoint, the species-concept, like taxonomy and teleology, may arguably be allowed to survive in science as a regulative principle that enables the mind to readily establish stable contact with the surrounding environment, rather than as an epistemic concept that guides the search for truth. (shrink)

The Theme. Strong forcing axioms like Martin’s Maximum give a reasonably satisfactory structural analysis of $H(\omega _2)$. A broad program in modern Set Theory is searching for strong forcing axioms beyond $\omega _1$. In other words, one would like to figure out the structural properties of taller initial segments of the universe. However, the classical techniques of forcing iterations seem unable to bypass the obstacles, as the resulting forcings axioms beyond $\omega _1$ have not thus far been strong enough! However, (...) with his celebrated work on generalised side conditions, I. Neeman introduced us to a novel paradigm to iterate forcings. In particular, he could, among other things, reprove the consistency of the Proper Forcing Axiom using an iterated forcing with finite supports. In 2015, using his technology of virtual models, Veličković built up an iteration of semi-proper forcings with finite supports, hence reproving the consistency of Martin’s Maximum, an achievement leading to the notion of a virtual model.In this thesis, we are interested in constructing forcing notions with finitely many virtual models as side conditions to preserve three uncountable cardinals. The thesis constitutes six chapters and three appendices that amount to 118 pages, where Section 1 is devoted to preliminaries, and Section 2 is a warm-up about the scaffolding poset of a proper forcing. In Section 3, we present the general theory of virtual models in the context of forcing with sets of models of two types, where we, e.g., define the “meet” between two virtual models and prove its properties.The main results are joint with Boban Veličković, and partly appeared in Guessing models and the approachability ideal, J. Math. Log. 21 (2021).Pure Side Conditions. In Section 4, we use two types of virtual models (countable and large non-transitive ones induced by a supercompact cardinal, which we call Magidor models) to construct our forcing with pure side conditions. The forcing covertly uses a third type of models that are transitive. We also add decorations to the conditions to add many clubs in the generic $\omega _2$. In contrast to Neeman’s method, we do not have a single chain, but $\alpha $ -chains, for an ordinal $\alpha $ with $V_\alpha \prec V_\lambda $. Thus, starting from suitable large cardinals $\kappa <\lambda $, we construct a forcing notion whose conditions are finite sets of virtual models described earlier. The forcing is strongly proper, preserves $\kappa $, and has the $\lambda $ -Knaster property. The relevant quotients of the forcing are strongly proper, which helps us prove strong guessing model principles. The construction is generalisable to a ${<}\mu $ -closed forcing, for any given cardinal $\mu $ with $\mu ^{<\mu }=\mu <\kappa $.The Iteration Theorem. In Section 5, we use the forcing with pure side conditions to iterate a subclass of proper and $\aleph _2$ -c.c. forcings and obtain a forcing axiom at the level of $\aleph _2$. The iterable class is closely related to Asperó–Mota’s forcing axiom for finitely proper forcings.Guessing Model Principles. Section 6 encompasses the main parts of the thesis. We prove the consistency of the guessing principle $\mathrm {GMP}^+(\omega _3,\omega _1)$ that states for any cardinal ${\theta \geq \omega _3}$, the set of $\aleph _2$ -sized elementary submodels M of $H(\theta )$, which are the union of an $\omega _1$ -continuous $\in $ -chain of $\omega _1$ -guessing, I.C. models is stationary in $\mathcal P_{\omega _3}(H(\theta ))$. The consistency and consequences of this principle are demonstrated in the following diagram. We also prove that one can obtain the above guessing models in a way that the $\omega _1$ -sized $\omega _1$ -guessing models remain $\omega _1$ -guessing model in any outer transitive model with the same $\omega _1$, and we denote this principle by $\rm{SGMP}^+(\omega_3,\omega_1)$.In the following diagram, $\mathrm{TP}$ stands for the tree property; $w\mathrm{KH}$ stands for the weak Kurepa Hypothesis; $\mathrm{MP}$ stands for Mitchell property, i.e., the approachability ideal is trivial modulo the nonstationary ideal; $\mathrm{AP}$ stands for the approachability property; $\mathrm {AMTP}(\kappa ^+)$ states that if $2^\kappa <\aleph _{\kappa ^+}$, then every forcing which adds a new subset of $\kappa ^+$ whose initial segments are in the ground model, collapses some cardinal $\leq 2^{\kappa }$. The dotted arrow denotes the relative consistency, while others are logical implications.Appendices. Appendix A includes merely the above diagram. Appendix B presents a proof of the Mapping Reflection Principle with finite conditions under $\mathrm {PFA}$. Appendix C contains open problems. Finally, the thesis’s bibliography consists of 42 items.Abstract prepared by Rahman MohammadpourE-mail: [email protected]: https://theses.hal.science/tel-03209264. (shrink)

This essay argues that a radical, non-standard, philosophical concept of the human is one that is consistently used both towards itself and others: it is an amplified concept that applies itself non-philosophically, that is, generically. Our purpose here, consequently, is to outline how Laruelle's work can be seen as performing something other than an inflation or deflation of either side of one fixed philosophical dyad ; rather, it can be seen as unilateralising the couple, that is, expanding the meaning of (...) the two alongside the One Real that resists any lone philosophical version's attempt to commandeer that meaning. It is the performative mutation that counts, not the terms of the dyad. As such, this essay also contends that what Laruelle explicitly does with philosophy – namely its de-authorisation and democratisation – is also what must be done, by implication, in a non-standard philosophical radicalisation of the human. Nonstandard philosophy does not know what the human is, but this negative capability is precisely what allows it to expand, performatively, the meaning of the human in its ongoing search to discover what the human may be. (shrink)

The literary nature of Kant's work, although traditionally dismissed, has an essential, formative impact on his philosophy. Tracing the experimental nature of Kant's early writing of "essays" up to his development of a new literary genre, the Kritik, this study explores Kant as an author highly aware of the problems of writing philosophy and whose self-conscious search for adequate means of expression and philosophical self-reflexivity culminates in his "transcendental style". A close reading of the "pre-critical" writings shows a Kant (...) feeling his way forward toward a form satisfying the new requirements his method was about to establish. The essay becomes the genre of free literary experimentation. When Kant turned to the Kritik he was thus consciously looking for a new genre. Departing from any former philosophical genres the Kritik is essay-derived. But it formulates its own generic set of rules by its performance-based self-legitimation. The Kritik der reinen Vernunft is the first of its kind, producing in its new genre a new form of discourse. The creation of an adequate genre displaying a chorus of voices marks the change in Kant. Writing after the Kritik, which contains the blueprint of philosophical discourse, means that Kant now does so from the now attained vantage point of self-reflexivity: his publications then divide themselves into theoretical or academic ones and--following his own use of the word--into practical ones: public statements taking firm stands for the cause of enlightenment. The notion of enlightenment that Kant develops in these publications denotes a rich, deeprooted concern which demonstrates Kant's underlying self-perception as a writer. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Purity and Pollution: Resisting the Rehabilitation of a VirtueAmy Mullin“Purity” is a term used infrequently in contemporary academic literature. A survey of periodical indexes for the past ten years shows that references to purity occur predominantly in metallurgy. Purity is an increasingly important topic in anthropology, religious studies, and history, but it is a decidedly rare concern in philosophy. In my most recent search I found three references.Yet (...) “purity” was once a recurrent term in the philosophical tradition ranging from Plato through Augustine and Kant to Kierkegaard. Today when we encounter the many references to purity in the history of philosophy we too often filter them out. We assume either that “pure” is a generic term for good, or, in what seems a more knowing and sophisticated response, we read “pure” as a code term for chastity or sexual morality, the elimination, suppression or control of sexual desire. In both cases purity is written off either as a generic or as an old fashioned and rather embarrassing virtue. Hence it seems there is little reason for contemporary philosophical investigation into the rhetorical use of the language of purity and pollution.Three assumptions account for the lack of contemporary philosophical interest in the topic. First, it is assumed that purity is no longer a concern in twentieth-century philosophy. Second, purity in historical discourse is considered to be limited to a prudish or downright misogynist hostility to sex. Third and finally, it is assumed that the work historians and anthropologists have done recently into connections between purity beliefs and practices and social cohesion is irrelevant for philosophy. This is because purity in philosophy is supposed to be a resolutely individualist virtue, having little or nothing to do with unified and coherent communities.There are elements of truth to all three beliefs, but they also contain important distortions of the truth. As regards the first assumption, purity remains a concern in contemporary aesthetics, where it often means roughly something like a priori and apolitical; but I am interested in whether the concern with purity has survived in philosophies with ethical implications. [End Page 509] Here it is my contention that authenticity is the twentieth-century descendant of the virtue of purity.Second, there is much more to the rhetoric and practices of purity than concern with the sexual dimension of life, though this is a key aspect of most, and the beliefs and practices are often misogynist. There have been numerous anthropological documentations of ways in which purity beliefs, particularly an emphasis on sexual purity, are used to control women. Santi Rozario’s work, for instance, makes this point in her analysis of contemporary Bengali village life. 1 The connection between the language of purity and the practice of female circumcision, which I will not discuss in this paper, is in itself evidence enough of connections between purity beliefs and practices harmful to women. 2 However, I hope to show that there is more to purity than misogyny. Purity most basically is about order, both social and personal. 3My response to the second assumption, that purity masks an obsession with sexual control, indicates the source of my disagreement with the third, the contention that purity in philosophy is exclusively an individual virtue. Communal beliefs and practices associated with the language of purity and pollution are relevant to the philosophical treatment of purity because of the presence in both the practices and the philosophies of an interplay between social and personal order. As a result I believe an understanding of the dynamics of beliefs about purity in social practice can inform a philosophical concern with purity.First I investigate shifts in beliefs and practices concerning purity and pollution. I will concentrate on three models: ancient Greek (from the eighth to the third century BC), biblical to Talmudic Judaism (from the third century BC to the third century AD), and early Christian (from the first to the fifth century AD). These represent three traditions which have played a very significant role in shaping western civilization, theology, and philosophy. 4 They were also frequently interrelated in this period, as Christian and Jewish Platonists writing in Greek attest and of course as... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.4 (2003) 553-554 [Access article in PDF] Ruby Blondell. The Play of Character in Plato's Dialogues. New York: Cambridge University Press, 2002. Pp. xi + 452. Cloth, $75.00. Plato's dialogues were written before audiences distinguished philosophy from literature. Recently scholars have argued that the dialogues should be read as philosophy that is literature, and no one makes the case better than Blondell does (...) in this splendid work. Her argument compels by focusing on character in the relevant senses: as the dramatis personae of the dialogues, as that which individuates them and prompts them to act in ways that affect their very souls, and as "the effects of literary characterization on the moral character of the audience" (2). Character connects the dialogues as "literature," "philosophy," and paideia.In Plato's careful delineation of the characters of his dramatis personae, Blondell finds a tension between the existence of human particularity and the search for generic types. Socrates is a prime example of the dialectical movement between particularity and its attempted transcendence. Plato's choice to write dialogues is also "an assertion of human plurality" (49) that exhibits the pathos of trying to transcend human experience. "Dramatic form... becomes a medium for exploring the limits of transcendence, and the multiple tensions—between ideal and particular, mind and body, original and image, one and many, being and becoming, divine and human, deduction and persuasion, reason and emotion—which pervade the works of Plato" (50). Blondell's discussions of how dramatic form serves epistemological and pedagogical aims in Hippias Minor, Republic, Theaetetus, Sophist, and Statesman are so rich in insight and nuance that one hesitates to suggest they could be improved upon. Still, greater emphasis on the historical and cultural contexts shared by characters, author, and audience might add to our understanding of Plato's preoccupation with these specific philosophical tensions as well as his choice to address them through dramatic form.Blondell's discussion of Theaetetus is especially good in showing how "abstract epistemological issues... play themselves out in the world of specific, particularized human beings.... [I]t is this personal dimension of epistemology—the fact that we are particular, embodied individuals—that generates most of the problems in this dialogue (especially the reliability and subjectivity of sense perception)" (252). That philosophy, epistemology, and pedagogy come to be identified with Socrates also generates problems. Can there be philosophy without Socrates? To become a philosopher, must one resemble Socrates? If philosophy cannot go on without Socrates, how can it realize its aim of transcending human particularity? If philosophy can go on without him, will its practice and pedagogy nonetheless require dialectical discussion among embodied inquirers?No character in the dialogues appears a more likely successor to Socrates than Theaetetus. He resembles Socrates in appearance and character, and Blondell notes that repeated references to the younger man's gentleness and courage, and to his training in geometry, recall nothing so much as the guardians of the Republic. Theaetetus is the right kind of interlocutor, and one that allows Plato to portray—and defend—the elenchic Socrates, who merges with the "productive" Socrates in this dialogue. Before meeting Socrates, Theaetetus's attempts at philosophy were unsuccessful because he needed someone like himself to help him realize his philosophical potential. Socrates offers himself as [End Page 553] an intellectual midwife, yet Blondell observes that, his protestations to the contrary notwithstanding, he sometimes assumes the position and privileges of a father, and at other times is identified with philosophy as the object of desire. As an intellectual parent, Socrates demonstrates his superiority to Theodorus as the orphan's guardian. That Theodorus was Protagoras's pupil suggests one line of descent for Theaetetus: Protagoras—Theodorus—Theaetetus. Socrates' invocation of Parmenides suggests another: Parmenides—Socrates—Theaetetus. Different lines of descent bring different kinds of pedagogy: passive transference from Sophist to pupil versus active learning through dialectical discussion.But there is more to being a philosopher than what is found in Socrates or Theaetetus, for the ideal philosopher as Socrates describes him lacks... (shrink)

Philosophy as Fiction seeks to account for the peculiar power of philosophical literature by taking as its case study the paradigmatic generic hybrid of the twentieth century, Marcel Proust's In Search of Lost Time. At once philosophical--in that it presents claims, and even deploys arguments concerning such traditionally philosophical issues as knowledge, self-deception, selfhood, love, friendship, and art--and literary, in that its situations are imaginary and its stylization inescapably prominent, Proust's novel presents us with a conundrum. How should (...) it be read? Can the two discursive structures co-exist, or must philosophy inevitably undermine literature (by sapping the narrative of its vitality) and literature undermine philosophy (by placing its claims in the mouth of an often unreliable narrator)? In the case of Proust at least, the result is greater than the sum of its parts. Not only can a coherent, distinctive philosophical system be extracted from the Recherche, once the narrator's periodic waywardness is taken into account; not only does a powerfully original style pervade its every nook, overtly reinforcing some theories and covertly exemplifying others; but aspects of the philosophy also serve literary ends, contributing more to character than to conceptual framework. What is more, aspects of the aesthetics serve philosophical ends, enabling a reader to engage in an active manner with an alternative art of living. Unlike the "essay" Proust might have written, his novel grants us the opportunity to use it as a practice ground for cooperation among our faculties, for the careful sifting of memories, for the complex procedures involved in self-fashioning, and for the related art of self-deception. It is only because the narrator's insights do not always add up--a weakness, so long as one treats the novel as a straightforward treatise--that it can produce its training effect, a feature that turns out to be its ultimate strength. (shrink)

I admire Robert Denham's enlightening and often very amusing response to my "Coherent Readers, Incoherent Texts" Critical Inquiry 3 [Summer 1977]:781-802). Not surprisingly, however, I remain unconvinced by its arguments, large or small. This may sound defensive, partly because it is, but I do wonder if his use of pluralistic sound sense is quite so fresh or so formidable as he takes it to be. . . . I think Denham understands quite accurately my use of "genre" as representing a (...) traditional structure for organizing plot, character, images, tones, and the like. I think it is true, also, that I use the word to refer both to narrative pattern and to what he calls "intention," that I use both Frye and Sacks as examples of convincing distinctions among ordering patterns. Of course Denham is right in saying that these systems are not necessarily coordinate, that they cover species and subspecies alike, and that the generic patterns are not of the same order. One might have a represented action that is comic, tragic, or even "serious." I wonder if all this really makes my argument "sometimes difficult to follow" . I had thought that I was signaling clearly the switch from Frye to Sacks, that neither was using "genre" in an unfamiliar or restrictive sense, and that both presented useful systems that were comprehensive and thus adaptable—as time has surely shown—for the labeling and pigeonholing needs of those seeking coherence at all costs. Since Frye sees narrative patterns as "pre-generic," it would not be difficult to work out coordination simply by saying that Sacks' three general categories of fiction could each exist in any of Frye's twenty-four phases. But things are not that simple, and more important, such devices would surely distract a reader I wanted to be in search of other game. Most of us switch freely from system to system, understanding "genre" to refer to a class that includes epic-drama-lyric-novel, a class that includes comedy-tragedy-romance-irony, a class that includes apologue-satire-represented action. As I see it, the only danger lies in mixing incompatible systems. James R. Kincaid is professor of English at the University of Colorado at Boulder. His works include Dickens and the Rhetoric of Laughter, Tennyson's Major Poems: The Comic and Ironic Patterns, and The Novels of Anthony Trollope. His contributions to Critical Inquiry are "Coherent Readers, Incoherent Text" , and "Fiction and the Shape of Belief: Fifteen Years Later". (shrink)

This chapter explores three answers to the question, What is it to take Mill's Autobiography “as literature”? First, it is to attempt to understand the Autobiography as an artefact, made in a context by an author with particular aims and secrets. Second, it is to place the Autobiography in a generic context, as a paradigm but not defining case. Third and most importantly, it is to pursue the idea that the Autobiography's form is necessary to what it does. In (...) particular, its diachronic, teleological, whole‐life self‐reflective form allows it to do a distinctive kind of ethics: arguing by example for a philosophy of ethical education; searching for a specification of the good life; and helping to educate its readers by developmental practice. (shrink)

Geocentric Greek astronomers called seven heavenly bodies visible to the naked eye (sun, moon, Mercury, Venus, Mars, Jupiter, and Saturn) πλανητες—wanderers—because unlike all the other αστρα, their relative positions were constantly changing. While the Romans changed the Greek names of the individual planets to those still in use, they retained the generic name, which now occurs in many European languages. In acentric modern astronomy a planet is a satellite of a star. In addition to the five actual planets known (...) to the Greeks, Earth, Uranus, and Neptune also orbit the sun, a smallish star about half the distance from the centre of the Milky Way to its outer reaches. Earth is the only planet on which life is known for certain to exist. The search is on for concrete evidence of existing or formerly existing life on Mars (Dunbar B. et al. Perseverance Mars rover. NASA. https://www.nasa.gov/perseverance. Retrieved 06/16/2021, 2021). Technology for detecting the chemical signature of life in the atmospheres of some planets of other stars may become available in the near future (Fujii Y. et al. Astrobiology 18 (6): 739–778, 2018)—proving a point made by (Lovelock J. Gaia: A new look at life on earth. Oxford University Press, New York, 1979) that life is a whole-planet phenomenon. That is, the Earth does not just harbour or support life; it has a life of its own. The Earth is a living planet in relationship to which individual organisms are as ephemeral cells (Vernadsky VI. Am Sci 33:1–12, 1945). (shrink)

Olympic combat sports are unconventional physical activity strategies to train middle-aged and older people with and without health problems. This systematic review aimed to assess the available body of published peer-reviewed articles related to the effects of Olympic combat sports interventions on health-related quality of life in adults aged 45 and older. The search was carried out in five generic databases until July 2021 and the protocol was registered in PROSPERO. The PRISMA guidelines were followed and the Downs (...) and Black checklist was used to assessed the methodological quality of the studies. After reviewing 1,151 records, only seven studies met the inclusion criteria, adding 212 participants with a mean age of 63.7 years. Six studies provided data to calculate the effect size in the Olympic combat sports groups. Three studies reported beneficial changes with a small ES for the total score of the health-related quality of life. Two studies reported a beneficial change with a small ES and strong ES for physical health. One study reported improvements with a small ES for emotional and functional well-being. In conclusion, interventions based on Olympic combat sports produce beneficial effects with a small and moderate ES on health-related quality of life in male and female aged 45 and older who are healthy participants, participants with Parkinson's disease, and participants with breast cancer.Systematic Review Registration:https://www.crd.york.ac.uk/prospero/, PROSPERO: CRD42021244161. (shrink)

This paper considers recent arguments from Jürgen Habermas and Charles Taylor that argue that even secular societies ought to tolerate religion for its practical benefits. Then, taking inspiration from Thomas Aquinas, I critique their positions as misconstruing the nature of religion in two fundamental ways. First, we must distinguish generic religion as a natural virtue from diverse species of faith that go beyond the duty to render homage to the First Cause. It will be seen that, generically, religion is (...) integral to the common good inasmuch as it is essential to the perfection of the intellect’s search for truth. Second, from this it follows that religion ought not be justified in utilitarian terms of extrinsic benefit; rather, the good of religion is the intrinsic realization of the activity itself. In light of these correctives, I conclude that even secular societies ought to encourage religious belief, while remaining open to a variety of faiths. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:“The Whole Internal World His Own”: Locke and Metaphor ReconsideredS. H. ClarkWhy need I name thy Boyle, whose pious search, Amid the dark recesses of his works, The great Creator sought? And why thy Locke, Who made the whole internal world his own?Oh decus! Anglicae certe oh lux altera gentis!... Tu caecas rerum causas, fontemque severum Pande, Pater; tibi enim, tibi, veri magne Sacerdos, Corda patent hominum, atque (...) altae penetralia Mentis.Fourfold Annihilation & at the clangor of the Arrows of Intellect The innumerable Chariots of the Almighty appeard in Heaven And Bacon & Newton & Locke, & Milton & Shakespear & Chaucer1Two features of these encomia to John Locke, composed by James Thomson, Thomas Gray, and William Blake, are immediately striking. Firstly, they are delivered by poets in a tradition customarily seen as a reaction to the intellectual climate induced by Locke’s Essay, a book which Blake famously claimed to regard with “Contempt and Abhorrence.” 2 Secondly, the familiar and somewhat hackneyed characterizations of Locke as philosopher of common-sense, [End Page 241] empiricism, and liberal ideology are refreshingly absent. For Gray he is “veri magne Sacerdos,” great priest of truth; Thomson places him in a pantheon including Shakespeare, Milton, Spenser, and Chaucer; and this ranking is explicitly endorsed in Blake’s “Milton & Shakspear & Chaucer.” Comparable praise of Locke’s imaginative power is conspicuously absent from even the most generous tributes of recent commentators. 3Even if Locke’s philosophical contribution to a variety of debates is fully acknowledged, the question remains of why his major work, An Essay concerning Human Understanding, was held in such high popular esteem—veneration is not too strong a word—during the subsequent century. The text itself appears an improbable candidate for such canonization: George Saintsbury accused its prose of being “positively mean in every point of style,” 4 and certainly in comparison with the poised and lucid ironies of Berkeley and Hume, it cannot but appear prolix, diffuse, and repetitive. The chief (and frequently only) merit grudgingly accorded to it is of disarming informality. Rosalie Colie’s emphasis on the “exploitation of the generic and rhetorical possibilities in the essay form itself “ highlights the conscious manipulation of authorial distance through which Locke creates the effect of sprawling inclusiveness and incom-pletion, but at the expense of conceding that “in exchange for the frankness with which the essayist appeared to present his thinking self, he was allowed certain liberties from logical rigour.” 5 Though the suggestion that a major philosophical text seeks to evade “logical rigour” might seem damning enough, there is a still more insidious equation of Locke’s “middle-style,” his desire “to make, what I have to say, as easie and intelligible to all sort of Readers as I can,” with a complicity with the expectations of his audience. 6 Other critics, notably John Richetti, have put a more positive gloss on the “simple and fortuitously concocted circle of friends” to whom the Essay is addressed, but even these accounts have been obliged to stress the representative and consensual nature of Locke’s thought. 7 This view is perhaps most elegantly expressed by Leslie Stephen: “Locke ruled the thought of his own and the coming period [End Page 242] because he interpreted so completely the fundamental beliefs which had been worked out at this time. He ruled, that is, by obeying.” 8William Walker correctly observes that “identifying and interpreting metaphors of mind” in the Essay are “standard practices of mainstream philosophical commentary from Leibniz to Rorty,” but also notes that these analyses are usually concerned with the degree to which Locke’s reliance on figuration was at variance with and compromised his epistemological doctrine. 9 I would argue that the poetic tributes previously quoted offer a more suggestive and adequate guide to the original impact of his work. In order to substantiate this claim, I shall begin by examining Locke’s apparent renunciation of, yet paradoxical dependence upon metaphor; go on to look at the connection of the “Horizon” to the elegiac presentation of memory and the ethic of mental “Labour”; and conclude by analyzing the complex interdependence of candle and sun within the light imagery employed in the... (shrink)

Developments that suggest the universe is full of life make the Fermi paradox increasingly pressing, but our search for an extraterrestrial technological civilization (“ETC”) is handicapped by our ignorance of its probable nature and behavior. This paper offers a way around this problem by drawing on information theoretical concepts, including game theory and Bayesian probability. It argues that, whatever its ultimate goals, an ETC would have the same instrumental goals as other intelligent agents. Generically, these are self-preservation and the (...) acquisition of resources. For an advanced ETC, these generic goals imply the objectives of removing existential threats and acquiring strategic and non-strategic information. Since the most problematic existential threats for any ETC would be from other civilizations and planets hosting such civilizations would also be copious sources of information, these objectives would lead it to gather information from these locations and to protect itself against them. This dual-goals hypothesis resolves the Fermi paradox, redirects the search for extraterrestrial intelligence and makes testable predictions regarding ETC’s behavior on Earth if it is here. (shrink)

For scholars of ancient Indian religions, the wandering mendicants who left home and family for a celibate life and the search for liberation represent an enigma. The Vedic religion, centered on the married household, had no place for such a figure. Much has been written about the Indian ascetic but hardly any scholarly attention has been paid to the married householder with wife and children, generally referred to in Sanskrit as grhastha: "the stay-at-home." The institution of the householder is (...) viewed implicitly as posing little historical problems with regard to its origin or meaning. This volume problematizes the figure of the householder within ancient Indian culture and religion. It shows that the term grhastha is a neologism and is understandable only in its opposition to the ascetic who goes away from home (pravrajita). Through a thorough and comprehensive analysis of a wide range of inscriptions and texts, ranging from the Vedas, Dharmasastras, Epics, and belle lettres to Buddhist and Jain texts and texts on governance and erotics, this volume analyses the meanings, functions, and roles of the householder from the earliest times unti about the fifth century CE. The central finding of these studies is that the householder bearing the name grhastha is not simply a married man with a family but someone dedicated to the same or similar goals as an ascetic while remaining at home and performing the economic and ritual duties incumbent on him. The grhastha is thus not a generic householder, for whom there are many other Sanskrit terms, but a religiously charged concept that is intended as a full-fledged and even superior alternative to the concept of a religious renouncer. (shrink)

This article deals with the theme of subjectivity. One of the most pressing questions today is what theoretical and practical efforts should be made to avoid being a powerless tool in the hands of others and under what conditions one’s own “subjective opinion” becomes the real, reliable fulcrum as far as purposeful activity, free and reasonable goal-setting are concerned. The desire to derive subjectivity from individual, singular existence today forces a thinker as prominent as Slavoj Žižek to search for (...) its form as “purified from” ideological layers and the contingencies of life. In his search for such a form, he turns to the psychoanalytic tradition, to the work of Jacques Lacan and his attempts to formalize the structures of subjectivity in isolation from the universality that generates them as necessity. This abstract consideration of subjectivity leads him to recognize subjectivity as a “distorting factor” in view of the insurmountable rupture between being and thinking. Evald Ilyenkov takes a different approach to the question of active self-determination. He conceives of personality as universal—the traits of a person are formed in the course of interaction between individuals in the process of producing the means of life. The individual becomes a personality or an acting subject, appropriating the generic powers of humanity, while being included in a system that implies a human relationship to the thing and, through it, to another individual. (shrink)

We are living in the transmodern era. Now we could detect beyond the similarities and the differences between the modernism and the postmodernism the common search for the human integrality. Only this time we are not beginning with the proclaimed human unity, but with the human diversity. The Human Being has a non generic universality. The unity is purpose before being ground.

In environmental ethics, many approaches are searching for a justification of the protection of nature and biodiversity via an account of the intrinsic or inherent value of non-human nature, i. e. a justification that does not rely on the perspective of human beings. This leads to intricate problems regarding value theory. This paper proposes to avoid those problems by investigating explicitly anthropocentric pathways. It discusses what kinds of reasons for the protection of nature can be developed from the consistent practical (...) self-understanding of agents. First, it is argued that the practical commitments of agents necessarily involve some normative commitments to the protection of the generic conditions of agency, which are particularly relevant for the ecological conditions that enable us to act and to realise goals. Second, it is discussed whether the presence of non-human nature is particularly relevant from the perspective of philosophical anthropology. Is it not important for human beings to experience non-human nature as an environment that is not fully planned and designed by human beings? The general aim is to show that it is worthwhile to search for justifications of the protection of nature and biodiversity from the practical self-understanding of human beings. (shrink)

Alfred North Whitehead's first book as a professor of philosophy at Harvard University, Science and the Modern World, is not only a historical treatment of the rise and fall of scientific materialism. It also marks his turn to metaphysics in search of an alternative cosmological scheme that would replace matter in motion with organic process as that which is generic in Nature. Among the metaphysical innovations introduced in this book are the somewhat enigmatic “eternal objects.” The publication of (...) the first and second volumes of Whitehead's Harvard Lectures on the philosophical presuppositions (HL1) and general metaphysical problems (HL2) of science provides students of his corpus with an opportunity to catch the thinker in the act of creating his concepts. In searching through student notes for glimpses of what Whitehead really meant, I have kept in mind his admonition that “no thinker thinks twice” (PR 29). Whitehead never ceased philosophizing, and surely he intended for us to continue thinking with but beyond the letter of his ideas. In this spirit and in light of HL1 and HL2, this article seeks to elucidate the role of eternal objects as a category of existence in Whitehead's Philosophy of Organism, with the goal not simply of textual exegesis, but of showing how the meaning of the fifth category of existence (as he refers to eternal objects in PR) is exemplified in the gradual ingression of the idea in Whitehead's imagination. My aim is to sustain the effort at constructive thought he began, making his speculative hypothesis as explicit as possible so as to better prepare it for critical improvement (PR xiv). (shrink)

In front of dominant speeches on the world-city the global or generic city, we set the hypothesis of news territorialisations and of redefining of the locations of cities in the search for the assertion of productive sped cities. The example of the new development of the industrial-harbour fallow lands marks exactly that it exists today, according to cities, either a production completely standardizing of the city or specific valuations.

In lieu of an abstract, here is a brief excerpt of the content:Louis Agassiz and the Platonist Story of Creation at Harvard, 1795-1846David K. NartonisIn 1846, naturalist Louis Agassiz took Harvard College by storm with his idealist approach to nature. In his initial lectures, repeated in New York the following year, Agassiz announced, "We have that within ourselves which assures us of participation in the Divine Nature and it is a particular characteristic of man to be able to rise in (...) that way above material Nature, and to understand intellectual existences." He then made it clear that by intellectual existences he meant a divine plan of creation. "What naturalists intend when they speak of what they call 'types'... may be easily understood by comparison. We all know that architects construct our dwellings according to plans conceived by them before the erection of the edifice."1 There is no doubt that Agassiz valued the careful collection of observational data. "It has only been step by step that man has acquired an insight into this plan."2 But his empiricism, if that is the right term, was entirely subordinate to apprehension of divine ideas, which alone deserved to be called science. In one recent account, The Metaphysical Club, which contains an excellent discussion of Agassiz's American career, author Louis Menand accurately describes this dual emphasis on observation and intuition. But Menand leaves unstated the problem of [End Page 437] Agassiz's welcome at Harvard, attributing his instant popularity to force of character.3A fuller explanation of Agassiz's welcome is to be found in the Scottish textbooks that dominated the Harvard philosophy curriculum prior to his arrival.4 Like Agassiz, textbook authors Thomas Reid, Dugald Stewart, and Thomas Brown recognized observation and intuition as twin sources of human knowledge. According to them, we observe our own moral tendencies and interpret them in the light of intuited ethical principles that even God must obey. Similarly, we observe nature and interpret its workings with the aid of intuited principles of common sense.5 There is no doubt that this dual emphasis on observation and intuition was entirely consistent with Agassiz's idealist biology. But his definition of species and genera as intellectual existences in the divine mind was not to be found in the official Scottish texts. In fact, Dugald Stewart, who governed the philosophy curriculum after 1820, insisted that there are "no existences in nature corresponding to general terms, and the objects of our attention in all our general speculations are not ideas but words."6 This was "long misunderstood by philosophers, who imagined that a generic word expresses an actual existence distinct from the individuals of which the genus is composed."7 Similarly, Thomas Brown lamented, "One fundamental error... as long as it retained its hold of the understanding, must have rendered all its energies ineffectual, by wasting them in search of objects, which had no real existence... I allude to... the various orders of universals."8 In this one respect, Stewart and Brown were in agreement with Alexander Pope when he counseled his many American readers "presume not God to scan" and ridiculed those who would "soar with Plato to th' empyreal sphere."9But Harvard students and faculty were also reading books that promoted the intellectual existences that Agassiz saw behind nature and the Scots did [End Page 438] not. Chief among these books were Plato's Works (ca. 360 BCE), Philo's De Opificio Mundi (20 BCE to 50 CE), Ralph Cudworth's The True Intellectual System of the World (1678), and John Norris's An Essay towards the Theory of the Ideal or Intellectual World (1701–04). These combined with such widely popular literature as John Milton's Paradise Lost (1668) and the prose works of Samuel Coleridge to form a kind of unofficial curriculum that ultimately made Agassiz's idealist view of nature especially welcome at Harvard.10 Modest at first, Harvard interest in intellectual existences bloomed with the appearance of books by Romantic writers on campus. In order to illustrate this long development, I will bolster my explanation with data from Harvard College library borrowing records—handwritten lists of the books borrowed by each library user during a one- or two-year period... (shrink)

): This study answers the following question: How does John M. Finnis introduce in his Theory of Law the hartian and razian concept of “an exclusionary reason for action”? The search for an answer entails at least the following items: (a) the generic concept of a “reason for action” and its distinction from other possible motivations for action; (b) the distinctive elements of a legal reason for action, and its difference from other classes of reasons for action; (c) (...) the correlative concepts of authority and obligation, as applied to Law. This analysis will highlight some descriptive and evaluative achievements in Finnis’ proposal, particularly regarding his positivist predecessors, but also some theoretical difficulties, which we presume are linked to Finnis’ aim in trying to conciliate Legal Positivism and Natural Law Theory.Resumen:Este estudio intenta responder a la siguiente pregunta: ¿cómo introduce John M. Finnis en la teoría ius-naturalista del derecho, la idea hartiana y raziana de que el derecho proporciona razones excluyentes para la acción? En la búsqueda de una respuesta se abordarán los siguientes ejes temáticos: (a) el concepto genérico de razón para actuar, y su distinción de otras motivaciones posibles para la acción; (b) los rasgos propios de la razón jurídica para obrar, que la diferencian de otro tipo de razones para la acción; (c) los conceptos correlativos de autoridad y obligación en referencia al derecho. En este análisis se señalarán algunas fortalezas en la propuesta de Finnis con respecto a sus predecesores de la tradición positivista, pero también algunas debilidades descriptivas e inconsistencias teóricas. Estas dificultades se presumen ligadas a la dificultad de Finnis en su intento de conciliar el aparato conceptual heredado de la tradición iuspositivista, con el esquema conceptual heredado de la tradición iusnaturalista y, más ampliamente, con la epistemología práctica tomista que recoge de esta tradición. (shrink)

Critical reasoning (CR) when confronted with contradictory information from multiple sources is a crucial ability in a knowledge-based society and digital world. Using information without critically reflecting on the content and its quality may lead to the acceptance of information based on unwarranted claims. Previous personal beliefs are assumed to play a decisive role when it comes to critically differentiating between assertions and claims and warranted knowledge and facts. The role of generic epistemic beliefs on critical stance and attitude (...) in reflectively dealing with information is well researched. Relatively few studies have been conducted on the influence of domain-specific beliefs, i.e. beliefs in relation to specific content encountered in a piece of information or task, on the reasoning process, and on how these beliefs may affect the information-processing and decision-making processes. This study focuses on students’ task- and topic-related beliefs that may influence their reasoning when dealing with multiple and partly contradictory sources of information. To validly assess CR among university students, we used a newly developed computer-based performance assessment in which the students were confronted with an authentic task which contains theoretically defined psychological stimuli for measuring CR. To investigate the particular role of task- and topic-related beliefs on CR, a purposeful sample of 30 university students took part in a performance assessment and then were interviewed immediately afterwards. In the semi-structured cognitive interviews, the participants’ task-related beliefs were assessed. Based on qualitative analyses of the interview transcripts, three distinct profiles of decision-making among students have been identified. More specifically, the different types of students’ beliefs and attitudes derived from the cognitive interview data suggest their influence on information processing, reasoning approaches and decision-making. The results indicated that the students’ beliefs had an influence on their selection, critical evaluation and use of information as well as on their reasoning processes and final decisions. (shrink)

Throughout the twentieth century, the automation of formal logics in computers has created unprecedented potential for practical applications of logic—most prominently the mechanical verification of mathematics and software. But the high cost of these applications makes them infeasible but for a few flagship projects, and even those are negligible compared to the ever-rising needs for verification. One of the biggest challenges in the future of logic will be to enable applications at much larger scales and simultaneously at much lower costs. (...) This will require a far more efficient allocation of resources. Wherever possible, theoretical and practical results must be formulated generically so that they can be instantiated to arbitrary logics; this will allow reusing results in the face of today’s multitude of application-oriented and therefore diverging logical systems. Moreover, the software engineering problems concerning automation support must be decoupled from the theoretical problems of designing logics and calculi; this will allow researchers outside or at the fringe of logic to contribute scalable logic-independent tools. Anticipating these needs, the author has developed the Mmt framework. It offers a modern approach towards defining, analyzing, implementing, and applying logics that focuses on modular design and logic-independent results. This paper summarizes the ideas behind and the results about Mmt. It focuses on showing how Mmt. provides a theoretical and practical framework for the future of logic. (shrink)

The notion of quality is analysed for its functional roots as a social heuristic for reusing others’ quality judgements and hence aiding choice. This is applied to the context of academic publishing, where the costs of publishing have greatly decreased, but the problem of finding the papers one wants has become harder. This paper suggests that instead of relying on generic quality judgements, such as those delivered by journal reviewers, that the maximum amount of judgemental information be preserved and (...) then made available to potential readers to help them find papers that meet their particular needs. The suggestion is that: multidimensional quality data be captured on review of papers, this information is stored on a database, and then used to filter papers according to the criteria set by the searcher—personalising the quality filter. In other words the quality judgements and subsequent use are maintained in a disaggregated form, maintaining the maximum informational context of the judgements for future use. The advantages, disadvantages, challenges and possible variations of this proposal are discussed. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Collecting: An Unruly Passion: Psychological PerspectivesKevin MelchionneCollecting: An Unruly Passion: Psychological Perspectives, by Werner Muensterberger; 295 pp. New York: Harcourt, Brace & Company, 1994, $29.95 cloth, $13.00 paper.Due to the growth of museum studies, collecting practices are receiving more attention these days. Muensterberger’s book is one of the more ambitious of recent studies in this area. He applies classical psychoanalytic concepts to collecting. Cultural theorists often say that (...) collecting is dominated by neurotic, fetishistic, compulsive, or obsessional desires. Muensterberger is firmly in this camp, and his performance confirms rather than dispels the misgivings that nonpsychoanalytic students of culture have often expressed about the psychoanalytic approach.The first two parts of the book are an exposition of the psychoanalytic view. The third treats several “case studies” of lunatic barons and desperate social climbers whose unbridled accumulation drove their families to ruin. The tales make for good reading. The final part of the book aims at a cultural history of [End Page 524] collecting. This section strays farthest from Muensterberger’s theoretical turf and suffers from a certain confusion of purpose. Much of it reads like a selection of case studies taken from the past rather than a history of collecting. In all, Muensterberger’s cultural history of collecting does not compare favorably with the extensive work in art history on the origins of the museum. I will limit my discussion to his psychoanalytic account of collecting.Muensterberger’s psychoanalysis is starkly classical: collecting is essentially a compensation for prior disappointment and an illusory comfort in the face of an uncertain future. Collecting serves this role particularly well, it seems, because its repetitive structure allows the individual to repeat the tension-reducing act of acquisition when the satisfaction induced by the previous act fades. The meaning of the process of collecting resides in the “momentary undoing of frustrating neediness but is felt as an experience of omnipotence. Like hunger, which must be sated, the obtainment of one more object does not bring an end to the longing. Instead, it is the recurrence of the experience that explains the collector’s mental attitude. The compelling concern to go in search, to discover, to add to one’s store, or holding, or harem, is not generated by conscious planning. Rather, every new addition, whether found, given, bought, discovered, or even stolen, bears the stamp of promise and magical compensation” (p. 13). In a similar vein, Muensterberger locates the origins of the urge to collect in the child’s reliance upon objects as “symbolic substitutes” for the parent. The acquisitive bent of the collector is derivative of the “grasping and clinging” of the infant (p. 18–19).If this sounds like your generic caricature of psychoanalysis, then you have the picture. Muensterberger makes an effort to distinguish his own perspective from a facile reductionism, whereby collecting is no more than the sign of a pathological state of mind. But this is exactly what he is doing. According to the author, collectibles are simply “narcissistic supplies” (p. 234). Speaking of the noted Italian collector, Mario Praz, Muensterberger writes: “the inanimate objects’ function is essentially compensatory... they are being used not only as an attempt to disguise old wounds but at the same time to serve as reminders of past injuries and humiliations” (p. 43).The idea that cultural practices like collecting serve in some way to compensate for the frailty of the human spirit is deeply attractive. If only through repetition, Muensterberger’s insistence upon the essentially compensatory nature of collecting (and for that matter, all culture) begins to make one wonder if the compensatory view of culture has not, through an excess of intellectual scruple, received too little recognition. Unfortunately, he pursues standard Freudian explanations with a relentlessness that sinks to self-caricature. In this respect, the book is a missed opportunity. It is plausible to suggest that collecting temporarily eases all sorts of psychological and existential tensions in adults though I doubt that it does this better than eating, sex, or yoga. [End Page 525]But it is not just his brand of psychoanalysis that is simplistic. Muensterberger defines collecting as the “selecting, gathering, and keeping of... (shrink)