This short, smart book tells you everything you need to know about " nothing." What remains when you take all the matter away? Can empty space--" nothing "--exist?

What remains when you eliminate all matter? Can empty space-a void-exist? _Frank Close takes the reader on a lively and accessible tour through ancient ideas and cultural superstitions (including Aristotle, who insisted that the vacuum was impossible) to the frontiers of current scientific research. These newest discoveries tell us extraordinary things about the cosmos and may provide answers to some of our most fundamental questions: What lies outside the universe? If there was once nothing, then how did the universe (...) begin? (shrink)

The present publication forms part of a projected book that F. P. Ramsey drafted but never completed. It survived among his papers and ultimately came into the possession of the University of Pittsburgh in the circumstances detailed in the Editor's Introduction. Our hope in issuing this work at this stage - some sixty years after Ramsey's premature death at the age of 26 - is both to provide yet another token of his amazing philosophical creativity, and also to make available (...) an important datum for the still to be written history of the development of philosophical analysis. This is a book whose appearance will, we hope and expect, be appreciated both by those interested in linguistic philosophy itself and by those concerned for its historical development in the present century. EDITORS'INTRODUCTION 1. THE RAMSEY COLLECTION Frank Plump ton Ramsey was an extra ordinary scholarly phenomenon. Son of a distinguished mathematician and President of Magdalene College, Cambridge and brother of Arthur Michael, eventual Archbishop of Canterbury, Ramsey was closely connected with Cambridge throughout his life, ultimately becoming lecturer in Mathematics in the University. Notwithstanding his great mathematical talent, it was primarily logic and philosophy that engaged his interests, and he wrote original and important contributions to logic, semantics, epistomology, probability theory, philosophy of science, and economics, in addition to seminal work in the foundations of mathematics. (shrink)

Frank A. Lewis presents a close study of book Zeta of Aristotle's Metaphysics, one of his most dense and controversial texts, commonly understood to contain his deepest thoughts on the definition of substance and related metaphysical issues. Lewis argues that Aristotle returns to the causal view of primary substance from his Posterior Analytics.

The ‘Principal Principle’ states, roughly, that one's subjective probability for a proposition should conform to one's beliefs about that proposition's objective chance of coming true. David Lewis has argued (i) that this principle provides the defining role for chance; (ii) that it conflicts with his reductionist thesis of Humean supervenience, and so must be replaced by an amended version that avoids the conflict; hence (iii) that nothing perfectly deserves the name ‘chance’, although something can come close enough by playing (...) the role picked out by the amended principle. We show that in fact there must be ‘chances’ that perfectly play what Lewis takes to be the defining role. But this is not the happy conclusion it might seem, since these ‘chances’ behave too strangely to deserve the name. The lesson is simple: much more than the Principal Principle—more to the point, much more than the connection between chance and credence—informs our understanding of objective chance. 1 Introduction 2 Preliminaries 3 Undermining futures and the New Principle 4 The Old Principle rescued? 5 The New Bug 6 Conclusion. (shrink)

In this paper, I discuss the ways in which epistemic anxiety promotes well-being, specifically by examining the positive contributions that feelings of epistemic anxiety make toward intellectually virtuous inquiry. While the prospects for connecting the concept of epistemic anxiety to the two most prominent accounts of intellectual virtue, i.e., “virtue-reliabilism” and “virtue-responsibilism”, are promising, I primarily focus on whether the capacity for epistemic anxiety counts as an intellectual virtue in the reliabilist sense. As I argue, there is a close (...) yet unexplored connection between feelings of epistemic anxiety and the form of inference commonly known as “Inference to the Best Explanation” (IBE). Specifically, I argue that both the recognition that some fact requires an explanation—a necessary first step in applying IBE—and the subsequent motivation to employ IBE are typically facilitated by feelings of epistemic anxiety. So, provided IBE is truth-conducive the capacity for epistemic anxiety should count as an intellectual virtue in the reliabilist sense. After outlining my main argument, I address the challenge that the capacity for epistemic anxiety has the potential to be misleading. To respond to this challenge, I discuss how our recognition that a fact requires an explanation must in part be a species of practical knowledge, rather than theoretical knowledge. For the agent to skillfully distinguish between facts that require an explanation and facts that do not, she must develop the virtuous disposition to feel the appropriate amount of epistemic anxiety. Despite the many negative aspects associated with anxiety, as I conclude, being disposed to feel the appropriate amount of epistemic anxiety is ultimately good for us. (shrink)

Tense logics formulated in the bimodal propositional language are investigated with respect to Kripke-completeness (completeness) and decidability. It is proved that all minimal tense extensions of modal logics of finite width (in the sense of K. Kine) as well as all minimal tense extensions of cofinal subframe logics (in the sense of M. Zakharyaschev) are complete. The decidability of all finitely axiomatizable minimal tense extensions of cofinal subframe logics is shown. A number of variations and extensions of these results are (...) also presented. (shrink)

