In Theoretical Times, Steve Redhead describes the post-crash economic, environmental, political and cultural condition we live in today. As the rise of the international right - Donald Trump, Brexit, Marine Le Pen - swarms the globe, a new global battle within the right is developing: the globalists and neo-liberals versus the economic nationalists and protectionists. What then are the prospects for a resurrected theoretical politics of the left? Theoretical Times considers the work of theorists such as Alain Badiou, (...) Slavoj Žižek, Jean Baudrillard and Paul Virilio, in this innovative reinvention of theory and the politics of theory. After the global financial crash the world is being hollowed out and we find ourselves in what Žižek calls a desperate state of hopelessness, the "new dark ages". Accelerated culture sees us digitally entertaining ourselves to death but leaves us exhausted and frightened waiting for World War Three. Theoretical Times offers new theoretical resources as a way out of the quicksand. (shrink)

He also proposes an original theory of Baudrillard's relation to postmodernism, presenting the theorist's work as "non-postmodernist," after Bruno Latour's ...

If nothing else, the war in Iraq and the 1991 Gulf War have taught us much about media and technology as key players in how war is waged, packaged for public consumption, and exported in real time to the rest of the globe. A critic of the art of technology, Paul Virilio has keenly observed that media images quite often constitute a strategy of war and that accident is becoming indistinguishable from attack. For more than fifty years Virilio has offered (...) incisive and provocative criticism on technology and its moral, political, and cultural implications. Yet until now, much of his work, originally published in French, remains elusive in full English translation. _The Paul Virilio Reader_ collects for the first time English extracts reflecting the entire range of Virilio's diverse career. The book's introduction demonstrates that Virilio has produced an important--if controversial--"theory at the speed of light" that uncannily illuminates the impact of new information and communications technologies in a world that collapses time and distance as never before. The inventor of "dromology," which views speed as a defining concept for contemporary civilization, Virilio is noted for his proclamation that the logic of ever-increasing acceleration lies at the heart of the organization and transformation of the contemporary world. Arranged chronologically, the Reader illustrates the development and interconnectedness of Virilio's work. Each extract is prefaced by bibliographical and contextual commentary, and the book includes an innovative guide to reading Virilio. (shrink)

This article focuses on Charles Taylor’s and William Connolly’s attempts to fashion alternative forms of secular public reasoning to those of liberals like Rawls and Galston. I provide a weak defense of Taylor against both Connolly and many of Taylor’s liberal secular foes. Despite its noted shortcomings that Connolly can help to address, Taylor’s model does provide a more adequate basis for thinking through a public morality appropriate to the times because it takes seriously the hold certain values have on (...) non-secular individuals, and thus is very much attuned to the realities of ethical deliberation in early 21st-century western democracies Key Words: democracy • liberalism • pluralism • secularism • theism. (shrink)

Aiming to unravel the mystery of quantum mechanics, this book is concerned with questions about action-at-a-distance, holism, and whether quantum mechanics gives a complete account of microphysical reality. With rigorous arguments and clear thinking, the author provides an introduction to the philosophy of physics.

This book concentrates on research done during the last twenty years on the philosophy of quantum mechanics. In particular, the author focuses on three major issues: whether quantum mechanics is an incomplete theory, whether it is non-local, and whether it can be interpreted realistically. Much of the book is concerned with distinguishing various senses in which these questions can be taken, and assessing the bewildering variety of answers philosophers and physicists have given up to now. The book is self-contained in (...) that it presents the necessary parts of the mathematical formalism of quantum mechanics and also covers other interpretative topics, such as the problem of measurement and the uncertainty relations. A considerable portion of the book is based on original arguments presented by the author in lectures and research papers over the past ten years. However, this material is integrated with a broad coverage of most of the recent research in the field, so as to provide a balanced introduction to the whole subject. (shrink)

The book is drawn from the Tarner lectures, delivered in Cambridge in 1993. It is concerned with the ultimate nature of reality, and how this is revealed by modern physical theories such as relativity and quantum theory. The objectivity and rationality of science are defended against the views of relativists and social constructionists. It is claimed that modern physics gives us a tentative and fallible, but nevertheless rational, approach to the nature of physical reality. The role of subjectivity in science (...) is examined in the fields of relativity theory, statistical mechanics and quantum theory, and recent claims of an essential role for human consciousness in physics is rejected. Prospects for a 'Theory of Everything' are considered, and the related question of how to assess scientific progress is carefully examined. (shrink)

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

