We work with symmetric extensions based on Lévy collapse and extend a few results of Apter, Cody, and Koepke. We prove a conjecture of Dimitriou from her Ph.D. thesis. We also observe that if V is a model of $$\textsf {ZFC}$$ ZFC, then $$\textsf {DC}_{<\kappa }$$ DC < κ can be preserved in the symmetric extension of V in terms of symmetric system $$\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle $$ ⟨ P, G, F ⟩, if $${\mathbb {P}}$$ (...) P is $$\kappa $$ κ -distributive and $${\mathcal {F}}$$ F is $$\kappa $$ κ -complete. Further we observe that if $$\delta <\kappa $$ δ < κ and V is a model of $$\textsf {ZF}+\textsf {DC}_{\delta }$$ ZF + DC δ, then $$\textsf {DC}_{\delta }$$ DC δ can be preserved in the symmetric extension of V in terms of symmetric system $$\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle $$ ⟨ P, G, F ⟩, if $${\mathbb {P}}$$ P is ($$\delta +1$$ δ + 1 )-strategically closed and $${\mathcal {F}}$$ F is $$\kappa $$ κ -complete. (shrink)

We improve on results and constructions by Apter, Dimitriou, Gitik, Hayut, Karagila, and Koepke concerning large cardinals, ultrafilters, and cofinalities without the axiom of choice. In particular, we show the consistency of the following statements from certain assumptions: the first supercompact cardinal can be the first uncountable regular cardinal, all successors of regular cardinals are Ramsey, every sequence of stationary sets in is mutually stationary, an infinitary Chang conjecture holds for the cardinals, and all are singular. In each of the (...) cases, our results either weaken the hypotheses or strengthen the conclusions of known proofs. (shrink)

Sureson, C., Symmetric submodels of a Cohen generic extension, Annals of Pure and Applied Logic 58 247–261. We study some symmetric submodels of a Cohen generic extension and the satisfaction of several properties ) which strongly violate the axiom of choice.

Alonso-Meijide and Fiestras-Janeiro (2002, Annals of Operations Research 109, 213–227) proposed a modification of the Banzhaf value for games where a coalition structure is given. In this paper we present a method to compute this value by means of the multilinear extension of the game. A real-world numerical example illustrates the application procedure.

Gödel logic is the extension of intuitionistic logic by the linearity axiom. Symmetric Gödel logic is a logical system, the language of which is an enrichment of the language of Gödel logic with their dual logical connectives. Symmetric Gödel logic is the extension of symmetric intuitionistic logic. The proof-intuitionistic calculus, the language of which is an enrichment of the language of intuitionistic logic by modal operator was investigated by Kuznetsov and Muravitsky. Bimodal symmetric Gödel (...) logic is a logical system, the language of which is an enrichment of the language of Gödel logic with their dual logical connectives and two modal operators. Bimodal symmetric Gödel logic is embedded into an extension of Gödel–Löb logic, the language of which contains disjunction, conjunction, negation and two modal operators. The variety of bimodal symmetric Gödel algebras, that represent the algebraic counterparts of bimodal symmetric Gödel logic, is investigated. Description of free algebras and characterization of projective algebras in the variety of bimodal symmetric Gödel algebras is given. All finitely generated projective bimodal symmetric Gödel algebras are infinite, while finitely generated projective symmetric Gödel algebras are finite. (shrink)

The usual representation of quantum algorithms is limited to the process of solving the problem. We extend it to the process of setting the problem. Bob, the problem setter, selects a problem-setting by the initial measurement. Alice, the problem solver, unitarily computes the corresponding solution and reads it by the final measurement. This simple extension creates a new perspective from which to see the quantum algorithm. First, it highlights the relevance of time-symmetric quantum mechanics to quantum computation: the (...) problem-setting and problem solution, in their quantum version, constitute pre- and post-selection, hence the process as a whole is bound to be affected by both boundary conditions. Second, it forces us to enter into relational quantum mechanics. There must be a representation of the quantum algorithm with respect to Bob, and another one with respect to Alice, from whom the outcome of the initial measurement, specifying the setting and thus the solution of the problem, must be concealed. Time-symmetrizing the quantum algorithm to take into account both boundary conditions leaves the representation to Bob unaltered. It shows that the representation to Alice is a sum over histories in each of which she remains shielded from the information coming to her from the initial measurement, not from that coming to her backwards in time from the final measurement. In retrospect, all is as if she knew in advance, before performing her problem-solving action, half of the information that specifies the solution of the problem she will read in the future and could use this information to reach the solution with fewer computation steps. This elucidates the quantum computational speedup in all the quantum algorithms examined. (shrink)

Let ${\mathfrak{M}}$ be a nonstandard model of Peano Arithmetic with domain M and let ${n \in M}$ be nonstandard. We study the symmetric and alternating groups S n and A n of permutations of the set ${\{0,1,\ldots,n-1\}}$ internal to ${\mathfrak{M}}$ , and classify all their normal subgroups, identifying many externally defined such normal subgroups in the process. We provide evidence that A n and S n are not split extensions by these normal subgroups, by showing that any such complement (...) if it exists, cannot be a limit of definable sets. We conclude by identifying an ${\mathbb{R}}$ -valued metric on ${\tilde{S}_n = S_n /B_S}$ and ${\tilde{A}_n = A_n /B_A}$ (where B S , B A are the maximal normal subgroups of S n and A n identified earlier) making these groups into topological groups, and by showing that if ${\mathfrak{M}}$ is ${\mathfrak\aleph_1}$ -saturated then ${\tilde{S}_n}$ and ${\tilde{A}_n}$ are complete with respect to this metric. (shrink)

