Hsueh M. Qu has recently argued that Hume’s famed ‘Separability Principle’ from the Treatise entangles him in a contradiction. Qu offers a modified principle as a solution but also argues that the mature Hume would not have needed to avail himself of it, given that Hume’s arguments in the first Enquiry do not depend on this principle in any form. To the contrary, I show that arguments in the first Enquiry depend on this principle, but (...) I agree with Qu that Qu’s solution to Hume’s quandary frees him of the contradiction. Next, I compare Qu’s solution to Hume’s original position. By analysing the divergent forms of 'Hume’s Dictum’ that follow from them, I show that Qu’s solution and Hume’s original position have significantly different consequences in a range of domains, including Hume’s modality. Generally, Qu’s solution fits better with Hume’s other commitments—even though Hume often fails to recognize it—thereby increasing its plausibility. (shrink)

In recent years, there has been a substantial amount of work in reverse mathematics concerning natural mathematical principles that are provable from RT, Ramsey's Theorem for Pairs. These principles tend to fall outside of the "big five" systems of reverse mathematics and a complicated picture of subsystems below RT has emerged. In this paper, we answer two open questions concerning these subsystems, specifically that ADS is not equivalent to CAC and that EM is not equivalent to RT.

The aim of this paper is to clarify the use of contrast cases—which are pairs of cases in which the feature under examination is varied and all else is held fixed—in ethical methodology. In another paper, I argue that we must reject a separability principle which is thought to allow one to use contrast cases to infer truths about intrinsic value. Here I offer a different criticism that has a positive upshot about what we are licensed to infer (...) from contrast cases. This provides clarification about the epistemic use of contrast cases in value theory and insight into what we can glean from contrast cases. (shrink)

This paper is dedicated to Newton da Costa, who,among his many achievements, was the first toaim at dualising intuitionism in order to produce paraconsistent logics,the C-systems. This paper similarly dualises intuitionism to aparaconsistent logic, but the dual is a different logic, namely closed setlogic. We study the interaction between the properties of topologicalspaces, particularly separation properties, and logical theories on thosespaces. The paper begins with a brief survey of what is known about therelation between topology and modal logic, intuitionist logic (...) and paraconsistentlogic in respect of the incompleteness and inconsistency of theories.Necessary and sufficient conditions which relate the T1-property to theproperties of logical theories, are obtained. The result is then extendedto Hausdorff and Normal spaces. In the final section these methods areused to vary the modelling conditions for identity. (shrink)

This paper is dedicated to Newton da Costa, who,among his many achievements, was the first toaim at dualising intuitionism in order to produce paraconsistent logics,the C-systems. This paper similarly dualises intuitionism to aparaconsistent logic, but the dual is a different logic, namely closed setlogic. We study the interaction between the properties of topologicalspaces, particularly separation properties, and logical theories on thosespaces. The paper begins with a brief survey of what is known about therelation between topology and modal logic, intuitionist logic (...) and paraconsistentlogic in respect of the incompleteness and inconsistency of theories.Necessary and sufficient conditions which relate the T 1-property to theproperties of logical theories, are obtained. The result is then extendedto Hausdorff and Normal spaces. In the final section these methods areused to vary the modelling conditions for identity. (shrink)

We study the proof-theoretic strength of the Π11-separation axiom scheme, and we show that Π11-separation lies strictly in between the Δ11-comprehension and Σ11-choice axiom schemes over RCA0.

Commentators such as Kemp Smith (1941), Mendelbaum (1974), and Bricke (1980) have taken the distinctions of reason to pose either a counterexample to or a limitation of scope on the Separability Principle. This has been convincingly addressed by various accounts such as Garrett (1997), Hoffman (2011), and Baxter (2011). However, I argue in this paper that there are two notions of ‘distinction of reason’, one between particular instantiations (token distinctions of reason) and one between general ideas (type distinctions (...) of reason). Discussion of the distinctions of reason in the secondary literature has without fail focused on token distinctions of reason, but I will argue that type distinctions of reason prove problematic for Hume’s Separability Principle. I find a way around this problem that is consonant with Hume’s account of general ideas, but which can hardly be said to be an account which he explicitly or even implicitly endorsed. (shrink)

