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)

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)

Let n be a positive integer. By a $\beta_{n}-model$ we mean an $\omega-model$ which is elementary with respect to $\sigma_{n}^{1}$ formulas. We prove the following $\beta_{n}-model$ version of $G\ddot{o}del's$ Second Incompleteness Theorem. For any recursively axiomatized theory S in the language of second order arithmetic, if there exists a $\beta_{n}-model$ of S, then there exists a $\beta_{n}-model$ of S + "there is no countable $\beta_{n}-model$ of S". We also prove a $\beta_{n}-model$ version of $L\ddot{o}b's$ Theorem. As a corollary, we obtain (...) a $\beta_{n}-model$ which is not a $\beta_{n+1}-model$. (shrink)

We study the Lindenbaum algebra ${\fancyscript{A}}$ (WKL o, RCA o) of sentences in the language of second-order arithmetic that imply RCA o and are provable from WKL o. We explore the relationship between ${\Sigma^1_1}$ sentences in ${\fancyscript{A}}$ (WKL o, RCA o) and ${\Pi^0_1}$ classes of subsets of ω. By applying a result of Binns and Simpson (Arch. Math. Logic 43(3), 399–414, 2004) about ${\Pi^0_1}$ classes, we give a specific embedding of the free distributive lattice with countably many generators into ${\fancyscript{A}}$ (...) (WKL o, RCA o). (shrink)

The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way. We use techniques of modal logic to formalize the logic of Reverse Mathematics into a system that we name s-logic. We argue that s-logic captures precisely the “logical” content of the implication and nonimplication relations between subsystems in Reverse Mathematics. We present a sound, complete, decidable, and compact tableau-style deductive system (...) for s-logic, and explore in detail two fragments that are particularly relevant to Reverse Mathematics practice and automated theorem proving of Reverse Mathematics results. (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)

We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$ sentence of a certain form is provable using E-HA ${}^\omega$ along with the axiom of choice and an independence of premise principle, the sequential form of the statement is provable in the classical system RCA. We obtain this and similar results using applications of modified realizability and the Dialectica interpretation. (...) These results allow us to use techniques of classical reverse mathematics to demonstrate the unprovability of several mathematical principles in subsystems of constructive analysis. (shrink)

We show that \\) cannot be proved with one typical application of \\) in an intuitionistic extension of \ to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach’s axiomatization of higher order reverse mathematics, results related to modified reducibility, and a formalization of Weihrauch reducibility.

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.

Under what conditions are people responsible for their choices and the outcomes of those choices? How could such conditions be fostered by liberal societies? Should what people are due as a matter of justice depend on what they are responsible for? For example, how far should healthcare provision depend on patients' past choices? What values would be realized and which hampered by making justice sensitive to responsibility? Would it give people what they deserve? Would it advance or hinder equality? The (...) explosion of philosophical interest in such questions has been fuelled by increased focus on individual responsibility in political debates. Political philosophers, especially egalitarians, have responded to such developments by attempting to map out the proper place for responsibility in theories of justice. This book both reflects on these recent developments in normative political theory and moves the debate forwards. (shrink)

One of the most significant political philosophers of the twentieth century, Carl Schmitt is a deeply controversial figure who has been labeled both Nazi sympathizer and modern-day Thomas Hobbes. First published in 1938, The Leviathan in the State Theory of Thomas Hobbes used the Enlightenment philosopher’s enduring symbol of the protective Leviathan to address the nature of modern statehood. A work that predicted the demise of the Third Reich and that still holds relevance in today’s security-obsessed society, this volume (...) will be essential reading for students and scholars of political science. “Carl Schmitt is surely the most controversial German political and legal philosopher of this century. . . . We deal with Schmitt, against all odds, because history stubbornly persists in proving many of his tenets right.”— Perspectives on Political Science “[A] significant contribution. . . . The relation between Hobbes and Schmitt is one of the most important questions surrounding Schmitt: it includes a distinct, though occasionally vacillating, personal identification as well as an association of ideas.”— Telos. (shrink)