Machine learning, deep learning and neural networks are extensively applied for the development of many fields. Though their technologies are improved greatly, they are often said to be opaque in terms of explainability. Their explainable neural functions will be essential to realization in the networks. In this paper, it is shown that the bio-inspired networks are useful for the explanation of tracking and classification of features. First, the asymmetric network with nonlinear functions is created based on the bio-inspired retinal network. (...) They have orthogonal properties useful for the tracking of features compared with the conventional symmetric networks, which is also proposed on the biological functions. Next, the analysis for the independence of the subspaces between the Fourier bases and the asymmetric network bases is performed. It was that the asymmetric networks have better performances in the classification compared with the symmetric ones. Further, the layered asymmetric networks generate the higher dimensional orthogonal bases that improve the classification accuracies by the replacements of bases. Finally, we classified Reuters collections data applying the explainable processing steps, which consist of the linear discriminations and the sparse coding with nearest neighbor relation for classification. (shrink)

The problem that underlies Rawls' The Law of Peoples is the problem of how something particular—western— may become universal and human. Rawls claims that he solves this problem by means of extending particular western rights to other non western peoples. The extension of western liberal rights is done by a second original position similar to the first one in A Theory of Justice. The paper tries to prove that the second original position, in its second step, is not similar (...) to the first one and the parties taking part in this second original position are not symmetrically situated. Rawls' proposal falls into ethnocentrism and eurocentrism. The only way to transform particular rights into universal rights is by means of a universal multicultural dialogue where all peoples can make proposals and listen to other peoples' proposals. (shrink)

In this note we introduce the notion of K–player additive extension of a symmetric two-player game and prove a result relating the equilibria in mixed strategies in the two games. Then we apply the result to the Borda electoral competition game.

In this note we introduce the notion of K–player additive extension of a symmetric two-player game and prove a result relating the equilibria in mixed strategies in the two games. Then we apply the result to the Borda electoral competition game.

The problem that underlies Rawls' The Law of Peoples is the problem of how something particular—western— may become universal and human. Rawls claims that he solves this problem by means of extending particular western rights to other non western peoples. The extension of western liberal rights is done by a second original position similar to the first one in A Theory of Justice. The paper tries to prove that the second original position, in its second step, is not similar (...) to the first one and the parties taking part in this second original position are not symmetrically situated. Rawls' proposal falls into ethnocentrism and eurocentrism. The only way to transform particular rights into universal rights is by means of a universal multicultural dialogue where all peoples can make proposals and listen to other peoples' proposals. (shrink)

There has been a lot of interest in generalizing orthodox quantum mechanics to include POV measures as observables, namely as unsharp obserrables. Such POV measures are related to symmetric operators. We have argued recently that only maximal symmetric operators should describe observables.1 This generalization to maximal symmetric operators has many physical applications. One application is in the area of quantization. We shall discuss a scheme, to he called quantization by parts,which can systematically deal with what may be (...) called quantum circuits. As a specific application we shall present a novel derivation of the famous Josephson equation for the supercurrent through a Josephson junction in a superconducting circuit. An interesting effect emerges from our quantization scheme when applied to a superconducting Y-shape circuit configuration. We also propose an experimental test for this effect which is expected to shed light on some conceptual problems on the quantum nature of the condensate. (shrink)

In this paper we present a concept of similarity in games, on which to ground alternative solution concepts, some of which differ from the classical notions in the field. In order to do this we impose a constraint on players’ beliefs that amounts to a variant of the well-known symmetry principle in classical bargaining theory. We show how this similarity relation helps to identify different Nash equilibria in games, and how these “similar Nash equilibria” can be extended to non-symmetric (...) games. While the notion is normative, it is nonetheless inspired by phenomena in which similarities between players lead to outcomes detected in behavioral studies. We study the strategic properties of the concept of similarity and discuss its relationships with Hofstadter’ notion of superrationality. (shrink)

J. L. Krivine developed a new method based on realizability to construct models of set theory where the axiom of choice fails. We attempt to recreate his results in classical settings, i.e., symmetric extensions. We also provide a new condition for preserving well ordered, and other particular type of choice, in the general settings of symmetric extensions.

We present some interesting connections between PT symmetry and conformal symmetry. We use them to develop a metricated theory of electromagnetism in which the electromagnetic field is present in the geometric connection. However, unlike Weyl who first advanced this possibility, we do not take the connection to be real but to instead be PT symmetric, with it being \ rather than \ itself that then appears in the connection. With this modification the standard minimal coupling of electromagnetism to fermions (...) is obtained. Through the use of torsion we obtain a metricated theory of electromagnetism that treats its electric and magnetic sectors symmetrically, with a conformal invariant theory of gravity being found to emerge. An extension to the non-Abelian case is provided. (shrink)

There is a partial order ${\mathbb{P}}$ preserving stationary subsets of ω 1 and forcing that every partial order in the ground model V that collapses a sufficiently large ordinal to ω 1 over V also collapses ω 1 over ${V^{\mathbb{P}}}$ . The proof of this uses a coding of reals into ordinals by proper forcing discovered by Justin Moore and a symmetric extension of the universe in which the Axiom of Choice fails. Also, using one feature of the (...) proof of the above result together with an argument involving the stationary tower it is shown that sometimes, after adding one Cohen real c, there are, for every real a in V[c], sets A and B such that c is Cohen generic over both L[A] and L[B] but a is constructible from A together with B. (shrink)

