In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

We discuss a reconstruction of standard quantum mechanics assuming indistinguishability right from the start, by appealing to quasi-set theory. After recalling the fundamental aspects of theconstruction and introducing some improvements in the original formulation, we extract some conclusions for the interpretation of quantum theory -/- .

Mereology deals with the study of the relations between wholes and parts. In this work we will discuss different developments and open problems related to the formulation of a quantum mereology. In particular, we will discuss different advances in the development of formal systems aimed to describe the whole-parts relationship in the context of quantum theory.

We discuss the mathematical structures that underlie quantum probabilities. More specifically, we explore possible connections between logic, geometry and probability theory. We propose an interpretation that generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories. We stress the relevance of developing a geometrical interpretation of quantum mechanics.

We study the origin of quantum probabilities as arising from non-Boolean propositional-operational structures. We apply the method developed by Cox to non distributive lattices and develop an alternative formulation of non-Kolmogorovian probability measures for quantum mechanics. By generalizing the method presented in previous works, we outline a general framework for the deduction of probabilities in general propositional structures represented by lattices (including the non-distributive case).

In this work, we focus on the philosophical aspects and technical challenges that underlie the axiomatization of the non-Kolmogorovian probability framework, in connection with the problem of quantum contextuality. This fundamental feature of quantum theory has received a lot of attention recently, given that it might be connected to the speed-up of quantum computers—a phenomenon that is not fully understood. Although this problem has been extensively studied in the physics community, there are still many philosophical questions that should be properly (...) formulated. We analyzed different problems from a conceptual standpoint using the non-Kolmogorovian probability approach as a technical tool. (shrink)

We present a generalization of the problem of pattern recognition to arbitrary probabilistic models. This version deals with the problem of recognizing an individual pattern among a family of different species or classes of objects which obey probabilistic laws which do not comply with Kolmogorov’s axioms. We show that such a scenario accommodates many important examples, and in particular, we provide a rigorous definition of the classical and the quantum pattern recognition problems, respectively. Our framework allows for the introduction of (...) non-trivial correlations between the different species involved, opening the door to a new way of harnessing these physical resources for solving pattern recognition problems. Finally, we present some examples and discuss the computational complexity of the quantum pattern recognition problem, showing that the most important quantum computation algorithms can be described as non-Kolmogorovian pattern recognition problems. (shrink)

We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories.

En este artículo, analizamos el significado de las matrices densidad en el formalismo de la mecánica cuántica. Discutimos el problema de los "sistemas cuánticos compuestos" en la lógica cuántica así como también la interpretación de las mezclas impropias. Tomando en cuenta el desarrollo de la lógica cuántica convexa, presentamos un análisis de la estructura formal de la teoría que, argumentaremos, debe ser considerado a la hora de desarrollar un nuevo esquema conceptual para la interpretación de las mezclas cuánticas. In this (...) article, we analyze the meaning of density matrices within the formalism of quantum mechanics. We discuss the problem of compound systems in the context of quantum logic as well as the interpretation of improper mixtures. Taking into account the development of convex quantum logic, we present an analysis of the formal structure of the theory which we will argue, must be taken into account when developing a new conceptual scheme for the interpretation of quantum mixtures. (shrink)

We discuss generalized pobabilistic models for which states not necessarily obey Kolmogorov's axioms of probability. We study the relationship between properties and probabilistic measures in this setting, and explore some possible interpretations of these measures.

In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical particles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of indistinguishable particles, and draw possible philosophical implications. We also review some proposals available in the literature (...) which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a lattice theoretical structure for identical particles for the finite dimensional case. This kind of approach was not present in the scarcely literature of quantum logic and indistinguishable particles. (shrink)

Despite of its formal precision and its great many applications, Shannon’s theory still offers an active terrain of debate when the interpretation of its main concepts is the task at issue. In this article we try to analyze certain points that still remain obscure or matter of discussion, and whose elucidation contribute to the assessment of the different interpretative proposals about the concept of information. In particular, we argue for a pluralist position, according to which the different views about information (...) are no longer rival, but different interpretations of a single formal concept. (shrink)

Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. We build (...) a vector space with inner product, the Q-space, using the non-classical part of quasi-set theory, to deal with indistinguishable elements. Vectors in Q-space refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the fact of unobservability of permutations. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics. (shrink)

