It is “well known” that in linear models: (1) testable constraints on the marginal distribution of observed variables distinguish certain cases in which an unobserved cause jointly influences several observed variables; (2) the technique of “instrumental variables” sometimes permits an estimation of the influence of one variable on another even when the association between the variables may be confounded by unobserved common causes; (3) the association (or conditional probability distribution of one variable given another) of two variables connected by (...) a path or pair of paths with a single common vertex (a trek) can be computed directly from the parameter values associated with each edge in the trek; (4) the association of two variables produced by multiple treks can be computed from the parameters associated with each trek; and (5) the independence of two variables conditional on a third implies the corresponding independence of the sums of the variables over all units conditional on the sums over all units of each of the original conditioning variables. (shrink)

Nominal concepts represent things as tokens of types. Recent research suggests that we represent principled connections between the type of thing something is (e.g., DOG) and some of its properties (k‐properties; e.g., having four legs for dogs) but not other properties (t‐properties; e.g., being brown for dogs). Principled connections differ from logical, statistical, and causal connections. Principled connections license (i) the expectation that tokens of the type will generally possess their k‐properties, (ii) formal explanations (i.e., (...) explanation of the presence of k‐properties in tokens of a type by reference to the type of thing it is), and (iii) normative expectations concerning the presence of k‐properties in tokens of the type. The present paper investigates the hypothesis that representing principled connections requires representing properties as aspects of being the relevant kind of thing (Aspect Hypothesis). Experiment 1 provides a direct test of the Aspect Hypothesis. Experiments 2 and 3 provide indirect tests of the Aspect Hypothesis. All three experiments provide support for the Aspect Hypothesis. Experiment 4 investigates a prediction of the Aspect Hypothesis concerning the manner in which formal explanations are licensed by principled connections. Finally, Experiment 5 investigates a prediction of the Aspect Hypothesis concerning the nature of the normative expectations licensed by principled connections. Together these results provide strong evidence for the idea that representing principled connections involves representing a property as being an aspect of being a given kind of thing. The results also help clarify the manner in which formal explanation differs from other modes of explanation. Finally, the results of the experiments are used to motivate a proposal concerning the formal structure of the conceptual representations implicated by principled connections. This structure provides a domain‐general way of structuring our concepts and embodies the perspective we take when we think and talk of things as being instances of a kind. (shrink)

The formal theory of the Model of Hierarchical Complexity is presented. Complexity theories generally exclude the concept of hierarchical complexity; Developmental Psychology has included it for over 20 years. It also applies to social systems and non-human systems. Formal axioms for the Model are outlined. The model assigns an order of hierarchical complexity to every task, using natural numbers, establishing a quantal notion of stage and stages of performance. This formalizes properties of stage theories in psychology. The formal theory (...) of the model enables extending the concept of hierarchical complexity to any field where tasks and their performances exist. (shrink)

Part of Frege's concern about whether number words are properties of objects was that if they could be construed as such it would lend support to the view that truths of arithmetic were empirical truths. Such concern is ill-founded. Even if number words do apply to objects as predicates, this does not entail that numerical truths would be empirical, any more than the fact that ‘bachelor’ and ‘unmarried’ are predicates of objects entails that their relationship is an empirical one. (...) The account of number words as predicates given here, consequently, should not be taken as supportive of any one particular theory concerning arithmetic truth rather than another.The view of number words that emerges above from the criticism of Frege's arguments is that sentences containing number words can and do say something about objects in a collective and syncategorematic way. That is, they say something about classes of objects, when it is clear what is to count as an object. Whether this view commits us to accepting certain ontological entities, classes of individuals, above and beyond individuals themselves, I am not prepared to say, and at any rate this question falls beyond the intended scope of this essay. To those who would eschew abstract entities, however, it may be noted that the ontological problems that arise are not peculiar to this view; they seem no more or less severe than those that arise in connection with other collective predicate statements, as, for example, “Blue whales are becoming extinct.”The view presented here also does not pretend to be a fatal criticism of the logicist program. Taking our cue from the above noted fact that syncategorematic predicates share in a common ‘partial’ abstract sense, it seems reasonable to say that it is just the set of such partial senses of number words, and the relationships that hold between such senses, that the logicist and the pure number theorist investigate. (shrink)