In this paper I argue against one variety of contextualism about aesthetic predicates such as “beautiful.” Contextualist analyses of these and other predicates have been subject to several challenges surrounding disagreement. Focusing on one kind of contextualism— individualized indexical contextualism —I unpack these various challenges and consider the responses available to the contextualist. The three responses I consider are as follows: giving an alternative analysis of the concept of disagreement ; claiming that speakers suffer from semantic blindness; and claiming that (...) attributions of beauty carry presuppositions of commonality. I will argue that none of the available strategies gives a response which both satisfactorily explains all of the disagreement -data and is plausible independent of significant evidence in favor of contextualism. I conclude that individualized indexical contextualism about the aesthetic is untenable, although this does not rule out alternative contextualist approaches to the aesthetic. (shrink)

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

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)

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)

Here a distinguished American historian challenges the belief that the eighteenth century was essentially modern in its temper. In crystalline prose Carl Becker demonstrates that the period commonly described as the Age of Reason was, in fact, very far from that; that Voltaire, Hume, Diderot, and Locke were living in a medieval world, and that these philosophers “demolished the Heavenly City of St. Augustine only to rebuild it with more up-to-date materials.” In a new foreword, Johnson Kent Wright looks (...) at the book’s continuing relevance within the context of current discussion about the Enlightenment. “Will remain a classic—a beautifully finished literary product.”—Charles A. Beard, _American Historical Review_ “_The Heavenly City of the Eighteenth-Century Philosophers _remains_ _one of the most distinctive American contributions to the historical literature on the Enlightenment.... [It] is likely to beguile and provoke readers for a long time to come.”—Johnson Kent Wright, from the foreword. (shrink)

We argue that intelligible appeals to interlevel causes (top-down and bottom-up) can be understood, without remainder, as appeals to mechanistically mediated effects. Mechanistically mediated effects are hybrids of causal and constitutive relations, where the causal relations are exclusively intralevel. The idea of causation would have to stretch to the breaking point to accommodate interlevel causes. The notion of a mechanistically mediated effect is preferable because it can do all of the required work without appealing to mysterious interlevel causes. When interlevel (...) causes can be translated into mechanistically mediated effects, the posited relationship is intelligible and should raise no special philosophical objections. When they cannot, they are suspect. (shrink)

This paper develops a theory of how democratic governance is possible. It analyses democracy as a laminated system consisting of three interdependent levels – the political/institutional, the socia...

Not all models are explanatory. Some models are data summaries. Some models sketch explanations but leave crucial details unspecified or hidden behind filler terms. Some models are used to conjecture a how-possibly explanation without regard to whether it is a how-actually explanation. I use the Hodgkin and Huxley model of the action potential to illustrate these ways that models can be useful without explaining. I then use the subsequent development of the explanation of the action potential to show what is (...) required of an adequate mechanistic model. Mechanistic models are explanatory. (shrink)

Some philosophers writing on the possibility of faultless disagreement have argued that the only way to account for the intuition that there could be disagreements which are faultless in every sense is to accept a relativistic semantics. In this article we demonstrate that this view is mistaken by constructing an absolutist semantics for a particular domain – aesthetic discourse – which allows for the possibility of genuinely faultless disagreements. We argue that this position is an improvement over previous absolutist responses (...) to the relativist's challenge and that it presents an independently plausible account of the semantics of aesthetic discourse. (shrink)

Many areas of science develop by discovering mechanisms and role functions. Cummins' (1975) analysis of role functions-according to which an item's role function is a capacity of that item that appears in an analytic explanation of the capacity of some containing system-captures one important sense of "function" in the biological sciences and elsewhere. Here I synthesize Cummins' account with recent work on mechanisms and causal/mechanical explanation. The synthesis produces an analysis of specifically mechanistic role functions, one that uses the characteristic (...) active, spatial, temporal, and hierarchical organization of mechanisms to add precision and content to Cummins' original suggestion. This synthesis also shows why the discovery of role functions is a scientific achievement. Discovering a role function (i) contributes to the interlevel integration of multilevel mechanisms, and (ii) provides a unique, contextual variety of causal/mechanical explanation. (shrink)