Variants of classical linear logics are presented based on the modal version of new structural rule !?mingle instead of the known rules !weakening and ?weakening. The cut-elimination theorems, the completeness theorems and a characteristic property named the mix separation principle are proved for these logics.

In this paper, I will argue that a number of Hume’s claims generate a putative inconsistency with regard to complex ideas and independent existence. I first provide a prima facie argument for the existence of this inconsistency. Then, I examine a number of attempts to rescue Hume from this problem, and argue that each of them fails, before proposing my own solution.

Einstein made several attempts to argue for the incompleteness of quantum mechanics, not all of them using a separation principle. One unpublished example, the box parable, has received increased attention in the recent literature. Though the example is tailor-made for applying a separation principle and Einstein indeed applies one, he begins his discussion without it. An analysis of this first part of the parable naturally leads to an argument for incompleteness not involving a separation principle. I discuss (...) the argument and its systematic import. Though it should be kept in mind that the argument is not the one Einstein intends, I show how it suggests itself and leads to a conflict between QM’s completeness and a physical principle more fundamental than the separation principle, i.e. a principle saying that QM should deliver probabilities for physical systems possessing properties at definite times. (shrink)

This article examines the relationship between the principle of double effect and justification for separation surgeries for conjoined twins. First, the principle of double effect is examined in light of its historical context. It is argued that it can only operate under an absolutist view of good and evil that is compatible with the Bible. Given this foundation for application, scenarios for separating conjoined twins are considered against the criteria for the principle of double effect. It is (...) concluded that the principle of double effect cannot be applied to cases wherein one of the twins must be killed. However, it is noted that this does not leave decision makers without options. (shrink)

We present a variety of (ω 1 ,∞)-distributive forcings which when applied to models of Martin's Maximum separate certain well known reflection principles. In particular, we do this for the reflection principles SR, SR α (α ≤ ω 1 ), and SRP.

We introduce three families of diagonal reflection principles for matrices of stationary sets of ordinals. We analyze both their relationships among themselves and their relationships with other known principles of simultaneous stationary reflection, the strong reflection principle, and the existence of square sequences.

The combinatorial parity principle states that there is no perfect matching on an odd number of vertices. This principle generalizes the pigeonhole principle, which states that for a fixed bipartition of the vertices, there is no perfect matching between them. Therefore, it follows from recent lower bounds for the pigeonhole principle that the parity principle requires exponential-size bounded-depth Frege proofs. Ajtai previously showed that the parity principle does not have polynomial-size bounded-depth Frege proofs even (...) with the pigeonhole principle as an axiom schema. His proof utilizes nonstandard model theory and is nonconstructive. We improve Ajtai's lower bound from barely superpolynomial to exponential and eliminate the nonstandard model theory. Our lower bound is also related to the inherent complexity of particular search classes . In particular, oracle separations between the complexity classes PPA and PPAD, and between PPA and PPP also follow from our techniques. (shrink)

We introduce the weak partial square principles View the MathML source and View the MathML source, which combine the ideas of a weak square sequence and a partial square sequence. We construct models in which weak partial square principles fail. The main result of the paper is that □λ,κ does not imply View the MathML source.

Sources for Stoicism present conflicting accounts of the Stoic principles. Some suggest that the principles are inseparable from each other. Others suggest that they are separable. To resolve this apparent interpretive dilemma, I distinguish between the functions of the principles and the bodies that realize those functions. Although the principles cannot separate when realizing their roles, the Stoic theory of blending entails that the bodies that realize those roles are physically separable. I present a strategy for further work on the (...) principles in light of this interpretation. (shrink)