Combined connectives arise in combined logics. In fibrings, such combined connectives are known as shared connectives and inherit the logical properties of each component. A new way of combining connectives (and other language constructors of propositional nature) is proposed by inheriting only the common logical properties of the components. A sound and complete calculus is provided for reasoning about the latter. The calculus is shown to be a conservative extension of the original calculus. (...) Examples are provided contributing to a better understanding of what are the common properties of any two constructors, say disjunction and conjunction. (shrink)

This paper describes the topological aspect of a logic-based, artificial intelligence approach to formalising the qualitative description of spatial properties and relations, and reasoning about those properties and relations. This approach, known as RCC theory, has been under development for several years at the University of Leeds. The main rationale for this project is that qualitative descriptions of spatial properties and relationships, and qualitative spatial reasoning, are of fundamental importance in human thinking about the world: even where (...) quantitative spatial data are most important, they must be attached to the components of a perceived spatial structure if we are to make use of them. RCC theory covers other qualitative aspects of spatial description and reasoning, but the topological properties and relations of spatially extended entities are fundamental to our work. The topological formalisms used by mathematicians are, in general, not well suited to the task of formalising the kinds of ‘common-sense’ or ‘everyday’ qualitative spatial description and reasoning which are our primary interest. Nevertheless, we must come to grips with the concepts of topology as practised by mathematicians if we are not to risk constantly ‘reinventing wheels’. (shrink)

To see whether the mental and the neural have common attributes that could resolve some of the traditional dichotomies, we review neuroscientific data on the visual system. The results show that neuronal and perceptual function share a parallel and hierarchical architecture which is manifest not only in the anatomy and physiology of the visual system, but also in normal perception and in the deficits caused by lesions in different parts of the system. Based on the description of parallel hierarchical (...) levels of active information processing in the visual brain, we suggest a concept of dissociable levels of perception, advocating that the phenomenal perception and recognition is realized in the functional integrity of a network of reciprocal cortico-cortical connections. The properties shared by neuronal and perceptional functions provide a basis for a neuromental monism in which both functions are attributed a causal role. (shrink)

The article takes up and challenges the Lockean conception of common sense and common right to property in two ways: first, through a critical investigation of Locke's historical connection to colonialism, and second, by turning to contemporary indigenous conceptions of common sense. Locke's practical experiences in the founding of Carolina, I argue, serve not simply to explain the problematical colonial impulses of the Second Treatise, but indeed to help undo the credibility of that text's ideological claim to (...) acquire and assimilate. Next, I turn from an internal historicized critique of the Second Treatise to a contemporary external challenge, examining current indigenous perspectives de-legitimized by the Second Treatise. I contend that traditionalized conceptions of indigenous knowledge and understanding provide a strategic revitalization of common sense in ways that re-define and re-characterize the word's roots not only in the common but also in the senses themselves. The article concludes by questioning whether these revitalized ‘traditionalisms’ — as much as they challenge exclusionary Lockean conceptions of the ‘common’ and common sense — also carry the risk of denying aspects of indigenous modernity and excluding alternative indigenous conceptions of land and resource use. (shrink)

The article takes up and challenges the Lockean conception of common sense and common right to property in two ways: first, through a critical investigation of Locke's historical connection to colonialism, and second, by turning to contemporary indigenous conceptions of common sense. Locke's practical experiences in the founding of Carolina, I argue, serve not simply to explain the problematical colonial impulses of the Second Treatise, but indeed to help undo the credibility of that text's ideological claim to (...) acquire and assimilate. Next, I turn from an internal historicized critique of the Second Treatise to a contemporary external challenge, examining current indigenous perspectives de-legitimized by the Second Treatise. I contend that traditionalized conceptions of indigenous knowledge and understanding provide a strategic revitalization of common sense in ways that re-define and re-characterize the word's roots not only in the common but also in the senses themselves. The article concludes by questioning whether these revitalized 'traditionalisms' — as much as they challenge exclusionary Lockean conceptions of the 'common' and common sense — also carry the risk of denying aspects of indigenous modernity and excluding alternative indigenous conceptions of land and resource use. (shrink)

