A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions (...) and relational structures that emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions (...) and relational structures that emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in (...) the first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), à la Mallios, in a topos-theoretic environment, and hence, the extension of the “mechanism of differentials” in the quantum regime. The process of gluing information, within diagrams of commutative algebraic localizations, (...) generates dynamics, involving the transition from the classical to the quantum regime, formulated cohomologically in terms of a functorial quantum connection, and subsequently, detected via the associated curvature of that connection. (shrink)

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a (...) Łukasiewicz–Moisil Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a (...) Łukasiewicz–Moisil Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

Several investigations in probability theory and the theory of expert systems show that it is important to search for some reasonable generalizations of fuzzy logics (e.g. Łukasiewicz, Gödel or product logic) having a non-associative conjunction. In the present paper, we offer a non-associative fuzzy logic L CBA having as an equivalent algebraic semantics lattices with section antitone involutions satisfying the contraposition law, so-called commutative basic algebras. The class (variety) CBA of commutative basic algebras was intensively studied in several recent papers (...) and includes the class of MV-algebras. We show that the logic L CBA is very close to the Łukasiewicz one, both having the same finite models, and can be understood as its non-associative generalization. (shrink)

An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl( $\emptyset$ )-definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU-rank.

At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would generate a non-distributive lattice of propositions, and from quantum superpositions, which would entail new rules for quantum disjunctions. While the quantum logic program is not as popular as it once was, a crucial question remains unsettled: what is the relationship between the logical (...) structures of classical and quantum mechanics? In this essay we answer this question by showing that the original arguments promoting quantum logic contain serious flaws, and that quantum theory does satisfy the classical distributivity law once the full meaning of quantum propositions is properly taken into account. Moreover, we show that quantum mechanics can generate a distributive lattice of propositions, which, unlike the one of quantum logic, includes statements about expectation values which are of undoubtable physical interest. Lastly, we show that the lattice of statistical propositions in classical mechanics follows the same structure, yielding an analogue non-commutative sublattice of classical propositions. This fact entails that the purported difference between classical and quantum logic stems from a misconstructed parallel between the two theories. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in (...) the first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

In her book Fiction and Metaphysics (1999) Amie Thomasson, influenced by the work of Roman Ingarden, develops a phenomenological approach to fictional entities in order to explain how non-fictional entities can be referred to intrafictionally and transfictionally, for example in the context of literary interpretation. As our starting point we take Thomasson’s realist theory of literary fictional objects, according to which such objects actually exist, albeit as abstract and artifactual entities. Thomasson’s approach relies heavily on the notion of ontological dependence, (...) but its precise semantics has not yet been developed. Moreover, the modal approach to the notion of ontological dependence underlying the Artifactual Theory has recently been contested by several scholars. The main aims of this paper are (i) to develop a semantic approach to the notion of ontological dependence in the context of the Artifactual Theory of fiction, and in so doing bridge a number of philosophical and logical gaps; (ii) to generalize Thomasson’s categorial theory of ontological dependence by reconstructing ontological categories of entities purely in terms of different structures of ontological dependence, rather than in terms of the basic kinds of entities the categorical entities depend on. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in (...) the first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in (...) the first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

A review of U. Mäki (ed.). Fact and Fiction in Economics, Cambridge: Cambridge University Press, 2003. pp. xvi 384. ISBN 0521 00957. As people interested mainly in theory, methodologists and philos...

