This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit. First, we analyze a variety of epistemological notions involved in identification in the limit and match it with traditional epistemic and doxastic logic approaches. Then, we provide a comparison of learning by erasing (Lange et al. 1996) and iterated epistemic (...) update (Baltag and Moss 2004) as analyzed in dynamic epistemic logic. We show that finite identification can be modelled in dynamic epistemic logic, and that the elimination process of learning by erasing can be seen as iterated belief-revision modelled in dynamic doxastic logic. Finally, we propose viewing hypothesis spaces as temporal frames and discuss possible advantages of that perspective. (shrink)

This paper investigates the question of how we manage to single out the natural number structure as the intended interpretation of our arithmetical language. Horsten submits that the reference of our arithmetical vocabulary is determined by our knowledge of some principles of arithmetic on the one hand, and by our computational abilities on the other. We argue against such a view and we submit an alternative answer. We single out the structure of natural numbers through our intuition of the absolute (...) notion of finiteness. (shrink)

Alexander Pruss and I have proposed an analysis of omnipotence which makes no use of the problematic terms 'power' and 'ability'. However, this raises an obvious worry: if our analysis is not related to the notion of power, then how can it count as an analysis of omnipotence, the property of being all-powerful, at all? In this paper, I show how omnipotence can be understood as the possession of infinite power (general, universal, or unlimited power) rather than the possession of (...) particular powers. I then argue that the ordinary notions of particular powers or abilities can be understood as applying vague limitations to the notion of infinite power. The vagueness of these limitations is the source of the well-known difficulties in the analysis of ability. (shrink)

P.J. McGrath has recently challenged the standard claim that to escape the problem of evil one need only alter one’s conception of God by limiting his power or his goodness. If we assume that God is infinitely good but not omnipotent, then God can scarcely be a proper object of worship. And if we assume that if God is omnipotent but limited in goodness, he becomes a moral monster. Either way evil remains a problem for theistic belief. I argue that (...) McGrath fails to distinguish between the deductive and inductive problem of evil and between a limitation in God’s “strength” and a limitation in God’s “ability to act”, and that once these distinctions are made, his argument fails. (shrink)

Today’s philosophical thinking mostly deals with the problem of sin from a religious, phenomenological or ethical point of view. This paper is an attempt to find hermeneutical points of view for the possibility of an interpretation of sin which can be opened by philosophical hermeneutics with reference to our historical being, the linguistic form of experience and the experience of finitude. The train of thoughts takes us from the analysis of the concept “original sin” to the disclosure of the speculative (...) structure and existential meaning of the original sin. Throughout this examination, the essence of original sin is revealed as the medium and the universal experience-horizon of the history of human being and of meaning. (shrink)

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

Anne Conway argues that all substances are spiritual. Yet, she also claims that all created substance has some type of body. Peter Loptson has argued that Conway didn’t carefully consider her view that all created beings have bodies for it seems God could have created only disembodied spirits. There are several reasons to think Loptson is right. First, Conway holds that God is all‐good and will do the best for his creation. She also holds that spirit is better than body. (...) So, how is it that creatures always have bodies? Second, although she maintains that incorporation is punishment for sin, Conway holds that some creatures can fall without acquiring visible corporality. I argue that when we examine these views more closely, we will see that not only did Conway give them careful consideration, but that there is no inconsistency. Finally, I show that Conway’s views concerning the nature and function of body provides further evidence of her carefully crafted system. Conway holds that bodies play an important role in a finite beings’ ability to change and interact with others. Even more surprising is Conway’s view that the body is the repository of thoughts, memories, and knowledge. (shrink)

The ability to identify the mineral composition of rocks and soils is an important tool for the exploration of geological sites. Even though expert knowledge is commonly used for this task, it is desirable to create automated systems with similar or better performance. For instance, NASA intends to design robots that are sufficiently autonomous to perform this task on planetary missions. Spectrometer readings provide one important source of data for identifying sites with minerals of interest. Reflectance spectrometers measure intensities of (...) light reflected from surfaces over a range of wavelengths. Spectral intensity patterns may in some cases be sufficiently distinctive for proper identification of minerals or classes of minerals. For some mineral classes, carbonates for example, specific short spectral intervals are known to carry a distinctive signature. Finding similar distinctive spectral ranges for other mineral classes is not an easy problem. We propose and evaluate data-driven techniques in two stages: first, evaluating algorithms to identify which components are probably present in a given rock; second, trying to improve this classification by automatically searching for spectral ranges optimized for specific classes of minerals. In one set of studies, we partition the whole interval of wavelengths available in our data into sub-intervals, or bins, and use a genetic algorithm to evaluate a candidate selection of subintervals. As an alternative to these computationally expensive search techniques, we present an entropy-based heuristic that gives higher scores for wavelengths more likely to distinguish between classes. Results are presented for four different classes, showing reasonable improvements in identifying some, but not all, of the mineral classes tested. (shrink)

In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite computational ability to deal (...) with large bodies of information and a strong, but well motivated, assumption about the cognitive accessibility of meanings of sentences ersatzers seem to be implicitly committed to. It follows that linguistic ersatzism, possible world semantics, or both must be rejected. (shrink)

The ability of ordinary differential equations (ODEs) to simulate discrete machines with a universal computing power indicates a new source of difficulties for event detection problems. Indeed, nearly any kind of event detection is algorithmi- cally undecidable for infinite or finite half-open time intervals, and explicitly given “well-behaved” ODEs (see [18]). Practical event detection, however, usually takes place on finite closed time intervals. In this paper the undecidability of general event detection is extended to such intervals. On the (...) other hand, on finite closed time in- tervals event detection in a certain approximate sense is quite generally decidable, which partly saves the case for practicable event detection. The capability of simulat- ing universal Turing machines is still there, and is used to give complexity lower bounds in terms of accuracy of event detection. The ODEs used here are of course quite complicated, but not artificial, in that even from the point of view of practical event detection it would appear difficult to find criteria to exclude them. (shrink)

Recent work on representing action and change has introduced high-level action languages which describe the effects of actions as causal laws in a declarative way. Among such action languages, the language A is the first and the most basic language. In dynamic domains, an agent needs the ability to react against changes of environment and to generate robust plans for a long-term goal, and appropriate representation is necessary for this purpose. In real problems, however, it is difficult to describe complete (...) causal laws for the domain, but it is easier to get observations. In this paper, we propose an algorithm to learn causal laws from an incomplete domain description in the language A, given observations after performing action sequences. Our learning algorithm generates causal laws based on an algorithm to learn finite automata. We also prove the correctness of the learning algorithm. From the result in this work, induction of the effects of actions can now be formally characterized within action languages. (shrink)