The article takes up and challenges the Lockean conception of common sense and common right to property in two ways: first, through a critical investigation of Locke's historical connection to colonialism, and second, by turning to contemporary indigenous conceptions of common sense. Locke's practical experiences in the founding of Carolina, I argue, serve not simply to explain the problematical colonial impulses of the Second Treatise, but indeed to help undo the credibility of that text's ideological claim to (...) acquire and assimilate. Next, I turn from an internal historicized critique of the Second Treatise to a contemporary external challenge, examining current indigenous perspectives de-legitimized by the Second Treatise. I contend that traditionalized conceptions of indigenous knowledge and understanding provide a strategic revitalization of common sense in ways that re-define and re-characterize the word's roots not only in the common but also in the senses themselves. The article concludes by questioning whether these revitalized ‘traditionalisms’ — as much as they challenge exclusionary Lockean conceptions of the ‘common’ and common sense — also carry the risk of denying aspects of indigenous modernity and excluding alternative indigenous conceptions of land and resource use. (shrink)

Discrete supposition occurs whenever a discrete term, such as ‘Socrates‘, is the subject of a given proposition. I propose to examine this apparently simple notion. I shall draw attention to the incongruity, within a general theory of the semantic variation of terms in a propositional context, of the notion of discrete supposition, in which a term usually has a single semantic correlate. The incongruity comes to the fore in those treatises that attempt to describe discrete supposition as a sort of (...) personal supposition, although the same term cannot be in simple supposition in another propositional context, because it has no significate distinct from its suppositum. This shows a fundamental link between common signification, simple supposition and predicability, three notions that rely on the existence of a significate distinct and independent from the suppositum of the term. The connection is to be seen especially in William of Sherwood’s Introductiones, the only author of a terminist Summa who recognizes the existence of simple supposition for discrete terms. (shrink)

This paper describes the topological aspect of a logic-based, artificial intelligence approach to formalising the qualitative description of spatial properties and relations, and reasoning about those properties and relations. This approach, known as RCC theory, has been under development for several years at the University of Leeds. The main rationale for this project is that qualitative descriptions of spatial properties and relationships, and qualitative spatial reasoning, are of fundamental importance in human thinking about the world: even where (...) quantitative spatial data are most important, they must be attached to the components of a perceived spatial structure if we are to make use of them. RCC theory covers other qualitative aspects of spatial description and reasoning, but the topological properties and relations of spatially extended entities are fundamental to our work. The topological formalisms used by mathematicians are, in general, not well suited to the task of formalising the kinds of ‘common-sense’ or ‘everyday’ qualitative spatial description and reasoning which are our primary interest. Nevertheless, we must come to grips with the concepts of topology as practised by mathematicians if we are not to risk constantly ‘reinventing wheels’. (shrink)

While it is a point of agreement in contemporary republican political theory that property ownership is closely connected to freedom as non-domination, surprisingly little work has been done to elucidate the nature of this connection or the constraints on property regimes that might be required as a result. In this paper, I provide a systematic model of the boundaries within which republican property systems must sit and explore some of the wider implications that thinking of property in these terms may (...) have for republicans. The boundaries I focus on relate to the distribution of property and the application of types of property claims over particular kinds of goods. I develop this model from those elements of non-domination most directly related to the operation of a property regime: (a) economic independence, (b) limiting material inequalities, and (c) the promotion of common goods. The limits that emerge from this analysis support intuitive judgments that animate much republican discussion of property distribution. My account diverges from much orthodox republican theory, though, in challenging the primacy of private property rights in the realization of economic independence. The value of property on republican terms can be realized without private ownership of the means of production. (shrink)

In terms of formal deductive systems and multi-dimensional Kripke frames we study logical operations know, informed, common knowledge and common information. Based on [6] we introduce formal axiomatic systems for common information logics and prove that these systems are sound and complete. Analyzing the common information operation we show that it can be understood as greatest open fixed points for knowledge formulas. Using obtained results we explore monotonicity, omniscience problem, and inward monotonocity, describe their connections and (...) give dividing examples. Also we find algorithms recognizing these properties for some particular cases. (shrink)