Comparative political theory is at best an embryonic and marginalized endeavor. As practiced in most Western universities, the study of political theory generally involves a rehearsal of the canon of Western political thought from Plato to Marx. Only rarely are practitioners of political thought willing (and professionally encouraged) to transgress the canon and thereby the cultural boundaries of North America and Europe in the direction of genuine comparative investigation. Border Crossings presents an effort to remedy this situation, fully launching a (...) new era in political theory. Thirteen scholars from around the world examine the various political traditions of West, South, and East Asia and engage in a reflective cross-cultural discussion that belies the assumptions of an Asian "essence" and of an unbridgeable gulf between West and non-West. The denial of essential differences does not, however, amount to an endorsement of essential sameness. As viewed and as practiced by contributors to this ground-breaking volume, comparative political theorizing must steer a course between uniformity and radical separation--this is the path of "border crossings.". (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

An application of diagrams for separating modes of theory development.

The study of structure systems, an abstraction of the concept of first-order structures, is continued. Structure systems have algebraic systems as their algebraic reducts and their relational component consists of a collection of relation systems on the underlying functors. An analog of the expansion of a first-order structure by constants is presented. Furthermore, analogs of the Diagram Lemma and the Reduction Operator Lemma from the theory of equality-free first-order structures are provided in the framework of structure systems. (© 2007 WILEY-VCH (...) Verlag GmbH & Co. KGaA, Weinheim). (shrink)

The first volume of the Brandeis University Summer Institute lecture series of 1970 on theories of interacting elementary particles, consisting of four sets of lectures. Every summer since 1959 Brandeis University has conducted a lecture series centered on various areas of theoretical physics. The areas are sufficiently broad to interest a large number of physicists and the lecturers are among the original explorers of these areas. The 1970 lectures, presented in two volumes, are on theories of interacting elementary particles. The (...) four lecturers of Volume 1, and the range of the topics they cover, are as follows: Stephen L. Adler on "Perturbation Theory Anomalies": introduction and review of perturbation theory; the VVA triangle anomaly; absence of radiative corrections; generalizations of our results; connection between Ward identity anomalies and commutator anomalies; applications of the Bjorken limit; and breakdown of the Bjorken limit in perturbation theory. Stanley Mandelstam on "Dynamical Applications of the Veneziano formula for the four-point scalar amplitude; factorization; the operator formalism; Veneziano-type quark models; and higher-order Feynman-like diagrams. Steven Weinberg on "Dynamic and Algebraic Symmetries": Introduction; hadron electrodynamics; local symmetries; and chirality. Wolfhart Zimmermann on "Local Operator Products and Renormalization in Quantum Field Theory": introduction; renormalization; operator product expansions; and local field equations. The second volume contains lectures by Rudolf Haag on observables and fields, by Maurice Jacob on duality, by Michael Reed on non-Fock representations, and by Bruno Zumino on effective Lagrangians and broken symmetries. (shrink)

The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, (...) which permits us to express the usual topological properties of separation. The notion of stalks of sheaves over quantales is introduced, and some results in categorial model theory are obtained. (shrink)

"An important contribution to contemporary jurisprudential debate and to legal thought more generally, Just Interpretations is far ahead of currently available work."--Peter Goodrich, author of Oedipus Lex "I was struck repeatedly by the clarity of expression throughout the book. Rosenfeld's description and criticism of the recent work of leading thinkers distinguishes his work within the legal theory genre. Furthermore, his own theory is quite original and provocative."--Aviam Soifer, author of Law and the Company We Keep.

Derek Parfit defended Non-Realist Cognitivism. It is an open secret that this metaethical theory is often thought at best puzzling and at worst objectionably unclear. Employing truthmaker theory, I provide an account of Non-Realist Cognitivism that dispels charges of objectionable unclarity, clarifies how to assess it, and explains why, if plausible, it would be an attractive theory. I develop concerns that the theory involves cheating into an objection that ultimately reveals Non-Realist Cognitivism faces a dilemma. Whether it can escape demands (...) further attention. In bridging metaethics and the truthmaking literature, I illustrate the importance of greater meta-metaphysical reflection in metaethics. (shrink)

In this paper I discuss the problem of animals' beliefs and the ontology associated with the idea of having non propositional content. It is argue that the beliefs of mute animals mainly serve an explanatory purpose.

This paper follows recent debates around theorizations of ‘affect’ and its distinction from ‘emotion’ in the context of non-representational theories to exemplify how the ontologization of affects creates important openings of ethical and political potential in educators’ efforts to make productive interventions in pedagogical spaces. The ontological orientation provided by NRT has two important implications for educational theory and practice. First, it exposes the indeterminacy and inventiveness of affective capacities of bodies, illustrating how diverse socio-materials events are variously enrolled in (...) everyday school life processes of differentiation. Second, it emphasizes an affirmative account of the ethics and politics of affect in which connections and relations forged between bodies, things and spaces constitute the basis of new configurations of affects and emotions in schools. (shrink)

It is demonstrated that a non Abelian Stokes Theorem is necessary to describe the B3 field of radiation. A simple form of the theorem is build up from the fundamental definition of B3 in O(3) gauge field theory, which is a gauge field theory applied to electrodynamics with an O(3) internal gauge symmetry bases on a complex basis ((1), (2), (3)). The indices (1) and (2) are complex conjugate pairs based on circular polarization, and the index (3) is aligned (...) with the propagation axis of radiation. (shrink)

Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a problem regarding (...) Knowledge Representation in general, and ontology based representations in particular; namely: the fact that knowledge modeling seems to be constrained between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In particular, most common sense concepts seem not to be captured by the stringent semantics expressed by such formalisms as, for example, Description Logics (which are the formalisms on which the ontology languages have been built). The aim of this work is to analyse this problem, suggesting a possible solution suitable for formal ontologies and semantic web representations. The questions guiding this research, in fact, have been: is it possible to provide a formal representational framework which, for the same concept, combines both the classical modelling view (accounting for compositional information) and defeasible, prototypical knowledge ? Is it possible to propose a modelling architecture able to provide different type of reasoning (e.g. classical deductive reasoning for the compositional component and a non monotonic reasoning for the prototypical one)? We suggest a possible answer to these questions proposing a modelling framework able to represent, within the semantic web languages, a multilevel representation of conceptual information, integrating both classical and non classical (typicality based) information. Within this framework we hypothesise, at least in principle, the coexistence of multiple reasoning processes involving the different levels of representation. (shrink)

The non-commutative counterpart of the well-known Łukasiewicz propositional logic is developed, in strong connection with the algebraic theory of psMV-algebras. An extension by a new unary logical connective is also considered and a stronger completeness result is proved for this system.

Retributivism is currently a keenly debated theory of punishment. In this volume, the contributors explore its various dimensions including its implications for sentencing and evaluate it against utilitarian options. Content: Jean Hampton: An Expressive Theory of Retribution u Brian Slattery: The Myth of Retributive Justice u Tim Dare: Retributivism, Punishment and Public Values u Anthony Duff: Alternatives to Punishment - or Alternative Punishments u Jerome Bickenbach: Duff on Non-Custodial Punishment u Sandra Marshall: Harm and Punishment in the Community. (Franz Steiner (...) 1992). (shrink)

We can regard operations that discard information, like specializing to a particular case or dropping the intermediate steps of a proof, as projections, and operations that reconstruct information as liftings. By working with several projections in parallel we can make sense of statements like “Set is the archetypal Cartesian Closed Category”, which means that proofs about CCCs can be done in the “archetypal language” and then lifted to proofs in the general setting. The method works even when our archetypal language (...) is diagrammatical, has potential ambiguities, is not completely formalized, and does not have semantics for all terms. We illustrate the method with an example from hyperdoctrines and another from synthetic differential geometry. (shrink)

This paper examines Sartre's dualistic ontology in the light of the non-duality asserted by Mahayana Buddhism. In the first section, I show, against the objection of Hazel E. Barnes, that Sartre and Buddhism have comparable theories of consciousness. The second section discusses Steven W. Laycock's use of Zen philosophy to solve the Sartrean metaphysical problem regarding the origin of being for-itself. This solution involves rejecting the ontological priority of being in-itself in favor of the Buddhist understanding of interdependent origination (...) (pratitya-samutpada) and emptiness (sunyata). Finally, I explain how this aspect of Buddhist thought is consistent with Sartre's ontology, thus making an acceptable solution. This consistency is possible if we understand Sartre's ontology as provisionally true in a sense gleaned from the Madhyamika and Yogacara schools of Indian Buddhism, which were influential to the formation of Zen philosophy. (shrink)

Two operations, e.g. measurements, successively applied to the state of a system are said to be non-commutative if the sequence of their application makes a difference for the final result. Non-commuting operations play a crucial role in quantum theory, where they are intimately related to concepts as central as those of complementarity and entanglement. However, their significance is not restricted to the small dimensions of the microworld. For reasons easy to understand, non-commuting operations must be expected to be the rule (...) rather than the exception for operations on mental systems. We demonstrate this with a few examples from our own work, and hope this may contribute to the increasing attention that this exciting new area in consciousness studies is currently attracting worldwide. (shrink)

Physical systems can store information and their informational properties are governed by the laws of information. In particular, the amount of information that a physical system can convey is limited by the number of its degrees of freedom and their distinguishable states. Here we explore the properties of the physical systems with absolutely one degree of freedom. The central point in these systems is the tight limitation on their information capacity. Discussing the implications of this limitation we demonstrate that such (...) systems exhibit a number of features, such as randomness, no-cloning, and non-commutativity, which are peculiarities attributed to quantum mechanics (QM). After demonstrating many astonishing parallels to quantum behavior, we postulate an interpretation of quantum physics as the physics of systems with a single degree of freedom. We then show how a number of other quantum conundrum can be understood by considering the informational properties of the systems and also resolve the EPR paradox. In the present work, we assume that the formalism of the QM is correct and well-supported by experimental verification and concentrate on the interpretational aspects of the theory. (shrink)

An $\omega$-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl-definable subgroup. Every finitely based regular type in a CM-trivial $\omega$-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple $\omega$-categorical CM-trivial theory has finite SU-rank.

There ought to exist a description of quantum field theory which does not depend on an external classical time. To achieve this goal, in a recent paper we have proposed a non-commutative special relativity in which space-time and matter degrees of freedom are treated as classical matrices with arbitrary commutation relations, and a space-time line element is defined using a trace. In the present paper, following the theory of Trace Dynamics, we construct a statistical thermodynamics for the non-commutative special relativity, (...) and show that one arrives at a generalized quantum dynamics in which space and time are non-classical and have an operator status. In a future work, we will show how standard quantum theory on a classical space-time background is recovered from here. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

Social sorting of migrants and travellers based on data stored in information systems is at the centre of border controls and mobility management in Europe. Recent literature finds that the inclusion-exclusion distinction is insufficiently equipped to do justice to the variety of classifications that is being applied. Instead, a proliferation of refined categorizations determines the outcome of visa and permit applications. This article explores the ‘administrative ecology’ in between the two extremes of inclusion and exclusion. It claims information technologies encourage (...) the emergence of an intermediary category of ‘non-publics’ situated between the level of groups and the level of individuals. The ontological and normative status of these ‘non-publics’ will be analysed by using some key notions of Actor-Network Theory. (shrink)

Interface theory is the hypothesis that inferential, representational theories of perception entail that fitness, not truth, dictates the evolution of perceptual systems. They show, with simulations, that “veridical” perceptual mappings (ones that preserve at least some of the structure of the world) are routinely out-competed by “non-veridical” interfaces (ones that make no attempt to preserve that structure). They therefore take particular aim at the direct perception, ecological approach to perception and work to show that such a system, even if technically (...) an option, would never be selected for by evolution. This paper defends the ecological approach from this novel, existential attack by showing that the ecological hypothesis is so different in kind to the inferential, representational view of perception that it simply falls outside the scope of interface theory’s critiques; ecological psychology remains a viable scientific endeavor. This analysis will show that, far from being a radical new approach to perception, interface theory is simply a clear and elegant formalization of mainstream representational psychology, and any implications interface theory may have belong solely to that branch of science. (shrink)

Taking its point of departure from Jullien’s primary claim in The Silent Transformations that ancient Greek ontology propels European thought into ‘the vertigo of the event,’ the article turns toward a European thinker whom Jullien does not mention in this context, namely Walter Benjamin, and asks whether his work, too, succumbs to this vertigo. The choice of Benjamin as a ‘test case’ is governed by two factors: while his work is widely associated with notions of the event, there is (...) little recognition of the degree to which he was engaged with the Daodejing (in translation) from the early 1910s to the late 1930s. Divided into four chronologically ordered sections, each of which is prefaced by a claim advanced in The Silent Transformations, the article shows how Benjamin’s concepts of transition, effective non-action (under the term ‘proletarian general strike’), mimesis, ‘the second technology,’ and Jetztzeit (‘now-time’) are all traversed by a mediated conception of the Dao. The primary question around this re-evaluation of his work, guided by the idea of ‘the silent transformations’ that Jullien adopts from Wang Fuzhi, is whether the theory of revolution Benjamin developed in the 1930s can be characterized as Daoist or, better yet, Marxist-Daoist. (shrink)

In discussions about whether the Principle of the Identity of Indiscernibles is compatible with structuralist ontologies of mathematics, it is usually assumed that individual objects are subject to criteria of identity which somehow account for the identity of the individuals. Much of this debate concerns structures that admit of non-trivial automorphisms. We consider cases from graph theory that violate even weak formulations of PII. We argue that (i) the identity or difference of places in a structure is not to be (...) accounted for by anything other than the structure itself and that (ii) mathematical practice provides evidence for this view. We want to thank Leon Horsten, Jeff Ketland, Øystein Linnebo, John Mayberry, Richard Pettigrew, and Philip Welch for valuable comments on drafts of this paper. We are especially grateful to Fraser MacBride for correcting our interpretation of two of his papers and for other helpful comments. CiteULike Connotea Del.icio.us What's this? (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

Conservation problems can reveal unsuspected complexities in the ontological make-up of modern and contemporary artworks. Using a problem in the conservation of one of Sol LeWitt’s Wall Drawings as my starting point, I argue that Goodman’s well-known and often criticized distinction between autographic and allographic art can be fruitfully used to articulate the different options in conservation dilemmas, but only if used in a non-disjunctive way and in the context of a biographical approach to the works under consideration.

My aim in this essay is largely defensive. I aim to discuss some problems for moral error theory and to offer plausible solutions. A full positive defense of moral error theory would require substantial investigations of rival metaethical views, but that is beyond the scope of this essay. I will, however, try to motivate moral error theory and to clarify its commitments. Moral error theorists typically accept two claims – one conceptual and one ontological – about moral facts. The conceptual (...) claim is that moral facts are or entail facts about categorical reasons (and correspondingly that moral claims are or entail claims about categorical reasons); the ontological claim is that there are no categorical reasons – and consequently no moral facts – in reality. I accept this version of moral error theory and I try to unpack what it amounts to in Section 2.1 In the course of doing so I consider two preliminary objections: that moral error theory is (probably) false because its implications are intuitively unacceptable (what I call the Moorean objection) and that the general motivation for moral error theory is self-undermining in that it rests on a hidden appeal to norms. The above characterization seems to entail the standard formulation of moral error theory, according to which first-order moral claims are uniformly false. Critics have argued that the standard formulation is incoherent since – by the law of excluded middle – the negation of a false claim is true. Hence if ‘Torture is wrong’ is false, ‘Torture is not wrong’ is true. Contrary to what moral error theorists contend, then, moral error theory seems to carry first-order moral implications that by the theory’s own lights are uniformly false. In Section 3 I suggest a formulation that is consistent with the standard formulation of moral error theory, free of first-order moral implications, and subject to no logical difficulties. In Section 4 I consider and rebut Stephen Finlay’s recent attack on moral error theory. According to Finlay the conceptual claim is false because all moral claims – and indeed all normative claims – are, or should be understood as, relativized to some moral standard or system of ends. Moral error theorists thus attribute to ordinary speakers an error that simply isn’t there. I argue that Finlay’s view has some very implausible implications and that it does not avoid commitment to various forms of error theory. This becomes especially clear when we focus on fundamental moral claims. In Section 5 I consider the worry that error theorists’ rejection of categorical reasons proves too much; in particular, the worry that error theorists’ qualms about categorical reasons apply equally to claims about hypothetical reasons, that is, claims to the effect that there is reason to take the means to one’s ends. In my view error theorists such as Mackie and Joyce have failed to pay due consideration to this problem. What the challenge establishes, I submit, is that error theorists cannot just take for granted that hypothetical reasons are metaphysically unproblematic; they must offer an account of hypothetical reasons that shows that they are. I argue that the only plausible account available to error theorists is one according to which claims about hypothetical reasons reduce to non-normative claims about relations between means and ends. (shrink)

Among the complete ℵ0-categorical theories with finite non-logical vocabularies, we distinguish three classes. The classification is obtained by looking at the number of bound variables needed to isolated complete types. In classI theories, all types are isolated by quantifier free formulas; in classII theories, there is a leastm, greater than zero, s.t. all types are isolated by formulas in no more thanm bound variables: and in classIII theories, for eachm there is a type which cannot be isolated inm or (...) fewer bound variables. ClassII theories are further subclassified according to whether or not they can be extended to classI theories by the addition of finitely many new predicates. Alternative characterizations are given in terms of quantifier elimination and homogeneous models. It is shown that for each primep, the theory of infinite Abelian groups all of whose elements are of orderp is classI when formulated in functional constants, and classIII when formulated in relational constants. (shrink)

This paper introduces some basic ideas and formalism of physics in non-commutative geometry. My goals are three-fold: first to introduce the basic formal and conceptual ideas of non-commutative geometry, and second to raise and address some philosophical questions about it. Third, more generally to illuminate the point that deriving spacetime from a more fundamental theory requires discovering new modes of `physically salient' derivation.

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token ontologies. (...) In a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

This is the first of three essays which use Edmund Husserl's dependence ontology to formulate a non-Diodorean and non-Kantian temporal semantics for two-valued, first-order predicate modal languages suitable for expressing ontologies of experience (like physics and cognitive science). This essay's primary desideratum is to formulate an adequate dependence-ontological account of order. To do so it uses primitive (proper) part and (weak) foundation relations to formulate seven axioms and 28 definitions as a basis for Husserl's dependence ontological theory of relating (...) moments. The essay distinguishes between dependence v. independence, pieces v. moments, mediate v. immediate pieces and moments, maximal v. non-maximal pieces, founded v. unfounded qualities, integrative v. disintegrative dependence, and defines the concepts of the completion of an object, the adumbrational equivalence relation of objects, moments of unity which unify objects, and relating moments which relate objects. The eight theorems [CUT90]-[CUT97] show that relating moments of unity provide an adequate account of order in terms of primitive (proper) part and (weak) foundation relations. (shrink)

Abstract Based on recalling two characteristic features of Bayesian statistical inference in commutative probability theory, a stability property of the inference is pointed out, and it is argued that that stability of the Bayesian statistical inference is an essential property which must be preserved under generalization of Bayesian inference to the non?commutative case. Mathematical no?go theorems are recalled then which show that, in general, the stability can not be preserved in non?commutative context. Two possible interpretations of the impossibility of generalization (...) of Bayesian statistical inference to the non?commutative case are offered, none of which seems to be completely satisfying. (shrink)

We begin by highlighting some points related to Kuhn’s later thoughts on the incommensurability thesis and then show to what extent the standard version of the thesis given by the structuralist metatheory allows us to capture Kuhn’s ideas. Our main aim is to establish what constitutes the basis of comparability between incommensurable theories, even in cases of incommensurability with respect to theoretical and non-theoretical terms. We propose that comparability between incommensurable theories requires some connection between their respective ontologies that can (...) be captured by means of an ontological non-reductive relation. At this point, the structuralist notion of “echeloned partial substructure” may be of help. When the incommensurability is very drastic, the existence of ontological connections between the theories involved may only be evident by common terms of their non-characteristic vocabularies. So, this notion of non-characteristic vocabulary becomes relevant in our proposal. (shrink)