Jung has never pursued the "psychology of religion" apart from general psychology. The unique importance of his work lies rather in his discovery and treatment of religious, or potentially religious, factors in his investigation into the unconscious as a whole and in his general therapeutic practice. In Answer to Job , first published in Zurich in 1952, Jung employs the familiar language of theological discourse. Such terms as "God," "wisdom," and "evil" are the touchstones of his argument. And yet, Answer (...) to Job , perhaps Jung's most controversial work, is not an essay in theology as much as it is an examination of the symbolic role that theological concepts play in a person's psychic life. (shrink)

It is common to defend the Homeostatic Property Cluster ( HPC ) view as a third way between conventionalism and essentialism about natural kinds ( Boyd , 1989, 1991, 1997, 1999; Griffiths , 1997, 1999; Keil , 2003; Kornblith , 1993; Wilson , 1999, 2005; Wilson , Barker , & Brigandt , forthcoming ). According to the HPC view, property clusters are not merely conventionally clustered together; the co-occurrence of properties in the cluster is sustained by a similarity generating ( (...) or homeostatic ) mechanism . I argue that conventional elements are involved partly but ineliminably in deciding which mechanisms define kinds , for deciding when two mechanisms are mechanisms of the same type, and for deciding where one particular mechanism ends and another begins. This intrusion of conventional perspective into the idea of a mechanism raises doubts as to whether the HPC view is sufficiently free of conventional elements to serve as an objective arbiter in scientific disputes about what the kinds of the special sciences should be. (shrink)

This paper addresses the question of why democracy is desirable in terms of a relational theory of democracy. The theory draws on concepts from Aristotelian, critical realist, and psychoanalytic th...

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections (...) in the preservation process, and hope you enjoy this valuable book. ++++ The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to ensure edition identification: ++++ Uber Den Psychologischen Ursprung Der Raumvorstellung Carl Stumpf S. Hirzel, 1873 Space perception. (shrink)

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)

Arguments from disagreement often take centre stage in debates between competing semantic theories. This paper explores the theoretical basis for arguments from disagreement and, in so doing, proposes methodological principles which allow us to distinguish between legitimate arguments from disagreement and dialectically ineffective arguments from disagreement. In the light of these principles, I evaluate Cappelen and Hawthorne's [2009] argument from disagreement against relativism, and show that it fails to undermine relativism since it is dialectically ineffective. Nevertheless, I argue that an (...) alternative challenge to relativism based on disagreement is available. More generally, I argue that semantic theory is not answerable to data stemming from ‘loaded’ philosophical principles regarding the nature of disagreement. Rather, semantic theorists will exhaust their dialectical responsibilities regarding disagreement if they can demonstrate consistency with a minimal account of the concept. (shrink)

A world awash in little understood chemicals tragically harms adults and children alike. Laws keep health agencies in the dark about toxicants, slow, well motivated research hampers protections, and strenuous vested opposition exacerbates the harm. How science is used in the tort law can facilitate or frustrate redress of harm. This book recommends better approaches.

Scientific indigenous psychologies have been developed mostly in non‐western countries. Indigenous psychologies, seeing mainstream psychology as too western in its cultural foundation, are based on the culture of the society being investigated. In this article I critique the concept of culture used by representative researchers of indigenous psychologies in the English‐language literature and contrast it to current concepts of culture in the social sciences. Furthermore, I argue that the concept of culture used in this literature has implications for the cultural (...) contents that are identified as the culture of a specific society. I also suggest that the political dimensions of what contents of culture are associated with a specific society are not given sufficient attention in this literature. Finally, alternative approaches to culture for the indigenous psychologies are discussed. (shrink)

In this book, Carl Cranor utilizes material from ethics, philosophy of law, epidemiology, tort law, regulatory law, and risk assessment to argue that the evidentiary standards for science used in the law to control toxics ought to be ...