l investigate versions of the Maximality Principles for the classes of forcings which are <κ-closed. <κ-directed-closed, or of the form Col (κ. <Λ). These principles come in many variants, depending on the parameters which are allowed. I shall write MPΓ(A) for the maximality principle for forcings in Γ, with parameters from A. The main results of this paper are: • The principles have many consequences, such as <κ-closed-generic $\Sigma _{2}^{1}(H_{\kappa})$ absoluteness, and imply. e.g., that ◇κ holds. I give an (...) application to the automorphism tower problem, showing that there are Souslin trees which are able to realize any equivalence relation, and hence that there are groups whose automorphism tower is highly sensitive to forcing. • The principles can be separated into a hierarchy which is strict, for many κ. • Some of the principles can be combined, in the sense that they can hold at many different κ simultaneously. The possibilities of combining the principles are limited, though: While it is consistent that MP<κ-closed(HκT) holds at all regular κ below any fixed α. the "global" maximality principle, stating that MP<κ-closed(Hκ ∪ {κ}) holds at every regular κ. is inconsistent. In contrast to this, it is equiconsistent with ZFC that the maximality principle for directed-closed forcings without any parameters holds at every regular cardinal. It is also consistent that every local statement with parameters from HκT that's provably <κ-closed-forceably necessary is true, for all regular κ. (shrink)

We aim at developing a systematic method of separating omniscience principles by constructing Kripke models for intuitionistic predicate logic $\mathbf {IQC}$ and first-order arithmetic $\mathbf {HA}$ from a Kripke model for intuitionistic propositional logic $\mathbf {IPC}$. To this end, we introduce the notion of an extended frame, and show that each IPC-Kripke model generates an extended frame. By using the extended frame generated by an IPC-Kripke model, we give a separation theorem of a schema from a set of schemata in (...) $\mathbf {IQC}$ and a separation theorem of a sentence from a set of schemata in $\mathbf {HA}$. We see several examples which give us separations among omniscience principles. (shrink)

Separation of powers is one of the ideas with profound theoretical and practical significance, especially in the field of political science. The birth of the theory of separation of powers marked the transition from the barbaric use of power in authoritarian societies to the exercise of civilized power in democratic societies. Therefore, separation of powers is considered an objective necessity in democratic states, a condition to ensure the promotion of liberal values, and a criterion for assessing the existence and development (...) of the Rule of Law where people's sovereignty plays a paramount role. On the way to perfecting political thinking, the theory of separation of powers has developed into a complete system in the main philosophy of John Locke. Within the scope of the article, the author focuses on analyzing Locke's ideology of separation of powers in terms of the nature of separation of powers, the basis and some principles of power division, and the roles of the different parts of government power and the relationship between them. (shrink)

In his book on P max [7], Woodin presents a collection of partial orders whose extensions satisfy strong club guessing principles on ω | . In this paper we employ one of the techniques from this book to produce P max variations which separate various club guessing principles. The principle (+) and its variants are weak guessing principles which were first considered by the second author [4] while studying games of length ω | . It was shown in [1] (...) that the Continuum Hypothesis does not imply (+) and that (+) does not imply the existence of a club guessing sequence on ω | . In this paper we give an alternate proof of the second of these results, using Woodin's P max technology, showing that a strengthening of (+) does not imply a weakening of club guessing known as the Interval Hitting Principle. The main technique in this paper, in addition to the standard P m a x machinery, is the use of condensation principles to build suitable iterations. (shrink)

Separability is roughly the principle that, in comparing the value of two outcomes, one can ignore any people whose existence and welfare are unaffected. Separability is both antecedently plausible, at least as a principle of beneficence, and surprisingly powerful; it is the key to some of the best positive arguments in population ethics. This chapter surveys the motivations for and consequences of separability. In particular, it presents an ‘additivity theorem’ which explains how separability leads (...) to total utilitarianism and closely related axiological views. It then examines systematically how this family of views can avoid the Repugnant Conclusion by incorporating lexicality, a critical level, or a neutral range. (shrink)

In this paper, I accomplish a conceptual task and a historical task. The conceptual task is to argue that (1) Einstein’s Principle of Separability (henceforth “separability”) is not a supervenience principle and that (2) separability and entanglement are compatible. I support (1) by showing that the conclusion of Einstein’s incompleteness argument would still follow even if one assumes that the state of a composite system does not supervene on the states of the subsystems, and by (...) showing that what Einstein says in “Quantum Mechanics and Reality” (1948) strongly suggests that separability is not a principle about how subsystem states relate to the state of composite systems. I support (2) by showing that if separability was incompatible with entanglement, then Einstein’s argument would be incoherent in a trivial way. Thus, by arguing for (1) and (2) I directly challenge what has been, and still is, a very common reading of separability. The historical task is to offer the first detailed review of the different ways in which separability has been defined by physicists and philosophers in the last 60 years. Among other things, such a review distinguishes three different definitions of the principle, and shows that since the 1990s and up until the present date, it became standard to take separability (as presented by Einstein) to be a supervenience principle. (shrink)

