Theories, models and structures: thirty years on

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated within the partial structures formulation of the semantic or model-theoretic approach

Epistemic Pluralism

The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of epistemology, including information and justi cation. Moreover, the notion of disagreement corresponds to a set of epistemic oppositions between agents. The result is a non-standard theory of opposition for many-valued logics, rendering total and partial disagreement in terms of epistemic negation and semi-negations

Modality, Potentiality and Contradiction in Quantum Mechanics

In [11], Newton da Costa together with the author of this paper argued in favor of the possibility to consider quantum superpositions in terms of a paraconsistent approach. We claimed that, even though most interpretations of quantum mechanics (QM) attempt to escape contradictions, there are many hints that indicate it could be worth while to engage in a research of this kind. Recently, Arenhart and Krause [1, 2, 3] have raised several arguments against this approach and claimed that, taking into account the square of opposition, quantum superpositions are better understood in terms of contrariety propositions rather than contradictory propositions. In [17] we defended the Paraconsistent Approach to Quantum Superpositions (PAQS) and provided arguments in favor of its development. In the present paper we attempt to analyze the meanings of modality, potentiality and contradiction in QM, and provide further arguments of why the PAQS is better suited, than the Contrariety Approach to Quantum Superpositions (CAQS) proposed by Arenhart and Krause, to face the interpretational questions that quantum technology is forcing us to consider.Comment: Published in: New Directions in Paraconsistent Logic, J-Y B\'eziau M. Chakraborty & S. Dutta (Eds.), Springer, in press. arXiv admin note: text overlap with arXiv:1404.518

International conference on software engineering and knowledge engineering: Session chair

The Thirtieth International Conference on Software Engineering and Knowledge Engineering (SEKE 2018) will be held at the Hotel Pullman, San Francisco Bay, USA, from July 1 to July 3, 2018. SEKE2018 will also be dedicated in memory of Professor Lofti Zadeh, a great scholar, pioneer and leader in fuzzy sets theory and soft computing. The conference aims at bringing together experts in software engineering and knowledge engineering to discuss on relevant results in either software engineering or knowledge engineering or both. Special emphasis will be put on the transference of methods between both domains. The theme this year is soft computing in software engineering & knowledge engineering. Submission of papers and demos are both welcome

A model-theoretic account of representation (or, I don't know much about art … but I know it involves isomorphism)

Discussions of representation in science tend to draw on examples from art. However, such examples need to be handled with care given a) the differences between works of art and scientific theories and b) the accommodation of these examples within certain philosophies of art. I shall examine the claim that isomorphism is neither necessary nor sufficient for representation and I shall argue that there exist accounts of representation in both art and science involving isomorphism which accommodate the apparent counterexamples and, moreover, allow us to understand how ‘‘impossible’’ artistic objects and inconsistent scientific theories can be said to represent

On representing the relationship between the mathematical and the empirical

We examine, from the partial structures perspective, two forms of applicability of mathematics: at the “bottom” level, the applicability of theoretical structures to the “appearances”, and at the “top” level, the applicability of mathematical to physical theories. We argue that, to accommodate these two forms of applicability, the partial structures approach needs to be extended to include a notion of “partial homomorphism”. As a case study, we present London’s analysis of the superfluid behavior of liquid helium in terms of Bose-Einstein statistics. This involved both the introduction of group theory at the top level, and some modeling at the “phenomenological” level, and thus provides a nice example of the relationships we are interested in. We conclude with a discussion of the “autonomy” of London’s model

Access and allocation in global biodiversity governance: a review

Access and allocation is one of the five analytical themes of the science plan of the Earth System Governance (ESG) project. Concerns over access and allocation are at the core of struggles and conflicts brought about by the often ineluctable trade-offs related to biodiversity conservation and the global, national and local governance systems that aim to contribute to global biodiversity conservation. Access and benefit-sharing mechanisms, integrated conservation and development projects, payments for ecosystem services or community conservation programmes have all tried balancing environmental objectives with concerns for the allocation of natural resources and associated rights within society, and for access to basic human needs. As a contribution to this special issue on access and allocation, this paper aims to contribute to the analysis of the relevance of questions of access and allocation to ESG by providing an in-depth review of the literature on access and allocation in biodiversity conservation at different scales. We describe how the concepts of access and allocation have been used and conceptualized in the literature produced between 2008 and 2018, and we discuss the two key issues which dominate the literature (1) benefit-sharing; and (2) the role of local institutions. By drawing on the trends and evidence from the literature, we consider the lessons for the next generation of ESG scholars and draw out some key policy implications to be included in the debates on the post-2020 strategic plan for biodiversity

Revisiting the Cosmological Constraints on the Interacting Dark Energy Models

In this work, we consider the cosmological constraints on the interacting dark energy models. We generalize the models considered previously by Guo {\it et al.}, Costa and Alcaniz, and try to discuss two general types of models: type I models are characterized by $\rho_{_X}/\rho_m=f(a)$ and $f(a)$ can be any function of scale factor $a$, whereas type II models are characterized by $\rho_m=\rho_{m0}\,a^{-3+\epsilon(a)}$ and $\epsilon(a)$ can be any function of $a$. We obtain the cosmological constraints on the type I and II models with power-law, CPL-like, logarithmic $f(a)$ and $\epsilon(a)$ by using the latest observational data.Comment: 15 pages, 1 table, 6 figures, revtex4; v2: discussions added, Phys. Lett. B in press; v3: published versio

The Paraconsistent Approach to Quantum Superpositions Reloaded: Formalizing Contradictory Powers in the Potential Realm

In [7] the authors of this paper argued in favor of the possibility to consider a Paraconsistent Approach to Quantum Superpositions (PAQS). We claimed that, even though most interpretations of quantum mechanics (QM) attempt to escape contradictions, there are many hints -coming from present technical and experimental developments in QM- that indicate it could be worth while to engage in a research of this kind. Recently, Arenhart and Krause have raised several arguments against the PAQS [1, 2, 3]. In [11, 12] it was argued that their reasoning presupposes a metaphysical stance according to which the physical representation of reality must be exclusively considered in terms of the equation: Actuality = Reality. However, from a different metaphysical standpoint their problems disappear. It was also argued that, if we accept the idea that quantum superpositions exist in a (contradictory) potential realm, it makes perfect sense to develop QM in terms of a paraconsistent approach and claim that quantum superpositions are contradictory, contextual existents. Following these ideas, and taking as a standpoint an interpretation in terms of the physical notions of power and potentia put forward in [10, 12, 15], we present a paraconsistent formalization of quantum superpositions that attempts to capture the main features of QM.Comment: 26 pages, no figures. arXiv admin note: substantial text overlap with arXiv:1502.05081, arXiv:1404.5186, arXiv:1506.0737