The fundamental tenet of modern empiricism is the view that all non-analytic knowledge is based on experience. Let us call this thesis the principle of empiricism. [1] Contemporary logical empiricism has added [2] to it the maxim that a sentence makes a cognitively meaningful assertion, and thus can be said to be either true or false, only if it is either (1) analytic or self-contradictory or (2) capable, at least in principle, of experiential test. According to this so-called empiricist criterion (...) of cognitive meaning, or of cognitive significance, many of the formulations of traditional metaphysics and large parts of epistemology are devoid of cognitive significance--however rich some of them may be in non-cognitive import by virtue of their emotive appeal or the moral inspiration they offer. Similarly certain doctrines which have been, at one time or another, formulated within empirical science or its border disciplines are so contrived as to be incapable of test by any conceivable evidence; they are therefore qualified as pseudo- [p. 42:] hypotheses, which assert nothing, and which therefore have no explanatory or predictive force whatever. This verdict applies, for example, to the neo-vitalist speculations about entelechies or vital forces, and to the "telefinalist hypothesis" propounded by Lecomte du Noüy. (shrink)

We initiate the reverse mathematics of general topology. We show that a certain metrization theorem is equivalent to Π2 1 comprehension. An MF space is defined to be a topological space of the form MF(P) with the topology generated by $\lbrace N_p \mid p \in P \rbrace$ . Here P is a poset, MF(P) is the set of maximal filters on P, and $N_p = \lbrace F \in MF(P) \mid p \in F \rbrace$ . If the poset P is countable, (...) the space MF(P) is said to be countably based. The class of countably based MF spaces can be defined and discussed within the subsystem ACA0 of second order arithmetic. One can prove within ACA0 that every complete separable metric space is homeomorphic to a countably based MF space which is regular. We show that the converse statement, "every countably based MF space which is regular is homeomorphic to a complete separable metric space," is equivalent to Π2 1-CA0. The equivalence is proved in the weaker system Π1 1-CA0. This is the first example of a theorem of core mathematics which is provable in second order arithmetic and implies Π2 1 comprehension. (shrink)

We initiate the reverse mathematics of general topology. We show that a certain metrization theorem is equivalent to Π12 comprehension. An MF space is defined to be a topological space of the form MF with the topology generated by {Np ∣ p ϵ P}. Here P is a poset, MF is the set of maximal filters on P, and Np = {F ϵ MF ∣ p ϵ F }. If the poset P is countable, the space MF is said to (...) be countably based. The class of countably based MF spaces can be defined and discussed within the subsystem ACA0 of second order arithmetic. One can prove within ACA0 that every complete separable metric space is homeomorphic to a countably based MF space which is regular. We show that the converse statement, “every countably based MF space which is regular is homeomorphic to a complete separable metric space,” is equivalent to. The equivalence is proved in the weaker system. This is the first example of a theorem of core mathematics which is provable in second order arithmetic and implies Π12 comprehension. (shrink)

_Not exercising as much as you should? Counting your calories in your sleep? Feeling ashamed for not being happier? You may be a victim of the wellness syndrome._ In this ground-breaking new book, Carl Cederström and André Spicer argue that the ever-present pressure to maximize our wellness has started to work against us, making us feel worse and provoking us to withdraw into ourselves. The Wellness Syndrome follows health freaks who go to extremes to find the perfect diet, corporate (...) athletes who start the day with a dance party, and the self-trackers who monitor everything, including their own toilet habits. This is a world where feeling good has become indistinguishable from being good. Visions of social change have been reduced to dreams of individual transformation, political debate has been replaced by insipid moralising, and scientific evidence has been traded for new-age delusions. A lively and humorous diagnosis of the cult of wellness, this book is an indispensable guide for everyone suspicious of our relentless quest to be happier and healthier. (shrink)

The article is a reappraisal of the requirement of maximal specificity (RMS) proposed by the author as a means of avoiding "ambiguity" in probabilistic explanation. The author argues that RMS is not, as he had held in one earlier publication, a rough substitute for the requirement of total evidence, but is independent of it and has quite a different rationale. A group of recent objections to RMS is answered by stressing that the statistical generalizations invoked in probabilistic explanations must be (...) lawlike, and by arguing that predicates fit for occurrence in lawlike statistical probability statements must meet two conditions, at least one of which is violated in each of the counterexamples adduced in the objections. These considerations suggest the conception that probabilistic-statistical laws concern the long-run frequency of some characteristic within a reference class as characterized by some particular "description" or predicate expression, and that replacement of such a description by a coextensive one may turn a statement that is lawlike into another that is not. Finally, to repair a defect noted by Grandy, the author's earlier formulation of RMS is replaced by a modified version. (shrink)

