A quick introduction to category theory and topos theory, axiomatically. These notes are adapted from Prof. Pettigrew’s notes.

ABSTRACT Topos quantum theory is standardly portrayed as a kind of ‘neo-realist’ reformulation of quantum mechanics.1 1 In this article, I study the extent to which TQT can really be characterized as a realist formulation of the theory, and examine the question of whether the kind of realism that is provided by TQT satisfies the philosophical motivations that are usually associated with the search for a realist reformulation of quantum theory. Specifically, I show that the notion (...) of the quantum state is problematic for those who view TQT as a realist reformulation of quantum theory. 1Introduction 2Topos Quantum Theory 2.1Phase space 2.2Hilbert space 2.3Beyond Hilbert space 2.4Defining realism 2.5The spectral presheaf 2.6The logic of topos quantum theory 3Interpreting States in Topos Quantum Theory 4Interpreting Truth Values and Clopen Subobjects in Topos Quantum Theory 4.1Interpreting the truth values 4.2Interpreting Subcl 5Neo-realism 5.1The covariant approach 6Conclusion. (shrink)

With regard to the importance of interrelations and interplays of topos and logos in ancient theory and practices, here I will appropriate Aristotle philosophizing of topos and logos and apply it for the ancient persian Empire as reflected in related inscriptions.

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual (...) building blocks for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

This sketch of a perhaps future 'Elementary Theory of the Category of Mereological Sums (including Mereological Wholes and Parts)' relates to my previous papers "The Topos of Emergence" and "Intelligible Gunk". I assert that for successfully categorizing Mereology one has to start with a specific setting of gunk. In this paper we will give a sketch of a categorically version of particular mereological structures. I.e. we will follow the example of F.W.Lawvere’s “An elementary theory of the category (...) of sets” -/- where he introduced a categorised version of set theory. We refer to sirenians mainly for the reason that they are the closest living relatives of elephants. -/- But they are also rather underestimated creatures - at the first moment rather dull and clumsy, but moving gracefully and elegant in their natural habitat.And some sailors already reckognized their bewitching attraction before we did.Yet we still think this sirenia is a modest creature compared with the elephant in the room. (shrink)

The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, in (...) the context of a subobject classifier, there should be a neutral label for the generic subobject, or if the label "true" appears instead, it carries no additional properties or assumptions. It has been shown that a natural isomorphism occurring in one of the definitions of topos need not be an isomorphism of the corresponding algebraic structures on the sets, so that a co-Heyting algebraic structure can be defined on the set of characteristic morphisms, which moreover will also be natural. The analyzes suggest that the notion of co-topos may be considered correct. However, it should be strongly emphasized that although the possibility of defining the notion of co-topos has been shown, its further full consequences should be very carefully examined, which can severely limit its logical applications. (shrink)