In this paper we propose to enrich the four-valued modal logic associated to Monteiro's Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta-theorem holds in the resulting logic. All this lead us to establish some new connections between TMAs, symmetric (or involutive) Boolean algebras, and modal algebras for extensions of S5, as well as their logical counterparts.

Ideal theory has been extensively contested on the grounds that it is ideology: namely, that it performs the distorting social role of reifying and enforcing unjust features of the status quo. Indeed, a growing number of philosophers adopt a nonideal methodology—which dispenses with ideal theory—because of this ideology critique. I argue, however, that such philosophers are confused about the ultimate dialectical upshot of this critique even if it succeeds. I do so by constructing a parallel—equally plausible—ideology critique of nonideal methodology; (...) specifically, I argue that capitalist and managerial social attitudes have commodified people’s conception of justice and induced suspicion of ideal theory, which is not construed as having direct practical value. Consequently, nonideal methodology performs the distorting role of reifying and enforcing the hegemonies of capitalism and managerialism. Ideal theory and nonideal methodology are, therefore, in symmetrically bad positions. (shrink)

Several extensions of Gödel's system TT with new forms of recursion have been designed for the purpose of giving a computational interpretation to classical analysis. One can organise many of these extensions into two groups: those based on bar recursion , which include Spector's original bar recursion, modified bar recursion and the more recent products of selections functions, or those based on open recursion which in particular include the symmetric Berardi–Bezem–Coquand functional. We relate these two groups by showing that (...) both open recursion and the BBC functional are primitive recursively equivalent to a variant of modified bar recursion. Our results, in combination with existing research, essentially complete the classification up to primitive recursive equivalence of those extensions of system TT used to give a direct computational interpretation to choice principles. (shrink)

This paper deals with an (otherwise classical) two-(non-interacting) particle system immersed in a common stochastic zero-point radiation field. The treatment is an extension of the one-particle case for which it has been shown that the quantum properties of the particle emerge from its interaction with the background field under stationary and ergodic conditions. In the present case we show that non-classical correlations—describable only in terms of entanglement—arise between the (nearby) particles whenever both of them resonate to a common frequency (...) of the field. For identical particles the entanglement becomes maximum and must be described by totally (anti)symmetric states. (shrink)

The axiom of dependent choice ( $\mathsf {DC}$ ) and the axiom of countable choice ( ${\mathsf {AC}}_\omega $ ) are two weak forms of the axiom of choice that can be stated for a specific set: $\mathsf {DC} ( X )$ asserts that any total binary relation on X has an infinite chain, while ${\mathsf {AC}}_\omega ( X )$ asserts that any countable collection of nonempty subsets of X has a choice function. It is well-known that $\mathsf {DC} \Rightarrow (...) {\mathsf {AC}}_\omega $. We study for which sets and under which hypotheses $\mathsf {DC} ( X ) \Rightarrow {\mathsf {AC}}_\omega ( X )$, and then we show it is consistent with $\mathsf {ZF}$ that there is a set $A \subseteq \mathbb {R}$ for which $\mathsf {DC} ( A )$ holds, but ${\mathsf {AC}}_\omega ( A )$ fails. (shrink)

This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of (...) the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators ) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators ), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames ), MT), MD), MB), MK4) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames ), MS5).Results of the second type consist of designing concrete deductive systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule, 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity. (shrink)

We show that from a supercompact cardinal $\kappa$, there is a forcing extension $V[G]$ that has a symmetric inner model $N$ in which $\mathrm {ZF}+\lnot\mathrm {AC}$ holds, $\kappa$ and $\kappa^{+}$ are both singular, and the continuum function at $\kappa$ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of $\kappa$ of length equal to any predetermined ordinal. We also show that the above situation can be collapsed to obtain a model (...) of $\mathrm {ZF}+\lnot\mathrm {AC}_{\omega}$ in which either $\aleph_{1}$ and $\aleph_{2}$ are both singular and the continuum function at $\aleph_{1}$ can be precisely controlled, or $\aleph_{\omega}$ and $\aleph_{\omega+1}$ are both singular and the continuum function at $\aleph_{\omega}$ can be precisely controlled. Additionally, we discuss a result in which we separate the lengths of sequences of distinct subsets of consecutive singular cardinals $\kappa$ and $\kappa^{+}$ in a model of $\mathrm {ZF}$. Some open questions concerning the continuum function in models of $\mathrm {ZF}$ with consecutive singular cardinals are posed. (shrink)

There is an extensive philosophical literature on the interrelated issues of identity, individuality, and distinguishability in quantum systems. A key consideration is whether quantum systems are subject to a strong form of individuality termed ``haecceity'' (from the Latin for ``this-ness''). I argue that the traditional, strong form of haecceity does not apply at the quantum level, but that in order to properly account for the need for symmetrization in quantum systems, a weaker kind of haecceity must be involved, which I (...) call quantum haecceity. In the process, I also question some generally accepted tenets of the current debate, such as the idea that symmetrization of states for identical quanta must be postulated and reflects permutation invariance. Instead, I note that a perturbative Hamiltonian is required for exchange effects, which suggests that the need for symmetrization arises from specific physical conditions. (shrink)

There is an extensive philosophical literature on the interrelated issues of identity, individuality, and distinguishability. Out of this discussion has arisen a concept called “permutation invariance” that is asserted to apply to quantum systems. I argue that in fact there is no such invariance, and that the best way to understand the permutation of labels in the symmetrized states is as an exchange of haecceities, rather than as an exchange of essences equivalent to permutation invariance. I argue that the strongest (...) notion of haecceity (i.e., "classical haecceity") does not apply at the quantum level, but that in order to properly account for the need for symmetrization in quantum systems, a weaker kind of haecceity must be involved, which I call quantum haecceity. (shrink)