This paper initiates the study of sets in Euclidean spaces ℝn that are defined in terms of the dimensions of their elements. Specifically, given an interval I ⊆ [0, n ], we are interested in the connectivity properties of the set DIMI, consisting of all points in ℝn whose dimensions lie in I, and of its dual DIMIstr, consisting of all points whose strong dimensions lie in I. If I is [0, 1) or.

In this article I make three inter-related arguments. First, I argue that contemporary critical political theory should re-assert the city as a privileged site of political action. Second, I suggest that in the process of such a re-assertion, the dominant “open” conception of the city, characteristic of much critical urban studies, should be reworked in order to be properly “political”; that is, framed within an agonistic, Left-Schmittian model of politics. Finally, I claim that one way to “politicize” the city in (...) this manner is to think of it as a site of “common property”. (shrink)

While it is a point of agreement in contemporary republican political theory that property ownership is closely connected to freedom as non-domination, surprisingly little work has been done to elucidate the nature of this connection or the constraints on property regimes that might be required as a result. In this paper, I provide a systematic model of the boundaries within which republican property systems must sit and explore some of the wider implications that thinking of property in these terms may (...) have for republicans. The boundaries I focus on relate to the distribution of property and the application of types of property claims over particular kinds of goods. I develop this model from those elements of non-domination most directly related to the operation of a property regime: (a) economic independence, (b) limiting material inequalities, and (c) the promotion of common goods. The limits that emerge from this analysis support intuitive judgments that animate much republican discussion of property distribution. My account diverges from much orthodox republican theory, though, in challenging the primacy of private property rights in the realization of economic independence. The value of property on republican terms can be realized without private ownership of the means of production. (shrink)

The necessitarian solution to the problem of induction involves two claims: first, that necessary connections are justified by an inference to the best explanation; second, that the best theory of necessary connections entails the timeless uniformity of nature. In this paper, I defend the second claim. My arguments are based on considerations from the metaphysics of laws, properties, and fundamentality.

As two defining properties of mental phenomena, consciousness and intentionality have some deep connections. These connections may be either grounded by a more fundamental mental property, or governed by some bridge laws, or accepted as a brute unexplainable fact. This paper argues, on the one hand, that we do not have justifications for believing in the existence of a new fundamental mental property, although we have motivations for making an inference to such a new mental property. On the other (...) hand, this paper demonstrates that Husserl took these connections to be governed by some bridge laws and to be realized by the mapping function of what he called apprehension. (shrink)

Barry Commoner has argued that the environmental failure of modern technology is due in large part to the reductionistic character ofmodern science, especially its biological component where the reductionist approach has triumphed in molecular biology. I claim, first, that Commoner has confused reduction in the sense of the reduction of one theory to another with what is better called analysis, or the strategy of breaking a whoie into its parts in order to understand the properties of the whole, this (...) latter being the actual target of his attack. I then argue that his criticisms of molecular biology fail since each of the properties of the cell which he claims cannot be understood in an analytic fashion, such as reproduction, development and inheritance, can be so understood, and that, in fact, each of his putatively nonanalytic accounts of these properties is the result of analysis. Similarly, Commoner’s claim that ecosystenls possess properties that cannot be understood analytically is refuted by comparing ecosystems with automobiles, which Commoner acknowledges are susceptible to analysis, and by showing that there are no essential differences between the two. FinaIly, l observe that while it is false that ecosystems canna! be understood in analytic terms, it is true that they are not usually thus understood, and that the explanation for this is not that scientists subscribe to amistaken philosophy, but that our social institutions for the teaching and application of science do not adequately stress the importance of exploring the connections between the parts of such complex wholes. (shrink)