We compare time needed for understanding different types of quantifiers. We show that the computational distinction between quantifiers recognized by finite-automata and pushdown automata is psychologically relevant. Our research improves upon hypothesis and explanatory power of recent neuroimaging studies as well as provides evidence for the claim that human linguistic abilities are constrained by computational complexity.

Human consciousness is a finite entity; therefore, memory must be selective: remembering must also mean being able to forget. In 2006, James McGaugh documented the first known case of hyperthymesia—a syndrome that affects a very limited percentage of the world population. The main symptoms of this mental disorder involve the concept of memory stuck in the past, where the individual is imprisoned by his or her own memories, and any projection towards the future is precluded. The inevitable change produced (...) by the flowing of time naturally helps people to find reasons to live and to search for a sense of being in the world. The present study puts forward a phenomenological approach to hyperthymesia in the quest for a natural, healthy form of oblivion, or the ability to forget. Through existential analysis, it could be possible for the individual to recover the natural and necessary structure of Dasein. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A DIFFERENT METHOD; A DIFFERENT CASE: THE THEOLOGICAL PROGRAM OF JULIAN HARTT AND AUSTIN FARRER WILLIAM M. WILSON University of Virginia, OharlottesvUZe, Virginia, WRITERS COVERING the work of Julian Hartt or Austin Farrer-the :llew that there ar~generally find that the hest introduction is a straightforward acknowledgement that what is to come is unique. Basil Mitchell, for instance, has said that no matter how one catalogues contemporary theologians, a footnote (...) will be needed, reading " and then of course there is Austin Farrer." 1 Likewise, David Kelsey has said that Hartt's work "is not identi:firuble as a variant on any of the options on the present scene." 2 Those already aicquainted with Hartt and Farrer will no dorurbt agree with the sense o[ these assessments; but if they have heen carefol students they will demand, nev,ertheless, a slight qualification : Hartt,and Farrer.are unique as a party of two. Farrer is a " variant " on Hartt; Hartt belongs down in the footnote aibout Farrer. But from the claim that these two are unique it does not follow that their wo:vk is something akin to those bold " new theologies " fashioned from the innocent's quest for a faith untouched hy either the hands of tradition or the perplexities of our time. Farrer's: anchorage in tradition is obvious throughout his writing and clearly stated in the preiface to his first 1 ' Austin Marsden Farrer,' A Oelebmtion of Fa,ith, ed. Leslie Houlden (London: Hodder and Stoughton, 1970), pp.13-14. 2" Christian Sense Making: Hartt's 'Theological Method and Imagination,"' The J owrna,Z of ReUgion Vol. 58 (4), October 1978, p. 428. 599 600 WILLIAM M. WILSON work. There he said that he was " possessed hy the Thomistic vision" and w:as incapable of "thinking it wrong."3 As to novelty, he had this to say:. •. it is indeed absurd to propose new grounds for belief in the existence of God. The belief has stood for more than ~.ooo years if we are to speak of the essentials of transcendental theism. If belief has been reasona9le it has had a reason, and our only business must be to draw this out and restate it.4 It is.fair to say, to 1be sure, that Farrer "drew out" and "restated " that reason in a. way unlike that of any other contemporary Thomist. There are some who would deny him even the label.5 And it is in this sense that Mitchell's statement about him must remain: If " transcendental," " Neo-," and " traditional " Thomist are three current categories, Farrer is a footnote to them. Hartt, unlike Farrer, has ne,ver labeled himself, hut none of his readers can miss his hostility to any pretense to novelty, even to those which have become our standard fare. The good ship theology (has taken) on a radioactive cargo, its company attracted by the dynamic and dazzle of it all. Relevance~ Historicism, several varieties of analysis, Secularism-what a promising manifest! 6 The " spirit of the age " is not to illuminate the gospel, according to Hartt, rather it is the gospel which illuminates the spirit of the age.7 s Finite and Infinite: A Philosophical Essay, Ibid., p. 1. 11 But see note 5 above. JULIAN HARTT AND AUSTIN FARRER 603 I. The Uniqueness of Hartt and Farrer In a recent encydopedia entry, David Kelsey arranges a useful chart of contemporary theology according to the answers given to " the array o:f decisions theologians must make in the course of doing theology." 12 According to Kelsey, theologians must decide the subject matter o:f theology, the importance o:f cultural context, the 1wudience, the significance of the theologian 's vantage point, the goals o:f theology and the best means o:f accomplishing them. For our purposes o:f identifying Hartt and Farrer, however, we need concentrate only on the first and the last-the question o:f subject matter and the question o:f the hest means £or attaining theological ends. The latter (being the last question the theologian must face) best :identifies the overall mind o:f the theologian at work. Thus, against the standard answers given here, I shall try... (shrink)

The article claims the necessity of reflection on those meanings which were given in the 17-18th centuries to the words/concepts/terms used nowadays. The author confirms that the identi-ty of the old semantic content comparing to some interpretations seems illusory. Therefore, re-searchers working with the old texts often fill them with non-core meanings. Thus the culture of 17-18th centuries can be unjustifiably upgraded and even distorted. According to the author’s hypothesis, the analysis devoted to the correlation of some ab-stract concepts with (...) already established lexemes among the Ukrainian intellectuals who only started acquiring its terminological nature, will facilitate future investigation of philosophical elements of thinking in EarlyModern Ukrainian culture. Indeed, their ability to feel the nuanc-es of philosophical and theological notions signifies certain skills of “philosophizing”; conscious reception of “another” multi-confessional and foreign sources; understanding the subtle semantic text modulations. Finally, we can reasonably assume that clear distinction of meanings concerning same words depending on the level of word consumption is the marker that indicates the beginning of conscious phi-losophizing. As an example, the concepts of “good” and “boon”, in the early 17th centu-ry are usually synonymous and refer solely to different language usage. However, by the end of the century the “good” is gradually established as the reference to moral virtues and material attractiveness, and the “boon” as the reference to heavenly gifts and expectations of the bliss of “future age”. (shrink)