: In the 1980s, the analysis of presupposition projection contributed to a ‘dynamic turn’ in semantics: the classical notion of meanings as truth conditions was replaced with a dynamic notion of meanings as Context Change Potentials. We argue that this move was misguided, and we offer an alternative in which presupposition projection follows from the combination of a fully classical semantics and a new pragmatic principle, which we call Be Articulate. This principle requires that a meaning pp’ conceptualized as involving (...) a pre-condition p should be articulated as … … rather than as … pp’ …, unless the full conjunction is ruled out because the first or the second conjunct is semantically idle. In particular, … … is infelicitous - and hence … pp’ … is acceptable - if one can determine as soon as p and is uttered that no matter how the sentence ends these words could be eliminated without affecting its contextual meaning. An equivalence theorem guarantees that this condition suffices to derive Heim’s results in almost all cases. Extensions of the condition lead to several new predictions, in particular concerning some ‘symmetric readings’, as well as presupposition projection in quantified structures, which displays a complex interaction between the nature of the trigger and the monotonicity of the quantifier. (shrink)

It is a commonplace that scientific inquiry makes extensive use of probabilities, many of which seem to be objective chances, describing features of reality that are independent of our minds. Such chances appear to have a number of paradoxical or puzzling features: they appear to be mind-independent facts, but they are intimately connected with rational psychology; they display a temporal asymmetry, but they are supposed to be grounded in physical laws that are time-symmetric; and chances are used to explain (...) and predict frequencies of events, although they cannot be reduced to those frequencies. This book offers an accessible and non-technical introduction to these and other puzzles. Toby Handfield engages with traditional metaphysics and philosophy of science, drawing upon recent work in the foundations of quantum mechanics and thermodynamics to provide a novel account of objective probability that is empirically informed without requiring specialist scientific knowledge. (shrink)

Dung’s (1995) argumentation framework takes as input two abstract entities: a set of arguments and a binary relation encoding attacks between these arguments. It returns acceptable sets of arguments, called extensions, w.r.t. a given semantics. While the abstract nature of this setting is seen as a great advantage, it induces a big gap with the application that it is used to. This raises some questions about the compatibility of the setting with a logical formalism (i.e., whether it is possible to (...) instantiate it properly from a logical knowledge base), and about the significance of the various semantics in the application context. In this paper we tackle the above questions. We first propose to fill in the previous gap by extending Dung’s (1995) framework. The idea is to consider all the ingredients involved in an argumentation process. We start with the notion of an abstract monotonic logic which consists of a language (defining the formulas) and a consequence operator. We show how to build, in a systematic way, arguments from a knowledge base formalised in such a logic. We then recall some basic postulates that any instantiation should satisfy. We study how to choose an attack relation so that the instantiation satisfies the postulates. We show that symmetric attack relations are generally not suitable. However, we identify at least one ‘appropriate’ attack relation. Next, we investigate under stable, semi-stable, preferred, grounded and ideal semantics the outputs of logic-based instantiations that satisfy the postulates. For each semantics, we delimit the number of extensions an argumentation system may have, characterise the extensions in terms of subsets of the knowledge base, and finally characterise the set of conclusions that are drawn from the knowledge base. The study reveals that stable, semi-stable and preferred semantics either lead to counter-intuitive results or provide no added value w.r.t. naive semantics. Besides, naive semantics either leads to arbitrary results or generalises the coherence-based approach initially developed by Rescher and Manor (1970). Ideal and grounded semantics either coincide and generalise the free consequence relation developed by Benferhat, Dubois, and Prade (1997), or return arbitrary results. Consequently, Dung’s (1995) framework seems problematic when applied over deductive logical formalisms. (shrink)