We study the degrees of unsolvability of sets which are cohesive . We answer a question raised by the first author in 1972 by showing that there is a cohesive set A whose degree a satisfies a' = 0″ and hence is not high. We characterize the jumps of the degrees of r-cohesive sets, and we show that the degrees of r-cohesive sets coincide with those of the cohesive sets. We obtain analogous results for strongly hyperimmune and strongly hyperhyperimmune sets (...) in place of r-cohesive and cohesive sets, respectively. We show that every strongly hyperimmune set whose degree contains either a Boolean combination of ∑2 sets or a 1-generic set is of high degree. We also study primitive recursive analogues of these notions and in this case we characterize the corresponding degrees exactly. MSC: 03D30, 03D55. (shrink)

IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an involutive negation and their residua. The structure of such t-norms is still not known. Nevertheless, Jenei introduced in [20] a new way to obtain rotation-invariant semigroups and, in particular, IMTL-algebras and left-continuous t-norm with an involutive negation, by means of the disconnected rotation method. In order to give an algebraic interpretation (...) to this construction, we generalize the concepts of perfect, bipartite and local algebra used in the classification of MV-algebras to the wider variety of IMTL-algebras and we prove that perfect algebras are exactly those algebras obtained from a prelinear semihoop by Jenei's disconnected rotation. We also prove that the variety generated by all perfect IMTL-algebras is the variety of the IMTL-algebras that are bipartite by every maximal filter and we give equational axiomatizations for it. (shrink)

The article analyses the components of the presumption of innocence and tries to clarify some of the conceptual and logical difficulties surrounding the notion of ‘innocence’ and the structure of legal presumptions. It is argued that all conceivable literal interpretations of the maxim make little or no sense, and that the presumptions form is, as such, devoid of original content: presumptions do not explain nor justify anything but are auxiliary norms which refer to the legal consequences spelled out in other (...) norms. Therefore, the presumption of innocence can be used to express any kind of requirement and standard for the criminal process and the treatment of suspect citizens only in a tautological, albeit rhetorically forceful, way. This instrumental use of the presumption of innocence is theoretically without merit but can be practically beneficial as long as there is no developed system of fundamental rights and protections of individual freedoms in a given legal order. Finally, a functional understanding of the presumption of innocence is proposed which gives it an original, though limited field of application as a guarantee of the procedure itself, in particular of the openness of the outcome. (shrink)

This paper gives a formalization of general topology in second-order arithmetic using countably based MF spaces. This formalization is used to study the reverse mathematics of general topology. For each poset P we let MF denote the set of maximal filters on P endowed with the topology generated by {Np | p ∈ P}, where Np = {F ∈ MF | p ∈ F}. We define a countably based MF space to be a space of the form MF for some (...) countable poset P. The class of countably based MF spaces includes all complete separable metric spaces as well as many nonmetrizable spaces. The following reverse mathematics results are obtained. The proposition that every nonempty Gδ subset of a countably based MF space is homeomorphic to a countably based MF space is equivalent to [Formula: see text] over ACA0. The proposition that every uncountable closed subset of a countably based MF space contains a perfect set is equivalent over [Formula: see text] to the proposition that [Formula: see text] is countable for all A ⊆ ℕ. The proposition that every regular countably based MF space is homeomorphic to a complete separable metric space is equivalent to [Formula: see text] over [Formula: see text]. (shrink)

In this article I want to clarify the text of one of the short maxims assigned to Pythagoras in the ancient tradition, which are known as symbola or acusmata. Before I turn to the acusma in question, it is important to understand the context in which it appears. It occurs in Chapter 17 of Book 4 of Aelian's Historical Miscellany. Aelian's work was written in the early third century a.d. in Rome, and is a ‘miscellaneous collection of anecdotes and historical (...) material’. It consists of short chapters, usually a page or less long, that are for the most part independent of one another. Chapter 17 of Book 4 is about a page long and is devoted to the sayings and doings of Pythagoras. There is no particular connection between it and the surrounding chapters, and it is clearly meant to stand on its own. The preceding chapter tells us that if we went to Callias for guidance he would turn us into drinkers, … if to Alcibiades, arrogant cheats, if to Demosthenes, orators, … if to Aristides, just men, … if to Socrates, wise men. The following chapter recounts an anecdote about Plato's arrival in Sicily and his reception by the tyrant Dionysius the Younger. The chapter that I am concerned with, Chapter 17, begins by asserting that Pythagoras taught that his ‘lineage was superior to that of ordinary mortals’. This is followed by a list of superhuman acts and traits of Pythagoras, for example his ability to be in Metapontum and Croton at the same time and his golden thigh. The second two-thirds of the chapter are then devoted to the miscellaneous teachings of Pythagoras. Most of these take the form of the brief taboos and maxims known elsewhere as symbola or acusmata, among which is the text on which I want to focus here. (shrink)