The concept of individuality in quantum mechanics shows radical differences from the concept of individuality in classical physics, as E. Schrödinger pointed out in the early steps of the theory. Regarding this fact, some authors suggested that quantum mechanics does not possess its own language, and therefore, quantum indistinguishability is not incorporated in the theory from the beginning. Nevertheless, it is possible to represent the idea of quantum indistinguishability with a first-order language using quasiset theory (Q). In this work, we (...) show that Q cannot capture one of the most important features of quantum non-individuality, which is the fact that there are quantum systems for which particle number is not well defined. An axiomatic variant of Q, in which quasicardinal is not a primitive concept (for a kind of quasisets called finite quasisets), is also given. This result encourages the searching of theories in which the quasicardinal, being a secondary concept, stands undefined for some quasisets, besides showing explicitly that in a set theory about collections of truly indistinguishable entities, the quasicardinal needs not necessarily be a primitive concept. (shrink)

In this work, we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is done by describing quantum states as particular valuations associated with infinite non-deterministic truth tables. This allows us to introduce a natural interpretation of quantum states in terms of a non-deterministic semantics. We also provide a similar construction for arbitrary probabilistic theories based (...) in orthomodular lattices, allowing to study post-quantum models using logical techniques. (shrink)

In the present paper we develop different arguments to show that there are no reasons to consider that there exists quantum information as qualitatively different than Shannon information. There is only one kind of information, which can be coded by means of orthogonal or non-orthogonal states. The analogy between Shannon’s theory and Schumacher’s theory is confined to coding theorems. The attempt to extend the analogy beyond this original scope leads to a concept of quantum information that becomes indistinguishable from that (...) of quantum state. But information is essentially linked with communication, as it is clear in both Shannon’s and Schumacher’s proposals. If we detach information from this link, we are not talking about information but about quantum mechanics. We also stress the neutrality of information with respect to the physical theories that describe the systems used for its implementation. This view opens the way towards a non-reductive unification of physics: if different physical theories can be reconstructed on the same neutral informational basis, they could be meaningfully compared with no need of searching for reductive links among them. (shrink)

Quantum indistinguishability directly relates to the philosophical debate on the notions of identity and individuality. They are crucial for our understanding of multipartite quantum systems. Furthermore, the correct interpretation of this feature of quantum theory has implications that transcend fundamental science and philosophy, given that quantum indistinguishability is a resource in quantum information theory. Most of the conceptual analysis of quantum indistinguishability is restricted to studying the permutational invariance of quantum states, the concomitant quantum statistics and their entanglement. Here, we (...) analyse the role of indistinguishability and non-individuality in other areas of quantum theory. We start by analysing how a very peculiar use of indistinguishability underlies Feynman’s rules for summing amplitudes in interference phenomena. Next, we study how quantum indistinguishability is underestimated in several topics of debate in the quantum physics literature, such as the Einstein–Podolsky–Rosen argument, Bell’s inequalities and the Bell–Kochen–Specker theorem. Finally, we argue that an ontology of truly indistinguishable entities can serve as a basis for a quantum ontology that can give interesting answers to the interpretational problems of quantum mechanics. We claim that, in addition to superposition, contextuality and entanglement, indistinguishability (understood in a robust ontological sense) is one of the central features of quantum physics. -/- . (shrink)

In this review, we present a rigorous construction of an algebraic method for quantum unstable states, also called Gamow states. A traditional picture associates these states to vectors states called Gamow vectors. However, this has some difficulties. In particular, there is no consistent definition of mean values of observables on Gamow vectors. In this work, we present Gamow states as functionals on algebras in a consistent way. We show that Gamow states are not pure states, in spite of their representation (...) as Gamow vectors. We propose a possible way out to the construction of averages of observables on Gamow states. The formalism is intended to be presented with sufficient mathematical rigor. (shrink)

In this work, we discuss a formal way of dealing with the properties of contextual systems. Our approach is to assume that properties describing the same physical quantity, but belonging to different measurement contexts, are indistinguishable in a strong sense. To construct the formal theoretical structure, we develop a description using quasi-set theory, which is a set-theoretical framework built to describe collections of elements that violate Leibnitz's principle of identity of indiscernibles. This framework allows us to consider a new ontology (...) in order to study the properties of quantum systems. (shrink)