In this paper questions about vacuum fluctuations in local measurements, and the correlations between such fluctuations, are discussed. It is shown that maximal correlations always exist between suitably chosen local projection operators associated with spacelike separated regions of space-time, however far apart these regions may be. The connection of this result with the well-known Fregenhagen bound showing exponential decay of correlations with distance is explained, and the relevance of the discussion to the question “What do particle detectors detect?” is addressed.

Despite Kant's belief in a universal causal determinism among phenomena and his rejection of any noumenal agency in brutes, he nevertheless rejected Descartes's hypothesis that brutes are machines. Explaining Kant's response to Descartes forms the basis for this discussion of the nature of consciousness and matter in Kant's system. Kant's numerous remarks on animal psychology-as found in his lecture notes and reflections on metaphysics and anthropology-suggest a theory of consciousness and self-consciousness at odds with that traditionally ascribed to him.

The metaphysical commitments of quantum field theory are examined. A thesis of underdetermination as between field and particle approaches to the "elementary particles" is argued for but only if a disputed notion of transcendental individuality is admitted. The superiority of the field approach is further emphasized in the context of heuristics.

The thesis of this work is that in both modern Japanese philosophy and American pragmatism there has been a paradigm shift from a monological concept of self as an isolated "I" to a dialogical concept of the social self as an "I-Thou relation," including a communication model of self as individual-society interaction. It is also shown for both traditions all aesthetic, moral, and religious values are a function of the social self arising through communicative interaction between the individual and society. (...) However, at the same time this work critically examines major ideological conflicts arising between the social self theories of modern Japanese philosophy and American pragmatism with respect to such problems as individualism versus collectivism, freedom versus determinism, liberalism versus communitarianism, and relativism versus objectivism. (shrink)

This is a draft of the introduction to a forthcoming volume that brings together all of J. G. Herder's student notes from Immanuel Kant's lectures. It is intended as a volume in Kant's gesammelte Schriften (de Gruyter). These are the earliest notes (1762-64) we have from Kant's lectures (which span from 1755 to 1796) and the only notes before his professorship began in 1770. Included are improved transcriptions of Herder's notes on metaphysics, moral philosophy, logic, physics, and mathematics, and the (...) first transcription of his notes from Kant’s physical geography lectures. (shrink)

The status of the vacuum in relativistic quantum field theory is examined. A sharp distinction arises between the global vacuum and the local vacuum. The concept of local number density is critically assessed. The global vacuum state implies fluctuations for all local observables. Correlations between such fluctuations in space-like separated regions of space-time are discussed and the existence of correlations which are maximal in a certain sense is remarked on, independently of how far apart those regions may be. The analogy (...) with the mirror-image correlations in the singlet state of two spin-1/2 particles is explained. The connection between these maximal correlations and the well-known violation of the Bell inequality in the vacuum state is discussed, together with the way in which the existence of these correlations might be exploited in developing a vacuum version of the Einstein-Podolsky-Rosen argument. The recent relativistic formulation of the Einstein-Podolsky-Rosen argument by Ghirardi and Grassi is critically assessed with particular reference to the vacuum case. (shrink)

The paper is concerned with explaining some of the principal theoretical developments in elementary particle physics and discussing the associated methodological problems both in respect of heuristics and appraisal. Particular reference is made to relativistic quantum field theory, renormalization, Feynman diagram techniques, the analytic S-matrix and the Chew — Frautschi bootstrap.

This book represents emerging alternative perspectives to the "constructivist" orthodoxy that currently dominates the field of science and technology studies. Various contributions from distinguished Americans and Europeans in the field, provide arguments and evidence that it is not enough simply to say that science is "socially situated." Controversial Science focuses on important political, ethical, and broadly normative considerations that have yet to be given their due, but which point to a more realistic and critical perspective on science policy.