South Africa is a highly distributively unequal country, and its inequality continues to be largely along racial lines. Such circumstances call for assessment from the perspective of contemporary theories of distributive justice. Three such theories—Rawlsian justice, utilitarianism, and luck egalitarianism—are described and applied. Rawls' difference principle recommends that the worst off be made as well as they can be, a standard which South Africa clearly falls short of. Utilitarianism recommends the maximization of overall societal well-being, a goal which South Africa (...) again fails to achieve given its severe inequality and the fact of the diminishing marginal value of money—that a given amount of money tends to produce more utility for a poor person than it does for a rich person. The final theory, luck egalitarianism, aims to make distributions sensitive to individual exercises of responsibility. This view also objects to South Africa's inequality, this time on the basis that the poor are overwhelmingly worse off through no fault or choice of their own. These major theories of distributive justice therefore all propose large-scale redistribution to the benefit of the (predominantly black) poor. Perhaps more surprisingly, all three views also provide support for socio-economic affirmative action, as opposed to South Africa's race-based Black Economic Empowerment. (shrink)

This study aims to identify the stance and distinctions proper to beginning to think about technology philosophically. It begins with a personal background and some historical events that have influenced the philosophy of technology. Chapter two then considers the historico-philosophical traditions of engineering and humanities philosophy of technology . With EPT, technological activity is primary, and other aspects of human experience are explained as aspects of a technological monism. With HPT, technology itself is placed within a pluralistic framework. Following arguments (...) for HPT as the proper stance for beginning to think about technology, chapter three surveys the relevant philosophical issues. ;But the philosophy of technology must also be a philosophy of technology. Chapter four articulates such a transition, which is then pursued in chapters five and six by means of a series of detailed distinctions. Chapter five examines technology as object and as knowledge. Types of technology as object include structures, tools, machines, automata, etc. The engineering analysis of machines is contrasted with their general human experience. As knowledge, types of technology range from sensorimotor skills through maxims and rules to technological theories. Such distinctions in artifact and technical cognition suggest various conceptual, epistemological, ethical-political, and metaphysical issues echoing those surveyed by chapter three. ;Chapter six extends the exploration into technology as activity and as volition. Types of the former include the action of making and the process of using. With regard to making, there is an explication of engineering discussions of the nature design. With regard to using, there are analyses of maintaining and management. Analyses of technology as volition revive those historico-philosophical and ethical considerations from which the study began. All four models of the manifestation of technology point toward a fundamental distinction between ancient and modern technology in beginning to think about technology philosophically. ;A final chapter reviews the study and considers some objections while pointing out the centrality of the philosophy of technology for science-technology-society studies and for the humanities in a technological culture. (shrink)

Stemming from the works of Petr Hájek on mathematical fuzzy logic, graded model theory has been developed by several authors in the last two decades as an extension of classical model theory that studies the semantics of many-valued predicate logics. In this paper we take the first steps towards an abstract formulation of this model theory. We give a general notion of abstract logic based on many-valued models and prove six Lindström-style characterizations of maximality of first-order logics in terms of (...) metalogical properties such as compactness, abstract completeness, the Löwenheim–Skolem property, the Tarski union property, and the Robinson property, among others. As necessary technical restrictions, we assume that the models are valued on finite MTL-chains and the language has a constant for each truth-value. (shrink)