Our relationship to the infinite is controversial. But it is widely agreed that our powers of reasoning are finite. I disagree with this consensus; I think that we can, and perhaps do, engage in infinite reasoning. Many think it is just obvious that we can't reason infinitely. This is mistaken. Infinite reasoning does not require constructing infinitely long proofs, nor would it gift us with non-recursive mental powers. To reason infinitely we only need an ability to perform infinite inferences. (...) I argue that we have this ability. My argument looks to our best current theories of inference and considers examples of apparent infinite reasoning. My position is controversial, but if I'm right, our theories of truth, mathematics, and beyond could be transformed. And even if I'm wrong, a more careful consideration of infinite reasoning can only deepen our understanding of thinking and reasoning. -/- (Note for readers: the paper's brief discussion of uniform reflection and omega inconsistency is misleading. The imagined interlocutor's argument makes an assumption about the PA-provability of provability generalizations that, while true for the Godel sentence's instances, is unjustified, in general. This means my position is stronger against this objection than the paper suggests, since omega inconsistent theories are not automatically inconsistent with their uniform reflection principles, you also need to assume the arithmetically true Pi-2 sentences.). (shrink)

This paper draws attention to the tendency of a range of technologies to reduce pedagogical interactions to a series of datafied transactions of information. This is problematic because such transactions are always by definition reducible to finite possibilities. As the ability to gather and analyse data becomes increasingly fine-grained, the threat that these datafied approaches over-determine the pedagogical space increases. Drawing on the work of Hegel, as interpreted by twentieth century French radical philosopher Alexandre Kojève, this paper develops a (...) model of relational pedagogy which highlights three points of incompatibility with a datafied learning environment reduced to finite measures. Firstly: Kojève’s accont of authority in Hegel posits two aspects to the mimetic relation between teacher and student: recognition and realisation, which belong to the ipseity or about-self-ness of the subject, and are incompatible with a general definition of data. Secondly, the Hegelian approach to human historical time, in particular the assertion that time and desire are begun in the future, not the past, renders it incompatible with mathematical time as used in data processing. Finally, from these it is possible to derive a distinctive notion of the work of pedagogy, grounded in Kojève’s realist reading of Hegel, irreducible to information processing. In consequence of this threefold irreducibility, the paper draws attention to a need for relations of human pedagogical work to be inherent in the design of educational technologies and highlights the dangers of presuming a machine intelligence model in the design of learning environments. (shrink)

Hostile epistemology is the study of how environmental features exploit our cognitive vulnerabilities. I am particularly interested in those vulnerabilities arise from the basic character of our epistemic lives. We are finite beings with limited cognitive resources, perpetually forced to reasoning a rush. I focus on two sources of unavoidable vulnerability. First, we need to use cognitive shortcuts and heuristics to manage our limited time and attention. But hostile forces can always game the gap between the heuristic and the (...) ideal. Second, we need to trust others, and trust makes us vulnerable. In particular, we need to trust experts whose expertise lies beyond our individual ability to vet. So we must rely on various imperfect signals and proxies, like institutional affiliation, to manage our trust. We are forced to use these imperfect and exploitable forms of reasoning, in order to cope with a cognitively overwhelming world. I present the hostile epistemology framework as a counterbalance to vice epistemology, which tends to locate responsibility for bad beliefs in the character of the believer. I draw two conclusions from my analysis. First: suppose we accept that that only communities and institutions can know about the world. This deeply social approach doesn’t solve the problem of expert identification. The individual still faces a problem: given their incomplete understanding, how should the individual pick which group to trust? Second: we might have hoped to get some kind of static picture of the right principles of reasoning — but hostile epistemology presents a different picture. We have to use risky heuristics and shortcuts, which hostile forces can game and exploit. We can respond by shifting to a different set of heuristics, but this simply shifts the location of our vulnerabilities. These new heuristics are also exploitable. There is no end to this, only a constant struggle to adapt. Limited beings in a hostile epistemic environment are locked in an unending epistemic arms race. (shrink)

R. Abelson argues that the identity theory is false because it is possible to have an infinite number of thoughts (e.G. Of natural numbers) while the number of possible brain states is finite. The refutation fails because it conflates the logical possibility of having infinite thoughts with the actual ability to have them. The latter depends on many contingent facts, One of which may be the number of possible brain states.

