Relative Necessity Reformulated

This paper discusses some serious difficulties for what we shall call the standard account of various kinds of relative necessity, according to which any given kind of relative necessity may be defined by a strict conditional - necessarily, if C then p - where C is a suitable constant proposition, such as a conjunction of physical laws. We argue, with the help of Humberstone (1981), that the standard account has several unpalatable consequences. We argue that Humberstone's alternative account has certain disadvantages, and offer another - considerably simpler - solution

Non-Epicurean Desires

In this paper, it is argued that there can be necessary and non-natural desires. After a discussion about what seems wrong with such desires, Epicurus’ classification of desires is treated similarly to Kripke’s treatment of the Kantian table of judgments. A sample of three cases is suggested to make this point

Border Tax Adjustments: A feasible way to address nonparticipation in Emission Trading

CO2 emission certificates internalise effects of fossil fuel consumption on global climate and sea levels. If they are only implemented in some countries, then their effectiveness is limited; Consumption, production and investment decisions do not reach the optimal allocation, production with inefficient technologies in non-participating countries can even be increased. Furthermore industry lobbying might result in limited application of CO2 emission certificates or less ambitious reduction targets. Border tax adjustment at the level of additional costs incurred for procurement of CO2 emission permits during production of processed materials using best available technology limits the distortions. We show that it can be compatible with WTO constraints. Crucial features of a practicable implementation are simplicity achieved by a focus on the CO2 emissions caused by processed materials and a separate treatment of electric energy input to take account of regionally varying fuel mixes

Clauses as Semantic Predicates: Difficulties for Possible-Worlds Semantics

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instea

Invariance Conditions for Nonlinear Dynamical Systems

Recently, Horv\'ath, Song, and Terlaky [\emph{A novel unified approach to invariance condition of dynamical system, submitted to Applied Mathematics and Computation}] proposed a novel unified approach to study, i.e., invariance conditions, sufficient and necessary conditions, under which some convex sets are invariant sets for linear dynamical systems. In this paper, by utilizing analogous methodology, we generalize the results for nonlinear dynamical systems. First, the Theorems of Alternatives, i.e., the nonlinear Farkas lemma and the \emph{S}-lemma, together with Nagumo's Theorem are utilized to derive invariance conditions for discrete and continuous systems. Only standard assumptions are needed to establish invariance of broadly used convex sets, including polyhedral and ellipsoidal sets. Second, we establish an optimization framework to computationally verify the derived invariance conditions. Finally, we derive analogous invariance conditions without any conditions

Offline and online data: on upgrading functional information to knowledge

This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle of truth in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories

Flux lattices reformulated

We theoretically explore the optical flux lattices produced for ultra-cold atoms subject to laser fields where both the atom-light coupling and the effective detuning are spatially periodic. We analyze the geometric vector potential and the magnetic flux it generates, as well as the accompanying geometric scalar potential. We show how to understand the gauge-dependent Aharonov-Bohm singularities in the vector potential, and calculate the continuous magnetic flux through the elementary cell in terms of these singularities. The analysis is illustrated with a square optical flux lattice. We conclude with an explicit laser configuration yielding such a lattice using a set of five properly chosen beams with two counterpropagating pairs (one along the x axes and the other y axes), together with a single beam along the z axis. We show that this lattice is not phase-stable, and identify the one phase-difference that affects the magnetic flux. Thus armed with realistic laser setup, we directly compute the Chern number of the lowest Bloch band to identify the region where the non- zero magnetic flux produces a topologically non-trivial band structure.Comment: 22 pages, 7 figure