We considered peculiarities of the evolution of a region with sharp boundaries that is filled with a partially ionized plasma and is a part of the volume of a condensed target. The creation of such a region in the near-surface layer of the target can be related to the action of an external impulse symmetric ionizator or to the action of an intense small-extension shock wave on the target surface. We defined the conditions such that their fulfilment during (...) the establishment of the equilibrium between the Coulomb attraction of electrons and ions with atom ionization multiplicity Z* 1 and the kinetic pressure of electrons causes both the compression of this region and its ionization to the state with Z* 2 > Z* 1. The last leads to a further additional compression and ionization. Under these conditions, the spontaneous avalanche-like ionization of atoms of the target to the state of ‘‘bare’’ nuclei occurs synchronously with the avalanche-like metallization and the self-compression of the target. We showed that the avalanche-like ionization and the self-compression of the target happen in the case where the gas of degenerate electrons has drift momentum. If the region with initial ionization has the form of thin spherical layer, the process of avalanche-like ionization and self-compression of the target in this region is accompanied by the accelerated movement of the plasma layer to the target center. One of the reasons for the accelerated movement is the surface tension in a bounded domain of the nonequilibrium plasma layer neutralized by ions of the target. With increase in the velocity of movement of this layer to the target center, the additional self-compression of the system of electrons and nuclei to the state of degenerate electron gas occurs. At the leading edge of the running layer with extremely high electron density which is neutralized by nuclei of the target, the formation of a collapse of the electron--nucleus system proceeds, and the binding energy maximum for the electron--nucleus system shifts from A≈60 to A ≫ 60. This result makes possible the fast synthesis of superheavy nuclei. The decay of the collapse state, a partial restoration of the target structure, its rapid cooling, and the condensation of a part of the products of nuclear reactions happen in the target volume at the trailing edge of the moving plasma layer. Upon such a scanning propagation of the wave with high electron density, all the target substance is involved, step-by-step, to the process of nuclear transformations. At the target center, the moving plasma layer is squeezed with the formation of the state of quasistationary collapse under inertial confinement. Then the collapse state decays irreversibly. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Recovering Aquinas's Common-Good-Oriented Right of RebellionNathaniel A. MoatsIntroductionAs recent events have woefully displayed, armed rebellion is not a topic of merely theoretical interest.1 While theory seemingly has very little impact on the citizens participating in armed rebellions, theory still remains of paramount importance, providing crucial criteria to evaluate, restrain, apply, and respond to such force. Criteria such as legitimate authority, just cause, right intention, necessity, proportionality, and likelihood of (...) success have been offered by thinkers advocating "just war" theory from across diverse political, philosophical, and religious backgrounds, garnering widespread agreement over the centuries. Contemporary scholars who identify as "historically oriented" just war thinkers have continued to defend that historical tradition as a sufficient and substantial guide for contemporary practice.2 Yet some have questioned whether the it can provide useful aid for dealing with contexts of political tyranny. In a 2013 article, Valeria Morkevičius describes [End Page 175] Western culture as divided over the moral permissibility of armed rebellion, with advocates basing their views on the Enlightenment ideas found in John Locke and Jean-Jacques Rousseau, whereas traditional just war theorists have generally denied a right to armed rebellion.3 In Morkevičius's perspective, she argues that there can be justified use of armed force against tyranny and calls upon other scholars to help create a "just rebellion theory" that would "radically reimagine" traditional just war thinking.4 She claims that there is a "lack of a systematic and rigorous ethical framework for evaluating the justness of rebellions"5 and that "a new theory of just rebellion—a systematic way of evaluating the justness of real world rebellions, of determining appropriate state responses to domestic rebellions, and of weighing the pros and cons of intervention" is needed.6In line with Morkevičius' sentiments, the last ten years has seen the increasing rise of self-proclaimed just war revisionists.7 Jeff McMahan, the figurehead for this movement, claims that the classical just war criteria "can no longer stand."8 McMahan argues that traditional just war theory has [End Page 176] depicted war as a morally sui generis category of violence in which unique moral principles apply.9 The moral asymmetry of war is also reinforced by a "statist" and "collectivist" orientation that overrides the importance of individuals and their rights of life, liberty, property, and other fundamental goods. Instead of seeing war as a distinct category of violence, McMahan argues that war and self-defense are morally symmetrical. Further, he argues that combatants should be depicted as individuals distinct from their political or collective identity.10 In other words, McMahan offers a theory of war oriented around individuals and their rights based in the concept of justified self-defense.11 Extending McMahan's theory, Cécile Fabre has particularly targeted the criterion of legitimate authority as morally problematic.12 Rejecting the exclusive authorization of armed force by political authorities, she argues in favor of an individual's right to war, and by extension the right to rebellion.13 Therefore, given the historical just war tradition's emphasis on the criterion of legitimate authority (i.e., the restriction of armed force [End Page 177] to established authorities) and resistance to support armed rebellions due to the lack of recognized political leaders, revisionists conclude that traditional just war thinking is inadequate for providing contemporary guidance in the context of rebellion.14To challenge revisionist claims, I analyze Thomas Aquinas's ingenuity and relevance for future "just rebellion" thinking. First, I argue that classical just war thinking is not as antithetical to armed rebellion as suggested.15 One just rebellion theory has coexisted alongside the classical formation of just war theory, albeit often neglected or ignored by contemporary thinkers.16 It is well known that Aquinas formalized the Augustinian classical just war theory revolving around the criteria of legitimate authority, just cause, and right intention. Much less known, however, is the fact that Aquinas also crafted criteria for justified armed rebellions. While Aquinas's just war thinking rearticulates Augustine's perspective, Aquinas appropriated his mentor's views to allow for justified armed rebellions. Aquinas's originality was displayed not only in allowing justified armed... (shrink)

Few would deny that something ontologically depends on something else. Given that something depends on something, what depends on what? Huayan Buddhism 華嚴宗, a prominent Chinese Buddhist school, is known for its extensive thesis of interdependence, according to which everything depends on everything else. This intriguing thesis is entangled with seemingly paradoxical claims that everything is not only identified with everything else but also contained within it. Moreover, the radical thesis of interdependence entails that dependence is pervasive and symmetric. (...) In this paper, I first develop a contemporary interpretation of Huayan interdependence by employing the definitional account of essence and the essence-based account of dependence. Through these contemporary resources, I elucidate and unify the theses of interdependence, mutual identity, and mutual containment within Huayan Buddhism. I then propose a unique framework of ontological dependence that suggests varying degrees of ontological dependence, aimed at accommodating and explaining away our intuitions against pervasive and symmetric dependence. By contemporizing Huayan Buddhism, I explore its potential and facilitate engagement between contemporary metaphysics and Huayan Buddhism. (shrink)

Little is known about when corporate social responsibility (CSR) leads to a sustainability case (i.e., to improvements in environmental and social performance). Building on various forms of decoupling, we develop a theoretical framework for examining pathways from institutional pressures through CSR management to sustainability performance. To empirically identify such pathways, we apply fuzzy-set qualitative comparative analysis (fsQCA) to an extensive dataset from 19 large companies. We discover that different pathways are associated with environmental and social performance (non)improvements, and that pathways (...) to success and failure are for the most part not symmetrical. We identify two pathways to improved environmental performance: an exogenous and an endogenous one. We find two pathways to improved social performance that both involve integrating social responsibility into the core business. Pathways to nonimprovements are multiple, suggesting that failure can occur in a number of ways, while there are only a few pathways to sustainability performance improvements. (shrink)

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)