The paper presents some of the challenges facing contemporary Western societies and highlights their origin in capitalism’s unsound self-interpretation—as found in the most familiar modern social imaginaries. In reaction to the uncontested familiarity of these modern social imaginaries, the paper explores an alternative view of human relations in Buber’s philosophy of dialogue with the resumption of some of his ideas in contemporary theories about the sources and meaning of economic and social cooperation. The works referred to are Tomáš Sedláček’s The (...) Economics of Good and Evil and Jeremy Rifkin’s The Empathic Civilization. Rifkin considers empathy the ability of human beings to show solidarity—not only with each other, but also towards their fellow creatures who they share both the planet and the attribute of mortality with. In this conception, humans have gone from empathy in blood ties, to empathy in religious associational ties, to empathy based on national identification. The emergence of an empathic civilization seems to be a consequence of an existential similarity of finite beings, combined with the possibilities brought on by the third industrial revolution. But if we search for the origin of the idea, we could also find it in other sources—among them the religious spirituality of Buber’s dialogic philosophy. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Friendship: The Future of an Ancient Gift by Claudia BaracchiJoseph GamacheBARACCHI, Claudia. Friendship: The Future of an Ancient Gift. Translated by Elena Bartolini and Catherine Fullarton. Bloomington: Indiana University Press, 2023. 146 pp. Paper, $30.00Friendship: The Future of an Ancient Gift offers a series of reflections on friendship that "outline thoughts, visions, stories." It is well to bear this in mind. There is no sustained discussion of (and (...) not many references to) other commentators or interpreters of the ancient Greeks. Nor is there, despite the title, a sustained philosophical treatment of friendship or its future. It is a series of reflections on ancient Greek texts. These reflections are unified by the theme of friendship, even when friendship seems to recede into the background. Each chapter is organized around a specific text, the reading of which is interspersed with the aforementioned thoughts, visions, and stories.The first chapter focuses on Plato's Timaeus. Friendship in its "most elementary sense" is "looking at the sky" and seeing not only myself, but "myself as us." This sort of cosmic friendship is a look, a "unitive force, a capacity for seeing the bonds and holding together the elements that form every living organism." The second chapter takes up the analogy of the soul and the city in the Republic. I am a friend to myself when the parts of my soul are in harmony.In the third and longest chapter, Baracchi takes up friendship between equals as discussed in the Nicomachean Ethics. The thematic focus is now friendship between persons, and we read that friendship is a "privileged place in which to be," that it "corroborates, strengthens, amplifies, and emphasizes" the friends, that it is the "condition and context for the utmost explication of human dynamis." Friends resemble each other like poetic images "that illuminate and elucidate one another." The third chapter also takes a swipe at "us moderns," whose notions of liberty undermine our ability to appreciate friendship. We moderns "struggle to contemplate seriousness, fidelity, and the depth they entail, without cynicism." The critique is familiar, and trades, at times, on what seems to be a conflation of Hobbes with the entirety of early modern philosophical anthropology. [End Page 535]Chapters 4 through 6 return to Plato, first with a reflection on the Apology and Symposium, and then with a discussion of Aristotle's friendship with Plato. The fifth chapter takes up the tension between the pursuit of truth and the love of one's friends, as that dilemma manifests in the life of a philosopher. Baracchi convincingly argues that Aristotle should be read as honoring the deeper teachings of Plato, and Socrates before him, that one should care about not who holds a belief but only whether the belief is true. Thus did Aristotle resolve the dilemma between truth and friendship. His pursuit of the truth, even when it caused disagreement with Plato, was an act of friendship.Chapter 6 focuses on the origin of the polis as described in the Republic. Baracchi shows how Socrates tries in the Republic to widen the circle of those who count as one's friends, from select others within the polis, to everyone within the polis, to the entire Greek world, as well as to push back against those who argue that enmity is the necessary foundation of the polis. The last three chapters of the book return to Aristotle's views about friendship: first, about the relationship between friendship and justice, second, about friendships between unequals, and lastly, about the embodied aspects of friendship, its sweetness, and pleasure.There are limits, however, to how helpful the work might be to philosophers interested in friendship. The language is often too abstract, as in the recommendation, "to learn to think human community in its entirety, without this entailing the elimination of differences, and without reducing the differences to identity-related and localistic velleities." Or in the claim that the difference between complete and derivative friendship is the former's ability to "to grasp the broader reasons in the finite, and thus to place the contingent in an otherwise articulated context." Too often there are exaggerations that obscure whatever point is... (shrink)

H. Arendt developed largely her hermeneutical interpretation of understanding in line with the rethinking of I. Kant’s philosophical heritage. Although she was able to offer a rather original interpretation of the theoretical views of the great German philosopher, her hermeneutic strategy was also influenced by the approaches to their understanding that were proposed by her teachers M. Heidegger and K. Jaspers. Arendt’s hermeneutical teaching proceeds from the need to realize the close unity of practical action and spiritual activity of the (...) human subject - Vita Activa and Vita Contemplativa. Accepting the initial position of Heidegger’s metaphysics of finiteness about the “abandonment” of man in the flow of time, Arendt simultaneously follows Jaspers’ call for the need for an existential-hermeneutic interpretation of practical action and the abilities of the spirit by their understanding on the basis of Kant’s legacy. Singling out thinking, will and judgement among the main vectors of self-realization of the spirit, she demonstrates their close relationship with the main types of practical human activity - work, work and action. Analyzing the abilities of the spirit, Arendt emphasizes the major role of thinking, which brings together the processes of knowledge acquisition and meaning creation. It highlights the primacy of the meaning-producing function of the reason in relation to the ability of the intellect to generate true knowledge on the basis of generalization of the data of contemplation. Describing thinking after Kant as a “thing in itself”, Arendt speaks of its involvement in eternity and time in the moment of the present, the ability to generalize the past and design the future. Thinking forms the core of practical reason, which Kant identified with the will, and opens a new horizon of meaning generation in its aspiration to the future. The ability to judge also turns out to be a product of thinking, referring to the past while relying on common sense and imagination. Arendt rightly argues that the “paralysis” of the faculty of judgement, indicating the significance of Kant’s categorical imperative, threatens not only to produce a distorted vision of history, but also the triumph of the “banality of evil” in the sphere of politics. (shrink)

Thomas Sebeok and Noam Chomsky are the acknowledged founding fathers of two research fields which are known respectively as Biosemiotics and Biolinguistics and which have been developed in parallel during the past 50 years. Both fields claim that language has biological roots and must be studied as a natural phenomenon, thus bringing to an end the old divide between nature and culture. In addition to this common goal, there are many other important similarities between them. Their definitions of language, for (...) example, have much in common, despite the use of different terminologies. They both regard language as a faculty, or a modelling system, that appeared rapidly in the history of life and probably evolved as an exaptation from previous animal systems. Both accept that the fundamental characteristic of language is recursion, the ability to generate an unlimited number of structures from a finite set of elements (the property of ‘discrete infinity’). Both accept that human beings are born with a predisposition to acquire language in a few years and without apparent efforts (the innate component of language). In addition to similarities, however, there are also substantial differences between the two fields, and it is an historical fact that Sebeok and Chomsky made no attempt at resolving them. Biosemiotics and Biolinguistics have become two separate disciplines, and yet in the case of language they are studying the same phenomenon, so it should be possible to bring them together. Here it is shown that this is indeed the case. A convergence of the two fields does require a few basic readjustments in each of them, but leads to a unified framework that keeps the best of both disciplines and is in agreement with the experimental evidence. What is particularly important is that such a framework suggests immediately a new approach to the origin of language. More precisely, it suggests that the brain wiring processes that take place in all phases of human ontogenesis (embryonic, foetal, infant and child development) are based on organic codes, and it is the step-by-step appearance of these brain-wiring codes, in a condition that is referred to as cerebra bifida, that holds the key to the origin of language. (shrink)

Halin in 1965 proved that if a graph has [Formula: see text] many pairwise disjoint rays for each [Formula: see text] then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic complexity. The statement of Halin’s theorem and the construction proving it seem very much like standard versions of compactness arguments such as König’s Lemma. Those results, while not computable, are relatively simple. They only use (...) arithmetic procedures or, equivalently, finitely many iterations of the Turing jump. We show that several Halin-type theorems are much more complicated. They are among the theorems of hyperarithmetic analysis. Such theorems imply the ability to iterate the Turing jump along any computable well ordering. Several important logical principles in this class have been extensively studied beginning with work of Kreisel, H. Friedman, Steel and others in the 1960s and 1970s. Until now, only one purely mathematical example was known. Our work provides many more and so answers Question 30 of Montalbán’s Open Questions in Reverse Mathematics in 2011. Some of these theorems including ones in Halin in 1965 are also shown to have unusual proof theoretic strength as well. (shrink)