The strongest objection to (15) is that speaker's meaning is defined in terms of commitment, a notion which is itself something of a challenge and for which no definition has been given. This would be a strong reason to prefer a definition in terms of some more tractable concept, all things being equal; but it does not lessen the probability that commitment or some similar notion is indispensable to the definition of speaker's meaning.The philosophical writings discussed in this paper all (...) proceed something like this: Particular cases are discussed and a description is given of the mechanisms by which communication takes place. An attempt is made to say something that applies to all instances of speaker's meaning. Words like ‘analysis’, ‘account’ ‘explanation’, ‘explication’, and ‘theory’ are used here, the suggestion being that the objective is to provide for all cases at once what has already been provided for particular cases-an explanation of how meaning works. What is produced, however, looks like adefinition of speaker's meaning, a statement of necessary and sufficient conditions. This definition is then evaluated largely in terms of what counterexamples it does or does not allow.It seems that there is some tendency to conflate two quite distinct objectives: (i) a theory of speaker's meaning-a general description of how it is that speakers are able to communicate; and (ii) a statement of necessary and sufficient conditions for speaker's meaning. Objective (i) might plausibly be regarded as the goal of the study of communication. Objective (ii) is the definition of a certain intuitive, pretheoretical concept of meaning, which might or might not prove to be an important concept with respect to objective (i). The Gricean mechanism and the notion of conventional meaning, on the other hand, are indispensable to (i)-few instances of speaker's meaning could be adequately described without recourse to at least one of these notions. Thus nothing in this paper should be construed as trying to downgrade the importance of the Gricean mechanism for the theory of communication. If objective (ii) and the Gricean mechanism are not as closely associated as has been claimed, this is, if anything, a reason to doubt the importance of (ii) for the theory of communication. (shrink)

This paper investigates the structure of lattices of normal mono- and polymodal subframelogics, i.e., those modal logics whose frames are closed under a certain type of substructures. Nearly all basic modal logics belong to this class. The main lattice theoretic tool applied is the notion of a splitting of a complete lattice which turns out to be connected with the “geometry” and “topology” of frames, with Kripke completeness and with axiomatization problems. We investigate in detail subframe logics containing K4, those (...) containing polymodal Altn and subframe logics which are tense logics. (shrink)

The two envelope paradox can be dissolved by looking closely at the connection between conditional and unconditional expectation and by being careful when summing an infinite series of positive and negative terms. The two envelope paradox is not another St. Petersburg paradox and that one does not need to ban talk of infinite expectation values in order to dissolve it. The article ends by posing a new puzzle to do with infinite expectations.

Darwin's theory of evolution brought to an end the static view of nature. It was no longer possible to think of species as immortal, with secure places in nature. Fluctuation of population could no longer be thought of as occurring within definite limits which had been set at the time of creation. Nor was it any longer possible to generalize from the differential reproductive potentials, or from a few cases of mutualism between species, that everything in nature was “fitted to (...) produce general ends, and reciprocal uses.” 134 The appeal to “design” could no longer be substituted for answers to questions concerning animal demography. Instead, the dynamics of a population had to be viewed as the outcome of species' struggle against animate and inanimate factors in the environment. Both the members of a species and the environmental factors tend to vary randomly, and therefore neither evolution nor population dynamics could be fully understood alone. For this reason Darwin's linking of the two subjects was inevitable and not merely an historical accident. Since Darwin had shown that no automatic equilibrium existed, he demonstrated the importance of closer study of the causes of population dynamics and extinction. He also indicated that an understanding of population depends upon the development of a broad knowledge in ecology.Viewed from another direction, Darwin's work ended the early modern era of population studies by clarifying three interrelated problems which were important for understanding population: extinction, distribution, and the nature of species. The components of his answer had been discussed in the eighteenth century, but there had not existed enough evidence for the completion of the revolution in thought which had then begun. At the beginning of the nineteenth century, Playfair found the evidence for extinction conclusive, and, in spite of Lamarck, Curvier convinced the scientific world that there could no longer be any doubt about it. This was a step the importance of which, with his limited knowledge of biogeography and population, Cuvier could not have fully realized. Lamarck attempted, with his evolutionary theory, to circumvent the necessity for admitting extinction, but he overestimated the adaptability of organisms and in doing so he underestimated the importance of competition and the whole field of ecology. On the other hand, he was not willing to let questions such as the origin of species remain taboo to science. The origin of species was a biogeographical as well as a paleontological question. Humboldt correlated environment with the distribution of species and conveyed the impression that plant communities are subject to change. De Candolle, following the lead of Linnaeus and Humboldt, emphasized the ecological aspects of biogeography, not only the importance of habitat and range, clearly showing the ecological effects of competition. The entomologists Kirby and Spence took a faltering step toward understanding the relationship between population and ecological role, but they fell short of any significant new conclusions. Neither they nor Swainson could fully comprehend the new perspective of De Candolle.Lyell was able to bring together the evidence from these three lines of investigation and weave them into an important synthesis that almost accomplished that Darwin later did. Although opposing Lamarck's theory of evolution, Lyell had a dynamic view of ecology. He realized that population dynamics offered an important key to the understanding of biogeography. Since he knew that species become extinct, he investigated closely the factors which could either preserve or extinguish species. While explaining these factors, he described the interrelationships of species in greater detail than had ever been done before. Forbes continued to develop Lyell's ecological concepts, and his first-hand field experience enabled him to describe biotic communities more concretely than Lyell had.Having the advantages of Lyell's understanding and his own experience from a global voyage, Darwin could take the final step from the static to the dynamic concept of life. He had seen populations fluctuating and also fossil species in South America, and on the Galapagos Islands he had encountered a biogeographical problem that could not be credibly solved without the idea of evolution. However, the bare idea of evolution did not fully answer his questions. He sought physiological causes of extinction before he read Malthus and realized that De Candolle and Lyell had correctly emphasized the importance of competition. Darwin found that, in order to understand evolution, he needed to improve his understanding of ecology. He wanted to know when populations were most easily decimated, how extensive were competition and cooperation, what effects parasites have upon populations, and what changes occur in biotic communities when a species is either added or subtracted. He contributed to some extent to answering these questions. Though there remained much for others to do, there was now a new and more secure theoretical framework within which later studies could be interpreted. As Ernst Mayr has observed, Darwin's “consistent thinking in terms of population has had an impact on biological theory and practice which is second only to his sponsorship of natural selection as the mechanism of evolution.” 135. (shrink)