We discuss the proposal by Sebens and Carroll to derive the Born rule in Everettian quantum mechanics from a principle they call ‘ESP-QM’. We argue that the proposal fails: ESP-QM is not, as Sebens and Carroll argue, a ‘less general version’ of an independently plausible principle, ESP, and can only be motivated by the empirical success of quantum mechanics, including use of the Born rule. Therefore, ESP-QM cannot have the status of a meta-theoretical principle of reasoning and (...) provides no viable basis for deriving the Born rule. (shrink)

This chapter explains that the principle of personal good is a principle of separability in the dimension of people. Together with the coherence of good, it provides a basis for applying the separability theorem across the two dimensions of people and states of nature. This chapter starts by qualifying the principle of personal good in some ways, and explains the defence of the principle. One possible line of defence is metaphysical. It is to argue (...) that suprapersonal entities such as nations are simply aggregates of people, and therefore cannot possess a good of their own apart from the good of the people who make them up. The principle is intended to apply to probability‐relative goodness to the goodness of uncertain prospects. The chapter defends it as applied to outcomes, and then extends the argument to probability‐relative goodness. An argument is certainly needed to justify the principle of personal good for probability‐relative goodness. (shrink)

Simon May has argued that the notion of a principled compromise is incoherent. Reasons to compromise are always in his view strategic: though we think that the position we defend is still the right one, we compromise on this view in order to avoid the undesirable consequences that might flow from not compromising. I argue against May that there are indeed often principled reasons to compromise, and that these reasons are in fact multiple. First, compromises evince respect for persons that (...) we have reason to think of as our epistemic peers, and acknowledgement of our own finitudes as moral reasoners. Second, compromises are often made morally necessary by the shortfalls that unavoidably separate democratic institutions from democratic ideals. Third, compromises express a desirable form of democratic community. And fourth, compromises are often justified from a consequentialist point of view, in that they allow for the realization of values that would not be realized as well by the failure to compromise. (shrink)

This paper addresses arguments that “separability” is an assumption of Bell’s theorem, and that abandoning this assumption in our interpretation of quantum mechanics (a position sometimes referred to as “holism”) will allow us to restore a satisfying locality principle. Separability here means that all events associated to the union of some set of disjoint regions are combinations of events associated to each region taken separately.In this article, it is shown that: (a) localised events can be consistently defined (...) without implying separability; (b) the definition of Bell’s locality condition does not rely on separability in any way; (c) the proof of Bell’s theorem does not use separability as an assumption. If, inspired by considerations of non-separability, the assumptions of Bell’s theorem are weakened, what remains no longer embodies the locality principle. Teller’s argument for “relational holism” and Howard’s arguments concerning separability are criticised in the light of these results. Howard’s claim that Einstein grounded his arguments on the incompleteness of QM with a separability assumption is also challenged. Instead, Einstein is better interpreted as referring merely to the existence of localised events. Finally, it is argued that Bell rejected the idea that separability is an assumption of his theorem. (shrink)

This paper proves exponential separations between depth d-LK and depth -LK for every utilizing the order induction principle. As a consequence, we obtain an exponential separation between depth d-LK and depth -LK for . We investigate the relationship between the sequence-size, tree-size and height of depth d-LK-derivations for , and describe transformations between them. We define a general method to lift principles requiring exponential tree-size -LK-refutations for to principles requiring exponential sequence-size d-LK-refutations, which will be described for the Ramsey (...) principle and d=0. From this we also deduce width lower bounds for resolution refutations of the Ramsey principle. (shrink)