-/- Abstract . In an earlier paper ‘The Topos of Emergence’ (‘TheTopos of Emrgence’, in: Boundaries - The Scientifc Aspects of ANPA 24, (ed. Keith G. Bowden), London 2003, pp 236 –250; cf.also:http://www.academia.edu/1549400/The_Topos_of_Emergence) I introduced a mathematical structure called the topos PrePhys consisting of an ever propagating emergent hierarchy made of a strict n-categorical unfolding of automorphic objects obAM .Later I came to the conclusion that this topos PrePhys perfectly matchs the concept of Gunk introduced under this (...) name by DavidLewis. (cf. D.Lewis, Parts of Classes, Oxford, Cambridge (Mass.)1991, pp 19 –21. (shrink)

We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, (...) where one can get an analogue of Diaconescu’s result, but also can disentangle the roles of certain other assumptions that are hidden in mathematical presentations. It is our view that these results have not received the attention they deserve: logicians are unlikely to read a discussion because the results considered are “already well known,” while the results are simultaneously unknown to philosophers who do not specialize in what most philosophers will regard as esoteric logics. This is a problem, since these results have important implications for and promise signif i cant illumination of contem- porary debates in metaphysics. The point of this paper is to make the nature of the results clear in a way accessible to philosophers who do not specialize in logic, and in a way that makes clear their implications for contemporary philo- sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism. Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett, realism, antirealism. (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)

A topos version of Cantor’s back and forth theorem is established and used to prove that the ordered structure of the rational numbers (Q, <) is homogeneous in any topos with natural numbers object. The notion of effective homogeneity is introduced, and it is shown that (Q, <) is a minimal effectively homogeneous structure, that is, it can be embedded in every other effectively homogeneous ordered structure.

We investigate the idea of sleep as the protostate, and posit the idea of dark consciousness where dark is a 2-fold hybrid. We model dark consciousness as a 2-topos in p-adic time, and outline perfectoid and diamond-like versions. We then introduce and illustrate implications of Dark Imaginarium, which is a higher order Curiosity Artificial Intelligence, an Infinity-Curiosity Type, that thinks in infinity categories.

In this paper I will combine ideas of Meinong's objectology with earlier ideas of ethereal or intelligible gunk. I will try to make that useful for a better understanding of 'emergence'. I also spend some remarks on mathematical theories.

Identity politics is subject to similar critiques in contemporary public debate and political theory. A central topos of this critique is that identity politics is essentializing: it fixes subjects to their social position and resorts to a politics of particularity that leads to divisions in national citizenship and democratic discourse (the communitarian and liberal position) and to divisions within social movements (the critical position). Contrary to this one-sided critique, we propose a different interpretation with the concept of “constructivist (...) identity politics.” We show that political identities are not essentialistically given, but emerge from processes of social and political construction; that they are actively produced, learned, and practiced by political (sub)cultures and movements. In these processes of construction, political articulation and agency are produced, enabling subjects to critique relations of domination and discrimination. Following radical democratic theory, we argue that the particular political perspectives of identity politics thus enabled do not endanger democracy or solidarity in social movements, but contribute to their further democratization by actualizing the universal principles of democracy in particular disputes. While the construction processes of identity politics tend to essentialize and produce exclusions, critical reflection on such tendencies is also inherent to identity politics. This understanding also enables a critique of such identity politics that is not oriented towards the democratic values of equality and freedom and blocks critical self-reflection. After an overview of contemporary identity politics critique, we elaborate this constructivist understanding following debates in feminist and postcolonial theory since the 1980s. Building on this, we systematically develop the notion of constructivist identity politics by differentiating three aspects of it: subjectification, articulation, and representation. We refer to approaches by Foucault, Rancière, Laclau/Mouffe, and Hall and illustrate the respective aspects through examples of migrant self-organizations as well as gay culture and queer critique. (shrink)

Foundations of Relational Realism presents an intuitive interpretation of quantum mechanics, based on a revised decoherent histories interpretation, structured within a category theoretic topological formalism. -/- If there is a central conceptual framework that has reliably borne the weight of modern physics as it ascends into the twenty-first century, it is the framework of quantum mechanics. Because of its enduring stability in experimental application, physics has today reached heights that not only inspire wonder, but arguably exceed the limits of intuitive (...) vision, if not intuitive comprehension. For many physicists and philosophers, however, the currently fashionable tendency toward exotic interpretation of the theoretical formalism is recognized not as a mark of ascent for the tower of physics, but rather an indicator of sway—one that must be dampened rather than encouraged if practical progress is to continue. -/- In this unique two-part volume, designed to be comprehensible to both specialists and non-specialists, the authors chart out a pathway forward by identifying the central deficiency in most interpretations of quantum mechanics: That in its conventional, metrical depiction of extension, inherited from the Enlightenment, objects are characterized as fundamental to relations—i.e., such that relations presuppose objects but objects do not presuppose relations. The authors, by contrast, argue that quantum mechanics exemplifies the fact that physical extensiveness is fundamentally topological rather than metrical, with its proper logico-mathematical framework being category theoretic rather than set theoretic. -/- By this thesis, extensiveness fundamentally entails not only relations of objects, but also relations of relations. Thus, the fundamental quanta of quantum physics are properly defined as units of logico-physical relation rather than merely units of physical relata as is the current convention. Objects are always understood as relata, and likewise relations are always understood objectively. In this way, objects and relations are coherently defined as mutually implicative. The conventional notion of a history as “a story about fundamental objects” is thereby reversed, such that the classical “objects” become the story by which we understand physical systems that are fundamentally histories of quantum events. -/- These are just a few of the novel critical claims explored in this volume—claims whose exemplification in quantum mechanics will, the authors argue, serve more broadly as foundational principles for the philosophy of nature as it evolves through the twenty-first century and beyond. (shrink)

In this paper, we propose a mathematical model of subjective experience in terms of classes of hierarchical geometries of representations (“n-awareness”). We first outline a general framework by recalling concepts from higher category theory, homotopy theory, and the theory of (infinity,1)-topoi. We then state three conjectures that enrich this framework. We first propose that the (infinity,1)-category of a geometric structure known as perfectoid diamond is an (infinity,1)-topos. In order to construct a topology on the (infinity,1)-category of (...) diamonds we then propose that topological localization, in the sense of Grothendieck-Rezk-Lurie (infinity,1)-topoi, extends to the (infinity,1)-category of diamonds. We provide a small-scale model using triangulated categories. Finally, our meta-model takes the form of Efimov K-theory of the (infinity,1)-category of perfectoid diamonds, which illustrates structural equivalences between the category of diamonds and subjective experience (i.e.its privacy, self-containedness, and self-reflexivity). Based on this, we investigate implications of the model. We posit a grammar (“n-declension”) for a novel language to express n-awareness, accompanied by a new temporal scheme (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? We also examine the notion of “self” within our framework. A new model of personal identity is introduced which resembles a categorical version of the “bundle theory”: selves are not substances in which properties inhere but (weakly) persistent moduli spaces in the K-theory of perfectoid diamonds. (shrink)

Proclus argues that place (topos) is a body of light, identified as the luminous vehicle of the soul, which mediates between soul and body and facilitates motion. Simplicius (in Phys. 611,10–13) suggests that this theory is original to Proclus, and unique in describing light as a body. This paper focuses on the function of this theory as a bridge between Proclus’ physics and metaphysics, allowing the Aristotelian physical notion of “natural place” to serve as a mechanism for (...) the descent and ascent of the soul. (shrink)

Plato’s theory of virtue in the Laws could be striking for someone who is more familiar with Aristotle’s ethics for conceptual complementarity between the two positions (contrary emotions, the ordering element of reason, virtue as a mean which lies between two forms of vice, typically linked to excessive actions, etc.). Plato’s theory, however, still differs from that of Aristotle in two crutial points. First, the source of emotional dynamism is, according to Plato, supraindividual as far as the psyche (...) is a cosmological principle. Only if it comes to be formed and ordered, it separates from the universal cosmic context and make up the emotional nature of an individual soul. But the soul is not, and this is the second point of difference, ordered by some external element (training or education, organized by a rational agent). Plato counts on a pre-arranged order of emotions at a particular ontological topos of the individual soul into which reason eventually descends. Emotions, on their part, seem to include a nexus between formable and forming that is chronologically and methodocally prior to that between the biological substratum and its rational organization, as assumed by Aristotle. (shrink)

Russian philosopher Pyotr Chaadaev (1794–1856) declared Russia to be a non-place in both space and time, a singular nothingness without history, topos, or footing, without relation or attachment to the world-historical tradition culminating in Christian-European modernity. This paper recovers Chaadaev’s conception of nothingness as that which, unbound by tradition, constitutes a total, even revolutionary ungrounding of the world-whole. Working with and through Chaadaev’s key writings, we trace his articulation of immanent nothingness or the void of the Real as completely (...) emptying out the mechanisms of history and tradition, thereby putting also into question the basic conceptual machinery of modernity. Chaadaev’s position appears, as a result, not only as a neglected genealogical element to contemporary critiques of modernity and its logic of reproduction through tradition and futurity but also as a contribution to the ongoing critical rethinking of this logic in contemporary theory. (shrink)

We present a colorful and novel discussion of mathematical techniques of visualizing a fourth spatial dimension. We first discuss notions of dimensionality including the homotopy dimension for objects in an (infinity,1)-topos. We try to visualize the fourth spatial dimension using color, and illustrate this with four-dimensional ice-cream. We apply categorical negative thinking to what we have called (infinity,1)-visual epistemology. The aim is that visualizations of higher spatial dimensions can occur functorially. We illustrate with five images five conjectural methods for (...) how to visualize the fourth spatial dimension. (shrink)

Since at least Luhmann, contingency – whose conceivability must be reduced to a great extent by means of “reduction of complexity“ in order to assure stability of social and psychological systems – has been an important topos of sociological theory. What is a genuinely philosophical approach of the past decades, on the other hand, is the idea of its conceivability as being conducive for the purpose of individual autonomy. If both assumptions held equally true, collectivity and mature individuality (...) would effectively contradict each other: Mere affiliation with a collective would be the most efficient way to flee from the existential threat that is contingency, while the questioning of affiliation would require the capacity of enduring said threat. However, an individual that is thoroughly shielded from specific experiences of contingency will have little reason to break loose from its original collective environment and to expose itself to the burden of contingency. Consequently, autonomy would solely – if ever – be possible outside of any collective context and the idea of reasonably founded social liability coined at times of the Enlightenment would ultimately become obsolete. Alasdair MacIntyre and Hans Blumenberg rank among the authors who have dealt with this dilemma in their own specific ways. What makes both of them relevant to the search for a possible solution is the emphasis with which they have included existential as well as cultural contingency in the topos of human identity. The consideration of narrative categories plays an important part at this point: For it is MacIntyre´s conception of the human being as a “story-telling animal“ – surely Blumenberg would concur with this wording – that allows us to particularly understand the myth-building, rhetoric engagement with the world´s unreliability as a crucial structural factor of man´s conduct of life. Contingency always had to be “digested“ in some way or other, either had to be veiled and disowned or made accessible and bearable in order to guarantee man´s metaphysical potentiality – which both MacIntyre and Blumenberg do by molding the unpredictable and the perilous into collective and singular narrations. It is obvious that the collective narratives are superordinate to the individual ones: First and foremost, we are always members of a specific cultural environment who can only hope to obtain an autonomous identity by means of distancing ourselves from this environment to a certain extent. At the same time, as mentioned before, this cultural context serves as the best possible protection against existential contingency; in this regard, MacIntyre and Blumenberg think of cultural reduction of contingency as necessary but yet obstructive to the formation of a resilient individual and autonomous identity. Setting out from here, this essay discusses the extent to which the individual recognition of cultural and existential contingency plays a part in MacIntyre´s and Blumenberg´s concept of a responsible yet socially agreeable identity. It will become obvious that a close connection can be drawn between the affirmation of one´s own cultural contingency and the one of one´s potential suffering in “limit situations” (Karl Jaspers): Human identity could only live up to the task of dealing with existential contingency appropriately by equally admitting its own cultural contingency – and thus the cultural contingency of every other person as well. The affirmation of cultural contingencies and differences would establish a new “genre-specific” reliability that could potentially dismantle the paradigm of (post)modern tentativeness criticized by MacIntyre and Blumenberg and that could return visions of an open and humane future to contemporary societies. (shrink)

A collaboration between Australian, French and Cambodian scholars is revealing the sprawling form of a ruined medieval metropolis through remote sensing technology, excavations and new theories. A clearer understanding of Angkor’s form and function may help contemporary planners and architects see the issues facing low-density cities of today and tomorrow. This article reviews the latest research on this vast metropolis in relation to contemporary urban planning concepts such as sprawl and low-density urbanism.

The Husserlian concept of intersubjectivity has been criticized for the fact that it belongs exclusively to a philosophy of representation and to a solipsistic consciousness. In this conceptual framework, the other (ego) appears to be constituted by a singular ego through the synthesis of the series of its appearances (perceptive or imaginative representations) and by extrapolation (transposition) of its own “sphere of originality”. For this theory of constitution seemed to be essentially related to the concept of objective representation that (...) post-Husserlian phenomenologists have criticized and eventually replaced with another, in which affectivity is supposed to open the way to otherness, as we can see in Heidegger, Levinas, Merleau-Ponty, Michel Henry or Jacques Derrida. Our hypothesis is that the difficulty does not regard the theory of constitution, but the fact that the other and the community that he forms with me and with many others are thought only in terms of representation. Even those who discharged the “abstract” objective representation of Husserl’s function and replaced it with “affectivity” were not finally able to overpass the representational framework, because the other has always been for me (and vice-versa, I have been for him) only a “picture” (no matter whether representative or “affective”), something which simply “stands” before my eyes. But this is certainly a reductive way of understanding the relation between the I and the other. If we focus our attention on the phenomenon of community and not on some interpretations or simplifications of it, we realize that it is not sufficient that objective representation or affectivity or any other faculty constitute or disclose the other for the I (even if that is a necessary starting point). As a multilayered concept, “intersubjectivity”, in Husserl’s sense, is a system of transitions from mere appearance to transcendence, from passivity to activity, from cognitive and affective representation to volition and action. As soon as we see the relation between the I and the other as active, as an influence or intrusion of one consciousness in another, as an intention to “move” the other, to determine him to assume or to begin an action (a real one, effected in real life), the concept of intersubjectivity changes drastically, even though the “representation” of the other before the I and of the I in the eyes of the other remains a necessary interface. Accordingly, constitutive phenomenology has to take into consideration volition, action and communication not simply as extensions of the constitution of the thing. A reform of the theory of constitution, or rather its enlargement, to encompass this new type of “objectivity” (praxis) which would thus offer an adequate conceptual framework is strongly recommended. (shrink)

I assess the thesis that counterfactual asymmetries are explained by an asymmetry of the global entropy at the temporal boundaries of the universe, by developing a method of evaluating counterfactuals that includes, as a background assumption, the low entropy of the early universe. The resulting theory attempts to vindicate the common practice of holding the past mostly fixed under counterfactual supposition while at the same time allowing the counterfactual's antecedent to obtain by a natural physical development. Although the (...) class='Hi'>theory has some success in evaluating a wide variety of ordinary counterfactuals, it fails as an explanation of counterfactual asymmetry. (shrink)

A stereotype is a belief or claim that a group of people has a particular feature. Stereotypes are expressed by sentences that have the form of generic statements, like “Canadians are nice.” Recent work on generics lends new life to understanding generics as statements involving probabilities. I argue that generics (and thus sentences expressing stereotypes) can take one of several forms involving conditional probabilities, and these probabilities have what I call a naturalness requirement. This is the natural probability theory (...) of stereotypes. Each of the two components of the theory entails a family of fallacies that contributes to the spurious reinforcement of stereotypes: inferential slippage within and between the different generic forms, and inferential slippage from facts about frequencies of group traits to beliefs about natural propensities or dispositions of groups. Empirical research suggests that we often commit these fallacies. Moreover, this theory can referee a vitriolic debate between some psychologists, who hold that stereotypes are always false and stereotyping is always wrong, and other psychologists, who hold that stereotypes are often accurate and stereotyping is often reasonable. (shrink)

This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates truth, can avoid the paradox and is more in line (...) with the standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments. (shrink)

The pejorative connotation often associated with the ordinary language meaning of “conspiracy theory” does not only stem from a conspiracy theory’s being about a conspiracy, but also from a conspiracy theory’s being regarded as a particular kind of theory. I propose to understand conspiracy theory-induced polarization in terms of disagreement about the correct epistemic evaluation of ‘theory’ in ‘conspiracy theory’. By framing the positions typical in conspiracy theory-induced polarization in this way, I (...) aim to show that pejorative conceptions of ‘conspiracy theory’ are problematic for research open to the possibility of finding depolarization strategies. That is, because they preclude constructive engagement with the epistemic norms governing (the rationales foundational of) belief in conspiracy theories. (shrink)

Historical research has recently made it clear that, prior to Austin and Searle, the phenomenologist Adolf Reinach (1884-1917) developed a full-fledged theory of speech acts under the heading of what he called "social acts". He we consider a second instance of a speech act theory avant la lettre, which is to be found in the common sense philosophy of Thomas Reid (1710-1796). Reid’s s work, in contrast to that of Reinach, lacks both a unified approach and the detailed (...) analyses of pertinent examples. But his writings leave no doubt that he is acutely aware of the very problems concerning language structure and use out of which contemporary speech act theory has evolved and that he goes a good way towards solving these problems in the spirit of the modern theory. (shrink)

I provide a theory of causation within the causal modeling framework. In contrast to most of its predecessors, this theory is model-invariant in the following sense: if the theory says that C caused (didn't cause) E in a causal model, M, then it will continue to say that C caused (didn't cause) E once we've removed an inessential variable from M. I suggest that, if this theory is true, then we should understand a cause as something (...) which transmits deviant or non-inertial behavior to its effect. (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a (...) view. The paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

In this paper, I argue that Kant has a far more communitarian theory of aesthetic life than is usually acknowledged. I focus on two aspects of Kant’s theory that might otherwise be taken to support an individualist reading, namely, Kant’s emphasis on aesthetic autonomy and his characterization of judgments of taste as involving demands for agreement. I argue that the full expression of autonomy in fact requires being a member of an aesthetic community and that within such a (...) community, judgments of taste are issued as invitations to others to engage their faculties towards the goal of shared aesthetic appreciation. (shrink)

Many approaches to quantum gravity -the theory that should account for quantum and gravitational phenomena under the same theoretical umbrella- seem to point at some form of spacetime emergence, i.e., the fact that spacetime is not a fundamental entity of our physical world. This tenet has sparked many philosophical discussions: from the so-called empirical incoherence problem to different accounts of emergence and mechanisms thereof. In this contribution, I focus on the partial order relation of causal set theory and (...) argue that causation can be characterized as an a-temporal constraint over the kinematic space defined by the theory. The relation constrains the growth of a new element/event with respect to the other elements/events of a given set. Therefrom, the flow of time emerges from the collection of the possible growths of the given set, where each possibility is characterized by a classical probability assigned by the dynamics of the theory. (shrink)

Great Britain subjugated colonists using various power strategies, including dehumanization, misinformation, fear, and other divisive strategies. The Founders described these oppressive strategies as “a long train of abuses and usurpations.” Throughout the Declaration of Independence and the U.S. Constitution, the Founding Fathers imbued the people with hope in a government for the people: one unlike that of the monarchy, which sought to protect itself at the expense of colonists. As a result, the Founders created a government more likely to lead (...) with fairness, demonstrate respect for human dignity, unite Americans as one people, empower citizens through hope, and lead the nation toward security. This socio-ethical framework was an abductive discovery nested within a grounded theory study where it had been concluded that the first principles of democracy were woven within the American founding documents. Using Charmaz’s constructivist grounded theory, the first principles of democracy—knowledge, fairness, human dignity, hope, unity, and security—were used to answer an emerging research question: Are there two democratic frameworks in the founding documents, and how do they differ? The first principles of democracy promote a culture of ethics, resilience, and freedom. Their empowering disposition makes them suitable as a normative framework for a democratic government for the people. (shrink)

It is well-known that in the fifth of his Cartesian Meditations, Husserl puts forth a theory of intersubjectivity. Most commentators of Husserl have read his Cartesian Meditations as presenting a theory of intersubjectivity whose basis is empathy, in the form of a process of constituting the sense of “other” in one’s own experience, as the primary origin of the intersubjective layer of experience. In this paper, I claim that the structure of intersubjectivity as Husserl presents it in the (...) Cartesian Meditations is articulated as being governed by a logic of parts and wholes rather than that of a phenomenology of empathy, and that the articulation of this logic demonstrates that the transcendental ego is intrinsically intersubjective. My main philosophical claim in this regard is that the way Husserl’s account of transcendental empathy unfolds in the Cartesian Meditations implies a prior fundamental mereological structure of which the individual transcendental ego is only a part. That is, the transcendental ego has an eidetic a-priori intersubjective structure, in the sense of being a moment of an intersubjectively structured transcendental whole. In this sense, rather than being a singulare tantum, it is more fitting to say that transcendental subjectivity is actually a plurale tantum. (shrink)

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward a (...) natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

In this paper I explore Michael Loux’s important distinction between “tropes” and “tropers”. First, I argue that the distinction throws into relief an ambiguity and discrepancy in the literature, revealing two fundamentally different versions of trope theory. Second, I argue that the distinction brings into focus unique challenges facing each of the resulting trope theories, thus calling into question an alleged advantage of trope theory—that by uniquely occupying the middle ground between its rivals, trope theory is able (...) to recover and preserve the insights of these views. Ultimately, the distinction suggests that trope theory is a divided house. (shrink)

The default theory of aesthetic value combines hedonism about aesthetic value with strict perceptual formalism about aesthetic value, holding the aesthetic value of an object to be the value it has in virtue of the pleasure it gives strictly in virtue of its perceptual properties. A standard theory of aesthetic value is any theory of aesthetic value that takes the default theory as its theoretical point of departure. This paper argues that standard theories fail because they (...) theorize from the default theory. (shrink)

When organizations solve collective action problems or realize values, they do so by means of institutions. These are commonly regarded as self-stabilizing. Yet, they can also be subject to endogenous processes of decay, or so we argue. We explain this in terms of psychological and cultural processes, which can change even if the formal structures remain unchanged. One key implication is that the extent to which norms, values, and ideals motivate individuals to comply with institutions is limited.

The paper investigates what type of motivation can be given for adopting a knowledge-based decision theory. KBDT seems to have several advantages over competing theories of rationality. It is commonly argued that this theory would naturally fit with the intuitive idea that being rational is doing what we take to be best given what we know, an idea often supported by appeal to ordinary folk appraisals. Moreover, KBDT seems to strike a perfect balance between the problematic extremes of (...) subjectivist and objectivist decision theory. We argue that these alleged advantages do not stand up to a closer scrutiny: KBDT inherits the same kinds of problems as alternative decision theoretic frameworks but doesn’t retain any of the respective advantages. Moreover, differently from other knowledge-action principles advanced in the literature, KBDT cannot fully explain the intuitive connections between knowledge and rational action. We conclude that the most serious challenge for knowledge-based decision theorists is to provide a substantive rationale for the adoption of such a view. (shrink)

Theory of "conceptual pragmatism" takes into account both modern philosophical thought and modern mathematics. Stimulating discussions of metaphysics, a priori, philosophic method, much more.

Dispositionality and qualitativity are key notions to describe the world that we inhabit. Dispositionality is a matter of what a thing is disposed to do in certain circumstances. Qualitativity is a matter of how a thing is like. According to the Identity Theory of powers, every fundamental property is at once dispositional and qualitative, or a powerful quality. Canonically, the Identity Theory holds a contentious identity claim between a property’s dispositionality and its qualitativity. In the literature, this view (...) faces a contradiction objection that undermines its merits. We should therefore consider an alternative version that does not embrace the identity claim. My aim is to show that we can enjoy the benefits of the Identity Theory without embracing the identity between the dispositional and the qualitative. I shall argue that a distinction between two senses of dispositionality and qualitativity serves the purpose. I will then discuss three readings of the identity claim that can be formulated in light of such a distinction. I will conclude that even if the identity were to fail in any of the suggested readings, it would be possible to hold an account of fundamental powerful qualities. (shrink)

How can the propositional attitudes of several individuals be aggregated into overall collective propositional attitudes? Although there are large bodies of work on the aggregation of various special kinds of propositional attitudes, such as preferences, judgments, probabilities and utilities, the aggregation of propositional attitudes is seldom studied in full generality. In this paper, we seek to contribute to filling this gap in the literature. We sketch the ingredients of a general theory of propositional attitude aggregation and prove two new (...) theorems. Our first theorem simultaneously characterizes some prominent aggregation rules in the cases of probability, judgment and preference aggregation, including linear opinion pooling and Arrovian dictatorships. Our second theorem abstracts even further from the specific kinds of attitudes in question and describes the properties of a large class of aggregation rules applicable to a variety of belief-like attitudes. Our approach integrates some previously disconnected areas of investigation. (shrink)

This paper seeks to resolve a fairly simple question in ethics: Why do seemingly reasonable people disagree about ethical problems? My paper seeks both to analyze this question and attempts to find a solution. My premise is that disagreement happens because of differences in hierarchical value ranking, or quite simply because some problems are more important to some people than others. Theories of choice, however, influenced by concepts such as "freedom of choice," conceal the hierarchical nature of our choices, leading (...) to confusion over the nature and degree of our ethical disagreements. I propose then that ethical disagreements can be reduced when we understand hierarchy as an essential element in moral choice theory. (shrink)

Moral error theory of the kind defended by J. L. Mackie and Richard Joyce is premised on two claims: (1) that moral judgements essentially presuppose that moral value has absolute authority, and (2) that this presupposition is false, because nothing has absolute authority. This paper accepts (2) but rejects (1). It is argued first that (1) is not the best explanation of the evidence from moral practice, and second that even if it were, the error theory would still (...) be mistaken, because the assumption does not contaminate the meaning or truth-conditions of moral claims. These are determined by the essential application conditions for moral concepts, which are relational rather than absolute. An analogy is drawn between moral judgements and motion judgements. (shrink)

In this paper, I argue that one approach to normative political theory, namely contextualism, can benefit from a specific kind of historical inquiry, namely genealogy, because the latter provides a solution to a deep-seated problem for the former. This problem consists in a lack of critical distance and originates from the justificatory role that contextualist approaches attribute to contextual facts. I compare two approaches to genealogical reconstruction, namely the historiographical method pioneered by Foucault and the hybrid method of pragmatic (...) genealogy as practiced by Bernard Williams, arguing that they both ensure an increase in critical distance while preserving contextualism’s distinctiveness. I also show, however, that only the latter provides normative action-guidance and can thus assist the contextualist theorist in the crucial task of discerning how far certain contextual facts deserve their justificatory role. I prove this point by showing how a pragmatic genealogy of the practice of punishment can inform the contextualist’s reflection about the role this practice should play in a transitional scenario, i.e. in the set of circumstances societies go through in the aftermath of large-scale violence and human rights violations. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

In a famous debate between Thomas Kuhn and Karl Popper, Popper accused Kuhn and Quine of propagating the “Myth of the Framework”: that some broad set of specific background commitments are required for interlocutors to be able to have a fruitful conversation. The Myth of the Framework could be used to argue for a beneficial version of the canon: that training in these shared background commitments allows for the growth of a robust community of inquiry. Popper argues, however, that the (...) position that truth or inquiry can be framework-dependent is a pernicious form of relativism, and undermines the possibility of rational inquiry. I subject Popper’s view to criticism, showing that it can be used to undermine “orthodoxy” and the canon in some ways, but that it props up the canon in others. In closing, the paper examines the connections between Popper’s position on the community of inquiry and standpoint epistemology, and argues for the claim that Popper’s view, to be persuasive, requires a more robust account of how critical inquiry relies on the evaluative capacities of rational agents within a community. (shrink)

This chapter provides an explanation of precedent as a kind of artefact, in keeping with broader accounts of law that do so, specifically the author’s account of law as a genre of institutionalized abstract artefact. The chapter develops its explanation by responding to an argument by Dan Priel against seeing the common law as an artefact when understood to be a form of custom. The chapter shows that customs can themselves be artefacts but also that the precedential elements of common (...) law are not necessarily quite as customary as sometimes considered, showing that the common law built from precedents fits within a distributed design model of artefacts and that stare decisis has a wider systemic function of upholding certain rule of law principles. It ends with some considerations about the institutional nature of precedents, specifically that judicial decisions are most often both applications and developments of legal norms, but also determinations of legal validity. (shrink)

People often fail to comply with the demands of morality. Partial compliance theory takes this noncompliance or its possibility into account in the formulation of moral requirements for people to comply with, or in the evaluation of people’s actions against those requirements. This chapter critically engages with recent work on partial compliance theory. It examines the relationship between noncompliance and injustice, assesses different ways of doing partial compliance theory, sketches the relationship between partial compliance theory and (...) other central methodological debates in moral and political philosophy, and considers whether it is reasonable to issue moral requirements without examining what would happen if everyone did their part. (shrink)