Every emerging technology has its pros and cons; health-conscious users pay more importance to healthy and environment-friendly technologies. Based on the UTAUT2 model, we proposed a comprehensive novel model to study the factors influencing consumers’ decision-making to adopt the technology. Compared to prior studies that focused on linear models to investigate consumers’ technology adoption intentions and use behavior. This study used a Structural Equation Modeling-fuzzy set qualitative comparative analysis approach to account for the complexity of customers’ decision-making processes in adopting (...) new technology. We collected valid responses from 830 consumers, analyzed them, and evaluated them using a deep learning SEM-fsQCA technique to capture symmetric and asymmetric relations between variables. We have extensively incorporated a health-consciousness attitude as a predictor and mediator to understand better the decision-making toward technology adoption, specifically 5G technology. All the factors tested in our model are statistically significant except the economic factors. Health-consciousness attitude and behavioral intention found significant predictors and valid mediators in the process of 5G technology adoption. FsQCA provided six configurations to achieve high 5G adoption. The findings have significant practical ramifications for telecom corporations, advertisers, government officials, and key policymakers. Additionally, the study added substantial theoretical literature to technology adoption, particularly the adoption of 5G technology. (shrink)

We elaborate Weiermann-style phase transitions for well-partial-orderings (wpo) determined by iterated finite sequences under Higman-Friedman style embedding with Gordeev’s symmetric gap condition. For every d-times iterated wpo \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}\right)}$$\end{document} in question, d > 1, we fix a natural extension of Peano Arithmetic, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T \supseteq \sf{PA}}$$\end{document}, that proves the corresponding second-order sentence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{WPO}\left({\rm S}{\textsc{eq}}^{d}, \trianglelefteq _{d}\right) }$$\end{document}. Having this we consider the following parametrized first-order slow well-partial-ordering sentence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}, r\right):}$$\end{document}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left( \forall K > 0 \right) \left( \exists M > 0\right) \left( \forall x_{0},\ldots,x_{M}\in {\rm S}\text{\textsc{eq}}^{d}\right)$$\end{document}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left( \left( \forall i\leq M\right) \left( \left| x_{i}\right| 1}$$\end{document} then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$$\end{document} is not provable in T.Moreover, by the well-known proof theoretic equivalences we can just as well replace T by PA or ACA0 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta _{1}^{1}\sf{CA}}$$\end{document}, if d = 2 and d = 3, respectively.In the limit case d → ∞ we replaceEFA-provably computable reals r by EFA-provably computable functions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${f: \mathbb{N} \rightarrow \mathbb{R}_{+}}$$\end{document} and prove analogous theorems. (In the sequel we denote by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}_{+}}$$\end{document} the set of EFA-provably computable positive reals). In the basic case T = PA we strengthen the basic phase transition result by adding the following static threshold clause\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1\right)}$$\end{document} is still provable in T = PA (actually in EFA). Furthermore we prove the following dynamic threshold clauses which, loosely speaking are obtained by replacing the static threshold t by slowly growing functions 1α given by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${1_{\alpha }\left( i\right)\,{:=}\,1+\frac{1}{H_{\alpha }^{-1}\left(i\right) }, H_{\alpha}}$$\end{document} being the familiar fast growing Hardy function and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\alpha }^{-1}\left( i\right)\,{:=}\,\rm min \left\{ j \mid H_{\alpha } \left ( j\right) \geq i \right\}}$$\end{document} the corresponding slowly growing inversion. If \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha < \varepsilon _{0}}$$\end{document}, then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1_{\alpha}\right)}$$\end{document} is provable in T = PA. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left( {\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2},1_{\varepsilon _{0}}\right)}$$\end{document} is not provable in T = PA. We conjecture that this pattern is characteristic for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T\supseteq \sf{PA}}$$\end{document} under consideration and their proof-theoretical ordinals o (T ), instead of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varepsilon _{0}}$$\end{document}. (shrink)

Two approaches to understanding the idealizations that arise in the Aharonov–Bohm effect are presented. It is argued that a common topological approach, which takes the non-simply connected electron configuration space to be an essential element in the explanation and understanding of the effect, is flawed. An alternative approach is outlined. Consequently, it is shown that the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have important implications for philosophical issues. Also, the alleged indispensable explanatory role (...) of said idealizations is examined via a minimal model explanatory scheme. Last, the idealizations involved in the AB effect are placed in a wider philosophical context via a short survey of part of the literature on infinite and essential idealizations. (shrink)

It is argued that seemingly “merely technical” issues about the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have interesting implications for foundations problems in classical and quantum physics. For example, pursuing these technical issues reveals a sense in which quantum mechanics can cure some of the forms of indeterminism that crop up in classical mechanics; and at the same time it reveals the possibility of a form of indeterminism in quantum mechanics that is quite (...) distinct from the indeterminism of state vector collapse. More generally, the examples considered indicate that the classical–quantum correspondence is more intricate and delicate than is generally appreciated. The aim of the article is to give a series of examples that reveal why the technical issues about self-adjointness are relevant to the philosophy of science and that help to make the issues accessible to philosophers of science. (shrink)