Barry Commoner has argued that the environmental failure of modern technology is due in large part to the reductionistic character ofmodern science, especially its biological component where the reductionist approach has triumphed in molecular biology. I claim, first, that Commoner has confused reduction in the sense of the reduction of one theory to another with what is better called analysis, or the strategy of breaking a whoie into its parts in order to understand the properties of the whole, this (...) latter being the actual target of his attack. I then argue that his criticisms of molecular biology fail since each of the properties of the cell which he claims cannot be understood in an analytic fashion, such as reproduction, development and inheritance, can be so understood, and that, in fact, each of his putatively nonanalytic accounts of these properties is the result of analysis. Similarly, Commoner’s claim that ecosystenls possess properties that cannot be understood analytically is refuted by comparing ecosystems with automobiles, which Commoner acknowledges are susceptible to analysis, and by showing that there are no essential differences between the two. FinaIly, l observe that while it is false that ecosystems canna! be understood in analytic terms, it is true that they are not usually thus understood, and that the explanation for this is not that scientists subscribe to amistaken philosophy, but that our social institutions for the teaching and application of science do not adequately stress the importance of exploring the connections between the parts of such complex wholes. (shrink)

In the last decade, the organization of pharmaceutical research on neglected tropical diseases has undergone transformative change. In a context of perceived “market failure,” the development of new medicines is increasingly handled by public-private partnerships. This shift toward hybrid organizational models depends on a particular form of exchange: the sharing of proprietary assets in general and of intellectual property rights in particular. This article explores the paradoxical role of private property in this new configuration of global health research and development. (...) Rather than a tool to block potential competitors, proprietary assets function as a lever to attract others into risky collaborative ventures; instead of demarcating public and private domains, the sharing of property rights is used to increase the porosity of that boundary. This reimagination of the value of property is connected to the peculiar timescape of global health drug development, a promissory orientation to the future that takes its clearest form in the centrality of “virtual” business models and the proliferation of strategies of deferral. Drawing on the anthropological literature on inalienable possessions, we reconsider property’s traditional exclusionary role and discuss the possibility that the new pharmaceutical “commons” proclaimed by contemporary global health partnerships might be the precursor of future enclosures. (shrink)

This paper introduces a refined approach to conceptualising the commons in order to shed new light on cooperative practices. Specifically, it proposes the novel concept of Common-Property Assets. CPAs are exclusively human-made resources owned under common-property ownership regimes. Our CPA model combines quantity and quality. While these two dimensions are largely pre-existing in the conventional case of natural common-pool resources, they directly depend on members’ collective action in CPAs. We apply this theoretical framework to farm machinery sharing (...) agreements—a widespread grassroots cooperative phenomenon in agriculture—using a systematic literature review to generalise the findings from a sample of 54 studies published from 1950 to 2018. Our findings show that in successful CPAs, members endorse and do not deviate from a quantity-quality equilibrium that is collectively agreed upon. Despite the existence of thresholds for both quantity and quality due to membership heterogeneity, qualitative changes in respect of the common good are possible in CPAs that promote democratic practices. Our study has potentially strong implications for developing ethics in cooperatives and the sustainable development of communities worldwide. (shrink)

One common justification for intellectual property rights treats knowledge as a commodity, a neutral object with no connections to persons, except as a source of profit. Instead, knowledge should be understood in a way that reflects relationships among knowers and values the virtues of social engagement.

In his Encyclopaedia Logic, Hegel affirms that truth is ‘usually’ understood as the agreement of thought with the object, but that in the ‘deeper, i.e. philosophical sense’, truth is the agreement of a content with itself or of an object with its concept. Hegel then provides illustrations of this second sort of truth: a ‘true friend’, a ‘true state’, a ‘true work of art’. Robert Stern has argued that Hegel's ‘deeper’ or ‘philosophical’ truth is close to what Heidegger labelled ‘material’ (...) truth, namely a property attributed to a thing on the basis of the accordance of that thing with its essence. It has since been common to think of Hegel's concept of ‘philosophical’ truth as ‘ontological’, ‘objective’ or ‘material’ in contrast to ‘epistemological’ or ‘propositional’ definitions. In this paper, I wish to add an important nuance to the existing literature on this subject: even though things have a truth-value for Hegel, the latter is always negative. I argue that Hegel's criterion of ‘philosophical’ truth, which is best formulated as ‘agreement with self’, is first and foremost intended to examine the truth-value of thought-determinations. I then argue that even though this criterion may also be applied to examine the truth-value of things (namely, even though things have a truth-value), things never fall under this definition. After reviewing several of Hegel's explicit remarks on the matter, I provide an alternative explanation to those features of Hegel's ‘philosophical’ truth which have led scholars to view it as a truth in things. Especially, I argue that what are generally seen as Hegel's examples (‘true friend’, ‘true state’, ‘true work of art’) are not intended as examples but only as imperfect illustrations of ‘philosophical’ truth. (shrink)