We explore the problem of constructing maximal and unbounded filters on computable posets. We obtain both computability results and reverse mathematics results. A maximal filter is one that does not extend to a larger filter. We show that every computable poset has a \Delta^0_2 maximal filter, and there is a computable poset with no \Pi^0_1 or \Sigma^0_1 maximal filter. There is a computable poset on which every maximal filter is Turing complete. We obtain the reverse mathematics result that the principle (...) "every countable poset has a maximal filter" is equivalent to ACA₀ over RCA₀. An unbounded filter is a filter which achieves each of its lower bounds in the poset. We show that every computable poset has a \Sigma^0_1 unbounded filter, and there is a computable poset with no \Pi^0_1 unbounded filter. We show that there is a computable poset on which every unbounded filter is Turing complete, and the principle "every countable poset has an unbounded filter" is equivalent to ACA₀ over RCA₀. We obtain additional reverse mathematics results related to extending arbitrary filters to unbounded filters and forming the upward closures of subsets of computable posets. (shrink)

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we (...) use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity. (shrink)

Modern thinking about democracy is largely governed by the concept of constituent power. Some versions of the concept of constituent power, however, remain haunted by the spectre of totalitarianism. In this article, I outline an alternative view of the identity of the people whose constituent power generates democratic authority. Broadly speaking, constituent power signifies the idea that all political authority, including that of the constitution, must find its source in some idea of ‘the people’, whose authority is never exhausted by (...) constituted power. The deficiency I seek to address is that of asking who the people is to whom any claim of authority refers, while avoiding the pitfalls of totalitarianism. I show the most famous totalitarian view of constituent power – advanced by Carl Schmitt – to be not only politically unsavoury but also ontologically unjustified. To outline my alternative view, I draw on Jacques Derrida’s concept of just decisions to argue that the undecidable inaugurates collective responsibility by demanding a response. This suggests a view of ‘the people’ as a doing rather than a being. I conclude by showing how this avoids totalitarian views of popular sovereignty by demonstrating its congruency with Claude Lefort’s democratic theory as opposed to totalitarianism. (shrink)

Modern thinking about democracy is largely governed by the concept of constituent power. Some versions of the concept of constituent power, however, remain haunted by the spectre of totalitarianism. In this article, I outline an alternative view of the identity of the people whose constituent power generates democratic authority. Broadly speaking, constituent power signifies the idea that all political authority, including that of the constitution, must find its source in some idea of ‘the people’, whose authority is never exhausted by (...) constituted power. The deficiency I seek to address is that of asking who the people is to whom any claim of authority refers, while avoiding the pitfalls of totalitarianism. I show the most famous totalitarian view of constituent power – advanced by Carl Schmitt – to be not only politically unsavoury but also ontologically unjustified. To outline my alternative view, I draw on Jacques Derrida’s concept of just decisions to argue that the undecidable inaugurates collective responsibility by demanding a response. This suggests a view of ‘the people’ as a doing rather than a being. I conclude by showing how this avoids totalitarian views of popular sovereignty by demonstrating its congruency with Claude Lefort’s democratic theory as opposed to totalitarianism. (shrink)

Modern thinking about democracy is largely governed by the concept of constituent power. Some versions of the concept of constituent power, however, remain haunted by the spectre of totalitarianism. In this article, I outline an alternative view of the identity of the people whose constituent power generates democratic authority. Broadly speaking, constituent power signifies the idea that all political authority, including that of the constitution, must find its source in some idea of ‘the people’, whose authority is never exhausted by (...) constituted power. The deficiency I seek to address is that of asking who the people is to whom any claim of authority refers, while avoiding the pitfalls of totalitarianism. I show the most famous totalitarian view of constituent power – advanced by Carl Schmitt – to be not only politically unsavoury but also ontologically unjustified. To outline my alternative view, I draw on Jacques Derrida’s concept of just decisions to argue that the undecidable inaugurates collective responsibility by demanding a response. This suggests a view of ‘the people’ as a doing rather than a being. I conclude by showing how this avoids totalitarian views of popular sovereignty by demonstrating its congruency with Claude Lefort’s democratic theory as opposed to totalitarianism. (shrink)

Philosophy & Social Criticism, Volume 48, Issue 3, Page 361-385, March 2022. Modern thinking about democracy is largely governed by the concept of constituent power. Some versions of the concept of constituent power, however, remain haunted by the spectre of totalitarianism. In this article, I outline an alternative view of the identity of the people whose constituent power generates democratic authority. Broadly speaking, constituent power signifies the idea that all political authority, including that of the constitution, must find its source (...) in some idea of ‘the people’, whose authority is never exhausted by constituted power. The deficiency I seek to address is that of asking who the people is to whom any claim of authority refers, while avoiding the pitfalls of totalitarianism. I show the most famous totalitarian view of constituent power – advanced by Carl Schmitt – to be not only politically unsavoury but also ontologically unjustified. To outline my alternative view, I draw on Jacques Derrida’s concept of just decisions to argue that the undecidable inaugurates collective responsibility by demanding a response. This suggests a view of ‘the people’ as a doing rather than a being. I conclude by showing how this avoids totalitarian views of popular sovereignty by demonstrating its congruency with Claude Lefort’s democratic theory as opposed to totalitarianism. (shrink)