Embarrassed by the apparent rigorism Kant expresses so bluntly in 'On a Supposed Right to Lie,' numerous contemporary Kantians have attempted to show that Kant's ethics can justify lying in specific circumstances, in particular, when lying to a murderer is necessary in order to prevent her from killing another innocent person. My aim is to improve upon these efforts and show that lying to prevent the death of another innocent person could be required in Kantian terms. I argue (1) that (...) our perfect Kantian duty of self-preservation can require our lying to save our own lives when threatened with unjust aggression, and (2) that Kant's understanding of moral duty was that duties are symmetrical , such that if one has a duty to perform a given action on one's own behalf or to protect one's own rational nature, then one also has a duty to perform similar acts on other's behalf or to protect their rational nature. Thus, that the individual protected against aggression by means of deception is not oneself should be of no consequence from a Kantian perspective. Lying to the murderer is thus an extension of the Kantian requirement of self-defense. (shrink)

This paper explores the scientific viability of the concept of causality—by questioning a central element of the distinction between “fundamental” and non-fundamental physics. It will be argued that the prevalent emphasis on fundamental physics involves formalistic and idealized partial models of physical regularities abstracting from and idealizing the causal evolution of physical systems. The accepted roles of partial models and of the special sciences in the growth of knowledge help demonstrate proper limitations of the concept of fundamental physics. We expect (...) that a cause precedes its effect. But in some tension with this point, fundamental physical law is often held to be symmetrical and all-encompassing. Physical time, however, has not only measurable extension, as with spatial dimensions, it also has a direction—from the past through the present into the future. This preferred direction is time’s arrow. In spite of this standard contrast of time with space, if all the fundamental laws of physics are symmetrical, they are indifferent to time’s arrow. In consequence, excessive emphasis on the ideal of symmetrical, fundamental laws of physics generates skepticism regarding the common-sense and scientific uses of the concept of causality. The expectation has been that all physical phenomena are capable of explanation and prediction by reference to fundamental physicals laws—so that the laws and phenomena of statistical thermodynam- ics —and of the special sciences—must be derivative and/or secondary. The most important and oft repeated explanation of time’s arrow, however, is provided by the second law of thermodynamics. This paper explores the prospects for time’s arrow based on the second law. The concept of causality employed here is empirically based, though acknowledging practical scientific interests, and is linked to time’s arrow and to the thesis that there can be no causal change, in any domain of inquiry, without physical interaction. (shrink)

. In the 18th century, Gottfried Ploucquet developed a new syllogistic logic where the categorical forms are interpreted as set-theoretical identities, or diversities, between the full extension, or a non-empty part of the extension, of the subject and the predicate. With the help of two operators ‘O’ (for “Omne”) and ‘Q’ (for “Quoddam”), the UA and PA are represented as ‘O(S) – Q(P)’ and ‘Q(S) – Q(P)’, respectively, while UN and PN take the form ‘O(S) > O(P)’ and (...) ‘Q(S) > O(P)’, where ‘>’ denotes set-theoretical disjointness. The use of the symmetric operators ‘–’ and ‘>’ gave rise to a new conception of conversion which in turn lead Ploucquet to consider also the unorthodox propositions O(S) – O(P), Q(S) – O(P), O(S) > Q(P), and Q(S) > Q(P). Although Ploucquet’s critique of the traditional theory of opposition turns out to be mistaken, his theory of the “Quantification of the Predicate” is basically sound and involves an interesting “Double Square of Opposition”. (shrink)

Embarrassed by the apparent rigorism Kant expresses so bluntly in ‘On a Supposed Right to Lie,’ numerous contemporary Kantians have attempted to show that Kant’s ethics can justify lying in specific circumstances, in particular, when lying to a murderer is necessary in order to prevent her from killing another innocent person. My aim is to improve upon these efforts and show that lying to prevent the death of another innocent person could be required in Kantian terms. I argue (1) that (...) our perfect Kantian duty of self‐preservation can require our lying to save our own lives when threatened with unjust aggression, and (2) that Kant’s understanding of moral duty was that duties are symmetrical, such that if one has a duty to perform a given action on one’s own behalf or to protect one’s own rational nature, then one also has a duty to perform similar acts on other’s behalf or to protect their rational nature. Thus, that the individual protected against aggression by means of deception is not oneself should be of no consequence from a Kantian perspective. Lying to the murderer is thus an extension of the Kantian requirement of self‐defense. (shrink)

Formation of a multicellular organism is a complex process involving differentiation and morphogenesis. During early vertebrate development, the radial symmetric organization of the egg is transferred into a bilateral symmetric organism with three distinct body axes: anteroposterior (AP), dorsoventral, and left–right. Due to cellular movements and proliferation, the body elongates along the AP axis. How are these processes coupled? Two recent publications now indicate that cell migration as well as orientated cell divisions contribute to axis elongation. The processes (...) are coupled through the planar cell polarity pathway.1 At the same time, the AP axis is patterned independently of convergent extension. This process, however, is required for cell migration and represents a cue for polarized cell motility during gastrulation. Thus, it is AP polarity that instructs individual cells how to orientate with respect to the embryonic axis and provides positional information for the process of convergent extension.2 BioEssays 26:1272–1275, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