By elaborating on the results presented in Lógica cuántica, Nmatrices y adecuación I, here we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics based on Nmatrices. We present a proof of the impossibility of providing a functional semantics for the quantum lattice. An advantage of our proof is that it is independent of the number of truth values involved, generalizing previous works. Due to the impossibility of defining adequate (...) interpreting sets for the conjunction and disjunction (as was shown in our previous work), it follows that a homomorphism between the lattice of quantum projections and a Boolean algebra of n-elements cannot exist. (shrink)

In this paper we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics. We give a characterization of the degree of non-functionality which is compatible with the propositional structure of quantum theory, showing that having truth-functional connectives, together with some assumptions regarding the relation of logical consequence, commits us to the adequacy of the interpretation sets of these connectives. An advantage of our proof is that it is independent of (...) the number of truth values involved, generalizing previous works. We also show the failure of the adequacy of every Nmatrix that is a model of the non-distributive lattice of quantum propositions. En este trabajo discutimos las nociones de adecuación y veritativo-funcionalidad en la lógica cuántica, desde el punto de vista de una semántica no determinista. Damos una caracterización del grado de no-funcionalidad compatible con la estructura proposicional de la teoría cuántica, mostrando que tener conectivos veritativo-funcionales, junto con algunos presupuestos relativos a la relación de consecuencia lógica, nos compromete con la adecuación de los conjuntos de interpretación de estos conectivos. Un punto ventajoso de nuestra prueba es que se independiza de la cantidad de valores de verdad involucrados, generalizando trabajos previos. Probamos también que falla la adecuación de cualquier Nmatriz que sirva como modelo para el retículo no distributivo de proposiciones cuánticas. (shrink)

This paper introduces the theory QST of quasets as a formal basis for the Nmatrices. The main aim is to construct a system of Nmatrices by substituting standard sets by quasets. Since QST is a conservative extension of ZFA (the Zermelo-Fraenkel set theory with Atoms), it is possible to obtain generalized Nmatrices (Q-Nmatrices). Since the original formulation of QST is not completely adequate for the developments we advance here, some possible amendments to the theory are also considered. One of the (...) most interesting traits of such an extension is the existence of complementary quasets which admit elements with undetermined membership. Such elements can be interpreted as quantum systems in superposed states. We also present a relationship of QST with the theory of Rough Sets RST, which grants the existence of models for QST formed by rough sets. Some consequences of the given formalism for the relation of logical consequence are also analysed. (shrink)

It is well known that in quantum mechanics we cannot always define consistently properties that are context independent. Many approaches exist to describe contextual properties, such as Contextuality by Default, sheaf theory, topos theory, and non-standard or signed probabilities. In this paper we propose a treatment of contextual properties that is specific to quantum mechanics, as it relies on the relationship between contextuality and indistinguishability. In particular, we propose that if we assume the ontological thesis that quantum particles or properties (...) can be indistinguishable yet different, no contradiction arising from a Kochen-Specker-type argument appears: when we repeat an experiment, we are in reality performing an experiment measuring a property that is indistinguishable from the first, but not the same. We will discuss how the consequences of this move may help us understand quantum contextuality. (shrink)

In this work we present a dynamical approach to quantum logics. By changing the standard formalism of quantum mechanics to allow non-Hermitian operators as generators of time evolution, we address the question of how can logics evolve in time. In this way, we describe formally how a non-Boolean algebra may become a Boolean one under certain conditions. We present some simple models which illustrate this transition and develop a new quantum logical formalism based in complex spectral resolutions, a notion that (...) we introduce in order to cope with the temporal aspect of the logical structure of quantum theory. (shrink)

Can there be two things that are completely indistinguishable? This simple question has raised numerous debates throughout the history of philosophy and science. The principle of the identity of indiscernibles claims that no two things can be completely indiscernible. But this thesis has been challenged in quantum physics and continues to be a hot topic in cutting edge areas of mathematics. The question has gained a renewed interest with the possibility of harnessing indistinguishability as a resource in quantum information tasks. (...) This theme issue is devoted to understanding identity and indistinguishability in philosophy and science, gathering an interdisciplinary group of experts in the field. It will allow readers of diverse disciplines to have an updated introduction to the topic. (shrink)