This essay begins where Alasdair MacIntyre's After Virtue begins: facing a moral world in ruin. MacIntyre argues that this predicament leaves us with a choice: we can follow the path of Friedrich Nietzsche, accepting this moral destruction and attempting to create lives in a rootless, uncertain world, or the path of Aristotle, working to reclaim a world in which close‐knit communities sustain human practices that make it possible for us to flourish. Jeff Frank rejects MacIntyre's framework and in (...) this essay attempts to create an alternative path, one of moral repair. Through a close reading of several poems from Robert Frost's North of Boston, Frank develops the notion of moral repair and describes its ethical and educational implications. (shrink)

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of (...) ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively. (shrink)

Tense logics formulated in the bimodal propositional language are investigated with respect to Kripke-completeness and decidability. It is proved that all minimal tense extensions of modal logics of finite width as well as all minimal tense extensions of cofinal subframe logics are complete. The decidability of all finitely axiomatizable minimal tense extensions of cofinal subframe logics is shown. A number of variations and extensions of these results are also presented.

The traditional argument of Muslim theologians that aims to verify the claims of a true prophet and distinguish him from an impostor is based on the acceptance of miracles performed in history and testified through an uninterrupted chain of tradition. A second argument that equally involves transmission through tawātur is based on the prophet’s virtuous and impeccable character establishing the trustworthiness of the prophet. These are, for instance, the types of proofs mentioned by the Baghdadian Mu‘tazilī al-Gˇāhiz in his monograph (...) Huˇgaˇg al-nubuwwa. For theologians of the Aš‘arite school this approach to the verification of prophecy posed a problem. According to classical Aš‘arite theology, good is what God commands and bad is what he forbids. If God chooses prophets to reveal knowledge about what is right and what is wrong, and thus also reveal knowledge about how to live a virtuous life, how can those whom the prophets call upon know that the prophets have a virtuous character before they even know the criteria for virtue? Early Aš‘arite theologians indeed accepted that all prophets had a most virtuous character. This fact, however, became apparent only after their message gained acceptance within their community and it cannot be regarded as a viable verification of the claim of a prophet to those he calls upon. Al-Aš‘arī, for instance, is said to have accepted a number of indications that allow humans to distinguish a prophet from ordinary people. He does not mention the claim based on the impeccable moral conduct of prophets. In fact, he stresses that in order to distinguish a true prophet from other people who are close to God, but who have no message to reveal, one should put oneÕs trust only in the occurrence of true prophetic miracles. (shrink)