During the recent debates on whether to prioritize health care workers for COVID-19 vaccines, two main lines of arguments emerged: one centered on maximizing health and one centered on reciprocity. In this article, we scrutinize the argument from reciprocity. The notions of fittingness and proportionality are fundamental for the act of reciprocating. We consider the importance of these notions for various arguments from reciprocity, showing that the arguments are problematic. If there is a plausible argument for reciprocity during the pandemic, (...) this is most likely one that centers on the risk that health care workers take on while working. We argue that the scope of this argument is not plausibly extended only to health care workers. Other essential workers at risk are in the position to make the same arguments. We also argue that there is no compelling argument from reciprocity that makes reciprocating with vaccines, rather than by other means, necessary. Furthermore, allocating vaccines based on reciprocity will conflict with utility-maximizing. Given the weak state of the arguments, overriding concerns for utility seem unreasonable. (shrink)

Cenzer, D., R. Downey, C. Jockusch and R.A. Shore, Countable thin Π01 classes, Annals of Pure and Applied Logic 59 79–139. A Π01 class P {0, 1}ω is thin if every Π01 subclass of P is the intersection of P with some clopen set. Countable thin Π01 classes are constructed having arbitrary recursive Cantor- Bendixson rank. A thin Π01 class P is constructed with a unique nonisolated point A and furthermore A is of degree 0’. It is shown that no (...) set of degree ≥0” can be a member of any thin Π01 class. An r.e. degree d is constructed such that no set of degree d can be a member of any thin Π01 class. It is also shown that between any two distinct comparable r.e. degrees, there is a degree that contains a set which is of rank one in some thin Π01 class. It is shown that no maximal set can have rank one in any Π01 class, while there exist maximal sets of rank 2. The connection between Π01 classes, propositional theories and recursive Boolean algebras is explored, producing several corollaries to the results on Π01 classes. For example, call a recursive Boolean algebra thin if it has no proper nonprincipal recursive ideals. Then no thin recursive Boolean algebra can have a maximal ideal of degree ≥0”. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Environmental Genome Project and BioethicsRichard R. Sharp (bio) and J. Carl Barrett (bio)Eight years ago, the Kennedy Institute of Ethics Journal published a brief selection by Eric Juengst (1991) entitled “The Human Genome Project and Bioethics.” That essay introduced and described the Ethical, Legal, and Social Implications (ELSI) Program at the National Center for Human Genome Research. 1 Since that time, the ELSI program has grown to (...) become one of the largest and most well regarded bioethics programs in the country, sponsoring the work of hundreds of researchers and coordinating bioethics activities both nationally and internationally (Marshall 1996; Meslin, Thomson, and Boyer 1997). In 1991, however, Juengst, the first director of the ELSI program, had no way of anticipating these developments. Juengst’s goal in his essay was simply to highlight some of the moral and social issues that were emerging as focal points for the ELSI program. Looking back, the issues he outlined may seem vague and overly broad. At the time, however, the essay served an important purpose, to identify areas requiring additional study and thereby to serve as a guide to others interested in joining in these discussions.In many ways, Juengst’s article serves as an inspiration to those of us working on a new bioethics project. The National Institute of Environmental Health Sciences (NIEHS) recently launched a multi-year project aimed at better understanding genetic influences on environmentally associated diseases (Albers 1997; Brown and Hartwell 1998; Cannon 1997; Kaiser 1997). This project, known as the Environmental Genome Project (EGP), plans to identify and study a number of common genetic variants that may play an important role in determining how individuals respond to environmental exposures. NIEHS hopes that the information learned through the EGP will be instrumental in developing more effective disease-prevention strategies and intervention programs. Following the precedent developed in connection with the Human Genome Project, NIEHS also plans to address the moral and social implications of the EGP. Efforts in this regard include sponsoring workshops and conferences to address such issues, as well as supporting research on the ethical, legal, and social implications of the EGP. Through this work, NIEHS hopes to anticipate potential problems before [End Page 175] they arise and to develop policies that maximize the benefits of the research while avoiding potential misuses of the information learned.In exploring the social implications of the EGP, we at NIEHS are very fortunate to be able to draw upon the work being done by the ELSI program at the National Human Genome Research Institute (NHGRI), as well as the ever-expanding bioethics literature that has been sparked by the ELSI program. Still, there is much to be done and this is an exciting time for those of us involved with the EGP. Many of the ethical, legal, and social implications of the project are only beginning to become clearer, and several of these issues appear quite different from the sorts of concerns that have previously been discussed in connection with other types of genetic research.This essay highlights some of the ethical, legal, and social implications that are emerging as important focal points for the Environmental Genome Project. Like Juengst’s 1991 paper, the goal of this article is to provide an overview of current areas of interest and to encourage others to join us in thinking about these difficult issues.The Environmental Genome ProjectIndividuals differ greatly in their responses to chemicals, drugs, radiation, smoking, alcohol, and other environmental exposures. These differential responses are the result of complex interactions between many factors, including an individual’s genetic make-up, age, sex, nutritional status, and overall health. The EGP aims to better understand the genetic basis of differential responses to environmental exposures. The vast majority of diseases, many forms of cancer, for example, are the consequence of both environmental and genetic contributions (Perera 1997). Hence, understanding the relationships between genetic variation and response to environmental exposure is important for understanding the causes of human disease and is crucial for the development of effective disease-prevention strategies.The EGP and projects like it represent a new stage of genomic research. It is expected that the Human Genome Project will complete... (shrink)