Qualia epiphenomenalism is the view that qualitative properties of events, such as the raw feel of tastes or painfulness, lack causal efficacy. One common objection to qualia epiphenomenalism is the epistemic argument, which states that this loss of causal efficacy undermines our capacity to know about these epiphenomenal qualitative properties. A number of rejoinders have been offered up to insulate qualia epiphenomenalism from the epistemic argument. In this paper I consider and ultimately reject two such replies, namely, (...) the common underlying cause reply and the appeal to physical-effect epiphenomenalism. View HTML Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.Physical-Effect Epiphenomenalism and Common Underlying CausesVolume 51, Issue 3DWAYNE MOORE DOI: https://doi.org/10.1017/S0012217312000674Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. Physical-Effect Epiphenomenalism and Common Underlying CausesVolume 51, Issue 3DWAYNE MOORE DOI: https://doi.org/10.1017/S0012217312000674Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. Physical-Effect Epiphenomenalism and Common Underlying CausesVolume 51, Issue 3DWAYNE MOORE DOI: https://doi.org/10.1017/S0012217312000674Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

We investigate the general properties of general Bayesian learning, where “general Bayesian learning” means inferring a state from another that is regarded as evidence, and where the inference is conditionalizing the evidence using the conditional expectation determined by a reference probability measure representing the background subjective degrees of belief of a Bayesian Agent performing the inference. States are linear functionals that encode probability measures by assigning expectation values to random variables via integrating them with respect to the probability measure. (...) If a state can be learned from another this way, then it is said to be Bayes accessible from the evidence. It is shown that the Bayes accessibility relation is reflexive, antisymmetric and non-transitive. If every state is Bayes accessible from some other defined on the same set of random variables, then the set of states is called weakly Bayes connected. It is shown that the set of states is not weakly Bayes connected if the probability space is standard. The set of states is called weakly Bayes connectable if, given any state, the probability space can be extended in such a way that the given state becomes Bayes accessible from some other state in the extended space. It is shown that probability spaces are weakly Bayes connectable. Since conditioning using the theory of conditional expectations includes both Bayes’ rule and Jeffrey conditionalization as special cases, the results presented generalize substantially some results obtained earlier for Jeffrey conditionalization. (shrink)

Newton's Philosophiae Naturalis Principia Mathematica provides a coherent and deductive presentation of his discovery of the universal law of gravitation. It is very much more than a demonstration that 'to us it is enough that gravity really does exist and act according to the laws which we have explained and abundantly serves to account for all the motions of the celestial bodies and the sea'. It is important to us as a model of all mathematical physics.Representing a decade's work from (...) a distinguished physicist, this is the first comprehensive analysis of Newton's Principia without recourse to secondary sources. Professor Chandrasekhar analyses some 150 propositions which form a direct chain leading to Newton's formulation of his universal law of gravitation. In each case, Newton's proofs are arranged in a linear sequence of equations and arguments, avoiding the need to unravel the necessarily convoluted style of Newton's connected prose. In almost every case, a modern version of the proofs is given to bring into sharp focus the beauty, clarity, and breath-taking economy of Newton's methods.Subrahmanyan Chandrasekhar is one of the most reknowned scientists of the twentieth century, whose career spanned over 60 years. Born in India, educated at the University of Cambridge in England, he served as Emeritus Morton D. Hull Distinguished Service Professor of Theoretical Astrophysics at the University of Chicago, where he has was based from 1937 until his death in 1996. His early research into the evolution of stars is now a cornerstone of modern astrophysics, and earned him the Nobel Prize for Physics in 1983. Later work into gravitational interactions between stars, the properties of fluids, magnetic fields, equilibrium ellipsoids, and black holes has earned him awards throughout the world, including the Gold Medal from the Royal Astronomical Society in London, the National Medal of Science in the United States, and the Copley Medal from the Royal Society. His many publications include Radiative transfer, Hydrodynamic and hydromagnetic stability, and The mathematical theory of black holes, each being praised for its breadth and clarity. Newton's Principia for the common reader is the result of Professor Chandrasekhar's profound admiration for a scientist whose work he believed is unsurpassed, and unsurpassable. (shrink)