The more common scheme to explain the classical limit of quantum mechanics includes decoherence, which removes from the state the interference terms classically inadmissible since embodying non-Booleanity. In this work we consider the classical limit from a logical viewpoint, as a quantum-to-Boolean transition. The aim is to open the door to a new study based on dynamical logics, that is, logics that change over time. In particular, we appeal to the notion of hybrid logics to describe semiclassical systems. Moreover, we (...) consider systems with many characteristic decoherence times, whose sublattices of properties become distributive at different times. (shrink)

Combining physics and philosophy, this is a uniquely interdisciplinary examination of quantum information science. Suitable as both a discussion of the conceptual and philosophical problems of this field and a comprehensive stand-alone introduction, this book will benefit both experienced and new researchers in quantum information and the philosophy of physics.

A general mathematical framework, based on countable partitions of Natural Numbers [1], is presented, that allows to provide a Semantics to propositional languages. It has the particularity of allowing both the valuations and the interpretation Sets for the connectives to discriminate complexity of the formulas. This allows different adequacy criteria to be used to assess formulas associated with the same connective, but that differ in their complexity. The presented method can be adapted potentially infinite number of connectives and truth values, (...) therefore, it can be considered a general framework to provide semantics to several of the known logic systems (eg, LC, L3 LP, FDE). The presented semantics allow to converge to different standard semantics if the separation complexity procedure is annulled. Therefore, it can be understood as a framework that allows greater precision (in complexity terms) with respect to formula satisfaction. Naturally, because of how it is built, it can be incorporated into non-deterministic semantics. The presented procedure also allows generating valuations that grant a different truth value to each formula of propositional language. As a positive side effect, our method allows a constructive proof of the equipotence between N and N^n for all Natural n. (shrink)

The Kochen-Specker theorem is one of the fundamental no-go theorems in quantum theory. It has far-reaching consequences for all attempts trying to give an interpretation of the quantum formalism. In this work, we examine the hypotheses that, at the ontological level, lead to the Kochen-Specker contradiction. We emphasize the role of the assumptions about identity and distinguishability of quantum objects in the argument.

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...) solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

Risk and crisis communication (RCC) is a current ethical issue subject to controversy, mainly due to the tension between individual liberty (a core component of fairness) and effectiveness. In this paper we propose a consistent definition of the RCC process in public health emergencies (PHERCC), which comprises six key elements: evidence, initiator, channel, publics, message, and feedback. Based on these elements and on a detailed analysis of their role in PHERCC, we present an ethical framework to help design, govern and (...) evaluate PHERCC strategies. The framework aims to facilitate RCC, incorporating effectiveness, autonomy, and fairness. It comprises five operational ethical principles: openness, transparency, inclusivity, understandability, and privacy. The resulting matrix helps understanding the interplay between the PHERCC process and the principles of the framework. The paper includes suggestions and recommendations for the implementation of the PHERCC matrix. (shrink)

In recent years, some theorists have argued that the clogics are not only defined by their inferences, but also by their metainferences. In this sense, logics that coincide in their inferences, but not in their metainferences were considered to be different. In this vein, some metainferential logics have been developed, as logics with metainferences of any level, built as hierarchies over known logics, such as \, and \. What is distinctive of these metainferential logics is that they are mixed, i.e. (...) the standard for the premises and the conclusion is not necessarily the same. However, so far, all of these systems have been presented following a semantical standpoint, in terms of valuations based on the Strong Kleene truth-tables. In this article, we provide sound and complete sequent-calculi for the valid inferences and the invalid inferences of the logics \ and \, and introduce an algorithm that allows obtaining sound and complete sequent-calculi for the global validities and the global invalidities of any metainferential logic of any level. (shrink)

It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics defined in Barrio et al. and Pailos recovers classical logic, either in the sense that every classical inferential validity is valid at some point in the hierarchy ), or because a logic of a transfinite level defined in terms of the hierarchy shares its validities (...) with classical logic. Each of these logics is consistent with transparent truth—as is shown in Pailos —, and this suggests that, contrary to standard opinions, transparent truth is after all consistent with classical logic. However, Scambler presents a major challenge to this approach. He argues that this hierarchy cannot be identified with classical logic in any way, because it recovers no classical antivalidities. We embrace Scambler’s challenge and develop a new logic based on these hierarchies. This logic recovers both every classical validity and every classical antivalidity. Moreover, we will follow the same strategy and show that contingencies need also be taken into account, and that none of the logics so far presented is enough to capture classical contingencies. Then, we will develop a multi-standard approach to elaborate a new logic that captures not only every classical validity, but also every classical antivalidity and contingency. As a€truth-predicate can be added to this logic, this result can be interpreted as showing that, despite the claims that are extremely widely accepted, classical logic does not trivialize in the context of transparent truth. (shrink)