Individuality has posed difficult problems throughout the history of philosophy. Not only is there the metaphysical difficulty of determining the principle of individuation, but, since our concepts and linguistic structure are based on universals, there is a gap in our knowledge of individuals and in our ability to express knowledge of individuals. God, who in Classical Theism is an individual, poses especially difficult problems. This dissertation proposes one way which may partially close the gap: metaphor. ;I argue that the principle (...) of individuation is what Duns Scotus called haecceitas, which uniquely delimits this particular individual. It is not opposed to form or to universality, but is the ultimate reality of form. I follow Scotus further in holding that the individual qua individual is intrinsically intelligible; our difficulty in understanding individuals is due to the weakness of our intellect, since our thought is through universal concepts. ;Next I defend the interaction theory of metaphor, which holds that the terms of a metaphor interact to form a new meaning which cannot be entirely reduced to the meanings of the terms. I argue further that metaphor can not only give us richer linguistic access to entities, but also give us cognitive insight which cannot be gained in any other way. ;I then defend a form of non-propositional knowing and argue that metaphor is a particularly appropriate way to express this knowledge. I argue that Scotus' theory of individuality, which holds that the individual is intrinsically intelligible, leaves open the possibility of some form of metaphoric cognition of the individual. I present a case study: the poetry of Gerard Manley Hopkins. Hopkins attempted to use metaphor and other devices in his poetry to illuminate individual beings. ;Finally I discuss God, the ultimate instance of the correlation of universality and individuality. God, being the ultimate individual, presents epistemological and linguistic problems similar in some ways to those which accrue to finite individuality. I defend the thesis that metaphorical and modelling language can help us gain insight into God. (shrink)

The question of the trait that would distinguish human beings from the rest of the animals has kept humanity awake for centuries. Their ability to express themselves through words, their use of reason, their self-awareness of their finiteness or their capacity to produce and appreciate the art have been some of the faculties that, over the centuries, have come to give humanity a justification for its position in the world. With the advent of Artificial Intelligence, many of these attributes came (...) to be questioned thanks to the ability of non-biological entities to produce, among other performances, artistic and literary works. In this article we will revisit some of the topics that have allowed us to delineate the limits of what is human and, in the light of the latest technological advances, to question the link that humanity, technology and artistic creation have with each other today. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Anchors of Democracy: A New Division of Powers, Representation, Sense of Limits by Rocco PezzimentiAdam CarringtonPEZZIMENTI, Rocco. The Anchors of Democracy: A New Division of Powers, Representation, Sense of Limits. Herefordshire, U.K.: Gracewing, 2021. 207 pp. Paper, $22.00Rocco Pezzimenti's The Anchors of Democracy: A New Division of Powers, Representation, Sense of Limits is an ambitious book. A professor at LUMSA, Rome, he seeks to consider anew the (...) nature, structure, and purposes of democracy as well as the society in which this form of government best operates. He sees this task as needed because, he argues, contemporary democracies face new challenges that threaten their legitimacy and their capacity to fulfill their just and needed purposes. He notes that democracies are not "infallible," either morally or in their ability to maintain themselves, and thus need conscious understanding and prudent maintenance.The subtitle establishes the three main themes by which he diagnoses and addresses democracy's trials. Pezzimenti orders his argument most through the lens of limits. While present in all spheres and regimes, popular government in particular partakes of limitation, since "mutual limitation... is the basis of our democracies." Limits for Pezzimenti stem from distinct elements of a society competing for finite power ordered toward action. Many of our political and social problems, both past and present, stem from denying limitations or misordering their interactions. The presentism that tempts democracy must be tempered by the limits the past places on it. Institutions are one helpful means for this interaction, which helps guard against a "utopianism which wants to solve everything immediately, deceiving itself that it can perform miracles." Law itself involves limits, placing boundaries on the action of private persons and public entities. So does pluralism and "polyarchy," whereby we recognize the limits particular persons and communities place on politics' universalism as well as how politics restrains these other elements from descending into intolerant, selfish particularity. Important to this point is Pezzimenti's discussion of sovereignty, which must not be reduced to a mere question of who rules and where but to the question of rightly pursuing a common good respectful of individual rights. True freedom inheres in the proper cohering of these elements.Pezzimenti turns to the distribution of powers within a community as part of the discussion of limits. He argues that "the traditional tripartition, theorized by Polybius and on to Montesquieu, today appears certainly insufficient." To define all political power as legislative, executive, and judicial, then to distribute them among competing institutions, does not fully account for the contemporary political landscape. Moreover, those [End Page 361] "classic" powers themselves need to be rethought to meet today's concerns. Legislative power must account for claims that its representative systems either are oligarchic in practice or lead to crass populism, and that they fail to account for group identities as opposed to class ones. The executive must evolve in pursuit of a better "efficiency and efficacy"—including speed of response to problems—that requires a better relationship with the modern bureaucracy, which he describes as "the other face of the executive." The judicial power must focus on a renewed impartiality, especially in relation to the additional powers Pezzimenti thinks need to be named and then tamed. The new powers that he says we must recognize include the press, mass media, technology, and more. Here, Pezzimenti categorizes as powers the functions of government (making, enforcing, and adjudication of the law) alongside avenues or means for exercising political influence, if not outright control. These other forces have distorted democracy's needed limits partly because law and custom have not adequately accounted for their evolving role in power.These issues lead to the last challenge, that of representation. The problem of representation threatens democracy's legitimacy, since this form of government is grounded more than any other in the idea that "power must be the expression of the community." Yet even here the issue of limits orders the discussion. The unaccounted-for new powers described above remove too many limitations either on crass populism or encroaching rule of elites. The former can abuse individual rights, which he says "are not negotiable," based on oppressive whims... (shrink)