Public access to the commons is often restricted, thus leading to implicit regulations. This is relevant toward spatial systems, as an important geographical issue is access to various sites over space, and this paper presents varying degrees of accessibility in different places. There is a dialectic struggle to enhance access to the commons as a fundamental right of the public, with the need to balance tourism and recreational uses of coastal resources with conservation and preservation eff orts. This paper will (...) aid policy makers and those concerned with beach access in Connecticut better understand the nature and complexity of how citizens and officials within coastal municipalities have come to perceive, in a collective sense, their beaches/ municipal parks as common property resources to be utilized for recreational purposes while balancing environmental conservation efforts simultaneously. Various legal frameworks, as well as federal and state efforts in coastal zones in key states, in addition to historically recent court cases in Connecticut resulting in legal enhancements toward increasing public access to nonresidents of specific municipalities, have shaped who can and who cannot access the commons. (shrink)

The principle of self-organization has acquired a fundamental significance in the newly emerging field of computational philosophy. Self-organizing systems have been described in various domains in science and philosophy including physics, neuroscience, biology and medicine, ecology, and sociology. While system architecture and their general purpose may depend on domain-specific concepts and definitions, there are (at least) seven key properties of self-organization clearly identified in brain systems: 1) modular connectivity, 2) unsupervised learning, 3) adaptive ability, 4) functional resiliency, 5) functional (...) plasticity, 6) from-local-to-global functional organization, and 7) dynamic system growth. These are defined here in the light of insight from neurobiology, cognitive neuroscience and Adaptive Resonance Theory (ART), and physics to show that self-organization achieves stability and functional plasticity while minimizing structural system complexity. A specific example informed by empirical research is discussed to illustrate how modularity, adaptive learning, and dynamic network growth enable stable yet plastic somatosensory representation for human grip force control. Implications for the design of “strong” artificial intelligence in robotics are brought forward. (shrink)

Water has a dual role in the Sundarbans area of southwestern Bangladesh. Hydrologic processes are vital to the ecological functioning and cultural identity of the mangrove ecosystem. But at the same time, large scale water development creates external forces that threaten the Sundarbans environment. Water is managed to a limited degree as a common property resource, both in the Sundarbans and in larger regions. It is also managed as private property, a public good, a state-controlled resource, an open access (...) resource, and a natural hazard. And to a large degree, it is not managed at all. By focussing on water, we begin to understand the linkages between the Sundarbans area and larger regional contexts; and between common property resource systems and the broader array of institutional, political, and property relations. Section one of this paper provides an overview of the role of water in the Sundarbans, including modern human modifications of deltaic hydrology. Section two surveys water management issues and institutions at six geographical scales: the International Basin; 2) India and Bangladesh; 3) Greater Bengal; 4) Bangladesh; 5) southwestern Bangladesh; and 6) Khulna district. The conclusion stresses the role that the political geography of water will play both within and outside the Sundarbans ecosystem. (shrink)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

Do properties have intrinsic properties of their own? If so, which second-order properties are intrinsic? This paper introduces two competing views about second-order intrinsicality: generalism, according to which the intrinsic–extrinsic distinction cuts across all orders of properties and applies to the properties of properties as well as the properties of objects, and objectualism, according to which intrinsicality is a feature exclusive to the properties of objects. The case for generalism is then surveyed (...) along with some proposals for distinguishing intrinsic second-order properties from extrinsic ones. After addressing these broad questions about the nature of second-order intrinsicality, the Problem of Accidental Intrinsic Properties of Properties is introduced and put to work as a case study for the significance of second-order intrinsicality. The connection between this problem and the metaphysics of quantitative properties is then examined. (shrink)