F. H. Bradley (1846–1924) was the foremost philosopher of the British Idealist school, which came to prominence in the second half of the nineteenth century and remained influential into the first half of the twentieth. Bradley, who was influenced by Hegel and also reacted against utilitarianism, was recognised during his lifetime as one of the greatest intellectuals of his generation, and was the first philosopher to receive the Order of Merit, in 1924. In this major work, originally published in 1883, (...) Bradley discusses the basic principles of logic: judgment and inference. He rejects the idea of a separation between mind and body, arguing that human thought cannot be separated from its worldly context. In the second edition, published in 1922 and reissued here, Bradley added a commentary and essays, but left the text largely unaltered. Volume 1 contains Book 1 on judgment and Book 2 on inference. (shrink)

Exploring Aristotle's philosophical method and the merits of his conclusions, Irwin here shows how Aristotle defends dialectic against the objection that it cannot justify a metaphysical realist's claims. He focuses particularly on Aristotle's metaphysics, epistemology, philosophy of mind, and ethics, stressing the connections between doctrines that are often discussed separately.

In morally grounding a public justification requirement, public reason liberals frequently invoke the idea that persons should be construed as “free and equal.” But this tells us little with regard to what it is about us that makes us free or how a claim about our status as persons can ultimately ground a requirement of public justification. In light of this worry, I argue that a public justification requirement can be grounded in a Nozick-inspired argument from the separateness of persons (...) (one that is consistent with the idea that individuals are free and equal). As I claim, one particular feature of the fact of our separateness – the possession of a basic psychology consisting of beliefs, intentions, sentiments, and a variety of desire-like psychological states – does the most work in grounding both a principle of liberty (PL) and a requirement of public justification (RPJ). Together, PL and RPJ provide the basic framework for a theory of public reason liberalism. (shrink)

The Cartesian concept of nature, which has determined modern thinking until the present time, has become obsolete. It shall be shown that Hegel's objective-idealistic conception of nature discloses, in comparison to that of Descartes, new perspectives for the comprehension of nature and that this, in turn, results in possibilities of actualizing Hegel's philosophy of nature. If the argumentation concerning philosophy of nature is intended to catch up with the concrete Being-of-nature and to meet it in its concretion, then this is (...) impossible for the finite spirit in a strictly a priori sense – this is the thesis supported here which is not at all close to Hegel. As the argumentation rather has to consider the conditions of realization concerning the Being-of-nature, too, it is compelled to take up empirical elements – concerning the organism, for instance, system-theoretical aspects, physical and chemical features of the nervous system, etc. With that, on the one hand, empirical-scientific premises are assumed (e.g. the lawlikeness of nature), which on the other hand become (now close to Hegel) possibly able to be founded in the frame of a Hegelian-idealistic conception. In this sense, a double strategy of empirical-scientific concretization and objective-idealistic foundation is followed up, which represents the methodical basic principle of the developed considerations. In the course of the undertaking, the main aspects of the whole Hegelian design concerning the philosophy of nature are considered – space and time, mass and motion, force and law of nature, the organism, the pro-blem of evolution, psychic being – as well as Hegel's basic thesis concerning the philosophy of nature, that therein a tendency toward coherence and idealization manifests itself in the sense of a (categorically) gradually rising succession of nature: from the separateness of space to the ideality of sensation. In the sense of the double strategy of concretization and foundation it is shown that on the one hand possibilities of philosophical penetration concerning actual empirical-scientific results are opened, and on the other hand – in turn – a re-interpretation of Hegel's theorem on the basis of physical, evolution-theoretical and system-theoretical argumentation also becomes possible. In this mutual crossing-over and elucidation of empirical and Hegelian argumentation not only do perspectives of a new comprehension of nature become visible, but also, at the same time – as an essential consequence of this methodical principle – thoughts on the possibilities of actualizing Hegel's philosophy of nature. (shrink)

Revenues from television spot-advertising can be viewed as a kind of indirect financing of editorial content. This applies still further to endeavours to incorporate advertising messages into programming. In order to identify problems associated with doing away with the separation principle, it is meaningful to adopt a perspective that brings together theories and findings which are genuinely embedded in economics and communication science. Such a perspective shows that appealing to the self-regulating forces of the market is nonsensical in a (...) sector where market failure is the rule as opposed to the exception. And when it comes to media competence of television viewers, audience research and research on media effects indicates that expectations with respect to the advertising effectiveness of product placement are unlikely to be met. (shrink)