This paper explores the semantics of bare singulars in Turkish, which are unmarked for number in form, as in English, but can behave like both singular and plural terms, unlike in English. While they behave like singular terms as case-marked arguments, they are interpreted number neutrally in non-case-marked argument positions, the existential copular construction, and the predicate position. Previous accounts 20:1–15, 2010; Görgülü, in: Semantics of nouns and the specification of number in Turkish, Ph.d. thesis, Simon Fraser University, 2012) propose (...) that Turkish bare singulars denote number neutral sets and that morphologically plural marked nouns denote sets of pluralities only. This approach leads to a symmetric correlation of morphological and semantic markedness. However, in this paper, I defend a strict singular view for bare singulars and show that Turkish actually patterns with English where this correlation is exhibited asymmetrically. I claim that bare singulars in Turkish denote atomic properties and that bare plurals have a number neutral semantics as standardly assumed for English. I argue that the apparent number neutrality of bare singulars in the three cases arises via singular kind reference, which I show to extend to the phenomenon called pseudo-incorporation and a construction that I call kind specification. I argue that pseudo-incorporation occurs in non-case-marked argument positions following Öztürk and the existential copular construction, whereas kind specification is realized in the predicate position. The different behaviors of bare singulars in Turkish and English stem from the fact that singular kind reference is used more extensively in Turkish than in English. Furthermore, while there are well-known asymmetries between singular and plural kind reference cross-linguistically, Turkish manifests a more restricted distribution for bare plurals than English in the positions where pseudo-incorporation and kind specification are in evidence. I explain this as a blocking effect, specific to Turkish, by singular kind terms on plural kind terms. (shrink)

§1. I will start with a quick definition of descriptive set theory: It is the study of the structure of definable sets and functions in separable completely metrizable spaces. Such spaces are usually called Polish spaces. Typical examples are ℝn, ℂn, Hilbert space and more generally all separable Banach spaces, the Cantor space 2ℕ, the Baire space ℕℕ, the infinite symmetric group S∞, the unitary group, the group of measure preserving transformations of the unit interval, etc.In this theory sets (...) are classified in hierarchies according to the complexity of their definitions and the structure of sets in each level of these hierarchies is systematically analyzed. In the beginning we have the Borel sets in Polish spaces, obtained by starting with the open sets and closing under the operations of complementation and countable unions, and the corresponding Borel hierarchy. After this come the projective sets, obtained by starting with the Borel sets and closing under the operations of complementation and projection, and the corresponding projective hierarchy.There are also transfinite extensions of the projective hierarchy and even much more complex definable sets studied in descriptive set theory, but I will restrict myself here to Borel and projective sets, in fact just those at the first level of the projective hierarchy, i.e., the Borel (), analytic () and coanalytic () sets. (shrink)

– This paper aims to deal with an increasing securitization and criminalisation of migration in Europe highlighting ethical implications of the current surveillance-based EU migration governance. It is shown that EU member states employ surveillance regimes to control movements across borders and to restrict migrants' access to their territories. The ethical acceptability of such practices is questioned with a particular focus on the “freedom of movement”., – In order to establish the extent to which the current EU migration governance can (...) be considered ethically justifiable, the article starts out from the right to mobility as coded in the UN Declaration of Human Rights. It is shown that the current migration governance obstructs the rights specified in Articles 13 and 14. At the same time, shortcomings of the UN declaration are discussed and the need for a better protection of the freedom of movement is suggested., – It is established that human rights are such that promote normative agency and a type of rights that trump, for example, states interests in restricting access to their territories do not outweigh individuals rights to seek asylum. In order to make this relation more clear however, the right to mobility should be made symmetric, including both a right to leave and to enter (but not a right to immigrate and settle). An extensive right to freedom of movement is advocated based on the significance of mobility for normative agency. A substantial right to mobility supports the right to seek asylum., – As of yet, ethical implications of surveillance-based border control are under-researched. (shrink)

This paper introduces a possible alternative model of gravity based on the theory of fractional-dimension spaces and its applications to Newtonian gravity. In particular, Gauss’s law for gravity as well as other fundamental classical laws are extended to a D-dimensional metric space, where D can be a non-integer dimension. We show a possible connection between this Newtonian Fractional-Dimension Gravity (NFDG) and Modified Newtonian Dynamics (MOND), a leading alternative gravity model which accounts for the observed properties of galaxies and other astrophysical (...) structures without requiring the dark matter hypothesis. The MOND acceleration constant $${a_{0}} \simeq 1.2 \times 10^{-10} \text {m}\, \text{s}^{-2}$$ can be related to a natural scale length $$l_{0}$$ in NFDG, i.e., $$a_{0} \approx GM/l_{0}^{2}$$, for astrophysical structures of mass M, and the deep-MOND regime is present in regions of space where the dimension is reduced to $$D \approx 2$$. For several fundamental spherically-symmetric structures, we compare MOND results, such as the empirical Radial Acceleration Relation (RAR), circular speed plots, and logarithmic plots of the observed radial acceleration $$g_{obs}$$ vs. the baryonic radial acceleration $$g_{bar}$$, with NFDG results. We show that our model is capable of reproducing these results using a variable local dimension $$D\left( w\right)$$, where $$w =r/l_{0}$$ is a dimensionless radial coordinate. At the moment, we are unable to derive explicitly this dimension function $$D\left( w\right)$$ from first principles, but it can be obtained empirically in each case from the general RAR. Additional work on the subject, including studies of axially-symmetric structures, detailed galactic rotation curves fitting, and a possible relativistic extension, will be needed to establish NFDG as a viable alternative model of gravity. (shrink)

It is shown that the normal modal logic of two reflexive points jointed with a symmetric binary relation splits the lattice of normal extensions of the logic KTB. By this fact, it is easily seen that there exists the third largest logic in the class of all normal extensions of KTB.

It is shown that the normal modal logic of two reflexive points jointed with a symmetric binary relation splits the lattice of normal extensions of the logic KTB. By this fact, it is easily seen that there exists the third largest logic in the class of all normal extensions of KTB.