相关论文: On Kinds of Indiscernibility in Logic and Metaphys…

A new mathematics, the constructive one, characterizes a singular limit as undecidable. Hence, a singular limit between two theories actually represents a difference between two different kinds of mathematics. This particular situation…

Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility…

For readers already familiar with Partial Information Decomposition (PID), we show that PID's definition of synergy enables quantifying at least four different notions of irreducibility. First, we show four common notions of "parts" give…

These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalization of mathematics with a short historical survey, the…

The aim of this article is to generalize logics of formal inconsistency ($\textbf{LFI}$s) to systems dealing with the concept of incompatibility, expressed by means of a binary connective. The basic idea is that having two incompatible…

Metaphysical interpretations of set theory are either inconsistent or incoherent. The uses of sets in mathematics actually involve three distinct kinds of collections (surveyable, definite, and heuristic), which are governed by three…

We extend the quantum-mechanical results of Muller & Saunders (2008) establishing the weak discernibility of an arbitrary number of similar fermions in finite-dimensional Hilbert-spaces in two ways: (a) from fermions to bosons for all…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

Indistinguishable objects often occur when modelling problems in constraint programming, as well as in other related paradigms. They occur when objects can be viewed as being drawn from a set of unlabelled objects, and the only operation…

Uncertainty may be taken to characterize inferences, their conclusions, their premises or all three. Under some treatments of uncertainty, the inferences itself is never characterized by uncertainty. We explore both the significance of…

We investigate the structure common to causal theories that attempt to explain a (part of) the world. Causality implies conservation of identity, itself a far from simple notion. It imposes strong demands on the universalizing power of the…

At present many of the endeavours in physics are made to recognize in quantum substance classical reality, time, subjectivity, consciousness and many other physical and nonphysical features. The purpose of these remarks is to draw attention…

In contemporary theoretical physics, the powerful notion of symmetry stands for a web of intricate meanings among which I identify four clusters associated with the notion of transformation, comprehension, invariance and projection. While…

A careful look at an allegedly well-known century-old concept reveals interesting aspects in it that have generally avoided recognition in literature. There are four different kinds of physical observables known or proclaimed as…

This paper provides a novel metametaphysical approach to quantum indeterminacy. More specifically, it argues that bivalent quantum logic can successfully account for this kind of indeterminacy, given the non-truth-functional character of…

A physical explanation for quantum bounds to nonlocality (Tsirelson's bound) is a fundamental problem that remains open, and one approach to explaining its origins is the so-called Exclusivity principle, relying on probabilistic assumptions…

This paper explores the link between the ergodicity of the clus-ter equivalence relation restricted to its infinite locus and the indis-tinguishability of infinite clusters. It is an important element of the dictionary connecting orbit…

Quasi-set theory is a first order theory without identity, which allows us to cope with non-individuals in a sense. A weaker equivalence relation called ``indistinguishability'' is an extension of identity in the sense that if $x$ is…

A bisimulation for a coalgebra of a functor on the category of sets can be described via a coalgebra in the category of relations, of a lifted functor. A final coalgebra then gives rise to the coinduction principle, which states that two…

We examine the hypothesis that consciousness can be understood as a state of matter, "perceptronium", with distinctive information processing abilities. We explore five basic principles that may distinguish conscious matter from other…