John Barrow is increasingly recognized as one of our most elegant and accomplished science writers, a brilliant commentator on cosmology, mathematics, and modern physics. Barrow now tackles the heady topic of impossibility, in perhaps his strongest book yet. Writing with grace and insight, Barrow argues convincingly that there are limits to human discovery, that there are things that are ultimately unknowable, undoable, or unreachable. He first examines the limits on scientific inquiry imposed by the deficiencies of the human mind: our (...) brain evolved to meet the demands of our immediate environment, Barrow notes, and much that lies outside this small circle may also lie outside our understanding. Barrow investigates practical impossibilities, such as those imposed by complexity, uncomputability, or the finiteness of time, space, and resources. Is the universe finite or infinite? Can information be transmitted faster than the speed of light? The book also examines the deeper theoretical restrictions on our ability to know, including Godel's theorem--which proved that there were things that could not be proved--and Arrow's Impossibility theorem about democratic voting systems. Finally, having explored the limits imposed on us from without, Barrow considers whether there are limits we should impose upon ourselves. For instance, if the secrets of the atom are to be found only by recreating extreme environments at great financial cost, just how much should we devote to that quest? Weaving together this intriguing tapestry, he illuminates some of the most profound questions of science, from the possibility of time travel to the very structure of the universe. (shrink)

Coleridge tended to view objects in the natural world as if they were capable of articulating truths about his own poetic psyche. He also regarded such objects as if they were capable of illustrating and concretely embodying truths about a transcendent spiritual realm. After 1805, he posited a series of analogical 'likenesses' connecting the rational principles that inform human cognition with the rational principles that he believed informed the teleological structure of the natural world. Human reason and the principle of (...) rationality realised objectively in Nature were both regarded as finite effects of God's seminal Word. Although Coleridge intuitively felt that nature had been constructed as a 'mirror' of the human mind, and that both mind and nature were 'mirrors' of a transcendent spiritual realm, he never found an explanation of such experiences that was fully immune to his own sceptical doubts. Coleridge and Scepticism examines the nature of these sceptical doubts, as well as offering a new explanatory account of why Coleridge was unable to affirm his religious intuitions. Ben Brice situates his work within two important intellectual traditions. The first, a tradition of epistemological 'piety' or 'modesty', informs the work of key precursors such as Kant, Hume, Locke, Boyle, and Calvin, and relates to Protestant critiques of natural reason. The second, a tradition of theological voluntarism, emphasises the omnipotence and transcendence of God, as well as the arbitrary relationship subsisting between God and the created world. Brice argues that Coleridge's detailed familiarity with both of these interrelated intellectual traditions, ultimately served to undermine his confidence in his ability to read the symbolic language of God in nature. (shrink)

This thesis proposes and presents two new models for belief representation and belief revision. The first model is the B-structures model which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally (...) tractable procedures for query answering and belief base revision are obtained. ;The second model presents a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the conclusion and formulas in the sequence. The relevance relations are ternary as opposed to standard binary axiomatizations. The inference operation thus defined easily handles iterated revision by maintaining a revision history, blocks the derivation of inconsistent answers from a possibly inconsistent sequence and maintains the distinction between explicit and implicit beliefs. In doing so, it provides a finitely representable formalism and a plausible model of reasoning for automated agents. (shrink)

The closed world assumption plays a fundamental role in the theory of deductive databases. On the other hand, multi-valued logics occupy a vast field in non-classical logics. Some questions are better explained and expressed in terms of such logics. To enhance the expressive power and the declarative ability of a deductive database, we extend various CWA formalizations, including the naive CWA, the generalized CWA and the careful CWA, to multi-valued logics. The basic idea is to embed logic formulae into some (...) polynomial ring. The extensions can be applied in a uniform manner to any finitely multi-valued logics. Therefore they have also computational interest. (shrink)

It is argued that donald davidson has not succeeded in showing that we need a constructive theory of meaning--A theory for a natural language which davidson considers to have as its base a finite number of semantic primitives--In order to explain language learning and, In particular, Linguistic productivity. This linguistic productivity is the ability of a speaker who has mastered the meaning of a finite stock of words and a finite number of grammatical rules, To produce and (...) understand sentences which he has not constructed or encountered before. (shrink)

Based on neuropsychological evidence of nonverbal impairment accompanying aphasia, I propose that the neural prerequisites for language acquisition are shared with a range of nonverbal capacities. Their commonality concerns the ability to recognize a limited number of finite elements in manifold perceptual entities and to combine them for constructing manifold entities.

During his time as Archbishop of Canterbury, Rowan Williams addressed the relations between Christianity and science at some length. While many contemporary theologians have explored the natural sciences in detail and have deployed scientific ideas and concepts in their theological work, Williams's writings suggest that theology has little need for natural scientific knowledge. For Williams, the created order's relationship to God renders the content of scientific theories about how finite causes are materially constituted and interact of little theological importance. (...) At the same time, Williams is convinced that theological and scientific work must each remain within their proper bounds, a position that can best succeed in practice when participants in each discipline are aware of how both disciplines approach their subject matter. Although Williams's view challenges those who would insist that theology requires anything more than minimal engagement with the sciences, the ability to clearly demarcate and preserve the boundaries between scientific and theological work nevertheless requires of the theologian the kind of understanding of scientific methods and theories that Williams himself demonstrates. (shrink)

Bayesian paradigm has been widely acknowledged as a coherent approach to learning putative probability model structures from a finite class of candidate models. Bayesian learning is based on measuring the predictive ability of a model in terms of the corresponding marginal data distribution, which equals the expectation of the likelihood with respect to a prior distribution for model parameters. The main controversy related to this learning method stems from the necessity of specifying proper prior distributions for all unknown parameters (...) of a model, which ensures a complete determination of the marginal data distribution. Even for commonly used models, subjective priors may be difficult to specify precisely, and therefore, several automated learning procedures have been suggested in the literature. Here we introduce a novel Bayesian learning method based on the predictive entropy of a probability model, that can combine both subjective and objective probabilistic assessment of uncertain quantities in putative models. It is shown that our approach can avoid some of the limitations of the earlier suggested objective Bayesian methods. (shrink)