Artistic Detachment in Japan and the West takes up the notion of artistic detachment, or psychic distance, as an intercultural motif for East-West comparative aesthetics. The work begins with an overview of aesthetic theory in the West from the eighteenth-century empiricists to contemporary aesthetics and concludes with a survey of various critiques of psychic distance. Throughout, the author takes a highly innovative approach by juxtaposing Western aesthetic theory against Eastern aesthetic theory. Weaving between cultures and time periods, the author focuses (...) on a remarkably wide range of theories: in the West, the Kantian notion of disinterested contemplation, Heidegger's Gelassenheit, semiotics, and pragmatism; in Japan, Zeami's notion of riken no ken, the Kyoto School's intepretation of nothingness, D. T. Suzuki's analysis of the function of no-mind, and the writings of Kuki Shuzo on Buddhist detachment. "Portrait of the artist" fiction by such writers as Henry James, James Joyce, Mori Ogai, and Natsume Soseki demonstrates how the main theme of detachment is expressed in literary traditions. The role of sympathy or pragmatism in relation to disinterest is examined, suggesting conflicts within or challenges to the notion of detachment. Researchers and students in Eastern and Western areas of study, including philosophers and religionists, as well as literary and cultural critics, will deem this work an invaluable contribution to cross-cultural philosophy and literary studies. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Abbreviations Works by Alfred North Whitehead 1) Adventures of Ideas. New York: Macmillan Co., 1967 AI 2) Concept of Nature. Cambridge: Cambridge University Press, 1971 CN 3) Modes of Thought. New York: Macmillan Co., 1968 MT 4) Process ..

The book is drawn from the Tarner lectures, delivered in Cambridge in 1993. It is concerned with the ultimate nature of reality, and how this is revealed by modern physical theories such as relativity and quantum theory. The objectivity and rationality of science are defended against the views of relativists and social constructionists. It is claimed that modern physics gives us a tentative and fallible, but nevertheless rational, approach to the nature of physical reality. The role of subjectivity in science (...) is examined in the fields of relativity theory, statistical mechanics and quantum theory, and recent claims of an essential role for human consciousness in physics are rejected. Prospects for a 'Theory of Everything' are considered, and the related question of how to assess scientific progress is carefully examined. (shrink)

This paper constructs models of intuitionistic set theory in suitable categories. First, a Basic Intuitionistic Set Theory (BIST) is stated, and the categorical semantics are given. Second, we give a notion of an ideal over a category, using which one can build a model of BIST in which a given topos occurs as the sets. And third, a sheaf model is given of a Basic Intuitionistic Class Theory conservatively extending BIST. The paper extends the results in [2] by introducing a (...) new and perhaps more natural notion of ideal, and in the class theory of part three. (shrink)

Popper wrote extensively on the quantum theory. In Logic der Forschung he devoted a whole chapter to the topic, while the whole of Volume 3 of the Postscript to the Logic of Scientific Discovery is devoted to the quantum theory. This volume entitled Quantum Theory and the Schism in Physics incorporated a famous earlier essay, ‘Quantum Mechanics without “the Observer”’ . In addition Popper's development of the propensity interpretation of probability was much influenced by his views on the role of (...) probability in quantum theory, and he also wrote an insightful critique of the 1936 paper of Birkhoff and von Neumann on nondistributive quantum logic. (shrink)

This paper is a study of four subscripted Gentzen systems G u R +, G u T +, G u RW + and G u TW +. [16] shows that the first three are equivalent to the semilattice relevant logics u R +, u T + and u RW + and conjectures that G u TW + is, equivalent to u TW +. Here we prove Cut Theorems for these systems, and then show that modus ponens is admissible — which (...) is not so trivial as one normally expects. Finally, we give decision procedures for the contractionless systems, G u TW + and G u RW +. (shrink)

Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how do they differ? What advantages and disadvantages does each one have over the others? We pursue these questions by considering interpretations of each system into the others and examining the preservation and loss of mathematical content thereby. In order to stay focused on the “big picture”, we merely sketch the overall form of each construction, referring to the (...) literature for details. Each of the three steps considered below is based on more recent logical research than the preceding one. The first step from sets to types is essentially the familiar idea of set theoretic semantics for a syntactic system, i.e. giving a model; we take a brief glance at this step from the current point of view, mainly just to fix ideas and notation. The second step from types to categories is known to categorical logicians as the construction of a “syntactic category”; we give some specifics for the benefit of the reader who is not familiar with it. The third step from categories to sets is based on quite recent work, but captures in a precise way an intuition from the early days of foundational studies. With these pieces in place, we can then draw some conclusions regarding the differences between the three schemes, and their relative merits. In particular, it is possible to state more precisely why the methods of category theory are more appropriate to philosophical structuralism. (shrink)

Abstract:Watsuji Tetsurō's model of human existence (ningen sonzai) and his ethical principle of selfless solicitude (kokorozukai) imply not only a broadly permissive position on reproductive rights but a clearer vision of pregnancy and the fetus, and also a deeper moral critique of the anti-abortion movement.