Studying trust in the context of human-robot interaction is of great importance given the increasing relevance and presence of robotic agents in the social sphere, including educational and clinical. We investigated the acquisition, loss and restoration of trust when preschool and school-age children played with either a human or a humanoid robot in-vivo. The relationship between trust and the representation of the quality of attachment relationships, Theory of Mind, and executive function skills was also investigated. Additionally, to outline children’s beliefs (...) about the mental competencies of the robot, we further evaluated the attribution of mental states to the interactive agent. In general, no substantial differences were found in children’s trust in the play-partner as a function of agency (human or robot). Nevertheless, 3-years-olds showed a trend toward trusting the human more than the robot, as opposed to 7-years-olds, who displayed the reverse pattern. These findings align with results showing that, for 3 and 7-year-olds, the cognitive ability to switch was significantly associated with trust restoration in the human and the robot, respectively. Additionally, supporting previous findings, we found a dichotomy between attributions of mental states to the human and robot and children’s behavior: while attributing to the robot significantly lower mental states than the human, in the trusting game children behaved in a similar way when they related to the human and the robot. Altogether, the results of this study highlight that similar psychological mechanisms are at play when children are to establish a novel trustful relationship with a human and robot partner. Furthermore, the findings shed light on the interplay – during development – between children’s quality of attachment relationships and the development of a Theory of Mind, which act differently on trust dynamics as a function of the children’s age as well as the interactive partner’s nature (human vs. robot). (shrink)

The COVID-19 virus is severely testing the Italian healthcare system, as the requests for intensive treatment are greater than the real capacity of the system to receive patients. Given this emergency situation, it follows that citizens are limited in their freedom of movement in order to limit infection, and that in hospitals a significant number of critical situations must be faced. This brief contribution aims to offer a reflection on the public and clinical role of the bioethicist: a figure able (...) to promote dialogue between the world of medicine and the community, and to face ethical dilemmas even in emergent clinical settings. (shrink)

The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game. In particular, we want to support the idea according to which it is not enough to identify the set of valid inferences to characterize a logic. In other words, we will argue that two logical theories could identify the same set of validities, but not be the same logic.

The purpose of this article is to present the main contributions to peace, democracy, and the philosophy of education in Colombia, made by philosopher Guillermo Hoyos-Vásquez (Medellín, 1935 – Bogotá, 2013). The work of this Colombian philosopher stands out for its important contributions to political philosophy as the vital, supportive, and responsible exercise of thought concerning the public interest. Using Kant’s concept of practical reason, Husserl’s lifeworld [Lebenswelt], and Habermas’s communicative action as starting points, Hoyos-Vásquez succeeded in going beyond these (...) political philosophers by trying to apply their ideas in the midst of the difficult context of corruption, drug trafficking and armed conflict in Colombia over the past five decades. At the same time, Hoyos-Vásquez developed throughout his life a varied public activity as a thinker and educator, belying the myth of the theoretical distance between the philosopher and his/her political present or historical reality. The thought of Guillermo Hoyos-Vásquez, and his public action as an educator, represent a substantial contribution to contemporary political and educational philosophy, maintaining a close connection between theory and practice. (shrink)

This article defends the centrality of practical wisdom in medical practice by building on a monistic view of moral virtue, termed the “Aretai model,” according to which possession of practical wisdom is necessary and sufficient for virtuousness, grounding both moral growth and effective moral behavior. From this perspective, we argue that practical wisdom should be conceived as a cross-situational ethical expertise consisting of four skills:moral perception, moral deliberation, emotion regulation, and moral motivation. Conceiving of practical wisdom as both overall virtuousness (...) and ethical expertise makes it possible to deal adequately with the uniqueness of concrete ethically relevant situations. We contend that this becomes particularly evident in the context of medical practice, both in terms of decision-making and action-taking, especially in the most challenging or contentious clinical cases. We conclude the article by suggesting the potential implications of the Aretai model for continuing education in medical and healthcare professions. (shrink)