The publication of Gödel’s Max IV contributes to better understanding of the complex development of Gödel’s philosophical thought, and, alongside the other published notebooks, it is a further contribution to modifying a conventional view on the 20th-century philosophy, where Gödel should be recognized as one of the most important and profound philosophers. Moreover, his questions, problem formulations, and ideas, particularly as presented in his philosophical notebooks, transcend the historical distance and can immediately resonate with and inspire the current philosophical research.

Over a period of 22 years (1934-1955), the mathematician Kurt Gödel wrote down a series of philosophical reflections, the so-called Philosophical Remarks (Max Phil). They have been handed down in 15 notebooks written in Gabelsberg shorthand. The first notebook contains general philosophical reflections. Notebooks two and three consist of Gödel's individual ethics. The notebooks that follow clearly show that Gödel had designed a philosophy of science in which he placed his discussions of physics, psychology, biology, mathematics, language, theology, and history (...) within the context of a particular metaphysics. For the first time, the Kurt Gödel Research Center of the Berlin-Brandenburg Academy of Sciences is preparing a complete, historical-critical edition of Gödel's philosophical notebooks. A volume will published each year as a part of this edition. Volume 1, which Gödel entitled "Philosophy I Max 0," covers Gödel´s own philosophical reflections as well as those of other authors that were important to him. These were placed by Gödel at the beginning of his overall philosophical project. The introduction of the editor Eva-Maria Engelen provides an overview of this particular body of work. (shrink)

Volume 2 contains both notebooks of "Time Management (Max) I and II" and thereby Gödel’s applied individual ethics, which he received among others through his teacher Heinrich Gomperz. Gödel thus incorporates the ethical ideal of self-perfection into his opus. The volume is prefaced by an introduction to relevant considerations from the ethics of the Stoics as well as ancient dietetics, which provide the philosophical background to understand Gödel’s approach. In addition, editor Eva-Maria Engelen presents how this fits into the context (...) of Gödel’s Philosophical Notebooks. (shrink)

Carl F. Craver and Lindley Darden’s new book, In Search of Mechanisms: Discoveries across the Life Sciences, is a fantastic and lucid introduction to the “new mechanism” tradition in the philosophy of science. Over the last 2 decades, but particularly since the turn of the century, this has become an influential framework for thinking about core problems in the history and philosophy of science, with a strong emphasis on biology. There are at least four major aims. First, the new (...) mechanism tradition purports to resolve conventional problems in the philosophy of science, such as the nature of explanation, theory evaluation, reduction, the unity of science, and the levels of the scientific hierarchy. Second, it constitutes what Karl Popper called a Logik der Forschung: a set of maxims and precepts to propel the process of scientific discovery itself. This emphasis on the process of discovery distinguishes the tradition from much of twentieth-century philosophy of science, with its emphasis on the logic of justification. Third, the new mechanism tradition, at least in Craver and Darden’s view, recommends a certain historiographical framework for organizing the history of biology, a framework that depicts the history of biology primarily as a search for mechanisms. Fourth, it constitutes a fundamental metaphysics—a picture of what the physical world is like, in which entities possess various properties, which allow them to have various powers and which are organized in such a way as to give rise to observable phenomena. As the authors provocatively conclude, “nothing in biology makes any sense without the idea that biologists are searching for mechanisms” (202). I do not know whether the authors are correct in their assessment, but this book certainly demonstrates the scope of their ambitions. (shrink)