Biologists rely heavily on the language of information, coding, and transmission that is commonplace in the field of information theory developed by Claude Shannon, but there is open debate about whether such language is anything more than facile metaphor. Philosophers of biology have argued that when biologists talk about information in genes and in evolution, they are not talking about the sort of information that Shannon’s theory addresses. First, philosophers have suggested that Shannon’s theory is only useful for developing a (...) shallow notion of correlation, the so-called causal sense of information. Second, they typically argue that in genetics and evolutionary biology, information language is used in a semantic sense, whereas semantics are deliberately omitted from Shannon’s theory. Neither critique is well-founded. Here we propose an alternative to the causal and semantic senses of information: a transmission sense of information, in which an object X conveys information if the function of X is to reduce, by virtue of its sequence properties, uncertainty on the part of an agent who observes X. The transmission sense not only captures much of what biologists intend when they talk about information in genes, but also brings Shannon’s theory back to the fore. By taking the viewpoint of a communications engineer and focusing on the decision problem of how information is to be packaged for transport, this approach resolves several problems that have plagued the information concept in biology, and highlights a number of important features of the way that information is encoded, stored, and transmitted as genetic sequence. (shrink)

This book offers a bold new theoretical understanding of the current ecological crisis via the Frankfurt School. Focusing on key notions of dialectics, natural history, and materialism, a critical theory of nature is outlined in favor of a more traditional Marxist theory of nature, albeit one which still builds on Marxist concepts to confirm humanity's centrality in manufacturing environmental misery. Pre-eminent thinkers including Georg Lukács, Ernst Bloch, and Theodor Adorno are highlighted for their potential to diagnose the interpenetration of capitalism (...) and nature in a way that neither absolutizes nor obliterates the boundary between the social and natural. (shrink)

The dominant neuroscientific theory of spatial memory is, like many theories in neuroscience, a multilevel description of a mechanism. The theory links the activities of molecules, cells, brain regions, and whole organisms into an integrated sketch of an explanation for the ability of organisms to navigate novel environments. Here I develop a taxonomy of interlevel experimental strategies for integrating the levels in such multilevel mechanisms. These experimental strategies include activation strategies, interference strategies, and additive strategies. These strategies are mutually reinforcing, (...) providing a kind of interlevel and intratheoretic robustness that has not previously been recognized. (shrink)

This volume presents research that integrates decision making and creativity within the social contexts in which these processes occur. The volume is an essential addition to and expansion of recent approaches to decision making. Such approaches attempt to incorporate more of the psychological and socio-cultural context in which human decision making takes place. The authors come from different disciplines and also belong to a broad spectrum of research traditions. They present innovative chapters dealing with both theoretical and empirical aspects of (...) decision making in different personal and organizational contexts. All chapters are written from the perspective that human decision making is inherently social and more or less creative. The volume addresses fundamental questions about the nature of human decision making as it occurs in different social contexts. Thereby, it becomes essential reading for researchers in decision making and for advanced students in psychology, management science, informatics, and related disciplines. (shrink)

Research on human decision making is at the present time undergoing rapid changes. From previously being much focused on models and approaches with an origin in economy, much of the present day research finds its inspiration from disciplinary approaches concerned with incorporating more of the context that the decision making takes place in. This context includes psychological aspects of the decision maker and social-cultural aspects of the situation he or she acts in. All human decision making occurs in dynamically changing (...) contexts. One factor contributing to this is that human beings or groups in many situations act as entrepreneurs trying to improve the situation for themselves or their organization. Given that this is the case, it is of increasing interest for both researchers and practitioners interested in the social aspects of decision making to consider the relation between creativity and decision making. (shrink)

In his historical perspective on the changes in scientific thought over the last 100 years, Carl N. Degler explores the study of social evolution and the ongoing search for human nature. In Search of Human Nature provides a detailed perspective on the reasons behind the shifting emphasis in social thought from biology, to culture, and again to biology. Degler examines why these changes took place, the evidence and people fostering these changes and why students of human nature decided to (...) accept this momentous change in thought. He suggests varying ideologies as the underlying force behind this shift in the study of social science. From Darwin's theory that human social behaviour has drastically evolved from animals, to the belief that human experience serves as the basic differentiating factor in humans, Degler provides a thorough and captivating examination of the roots of human behaviour. (shrink)