We investigate the general properties of general Bayesian learning, where ``general Bayesian learning'' means inferring a state from another that is regarded as evidence, and where the inference is conditionalizing the evidence using the conditional expectation determined by a reference probability measure representing the background subjective degrees of belief of a Bayesian Agent performing the inference. States are linear functionals that encode probability measures by assigning expectation values to random variables via integrating them with respect to the probability measure. (...) If a state can be learned from another this way, then it is said to be Bayes accessible from the evidence. It is shown that the Bayes accessibility relation is reflexive, antisymmetric and non-transitive. If every state is Bayes accessible from some other defined on the same set of random variables, then the set of states is called weakly Bayes connected. It is shown that the set of states is not weakly Bayes connected if the probability space is standard. The set of states is called weakly Bayes connectable if, given any state, the probability space can be extended in such a way that the given state becomes Bayes accessible from some other state in the extended space. It is shown that probability spaces are weakly Bayes connectable. Since conditioning using the theory of conditional expectations includes both Bayes' rule and Jeffrey conditionalization as special cases, the results presented generalize substantially some results obtained earlier for Jeffrey conditionalization. (shrink)

Classical first-order logic \ is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic \ is a conservative extension of \ which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for \ relative to inquisitive disjunction Open image in new window and inquisitive existential quantifier \. Moreover we extend these results to several families of (...) theories, among which the one in the language of \. To this end, we initiate a model-theoretic approach to the study of \. In particular, we develop a toolkit of basic constructions in order to transform and combine models of \. (shrink)

Classical first-order logic \ is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic \ is a conservative extension of \ which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for \ relative to inquisitive disjunction Open image in new window and inquisitive existential quantifier \. Moreover we extend these results to several families of (...) theories, among which the one in the language of \. To this end, we initiate a model-theoretic approach to the study of \. In particular, we develop a toolkit of basic constructions in order to transform and combine models of \. (shrink)

A broad range of intellectual perspectives may be brought to bear on any important social institution. To this general rule, the institution of private property is no exception. The desirability of private property has been endlessly debated across the disciplines: philosophical, historical, economic, and legal. Yet there is very little consensus over its proper social role and limitations. Is it possible to find a unique solution to questions of property and private ownership, good for all resources and for all times? (...) The famous defense of private property that is found in chapter 5 of John Locke's Second Treatise of Government answers this question in the affirmative, for Locke writes as though all property was given to mankind in common, and then seeks to find the quickest and most expeditious way to convert all common property into private property. His implicit, but undefended, assumption is that common forms of property are both undesirable and unstable, while private forms of ownership are always just the opposite. Yet his preferred method for moving from a commons to a regime of private property—the unilateral decision to appropriate by each actor—is one that has been frequently condemned as a sop to unbridled egotism, even though it is subject to two constraints: the first against waste, and the second requiring the appropria-tor to leave “enough, and as good” for others. (shrink)

Taxa and homologues can in our view be construed both as kinds and as individuals. However, the conceptualization of taxa as natural kinds in the sense of homeostatic property cluster kinds has been criticized by some systematists, as it seems that even such kinds cannot evolve due to their being homeostatic. We reply by arguing that the treatment of transformational and taxic homologies, respectively, as dynamic and static aspects of the same homeostatic property cluster kind represents a good perspective for (...) supporting the conceptualization of taxa as kinds. The focus on a phenomenon of homology based on causal processes (e.g., connectivity, activity-function, genetics, inheritance, and modularity) and implying relationship with modification yields a notion of natural kinds conforming to the phylogenetic-evolutionary framework. Nevertheless, homeostatic property cluster kinds in taxonomic and evolutionary practice must be rooted in the primacy of epistemological classification (homology as observational properties) over metaphysical generalization (series of transformation and common ancestry as unobservational processes). The perspective of individuating characters exclusively by historical-transformational independence instead of their developmental, structural, and functional independence fails to yield a sufficient practical interplay between theory and observation. Purely ontological and ostensional perspectives in evolution and phylogeny (e.g., an ideographic character concept and PhyloCode’s ‘individualism’ of clades) may be pragmatically contested in the case of urgent issues in biodiversity research, conservation, and systematics. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as (...) the extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

A plateau has been reached in how to analyze people's use of their common property resources. We require fresh ways of thinking about the issue. Four new and very different approaches are sketched in the article.