Remembering seems, to philosophers and scientists, one of the most mystifying of human activities. Yet natural language users have no problem understanding what is meant by ‘memory’. Memory is simply the ability to recall personally experienced events and certain kinds of information such as facts, names, or faces; or how to perform certain actions, like riding a bike or playing chess. It is on this basis that people sometimes make claims about themselves or others having a good or bad memory, (...) especially for things like names, numbers, or faces. Why then is memory such a mystery? Because, firstly, of its diversity: memory enables us to perform a plethora of different tasks, including the continuous interpretation of every moment of consciousness. Secondly, different forms of memory have different standards of accuracy, and often dramatically different criteria for success. (shrink)

This remarkable book presents a rich and up-to-date view of evolution that explores the far-reaching implications of Darwin's theory and emphasizes the power, significance, and relevance of evolution to our lives today. After all, we ourselves are the product of evolution, and we can tackle many of our gravest challenges -- from lethal resurgence of antiobiotic-resistant diseases to the wave of extinctions that looms before us -- with a sound understanding of the science.

Carl Craver investigates what we are doing when we sue neuroscience to explain what's going on in the brain.

Carl F. Craver investigates what we are doing when we use neuroscience to explain what's going on in the brain. When does an explanation succeed and when does it fail? Craver offers explicit standards for successful explanation of the workings of the brain, on the basis of a systematic view about what neuroscientific explanations are.

With In Search of Mechanisms, Carl F. Craver and Lindley Darden offer both a descriptive and an instructional account of how biologists discover mechanisms. Drawing on examples from across the life sciences and through the centuries, Craver and Darden compile an impressive toolbox of strategies that biologists have used and will use again to reveal the mechanisms that produce, underlie, or maintain the phenomena characteristic of living things. They discuss the questions that figure in the search for mechanisms, characterizing (...) the experimental, observational, and conceptual considerations used to answer them, all the while providing examples from the history of biology to highlight the kinds of evidence and reasoning strategies employed to assess mechanisms. At a deeper level, Craver and Darden pose a systematic view of what biology is, of how biology makes progress, of how biological discoveries are and might be made, and of why knowledge of biological mechanisms is important for the future of the human species. (shrink)

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of scientific (...) explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)

In this systematic introduction to the philosophy of Charles S. Peirce, the author focuses on four of Peirce's fundamental conceptions: pragmatism and Peirce's development of it into what he called 'pragmaticism'; his theory of signs; his phenomenology; and his theory that continuity is of prime importance for philosophy. He argues that at the centre of Peirce's philosophical project is a unique form of metaphysical realism, whereby continuity and evolutionary change are both necessary for our understanding of experience. In his final (...) chapter Professor Hausman applies this version of realism to contemporary controversies between anti-realists and anti-idealists. Peirce's views are compared to those of such contemporary figures as Davidson, Putnam, and Rorty. The book will be of particular interest to philosophers concerned with American philosophy and current debates on realism as well as linguists working in semiotics. (shrink)

This collection of articles and associated discussion papers focuses on a problem that has attracted increasing attention from linguists and psychologists throughout the world during the past several years. Reduced to essentials, the problem is that of discovering the character of the mental capacities that make it possible for human beings to attain knowledge of their language on the basis of fragmentary and haphazard early linguistic experience. A fundamental assumption running through all of these contributions is that people possess strong (...) innate predispositions that are critical for success in this task. (shrink)

While much research has focused on the effects of ethical and unethical leadership, little is known about how followers come to perceive their leaders as ethical or unethical. In this article, we investigate the co-creation of ethical and unethical leadership perceptions. Specifically, we draw from emerging research on moral congruence in organizational behaviour and empirically investigate the role of congruence in leaders’ and followers’ moral foundations in followers’ perceptions of ethical and unethical leadership. By analysing objective congruence scores from 67 (...) leader–follower dyads by means of polynomial regression with surface response analysis, we find partial support for our theoretically derived predictions. Significant effects were revealed for the fairness, loyalty, and authority moral foundations but not for the care and sanctity moral foundations. We discuss theoretical and practical implications of these findings. (shrink)