Inductive inference considers two types of queries: Queries to a teacher about the function to be learned and queries to a non-recursive oracle. This paper combines these two types — it considers three basic models of queries to a teacher (QEX[Succ], QEX[ The results for each of these three models of query-inference are the same: If an oracle is omniscient for query-inference then it is already omniscient for EX. There is an oracle of trivial EX-degree, which allows nontrivial query-inference. Furthermore, (...) queries to a teacher cannot overcome differences between oracles and the query-inference degrees are a proper refinement of the EX-degrees. In the case of finite learning, the query-inference degrees coincide with the Turing degrees. Furthermore oracles can not close the gap between the different types of queries to a teacher. (shrink)

A minimal field of non-zero characteristic is algebraically closed.

Troubling patterns of suppressed speech have emerged on the corporate internet. A large platform may marginalize potential connections between audiences and speakers. Consumer protection concerns arise, for platforms may be marketing themselves as open, comprehensive, and unbiased, when they are in fact closed, partial, and self-serving. Responding to protests, the accused platform either asserts a right to craft the information environment it desires, or abjures responsibility, claiming to merely reflect the desires and preferences of its user base. Such responses betray (...) an opportunistic commercialism at odds with the platforms’ touted social missions. Large platforms should be developing more ambitious standards for promoting expression online, rather than warring against privacy, competition, and consumer protection laws. These regulations enable a more vibrant public sphere. They also defuse the twin specters of monopolization and total surveillance, which are grave threats to freedom of expression. (shrink)

This initial volume in a series of new translations of Plato’s works includes a general introduction and interpretive comments for the dialogues translated: the _Euthyphro, Apology, Crito, Meno, Gorgias, _and _Menexenus. _ _ _“Allen’s work is very impressive. The translations are readable, lucid, and highly accurate. The general introduction is succinct and extremely clear. The discussion of the dating of the dialogues is enormously useful; there has previously been no brief account of these issues to which one could refer the (...) student. Finally, the particular introductions are first rate: fine jobs of clear philosophical and historical explanation—succinct and yet sophisticated, both close to the text and philosophically incisive.”—Martha Nussbaum, _Brown University_ “This is an important work that deserves our respect and attention.”—_Ethics _ _ _“This and the promised succeeding volumes will probably become the standard English version of the complete dialogues…. The commentaries take advantage of the best scholarship, judge judiciously between divergent views, and often introduce new and brilliant interpretations. This is true both in the area of philosophy and in that of literary criticism.”—Anthony C. Daly, S.J., _Modern Schoolman_ _ _“Allen is a superb translator, whose elegantly simple yet precise language gives access to Plato both as a philosopher and as a literary artist.”—_Library Journal__ _ “An important event in the world of scholarship.”—_London Review of Books_ _ _R.E. Allen is professor of classics and philosophy at Northwestern University. (shrink)

Categorization is fundamental for spatial and motion representation in both the domain of artificial intelligence and human cognition. In this paper, we investigated whether motion categorizations designed in artificial intelligence can inform human cognition. More concretely, we investigated if such categorizations (also known as qualitative representations) can inform the psychological understanding of human perception and memory of motion scenes. To this end, we took two motion categorizations in artificial intelligence, Motion‐RCC and Motion‐OPRA1, and conducted four experiments on human perception and (...) memory. Participants viewed simple motion scenes and judged the similarity of transformed scenes with this reference scene. Those transformed scenes differed in none, one, or both Motion‐RCC and Motion‐OPRA1 categories. Importantly, we applied an equal absolute metric change to those transformed scenes, so that differences in the similarity judgments should be due only to differing categories. In Experiments 1a and 1b, where the reference stimulus and transformed stimuli were visible at the same time (perception), both Motion‐OPRA1 and Motion‐RCC influenced the similarity judgments, with a stronger influence of Motion‐OPRA1. In Experiments 2a and 2b, where participants first memorized the reference stimulus and viewed the transformed stimuli after a short blank (memory), only Motion‐OPRA1 had marked influences on the similarity judgments. Our findings demonstrate a link between human cognition and these motion categorizations developed in artificial intelligence. We argue for a continued and close multidisciplinary approach to investigating the representation of motion scenes. (shrink)

Both classical psychophysical work and recentfunctional imaging studies have suggested acritical role for the primary visual cortex(V1) in resolving the perceptual ambiguitiesexperienced during binocular rivalry. Here weexamine, by means of single-cell recordings andoptical imaging of intrinsic signals, thespatial characteristics of suppression elicitedby rival stimuli in cat V1. We find that the interocular suppression field of V1 neuronsis centred on the same position in space and isslightly larger (by a factor of 1.3) than theminimum response field, measured through thesame eye. Suppression (...) is always strongest at asingle position corresponding very closely tothe centre of the classical receptive field,and reduces responses through the other eye byup to 90% but typically around 40%. Thespatial pattern of interocular suppression, asrevealed by optical imaging, closely matchesthe cortical representation of the stimulus,which is being suppressed, both in terms of itsorientation and the eye of origin. Theseresults indicate that interocular suppressionis directly related to the functionalarchitecture of V1; it is probably caused bydirect inhibitory interactions betweenneighbouring cortical columns of oppositeocular dominance. (shrink)

This article presents a critique of the current naturalist readings of Nietzsche by drawing a distinction between a sense of naturalism based on nature taken as "what there is" and one based on the scientific concept of nature. The paper suggests that Nietzsche is a naturalist in the first sense, but not in the latter, and that due to the confusion between the two sense, many arguments in favor of the first have been unwarrantedly transferred into the latter. The article (...) begins with a close critical reading of Brian Leiter's "Nietzsche's Naturalism Revisited" before confronting the naturalist readings with one case of Nietzsche's writings, found in Daybreak's Book V. (shrink)

An infinite field with only countably many pure types is algebraically closed.

We propose a logic for reasoning about metric spaces with the induced topologies. It combines the ‘qualitative’ interior and closure operators with ‘quantitative’ operators ‘somewhere in the sphere of radiusr’ including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard ‘ε-definitions’ of closure and interior to simple constraints on (...) relations. These features of the relational semantics suggest a finite axiomatisation of the logic and provide means to prove its EXPTIME-completeness (even if the rational numerical parameters are coded in binary). An extension with metric variables satisfying linear rational (in)equalities is proved to be decidable as well. Our logic can be regarded as a ‘well-behaved’ common denominator of logical systems constructed in temporal, spatial, and similarity-based quantitative and qualitative representation and reasoning. Interpreted on the real line (with its Euclidean metric), it is a natural fragment of decidable temporal logics for specification and verification of real-time systems. On the real plane, it is closely related to quantitative and qualitative formalisms for spatial representation and reasoning, but this time the logic becomes undecidable. (shrink)

The idea of truthmakers is important for doing serious metaphysics, since a truthmaker principle can give us important guidance in finding out what we would like to include into our ontology. Recently, David Lewis has argued against Armstrong’s argument that a plausible truthmaker principle requires us to accept facts. I would like to take a close look at the argument. I will argue in detail that the Humean principle of recombination on which Lewis relies is not plausible (independently of (...) the issue of facts). Then I will show that the right truthmaker principle that vindicates facts is superior to the modified truthmaker principle that Lewis has proposed. This will lead into the topic of being and existence. It turns out that truthmaking and facts are plausible, well suited for one another, and very coherent with a plausible conception of being. (shrink)

This essay pursues the psychological and communicological problematic of “lying” from the standpoint of Nietzsche, Bataille, and the psychoanalytic study of family systems. For purposes of this essay, “lying” will be defined as a conscious misrepresentation of one’s own experiential memory. The essential argument of the essay, closely following Bataille’s concept of eroticism and communication, will be that the transformation of selfhood from childhood to adolescent sexual embodiment necessitates the performance of the lie as a necessary “crime” against the home-world (...) of the family system. Herman Hesse’s novel, Demian, serves as a critical source of illustration for the existential bargain of adolescence. (shrink)

This essay pursues the psychological and communicological problematic of “lying” from the standpoint of Nietzsche, Bataille, and the psychoanalytic study of family systems. For purposes of this essay, “lying” will be defined as a conscious misrepresentation of one’s own experiential memory. The essential argument of the essay, closely following Bataille’s concept of eroticism and communication, will be that the transformation of selfhood from childhood to adolescent sexual embodiment necessitates the performance of the lie as a necessary “crime” against the home-world (...) of the family system. Herman Hesse’s novel, Demian, serves as a critical source of illustration for the existential bargain of adolescence. (shrink)

Merleau-Ponty, in his well-known essay, "Eye and Mind," startlingly comments: "A Cartesian does not see himself in the mirror; he sees a dummy, an 'outside,' which, he has every reason to believe, other people see in the very same way but which, no more for himself than for others, is not a body in the flesh." This essay opens up a discourse on this very problem: the question of what one sees when looks at oneself in the mirror. As well, (...) the now-common assumption that we have arrived at a postmodern condition of experience, knowledge, and interpretation comes into question when we consider the possibility that the human sciences have not sufficiently embraced a post-Cartesian perspective on mind, body, self, and vision. The essay closes with a reflection on the contact of the self and the other in vision. The self and the other are not "signs" that are "read" in the context of a perceptual field. Rather, the interpersonal world embodied through the vital flesh of self in communion with other is reflected to the eye only if the observer cares to take note, to imaginatively flesh-out the world embodied in the moment of a thoughtful glance. (shrink)

More's Latin reply to Bugenhagen, given here with a facing English translation, is a comparatively brief but intense rebuttal of the principal points of Lutheran teaching concerning scripture ant tradition, faith and works, grace and free will, clerical celibacy, and the sacraments. It presents arguments elaborated at much greater length in More's other polemical works. _Supplication of Souls_ refutes _A Supplication for the Beggars_, an anticlerical pamphlet by Simon Fish which Henry VIII seems to have regarded with some favor. More (...) places his response in the mouths of the souls in purgatory. In the first book, he contemptuously demolished Fish's loose railery with accurate statistics and historical analysis. In the second, he defends the traditional doctrine of purgatory with brief arguments drawn from reason and a detailed analysis of scriptural passages. _Letter against Frith_ answers John Frith's Zwinglian arguments against the physical presence of Christ in the more. Written to an unknown correspondent, it is the briefest and mildest of More's polemical works and anticipates arguments presented moer elaborately in More's _The Answer to a Poisoned Book_. Besides full introductions and commentaries, a glossary, and an index, this volume contains seven appendices giving the works to which More is replying and other thematic, historical, and bibliographical matter closely related to the three works by More. (shrink)

In this paper we investigate those extensions of the bimodal provability logic ${\vec CSM}_{0}$ (alias ${\vec PRL}_{1}$ or ${\vec F}^{-})$ which are subframe logics, i.e. whose general frames are closed under a certain type of substructures. Most bimodal provability logics are in this class. The main result states that all finitely axiomatizable subframe logics containing ${\vec CSM}_{0}$ are decidable. We note that, as a rule, interesting systems in this class do not have the finite model property and are not even (...) complete with respect to Kripke semantics. (shrink)

Resumen: El presente trabajo esbozará ciertos elementos para una interpretación global del proemio de Parménides, a partir del análisis de uno de sus elementos centrales: las doncellas hijas del sol. Tras examinar las acciones que éstas realizan dentro de la narración, y con el objetivo de defender una interpretación alegórica, se definirá la actividad alegórica arcaica mediante algunos ejemplos. Finalmente, se trazarán los cimientos para una revalorización crítica de la interpretación de sexto Empírico y se argumentará que la alegoría platónica (...) del carro alado como símbolo de la se halla motivada por la ambigüedad intrínseca del relato, ambigüedad que tiene por objeto mostrar la unidad real de los contrarios aparentes a través del símbolo de las doncellas hijas del sol.: This paper will outline several guiding principles concerning a comprehensive interpretation of Parmenides' proem through the analysis of one of its essential elements: the daughters of the Sun. After examining the actions they perform throughout the narrative and in order to defend an allegorical interpretation of them, some features of the archaic allegorical activity will be defined by the analysis of some examples. Finally, we will trace the foundations for a critical reappraisal of Sextus Empiricus' interpretation and we will argue that Plato's allegory of the "winged chariot" as a symbol of the ψυχή in the Phaedrus could well be closely recreating and evoking the Parmenidean myth of the proem. The hermeneutic disjunction may be motivated by the intrinsic ambiguity of the narration, an ambiguity intended to show the real unity of apparent opposites by using the symbol of the daughters of the Sun. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Happiness in Premodern Judaism: Virtue, Knowledge, and Well-BeingDaniel H. FrankHava Tirosh-Samuelson. Happiness in Premodern Judaism: Virtue, Knowledge, and Well-Being. Cincinnati: Hebrew Union College Press, 2003. Pp. xi + 596. Cloth, $50.00.Franz Rosenzweig tried hard to convince the neoKantian Hermann Cohen of the merits of Zionism and the normalization it would bring to Jews and Jewish life. His attempt met with this response from Cohen: "Oho! So the gang (...) now wants to be happy, does it?" For those ignorant of the history of Jewish philosophy, one might imagine that Jewish philosophers, no less than their non-philosophical kinsmen, were so weighed down by the burdens of history and persecution that happiness could play no role in their theorizing. But happiness plays a key role in the history of Jewish moral and political philosophy, especially in the premodern period. Even Spinoza, the last of the medievals and the first of the moderns, the great critic of the rabbinic tradition and of Maimonides in particular, is concerned in his Ethics with identifying those activities that together constitute human well-being and the good life. Only lately, since the Enlightenment and Kant, has non-eudaimonism been a live option for Jewish thinkers. Only with the rise of (modern) Orthodoxy, and its predilection for construing goodness as rectitude and rule-following, has eudaimonism fallen out of favor. But with Tirosh-Samuelson's weighty volume on happiness in premodern Judaism, there can be no excuse in the future to imagine that all Jews are, or must be, closet Kantians, strict deontologists. To think otherwise seems to come close to taking on the classical (anti-Semitic) dichotomy of legalistic Judaism vs. spiritual Christianity. In it own way, Happiness in Premodern Judaism is a critique of such a one-sided, monochromatic view of Judaism, whether from the Christian or even from the Jewish side.Tirosh-Samuelson writes explicitly as an intellectual historian, rather than as a philosopher. She understands herself and her project as one that presents just the facts, without evaluating them. While one may cavil at a lost opportunity, in the present case this would be churlish, given the enormous erudition on display. After an introductory chapter outlining the foundational moral theories of Plato, Aristotle, and the Hellenistic philosophers, the text presents the (Greek-inspired) areteic wisdom literature of the Second Temple period, the teleological theocentrism of the rabbis, the Greco-Arabic Islamicate culture that nurtured Jewish philosophers from Saadia in the tenth century to Maimonides in the twelfth, the rabbinic and kabbalistic critiques of the philosophical ideal of happiness commencing [End Page 338] with the translation (into Hebrew) of Maimonides' Guide of the Perplexed at the beginning of the thirteenth century, and finally, very important and the focus of much recent scholarly work, the transformation of Jewish eudaimonism through direct contact with Christian Scholasticism and later with the humanist Renaissance. All in all, a millennium and a half of Jewish intellectual history is presented in a sober and scholarly way.Not surprisingly Maimonides plays a pivotal role in the story that Tirosh-Samuelson relates. A Janus-like figure, he represents the culmination and height of accommodation with Greek and Greco-Arabic philosophical culture. However, with the gradual worsening of the socio-economic condition of European Jewry in the thirteenth century, his accommodationism seemed traitorous, and as a result generations of thinkers, mystics and philosophers alike, strove to critically distance themselves from Maimonidean Aristotelianism. Tirosh-Samuelson is admirably clear in pointing out that such anti-Maimonidean tendencies are ill-characterized as anti-philosophical. Hasdai Crescas in the late-fourteenth and early-fifteenth centuries launched a massive critique of Maimonides' physics, metaphysics, and moral philosophy, but did so in as rigorous a manner as any philosopher would. The picture that enfolds over the course of the text is one of vigorous dialectic between partisans of 'alien' (Greek) wisdom and those who viewed such wisdom with considerable suspicion. Such a dialectic parallels, not surprisingly, developments in Christian philosophy.The trajectory of the story of premodern Jewish musings on happiness is from the centrality of reason and intellect, and the contemplative activity that is reason's preeminent actuality, to the primacy... (shrink)

The purpose of this article is twofold. It first seeks to prove that the notion of facticity in Heidegger’s work saw a major change after Being and Time. While several studies did deal with facticity as it appeared before the magnus opus and show the influence it had on the latter’s development, hardly any have dealt with what happens to facticity after Sein und Zeit. This is mostly because facticity, as it imploded, took on different names which fall under the (...) heading of ground-attunements. Secondly, I will show the ambivalent character of this new facticity, where many essential notions, such as thrownness, truth, attunement and guilt, shifted meanings, sometimes almost imperceptibly or surreptitiously. I will show that this ambivalence comes from the fact that the shift in question allowed for an opening of facticity while at the same time bringing in restrictive limits, and thus a closing-off of certain essential issues. This has left several adumbrated questions, such as responsibility, in abeyance. (shrink)

During his historic Galápagos visit in 1835, Darwin spent nine days making scientific observations and collecting specimens on Santiago (James Island). In the course of this visit, Darwin ascended twice to the Santiago highlands. There, near springs located close to the island's summit, he conducted his most detailed observations of Galapagos tortoises. The precise location of these springs, which has not previously been established, is here identified using Darwin's own writings, satellite maps, and GPS technology. Photographic evidence from excursions (...) to the areas where Darwin climbed, including repeat photography over a period of four decades, offers striking evidence of the deleterious impact of feral mammals introduced after Darwin's visit. Exploring the impact that Darwin's Santiago visit had on his thinking - especially focusing on his activities in the highlands - raises intriguing questions about the depth of his understanding of the evolutionary evidence he encountered while in the Galápagos. These questions and related insights provide further evidence concerning the timing of Darwin's conversion to the theory of evolution, which, despite recent claims to the contrary, occurred only after his return to England. (shrink)

The particular situation of children in hospitals is discussed on the basis of a principle of equality which is founded on both childrens' rights and theology. It is just because of these equal rights of children that special medical care is required which does justice to the characteristics and the stage of development of children. Medical care like that does not at all have tobe a general obstacle to considerations of economic efficiency. The particular dependence of children on stable social (...) surroundings implies a priority of outpatient and home treatment as weil as the integration of parents and other important persans to whom the child relates closely when it comes to an inevitable admission in a hospital. A model of medical ethics based on »informed consent« needs particular aspects concerning the interests of children in hospitalssuch as child-orientated information and the graduated legal obligatory nature of the child 's will. (shrink)

Conspiracy theories (CTs) are widespread ways by which people make sense of unsettling or disturbing cultural events. Belief in CTs is often connected to problematic consequences, such as decreased engagement with conventional political action or even political extremism, so understanding the psychological and social qualities of CTs belief is important. CTs have often been understood to be “monological”, displaying the tendency for belief in one conspiracy theory to be correlated with belief in (many) others. Explanations of monologicality invoke a nomothetical (...) or “closed” mindset whereby mutually supporting beliefs based on mistrust of official explanations are used to interpret public events as conspiracies, independent of the facts about those events (which they may ignore or deny). But research on monologicality offers little discussion of the content of monological beliefs and reasoning from the standpoint of the CT believers. This is due in part to the “access problem” (Wood & Douglas, 2015): CT believers are averse to being researched because they often distrust researchers and what they appear to represent. We used several strategies to address the access problem, and investigated the symbolic resources underlying CTs by reconstructing a conspiracy worldview - a set of beliefs held by CT believers about important dimensions of ontology, epistemology, and human agency. To do this, we analysed media documents, conducted field observation, and engaged in semi-structured interviews,. We describe six main dimensions of a conspiracy worldview: Views of the nature of reality, the self, the outgroup, the ingroup, action, and the future. We also describe a typology of five types of CT believers, which vary according to their positions on each of these dimensions. Our findings converge with prior explorations of CT beliefs but also revealed novel aspects: A sense of community among CT believers, a highly differentiated representation of the outgroup, a personal journey of conversion, variegated kinds of political action, and optimistic belief in future change. These findings are at odds with the typical image of monological CT believers as paranoid, cynical, anomic and irrational. For many, the CT worldview may rather constitute the ideological underpinning of a nascent pre-figurative social movement. (shrink)

This paper offers a novel way of reconstructing conceptual change in empirical theories. Changes occur in terms of the structure of the dimensions—that is to say, the conceptual spaces—underlying the conceptual framework within which a given theory is formulated. Five types of changes are identified: (1) addition or deletion of special laws, (2) change in scale or metric, (3) change in the importance of dimensions, (4) change in the separability of dimensions, and (5) addition or deletion of dimensions. Given this (...) classification, the conceptual development of empirical theories becomes more gradual and rationalizable. Only the most extreme type—replacement of dimensions—comes close to a revolution. The five types are exemplified and applied in a case study on the development within physics from the original Newtonian mechanics to special relativity theory. (shrink)

In der Abschlussarbeit seiner Schulzeit "De Theognide Megarensi" beschäftigt sich der 20-jahrige Nietzsche zum ersten Mal mit dem Gegensatz swischen Adel und Volk, was der Schrift als Ausgangspunkts späteren Denkens besonderes Gewicht gibt. Sein Untersuchungstobjekt ist dabei die antike Stadt Megara, in der durch Entmachtung des Adels die erste europäische Demokratie entstand. Nietzsche sieht den Adel als Scharnier zwischen Göttern und Menschen; der Aufstieg des nur auf sienen eigenen Vorteil bedachten Volkes bereitete den Absteig von Megara vor. Der angehende Philosoph (...) finder scheinbar en Megara als historische Realität vor, was er später in leicht veränderter From zu einem Mittelpunkt seiner Philosophie macht: Den Wetrekonflikt zwischen Adelsgesellschaft und Demokratie. Der frühe Text erlaubt es, die Anfange von Nietzsches Philosophieren zu untersuchen und sie einer kritischen Prüfung zun untersehen.The 20 year old Nietzsche studies in his graduation essay "De Theognide Megarensi" for the first time the difference between aristocracy and people. It has an enormous importance as a starting point for his later way of thinking. He examines the city of Megara, where the nobility was being deprived of power by the first European democracy. Nietzsche considers aristocracy as a link between Gods and human beings. The rise of the people, who were just as interested in their own well-being, brought the city down. Young Nietzsche seems to find in Megara a historical proof for what he made later a central part of his philosophy: the conflict of values between aristocracy and democracy. The early text permits to observe more closely Nietzsche's beginning of his philosophy and to give it a critical examination. (shrink)

Amongst philosophers, perhaps Heidegger displayed the greatest resistance to defining thought; for him, thinking can only be appreciated by diverting our attention from any extant characteristics and instead undertaking its practice directly. This practical limitation requires that we relinquish any claims of self-possession, certitude, and reflexivity in the Cartesian sense, paradoxically ascribing to thought only the gesture that defers in favor of that matter or concern granting its own occasion. Thinking arises in this movement of transposition as a response to (...) the otherness spawning it, for example, in provoking a question. Heidegger describes this radical inducement to thought as a “leap.” But unless we become immersed in a mystery prematurely, it is important to recognize that the distance such a leap traverses can arise only due to a relationship which remains tantalizingly close, namely, thought’s dependence on language. (shrink)

The theologian Hugo Rahner argued that the homo ludens is a man of ‘Ernstheiterkeit’, a person who can smile under tears but also recognizes the gravity in all earthly cheerfulness. The primary aim of this study was to test the validity of this notion: Do homines ludentes exist? Two hundred sixty-three adult subjects were measured for seriousness and cheerfulness and playfulness. Results provided unequivocal support for Rahner's thesis. Numerous subjects scored high in both seriousness and cheerfulness thus confirming the existence (...) of homines ludentes. It was further found that these subjects were among those scoring highest in playfulness. Subjects scoring high in cheerfulness but low in seriousness were, however, even more closely associated with playfulness. The scores for homines ludentes did not differ from the rest of the subjects in the creative and dynamic facets of playfulness. The importance of developing empirical research to investigate hypotheses derived from non-scientific concepts is discussed. (shrink)

John Dewey's Experience and Education is an important book, but first-time readers of Dewey's philosophy can find it challenging and not meaningfully related to the contemporary landscape of education. Jeff Frank's Teaching in the Now aims to reanimate Dewey's text--for first-time readers and anyone who teaches the text or is interested in appreciating Dewey's continuing significance--by focusing on Dewey's thinking on preparation. Frank, through close readings of Dewey, asks readers to wonder: How much of what we justify (...) as preparation in education is actually necessary? That is, every time we catch ourselves telling a student--you need to learn this in order to do something else--we need to stop and reflect. We need to reflect, because when we always justify the present moment of a student's education in terms of what will happen in the future, we may lose out on the ability to engage students' attention and interest now, when it matters. Dewey asks his readers to trust that the best way to prepare students for an engaging and productive future is to create the most engaging and productive present experience for students. We learn to live fully in the future, only by practicing living fully in the present. Although it can feel scary to stop thinking of the work of education in terms of preparation, when educators reclaim the present for students, new opportunities--for teachers, students, schools, democracy, and education--emerge. Teaching in the Now explores these opportunities in impassioned and engaging prose that makes Experience and Education come alive for readers new to Dewey or who have taught and read him for many years. (shrink)

We propose a logic for reasoning about metric spaces with the induced topologies. It combines the 'qualitative' interior and closure operators with 'quantitative' operators 'somewhere in the sphere of radius r.' including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard '∈-definitions' of closure and interior to simple constraints (...) on relations. These features of the relational semantics suggest a finite axiomatisation of the logic and provide means to prove its EXPTIME-completeness (even if the rational numerical parameters are coded in binary). An extension with metric variables satisfying linear rational (in)equalities is proved to be decidable as well. Our logic can be regarded as a 'well-behaved' common denominator of logical systems constructed in temporal, spatial, and similarity-based quantitative and qualitative representation and reasoning. Interpreted on the real line (with its Euclidean metric), it is a natural fragment of decidable temporal logics for specification and verification of real-time systems. On the real plane, it is closely related to quantitative and qualitative formalisms for spatial representation and reasoning, but this time the logic becomes undecidable. (shrink)

Pragmatism is ever more popular amongst those who study international relations. Its emphasis on practice is generally acknowledged as a defining characteristic. There is, however, a general tension within pragmatist thought concerning practice, for pragmatism may emphasize the theorizing of practice. It is, then, distinguished from other theories in International Relations (IR) such as neo-realism or constructivism as a contender in their midst. We delineate a pragmatist theory of IR in the first part of this article, but insist on going (...) beyond merely establishing the next paradigm, for pragmatism may also emphasize the practice of theorizing. Theories are, then, considered different tools useful for dealing with the social world. This will be corroborated in the second part by a close reading of William James. Finally, we submit that instead of a paradigm war, a metaphor such as that of the Papini hotel is needed in IR — a metaphor that accounts for theory competition without neglecting the limitations set by the practice of theorizing itself. (shrink)

Cartesian closed categories (CCCs) have played and continue to play an important role in the study of the semantics of programming languages. An axiomatization of the isomorphisms which hold in all Cartesian closed categories discovered independently by Soloviev and Bruce, Di Cosmo and Longo leads to seven equalities. We show that the unification problem for this theory is undecidable, thus settling an open question. We also show that an important subcase, namely unification modulo the linear isomorphisms, is NP-complete. Furthermore, the (...) problem of matching in CCCs is NP-complete when the subject term is irreducible. CCC-matching and unification form the basis for an elegant and practical solution to the problem of retrieving functions from a library indexed by types investigated by Rittri. It also has potential applications to the problem of polymorphic type inference and polymorphic higher-order unification, which in turn is relevant to theorem proving and logic programming. (shrink)

The aim of this article is to establish—and explore—James Baldwin’s significance for educational theory. Through a close reading of ‘Everybody’s Protest Novel’, I show that Baldwin’s thinking is an important precursor to the work of Stanley Cavell and Cora Diamond, and is relevant to a number of problems that are educationally significant, in particular problems of race and racism.

Probabilistic models of sentence comprehension are increasingly relevant to questions concerning human language processing. However, such models are often limited to syntactic factors. This restriction is unrealistic in light of experimental results suggesting interactions between syntax and other forms of linguistic information in human sentence processing. To address this limitation, this article introduces two sentence processing models that augment a syntactic component with information about discourse co-reference. The novel combination of probabilistic syntactic components with co-reference classifiers permits them to more (...) closely mimic human behavior than existing models. The first model uses a deep model of linguistics, based in part on probabilistic logic, allowing it to make qualitative predictions on experimental data; the second model uses shallow processing to make quantitative predictions on a broad-coverage reading-time corpus. (shrink)

Adolescence is a valuable phase of life, not just because it is the phase of learning in school and preparing for a working life. During the COVID-19 pandemic it became clear that the rights, experiences, and lifeworlds of adolescents are considered less important than the needs of school, work, and productivity. However, there is an ethical claim for people to have a good adolescence, and this means that the losses of social contact, experiences, time, and space demanded of adolescents, in (...) order to protect older and vulnerable groups during the COVID-19 pandemic, should be taken seriously. A distinctive quality of adolescence is that it cannot be repeated, nor can these experiences be replicated as adults. First experiences of independence, friendship, love, informality, recklessness, and youthful exuberance are intrinsically valuable and cannot be substituted for later in life. It is therefore not surprising that adolescents have sought and found their own spaces during the pandemic, some of them forbidden, because lock downs and closed social spaces have relegated them to the confines of their childhood bedrooms. In this paper, I explore an ethic of a good adolescence, which was impacted on by the COVID-19 pandemic, and consider what can be learned from this situation. Adolescents are to be taken seriously, their experiences are no less valuable than those of adults, and the losses they have suffered for the benefit of others should be honored. As far as possible, young people should be supported to have a voice in public discourse and in finding spaces to be adolescents. (shrink)

When we have asked Hadza whether married couples should live with the family of the wife (uxorilocally) or the family of the husband (virilocally), we are often told that young couples should spend the first years of a marriage living with the wife’s family, and then later, after a few children have been born, the couple has more freedom—they can continue to reside with the wife’s kin, or else they could join the husband’s kin, or perhaps live in a camp (...) where there are no close kin. In this paper, we address why shifts in kin coresidence patterns may arise in the later years of a marriage, after the birth of children. To do so, we model the inclusive fitness costs that wives might experience from leaving their own kin and joining their husband’s kin as a function of the number of children in their nuclear family. Our model suggests that such shifts should become less costly to wives as their families grow. This simple model may help explain some of the dynamics of postmarital residence among the Hadza and offer insight into the dynamics of multilocal residence, the most prevalent form of postmarital residence among foragers. (shrink)