President Clinton, already facing formidable obstacles in reforming the health care system, denies that it will involve any rationing. This is politically understandable, but wrong. Infinite needs are rapidly overtaking finite resources. Most health providers recognize that the genius of modern medicine has outpaced our ability to pay. But the public still has unlimited expectations and a blind faith that everything can be provided to everyone by simply eliminating "waste, fraud, and abuse." Rationing is inherent in any health care (...) system. As government undertakes to define what is "medically necessary or appropriate," it will unavoidably undertake a series of rationing decisions. Health care is being transformed from a private good to a public good. Government, when it reforms the health care system, must inevitably ask: How do we buy the most health for the public? Keywords: Clinton Health Plan, public good, rationing CiteULike Connotea Del.icio.us What's this? (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...) states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

The incompleteness theorems constitute the mathematical core of Gödel’s philosophical challenge. They are given in their “most satisfactory form”, as Gödel saw it, when the formality of theories to which they apply is characterized via Turing machines. These machines codify human mechanical procedures that can be carried out without appealing to higher cognitive capacities. The question naturally arises, whether the theorems justify the claim that the human mind has mathematical abilities that are not shared by any machine. Turing admits that (...) non-mechanical steps of intuition are needed to transcend particular formal theories. Thus, there is a substantive point in comparing Turing’s views with Gödel’s that is expressed by the assertion, “The human mind infinitely surpasses any finite machine”. The parallelisms and tensions between their views are taken as an inspiration for beginning to explore, computationally, the capacities of the human mathematical mind. (shrink)

In the concept of "gift," some contemporary thinkers perceive the possibility for a renewal of philosophical and theological reflection. The Parisian philosopher Claude Bruaire innovately proposes to understand "gift" ontologically rather than phenomenologically or sociologically. The purpose of this dissertation is to explore Bruaire's ontology of gift , while testing its ability to elaborate an adequate interpretation of the essence of finite and infinite spirit. ;Bruaire views gift and being as coextensive for two reasons. First, he interprets being in (...) terms of spirit and of freedom. Gift then is the name of the ternary freedom-spirit-being. Second, being-of-spirit is gift because God is not only absolute spirit, he is also Triune. ;The first part of the dissertation explains how, for Bruaire, the intimation of Christian revelation enhances philosophy and suggests the elaboration of an ontology of spirit. We then proceed to show in what way, prior to the development of his ontodology , Bruaire's systematic anthropology and his conception of absolute spirit were built around a notion of gift which was yet to be developed fully. In the course of this discussion the necessity for an ontological account of gift emerges clearly. ;The second part unfolds Bruaire's ontodology in three steps. We first of all recount how the retrieval of the concept of spirit enables Bruaire to restore the notion of being to philosophical reflection. We then explain in what way the human spirit is given to the self in order to become self. Finally, we show that, for Bruaire, the infinite, creator, and eternal spirit is gift because God is donation , reddition , and confirmation of the gift . Entering in conversation with the philosophy of Hegel and Schelling, Bruaire draws from German Idealism key themes and terms, and corrects them in the light of the principle of unfathomable positivity stemming from his comprehension of Christianity. This approach enables him to develop a cogent interpretation of being as love. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according (...) to the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

In attempting to solve a wide variety of tasks, people naturally seek to modify their external environment such that the physical space in which they work is more amenable or ‘congenial’ to achieving a desired outcome. Attempts to determine the effectiveness of certain artifacts or spatial reorganizations in aiding reasoners solve problems must be relativised to the difficulty of the task and the cognitive abilities of the reasoners. These factors were examined using a simple word production task with letter tiles. (...) Two sets of tiles that differed in terms of word production difficulty were selected. Participants were asked to produce as many words as they could within a finite time period for each letter set. In one group, participants were encouraged to rearrange or touch the tiles when producing words, and in the other group, participants could not interact with or point to the tiles. Participants were further split in a low and high verbal fluency group as a function of their score on the Thurstone word fluency test taken at the end of the experiment. In the high fluency group, letter rearrangement did not improve the participants’ ability to generate words. In contrast, in the low verbal fluency group, letter rearrangement significantly enhanced the ability to produce new words from both the hard and easy letter set. For these participants, the task was more taxing and the opportunity to restructure the letter set substantially elevated their performance. The advantages of a distributed cognition analysis of this and other reasoning tasks are discussed. (shrink)

. The question of whether or not our universe is deterministic remains of interest to both scientists and theologians. In this essay I argue that this question can be solved only by metaphysical decision and that no scientific evidence for either determinism or indeterminism will ever be conclusive. No finite being, no matter how powerful its cognitive abilities, will ever be able to establish the deterministic nature of the universe. The only being that would be capable of doing so (...) would be one that is at once transcendent and immanent. Such a being is compatible with the God of the Christian tradition, which yields that a deterministic worldview is compatible with a deterministic worldview. A more important point is that because science is never able to establish the determinism of our universe, it can never definitely rule out divine action except on metaphysical grounds. (shrink)

One of the most important features of living beings that seems universal is perhaps their ability to be modified in a functional way.In order to modelize this characteristic, we designed automata with a finite number of instantaneous internal descriptions, with input(s) and output(s) and which are able to be functionally modified.

Methodological individualists often claim that any social phenomenon can ultimately be explained in terms of the actions and interactions of individuals. Any Nagelian version of methodological individualism requires that there be bridge laws that translate social statements into individualistic ones. We show that Nagelian individualism can be put to logical scrutiny by making the relevant social and individualistic languages fully explicit and mathematically precise. In particular, we prove that the social statement that a group of (at least two) agents performs (...) a deontically admissible group action cannot be expressed in a well-established deontic logic of agency that models every combination of actions, omissions, abilities, and obligations of finitely many individual agents. (shrink)

It is often assumed by friends and foes alike of intelligent design that a likelihood approach to design inferences will require evidenceregarding the specific motives and abilities of any hypothetical designer. Elliott Sober, like Venn before him, indicates that this information is unavailable when the designer is not human (or at least finite) and concludes that there is no good argument for design in biology. I argue that a knowledge of motives and abilities is not always necessary for obtaining (...) a likelihood on design. In many cases, including the case of irreducibly complex objects, frequencies from known agents can supply the likelihood. I argue against the claim that data gathered from humans is inapplicable to non-human agents. Finally, I point out that a broadly Bayesian approach to design inferences, such as that advocated by Sober, is actually advantageous to design advocates in that it frees them from the Popperian requirement that they construct an overarching science which makes high-likelihood predictions. (shrink)