Traditional approaches describe ethical decision-making of leaders as driven by conscious deliberation and analysis. Accordingly, existing approaches of ethically-oriented leader development usually focus on the promotion of deliberative ethical decision-making, based on normative knowledge and moral reasoning. Yet, a continually growing body of research indicates that a considerable part of moral functions involved in ethical decision-making is automatic and intuitive. In this article, we discuss the implications of this moral intuition approach for the domain of ethically-oriented leader development. Specifically, we (...) introduce a conceptual model and develop a set of theoretical propositions, suggesting that the moral intuition perspective significantly contributes to effective ethically-oriented leader development. The discussion examines theoretical implications and practical applications of the presented propositions and outlines directions for future research. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Politics Is a Mushroom: Worldly Sources of Rule and Exception in Carl Schmitt and Walter BenjaminKam Shapiro (bio)Life is not a mushroom growing out of death.—Carl Schmitt, The Visibility of the ChurchTo isolate death from life, not leaving the one intimately woven in the other, and each one entering into the other’s midst—this is what one must never do.—Jean-Luc Nancy, L’intrus1Carl Schmitt’s theory of the exception was (...) bound up with a thoroughgoing critique of philosophies of immanence, materialism, and “atheism,” which he treated as interchangeable. In his early writings, he adopted the Christian perspective according to which postlapsarian nature cannot by itself yield a juridical order, or in his poetic phrase, “life is not a mushroom growing out of death.” Yet—in accord with Catholic doctrine—he also found sources of life, or law, in this world. While he repudiated theories of collective self-legislation, he embraced a popular sovereign empowered to impose form on a chaotic society. In Political Theology (1922), he compared the form-giving power of the sovereign to an act of divine intervention. Law, he argued, can only function in a lawful or “normal” situation that precedes formalization, and the sovereign “produces and guarantees the situation in its totality” [13]. In The Crisis of Parliamentary Democracy (1923) Schmitt retained his theological terms: “A scientific study of democracy must begin with a particular aspect that I have called political theology” [32]. In the modern age, democratic constituent power (pouvoir constituant) replaces the will of God as the transcendent source of a substantial order, namely democratic homogeneity. Democratic will-formation thereby becomes an act prior to its subject, or as Schmitt wrote, “[...] only political power, which should come from the people’s will, can form the people’s will in the first place” [Crisis 28]. A variety of democratic theorists dwell on the paradoxical character of democratic sovereignty, sometimes tracing it back to Rousseau’s well-known formulations [see esp. Connolly and Honig]. They highlight the gap between a transcendent (ideal or fictive) will in whose name political power acts, and the bounded, material consensus it forms, ostensibly rendering the latter vulnerable to challenge. As I argue, however, a closer look at Rousseau’s discussion of democratic founding in On the Social Contract reveals instead a dynamic relay between dispersed substantial or immanent sources of affiliation, on the one hand, and various agents and techniques of political power that draw on and combine them in a collective will, on the other, or what I call the virtual and the virtuosic.2 After briefly exploring this dynamic in Rousseau’s [End Page 121] On the Social Contract, I will highlight similar dynamics at work in Schmitt’s Weimar writings, examining three instances: the complexio oppositorum (1923), national myth (1923), and the polemical opposition of friend and enemy (1927), focusing especially on the first. Contrary to familiar readings of Schmitt’s metaphysical “exceptionalism,” I argue that for Schmitt, as for Rousseau, political power does not create a normative order from a vacuum, and the apparent transcendence of sovereign authority has a variety of worldly sources.3 Finally, I consider what I call “democratic virtuosity,” or virtuosity from below, focusing on Walter Benjamin’s repudiation of sovereign acts of lawmaking or law preserving in favor of ongoing collective habit-formation. As I argue, Benjamin returns spiritual force to the material world not only to shatter human authorities, but also to democratize creation.Rousseau—Anticipating the PeopleIn the Social Contract, Rousseau formulated the paradox of democratic founding to which so many, including Schmitt, would return. “In order for an emerging people to appreciate the healthy maxims of politics, and follow the fundamental rules of statecraft, the effect would have to become the cause; the social spirit, which should be the result of the institution, would have to preside over the founding of the institution itself; and men would have to be prior to laws what they ought to become by means of laws” [Rousseau 69]. As Rousseau argues, a constitution can form a general will only if it commands the loyalty of the people, that is, if there is... (shrink)

Traces the development of the integral and the differential calculus and related theories since ancient times.