Since the beginning of the last century, with the development of the Theory of Relativity, an ever-growing gap has come into being between our knowledge about the structure of the world around us and our ability to conceptualize it. Because language plays a major role in our ability to describe the world and our role within it, a need has been created to match the capabilities of language to the knowledge we currently possess about the world we inhabit. This article (...) will focus on two main arguments: (A) our ability to describe and conceptualize the world using a language that is limited, problematic and finite and (B) The possibility of developing a new language based on other principles than those governing verbal speech, which can deal with these limitations and problems and which is better suited to describing the world as we know it today. (shrink)

Academic integrity in education and science is understood as an ability that translates from possible into actual justice in the relations of students, teachers and scientists, their respect for their own dignity and the dignity of colleagues, as well as a focus on sincere creativity and co-creation. Academic integrity is the ability to maintain and develop the reputation of a conscientious, tolerant and creative professional who does not envy the talent of colleagues and does not appropriate their achievements. In the (...) article, academic integrity appears not only as a demand and a challenge, but also as a will. In the coordinates of the methodology of meta-anthropology, it is proven that at the level of the will to self-preservation and procreation, as well as at the level of the will to power, any virtue, including academic and conditional, moreover, its deformations and distortions are possible. Only under the influence of the will to knowledge and creativity of the finite being of a person, which is supplemented by the will to co-creation in the meta-boundary being, academic integrity acquires an unconditional character and naturalness. It has been proven that true academic integrity is impossible without true academic dialogue, without it it turns into a simulacrum. The heuristic meaning of the concept “will to academic integrity” is substantiated. The will to academic integrity is an important component of the will to scientific novelty and actualizes academic writing that has heuristic achievements, is free from plagiarism, does not amount to compilation and is not a fabrication. As an example of the action of such a will in the academic community, the Kyiv anthropological school is presented in its development in the directions of existential anthropology and metaanthropology. The role of academic integrity in conditions of war and peace is shown. (shrink)

One major milestone in the development of the sea urchin embryo is the assembly of a single cilium on each blastomere just before hatching. These cilia are constructed both from pre‐existing protein building blocks, such as tubulin and dynein, and from a number of 9+2 architectural elements that are synthesized de novo at ciliogenesis. The finite or quantal synthesis of certain key architectural proteins is coincident with ciliary elongation and proportional to ciliary length. Upon deciliation, the synthesis of architectural (...) proteins occurs anew, a new cilium grows, and the stores of various building blocks are replenished. This routine of coordinated ciliary gene expression may be replayed experimentally many times without delaying normal development. The ability to regenerate cilia has allowed elucidation of these various protein synthetic relationships and has led to the discovery of the pathways by which membrane‐associated tubulin and axoneme‐associated architectural proteins are conveyed into the highly compartmentalized growing cilium. The sea urchin embryo thus provides a very convenient model system for studies of ciliary assembly and maintenance, coordinate gene expression and membrane dynamics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:New Essays on the RationalistsSteven NadlerRocco J. Gennaro and Charles Huenemann, editors. New Essays on the Rationalists. Oxford: Oxford University Press, 1999. Pp. xvii + 391. Cloth, $60.00.Here is yet another collection of essays on early modern philosophy. The focus this time is on the Seventeenth century, in particular "the rationalists." What this apparently involves is, as the old-fashioned classification has it, Descartes, Spinoza, and Leibniz. But there (...) is no overall theme to the essays, nothing uniting them besides the fact that almost all are devoted to those three thinkers and the fact that the volume was inspired by a summer seminar run by Jonathan Bennett.What the editors mean by "the rationalists" (besides the extensional definition) is [End Page 437] thinkers "united in the belief that the intellect and human reason are powerful tools in our ability to know about the ultimate nature of mind and matter." What is supposed to separate "the rationalists" from "the empiricists" is "a belief in the power of human reason" (xv). This is a fairly weak claim; and I, for one, am skeptical that such categories are truly useful (or even valid—one would be hard-pressed to find a single issue on which Descartes, Spinoza, and Leibniz all agree and on which those who are usually called "empiricists" unanimously dissent). In the light of so much important and creative work done over the last twenty years in seventeenth-century philosophy, it would have been nice to see a volume devoted to "the rationalists" include at least one sophisticated discussion of the legitimacy and grounds of such a label.The essays in this book are divided into three categories: Matter and Substance; Freedom and Necessity; and Mind and Consciousness. The contributors are a broad mix of scholars: some established and accomplished, others new and up-and-coming. The quality of the work is consistently high. There is a lot of detailed and careful work here, both in the attention to the historical texts and in philosophical analyses. However, not all of the essays are of great scope or interest; in fact, most are not. There is a definite tendency toward the small-scale (but not brevity): a concern with micro-problems (for example, the chapter by Clarence Bonnen and Daniel Flage, "Distinctness," is devoted to the question of what the "distinctness" of an idea is for Descartes) and an emphasis on theses and arguments (such as Geoffrey Gorham's examination of the "similarity condition" for causation in Descartes, "Causation and Similarity in Descartes,"). If there is indeed an "analytical" way of doing history of philosophy, that school is well represented here.And then there are a couple of essays that stand out by transcending this narrowness of focus. The chapters by Catherine Wilson ("The Illusory Nature of Leibniz's System") and Don Garrett ("Teleology in Spinoza and Early Modern Rationalism") are, without question, the boldest and most interesting of the collection. Wilson argues that, in the light of Leibniz's changing and inconsistent views on substance, there really is no metaphysical "system" in his philosophy. Garrett, in what is, to my mind, the best essay in the book (although I think I disagree with him), defends an account of teleology in Spinoza's metaphysics, and then compares Spinoza's views on teleology with those of Aristotle, Descartes, and Leibniz; he concludes that Spinoza not only accepted teleological explanations of particular phenomena, but did so more strongly than anyone else in the modern period. Experts will, of course, disagree with the claims made by Wilson and Garrett; that is what this game is all about. But it is truly refreshing to see scholars such as these taking on large-scale issues.It is worth noting that there is also a nice, indirect dialogue between two of the essays: Charles Huenemann's interesting account of a consistent necessitarianism in Spinoza ("The Necessity of Finite Modes and Geometrical Containment in Spinoza's Metaphysics,") and Edwin Curley and Gregory Walski's argument (in "Spinoza's Necessitarianism Reconsidered,") that, when it comes to the finite modes, Spinoza is not a strong or absolute necessitarian. What is truly unfortunate about the collection, however... (shrink)