Seven problems that occur in attempts to measure complexity are pointed out as they occur in four proposed measurement techniques. Each example method is an improvement over the previous examples. It turns out, however, that none are up to the challenge of complexity. Apparently, there is no currently available method that truly gets the measure of complexity. There are two reasons. First, the most natural approach, quantitative analysis, is rendered inadequate by the very nature of complexity. (...) Second, the intrinsic magnitude of complexity is still holding at bay attempts to use both quantitative and qualitative methods combined. Further progress in complexity science and in systems science is required. Any method that simplifies will fail because it ignores what complexity is. Techniques of understanding that do not simplify, but rather provide ways for the mind to grasp and work with complexity are more effective in getting its measure. (shrink)

In Ontology, quality determines beings. The quality-quantity bipolarity reveals that a conceptual logical comprehension that can include negation must be a dialectical logic. Quality is a precise characteristic of something capable of augmentation or diminution while remaining identical through differences or quantitative changes. Thus, quality and in opposition quantity are inextricably linked, giving definition to each other, so constituting a logical bipolarity. The theory is that a magnitude G is never separated from secondary qualities α and β, (...) and therefore, a measure depends on a concrete quality Gα or Gβ, that is to say on one pole of a logical bi-pole. However, the particular number, the unit, that expresses the result of a measure is the quality G alone. Examples drawn from physical and chemical experiments illustrate these ideas and elaborate the structure of the concept of opposition between the secondary qualities α and β of a magnitude G. (shrink)

In this article, I will discuss possible differences between ecosystems and organisms on the basis of their intrinsic complexity. As the concept of complexity still remains highly debated, I propose here a practical and original way to measure the complexity of an ecosystem or an organism. For this purpose, I suggest using the concept of logical depth (LD) in a specific manner, in order to take into account the difficulty as well as the time needed to (...) generate the studied object. I illustrate this method with fully controlled Daisyworld simulations (i.e., simulations based on the Gaia hypothesis) that have often been proposed to mimic living systems. The method consists of the following sequential stages: (1) identification of the shortest program able to numerically model the studied system (also called the Kolmogorov–Solomonoff complexity); (2) running the program, once if there are no stochastic components in the system, several times if stochastic components are there; and (3) computing the time needed to generate the system with LD complexity. This measure is supposed to estimate the system complexity. It appears in this study that LD estimations fit well with the intuition we have of complex systems, with higher complexities being found for more realistic Daisyworlds. With such a method of capturing the time needed to build a system, we expect to detect in future studies any quantified differences between complex ecosystems and organisms. (shrink)

This paper explores the problem of knowledge in computational informational organisms, i.e. organisms that include a computing machinery at the artifact side. Although information can be understood in many ways, from the second half of the past century information is getting more and more digitised, von Neumann machines becoming dominant. Computational information is a challenge for the act of measuring, as neither purely quantitative nor totally qualitative approaches satisfy the need to explain the interplay among the agents producing and (...) managing computational information. In this paper, Floridi’s method of levels of abstraction is applied to the analysis of computational information, with a chief interest in the concepts of information measure, quantification and quality. (shrink)

We investigate the initial segment complexity of random reals. Let K denote prefix-free Kolmogorov complexity. A natural measure of the relative randomness of two reals α and β is to compare complexity K and K. It is well-known that a real α is 1-random iff there is a constant c such that for all n, Kn−c. We ask the question, what else can be said about the initial segment complexity of random reals. Thus, we study (...) the fine behaviour of K for random α. Following work of Downey, Hirschfeldt and LaForte, we say that αK β iff there is a constant such that for all n, . We call the equivalence classes under this measure of relative randomness K-degrees. We give proofs that there is a random real α so that lim supn K−K=∞ where Ω is Chaitin's random real. One is based upon work of Solovay, and the other exploits a new idea. Further, based on this new idea, we prove there are uncountably many K-degrees of random reals by proving that μ=0. As a corollary to the proof we can prove there is no largest K-degree. Finally we prove that if n ≠ m then the initial segment complexities of the natural n- and m-random sets and Ω︀) are different. The techniques introduced in this paper have already found a number of other applications. (shrink)

Hegel on Being provides an authoritative treatment of Hegel's entire logic of being. Stephen Houlgate presents the Science of Logic as an important and neglected text within Hegel's oeuvre that should hold a more significant place in the history of philosophy. In the Science of Logic, Hegel set forth a distinctive conception of the most fundamental forms of being through ideas on quality, quantity and measure. Exploring the full trajectory of Hegel's logic of being from quality to measure, this two-volume (...) work by preeminent Hegel scholar, Houlgate situates Hegel's text in relation to the work of Plato, Aristotle, Descartes, Spinoza, Kant, and Frege. Volume I: Quality and the Birth of Quantity in Hegel's 'Science of Logic' covers all material on the purpose and method of Hegel's dialectical logic and charts the crucial transition from the concept of quality to that of quantity, as well as providing an original account of Hegel's critique of Kant's antinomies across two chapters. Volume II: Quantity and Measure in Hegel's 'Science of Logic' continues the discussion of Hegel's logic of being and considers all aspects of quantity and measure in his logic, including his basic categories of being, writings on calculus, philosophy of mathematics, as well as a comparative study of Hegel and Frege's approach to logic. Lucidly written, with characteristic philosophical depth and analysis, Houlgate's Hegel on Being explicates one of Hegel's most complex works, providing a vital reference for a generation of Hegel scholars and a major contribution to the literature on 19th century German philosophy. (shrink)

With Hegel on Being, Stephen Houlgate presents an impressive philosophical analysis of one of the most obscure, but also most important texts of the whole Western philosophical tradition. Houlgate's book is an in-depth systematic investigation of the entire doctrine of being of Hegel's mature logical system. This work takes up and develops a series of reflections presented in The Opening of Hegel's Logic (2006), which were dedicated to the first two chapters of the section on quality in the Science (...) of Logic, and extends them to the further two sections of the first part of Hegel's mature system. Houlgate's text is thus particularly interesting, especially if one considers that not many Hegel scholars have dealt with the difficulties of the sections dedicated to quantity and measure. This is probably due to the complexity of the dialectic of the categories involved in these sections of the Logic and to the necessity of approaching Hegel's dialogue with the exact and natural sciences of his time. On the interaction of Hegel's philosophy with these scientific contributions, Houlgate offers us particularly significant pages. Suffice to mention the excursus on differential calculus at the end of the section dedicated to quantity, or the analysis of the relevance of Galileo Galilei's and Johannes Kepler's discoveries in the context of the analysis of realized measure. (shrink)

The paper interprets the concept “operator in the separable complex Hilbert space” (particalry, “Hermitian operator” as “quantity” is defined in the “classical” quantum mechanics) by that of “quantum information”. As far as wave function is the characteristic function of the probability (density) distribution for all possible values of a certain quantity to be measured, the definition of quantity in quantum mechanics means any unitary change of the probability (density) distribution. It can be represented as a particular case of “unitary” (...) qubits. The converse interpretation of any qubits as referring to a certain physical quantity implies its generalization to non-Hermitian operators, thus neither unitary, nor conserving energy. Their physical sense, speaking loosely, consists in exchanging temporal moments therefore being implemented out of the space-time “screen”. “Dark matter” and “dark energy” can be explained by the same generalization of “quantity” to non-Hermitian operators only secondarily projected on the pseudo-Riemannian space-time “screen” of general relativity according to Einstein's “Mach’s principle” and his field equation. (shrink)

We reconsider some classical natural semantics of integers in the perspective of Kolmogorov complexity. To each such semantics one can attach a simple representation of integers that we suitably effectivize in order to develop an associated Kolmogorov theory. Such effectivizations are particular instances of a general notion of “self-enumerated system” that we introduce in this paper. Our main result asserts that, with such effectivizations, Kolmogorov theory allows to quantitatively distinguish the underlying semantics. We characterize the families (...) obtained by such effectivizations and prove that the associated Kolmogorov complexities constitute a hierarchy which coincides with that of Kolmogorov complexities defined via jump oracles and/or infinite computations . This contrasts with the well-known fact that usual Kolmogorov complexity does not depend on the chosen arithmetic representation of integers, let it be in any base n ≥ 2 or in unary. Also, in a conceptual point of view, our result can be seen as a mean to measure the degree of abstraction of these diverse semantics. (shrink)

Kolmogorov complexity was originally defined for finitely-representable objects. Later, the definition was extended to real numbers based on the asymptotic behaviour of the sequence of the Kolmogorov complexities of the finitely-representable objects—such as rational numbers—used to approximate them.This idea will be taken further here by extending the definition to continuous functions over real numbers, based on the fact that every continuous real function can be represented as the limit of a sequence of finitely-representable enclosures, such (...) as polynomials with rational coefficients.Based on this definition, we will prove that for any growth rate imaginable, there are real functions whose Kolmogorov complexities have higher growth rates. In fact, using the concept of prevalence, we will prove that ‘almost every’ continuous real function has such a high-growth Kolmogorov complexity. An asymptotic bound on the Kolmogorov complexities of total single-valued computable real functions will be presented as well. (shrink)

The history of the idea of biological progress shows that it is not a selfexplanatory category, so a clear definition is required. Biological progress exists if: “more progressive” is defined as “more complex” – in that case evolution is synonymous with progress, i.e. development from simple to complex, from homogeneous to heterogeneous; we perceive the expression “more progressive” as more successful in relation to the environment, in these terms some groups in the history of life were more progressive because/so (...) that they survived, while others were retrogressive or less progressive because/so that they died out; on the other hand, within their ecological niches, certain forms of life are perfectly adapted to their environment as long as it is stable ; we take the span or reach of a potential adaptation of populations as a measure. However, there is no active, innovative problem solving in relation to the environment either with plants or animals – only the variability mechanism / selection is in place, automatism, instinct. In the light of the above-mentioned biological criteria, man is the most complex living creature by his constitution, he is the least dependent on the environment and can be innovative in relation to the environment. Man is the only living creature capable of establishing an active relationship with the environment through his special tool – culture. Considering the level of organization and quantity of information, the mammal genome is more progressive than the bacterium genome, while the human genome comprises most information which makes man the most progressive living thing. We can talk about biological progress if we define progressiveness as advancement toward complexity of organisation, but sometimes the simplification of structure enables survival. It seems that we can talk about progressivenessin biology only if we accept the anthropic principle – that is why only cultural progress is possible. Information is the link between biological and cultural-anthropological successfulness. Biological information is a “complete” piece of information to an animal. To a human being, it is only a condicio sine qua non for the reality of human spirit which receives, keeps and generates information. Progress can be measured according to the capability of establishing an active and innovative relationship with the environment, but only within some sort of anthropocentric outlook which is a criterion of value. It is not possible to talk about progressiveness of life if man is not the measure of all things. (shrink)

Consider a randomness notion C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}. A uniform test in the sense of C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document} is a total computable procedure that each oracle X produces a test relative to X in the sense of C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}. We say that a binary sequence Y is C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}-random uniformly relative to (...) X if Y passes all uniform C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document} tests relative to X. Suppose now we have a pair of randomness notions C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document} and D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{D}}$$\end{document} where C⊆D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C} \subseteq \mathcal{D}}$$\end{document}, for instance Martin-Löf randomness and Schnorr randomness. Several authors have characterized classes of the form Low which consist of the oracles X that are so feeble that C⊆DX\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C} \subseteq \mathcal{D}^X}$$\end{document}. Our goal is to do the same when the randomness notion D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{D}}$$\end{document} is relativized uniformly: denote by Low \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\star}$$\end{document} the class of oracles X such that every C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}-random is uniformly D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{D}}$$\end{document}-random relative to X. We show that X∈Low⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\in Low ^\star}$$\end{document} if and only if X is c.e. tt-traceable if and only if X is anticomplex if and only if X is Martin-Löf packing measure zero with respect to all computable dimension functions. We also show that X∈Low⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\in Low^\star}$$\end{document} if and only if X is computably i.o. tt-traceable if and only if X is not totally complex if and only if X is Schnorr Hausdorff measure zero with respect to all computable dimension functions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:388 HISTORY OF PHILOSOPHY Beyond the Edge of Certainty: Essays in Contemporary Science and Philosophy. Edited with an Introduction by Robert G. Colodny. (Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1965.) This is the second volume of lectures on various current topics in the philosophy of the physical, biological, and social sciences which has been published under the auspices of the Center for Philosophy of Science at the University of (...) Pittsburg. Volume I, Frontiers o] Science and Philosophy, also edited by Professor Colodny, appeared in 1962. Five of the seven lectures contained in this volume treat topics which fall within the philosophy of physics. The persistent student who is without a technical background in either logic or physics will find these for the most part quite readable. Considering this, it is worthy of note that, while the lectures are not of uniform quality in this respect, several problems are treated with sufficient freshness of insight to justify the interest of the philosopher of science as such. Since I cannot discuss all of the lectures, I will restrict my comments, for the most part, to those the significance of which I think I understand best and which deal significantly with some aspect of the history of philosophy. In "Newton's First Law: A Philosopher's Door into Natural Philosophy," Norwood Russell Hanson exhibits what has become a widely accepted analysis of Newton's First Law as a model to be applied to theories in science which must be regarded as, in some sense, true, but which, in principle, are not empirically demonstrable. Briant Ellis, in "The Origin and Nature of Newton's Laws of Motion," deals in a somewhat parallel way with all three of Newton's laws of motion. It is argued that these laws are primarily conceptual in origin. Evidence is marshalled that they were derived from Cartesian physics. That no amount of empirical work could establish or provide support for a principle of natural motion is held by Ellis to be due to the fact that "force" is conceived as something that exists only in order to explain effects. "Since we are at liberty to choose to regard whatever changes or states we please as natural (i.e., as not being effects) it follows that the forces which we should say are operative in nature depend upon the choices we actually make" (65). It would, I think be difficult to show that any one of the points Ellis makes, with the exception of his interesting historical note on the probable origin of Newton's laws of motion, has not previously been made. All, or nearly all, of these points were set forth, at least in outline, for example, by William Werkmeister in A Philosophy o] Science. The approach Ellis makes to his development of the concept of "force," however, is both fresh and incisive and worthy of careful study. In "A Philosopher looks at Quantum Mechanics," Hillary Putnam exhibits the Copenhagen interpretation of quantum mechanics of Bohr and Heisenberg, viewed in historical perspective, as the most adequate of several unsatisfactory theories. He finds the locus of the problem to lie in a suitable definition of "measurement." Noting that Heisenberg's definition (improperly) appeals to the macrocosm conceived in terms of classical mechanics, he seeks to clarify some of the issues that must follow the attempt to define measurement within the context of quantum mechanics. Putnam holds the relative sharpness of macroobservables for Bohr and Heisenberg to be an underived assumption of their theory. Since the quantities of which macro-observables are supposed to be averages are not (in quantum mechanics) required always to exist, this assumption cannot be derived from a plausible definition of macro-observables together with a suitable formulation of the laws of quantum mechanics. Moving from Bohr and Heisenberg's conclusion that measurement requires interaction of a system (or part of a system) measured with respect to an outside system, and that macroobservables do not exist unless measured, measurement for quantum mechanics is defined as "an interaction in which a system A (the 'measured' system), which was previously isolated, interacts with a system B (the 'measuring' system) in such a way as to cause a... (shrink)

This work presents a discussion about the application of the Kolmogorov; López-Ruiz, Mancini, and Calbet ; and Shiner, Davison, and Landsberg complexity measures to a common situation in physics described by the Maxwell–Boltzmann distribution. The first idea about complexity measure started in computer science and was proposed by Kolmogorov, calculated similarly to the informational entropy. Kolmogorov measure when applied to natural phenomena, presents higher values associated with disorder and lower to order. However, it is considered (...) that high complexity must be associated to intermediate states between order and disorder. Consequently, LMC and SDL measures were defined and used in attempts to model natural phenomena but with the inconvenience of being defined for discrete probability distributions defined over finite intervals. Here, adapting the definitions to a continuous variable, the three measures are applied to the known Maxwell–Boltzmann distribution describing thermal neutron velocity in a power reactor, allowing extension of complexity measures to a continuous physical situation and giving possible discussions about the phenomenon. (shrink)

This paper continues the study of the metric topology on $2^{\mathbb {N}}$ that was introduced by S. Binns. This topology is induced by a directional metric where the distance from $Y\in2^{\mathbb {N}}$ to $X\in2^{\mathbb {N}}$ is given by \[\limsup_{n}\frac{C(X\upharpoonright n|Y\upharpoonright n)}{n}.\] This definition is closely related to the notions of effective Hausdorff and packing dimensions. Here we establish that this is a path-connected topology on $2^{\mathbb {N}}$ and that under it the functions $X\mapsto\operatorname{dim}_{\mathcal{H}}X$ and $X\mapsto\operatorname{dim}_{p}X$ are continuous. We also (...) investigate the scalar multiplication operation that was introduced by Binns. The multiplication of a real $X\in2^{\mathbb {N}}$ by an element $\alpha\in[0,1]$ represents a dilution of the information in $X$ by a factor of $\alpha$ . Our main result is to show that every regular real is the dilution of a real of Hausdorff dimension 1. That is, that the information in every regular real can be maximally compressed. (shrink)

It is a heroic enterprise to develop a systematic reading of Hegel's Doctrine of Being, the first of three books in the Science of Logic. The basic idea of Houlgate's grand interpretation of Hegel's three parts of this Doctrine, which I call the Logic of Quality, Quantity and Measure, is that Hegel demands a ‘presuppositionless derivation of categories’ (II: ix). Hegel on Being (in short: HoB) presents a thoroughgoing and rigorous interpretation in a kind of dialogue (as I would characterize (...) what HoB marks as ‘Excursus’) with Kant (I: 19–46, 307–73; II: 171–79) and especially Frege's formal logic and his attempts of a predicative definition of numbers (II: 25–138). In any case, HoB makes us aware of the really problematic presuppositions in post-Fregean Analytic Philosophy. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:388 HISTORY OF PHILOSOPHY Beyond the Edge of Certainty: Essays in Contemporary Science and Philosophy. Edited with an Introduction by Robert G. Colodny. (Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1965.) This is the second volume of lectures on various current topics in the philosophy of the physical, biological, and social sciences which has been published under the auspices of the Center for Philosophy of Science at the University of (...) Pittsburg. Volume I, Frontiers o] Science and Philosophy, also edited by Professor Colodny, appeared in 1962. Five of the seven lectures contained in this volume treat topics which fall within the philosophy of physics. The persistent student who is without a technical background in either logic or physics will find these for the most part quite readable. Considering this, it is worthy of note that, while the lectures are not of uniform quality in this respect, several problems are treated with sufficient freshness of insight to justify the interest of the philosopher of science as such. Since I cannot discuss all of the lectures, I will restrict my comments, for the most part, to those the significance of which I think I understand best and which deal significantly with some aspect of the history of philosophy. In "Newton's First Law: A Philosopher's Door into Natural Philosophy," Norwood Russell Hanson exhibits what has become a widely accepted analysis of Newton's First Law as a model to be applied to theories in science which must be regarded as, in some sense, true, but which, in principle, are not empirically demonstrable. Briant Ellis, in "The Origin and Nature of Newton's Laws of Motion," deals in a somewhat parallel way with all three of Newton's laws of motion. It is argued that these laws are primarily conceptual in origin. Evidence is marshalled that they were derived from Cartesian physics. That no amount of empirical work could establish or provide support for a principle of natural motion is held by Ellis to be due to the fact that "force" is conceived as something that exists only in order to explain effects. "Since we are at liberty to choose to regard whatever changes or states we please as natural (i.e., as not being effects) it follows that the forces which we should say are operative in nature depend upon the choices we actually make" (65). It would, I think be difficult to show that any one of the points Ellis makes, with the exception of his interesting historical note on the probable origin of Newton's laws of motion, has not previously been made. All, or nearly all, of these points were set forth, at least in outline, for example, by William Werkmeister in A Philosophy o] Science. The approach Ellis makes to his development of the concept of "force," however, is both fresh and incisive and worthy of careful study. In "A Philosopher looks at Quantum Mechanics," Hillary Putnam exhibits the Copenhagen interpretation of quantum mechanics of Bohr and Heisenberg, viewed in historical perspective, as the most adequate of several unsatisfactory theories. He finds the locus of the problem to lie in a suitable definition of "measurement." Noting that Heisenberg's definition (improperly) appeals to the macrocosm conceived in terms of classical mechanics, he seeks to clarify some of the issues that must follow the attempt to define measurement within the context of quantum mechanics. Putnam holds the relative sharpness of macroobservables for Bohr and Heisenberg to be an underived assumption of their theory. Since the quantities of which macro-observables are supposed to be averages are not (in quantum mechanics) required always to exist, this assumption cannot be derived from a plausible definition of macro-observables together with a suitable formulation of the laws of quantum mechanics. Moving from Bohr and Heisenberg's conclusion that measurement requires interaction of a system (or part of a system) measured with respect to an outside system, and that macroobservables do not exist unless measured, measurement for quantum mechanics is defined as "an interaction in which a system A (the 'measured' system), which was previously isolated, interacts with a system B (the 'measuring' system) in such a way as to cause a... (shrink)

A description is given of the quantitative-qualitative distinction for terms in theories of measurable attributes, and, adjoined to that account, a suggestion is made concerning the sense in which empirical relational systems have an empirical attribute as their topic or focus. Since this characterization of quantitative terms, relative to a partition, makes no explicit reference to numbers, concatenation operations, or ordering relations, we show how our results are related to some standard theorems in the literature. Analogs of representation and uniqueness (...) theorems are proved, and the notions of exact quantitative term and the underlying attribute of a quantitative term, are described and studied. (shrink)

We compare the elementary theories of Shannon information and Kolmogorov complexity, the extent to which they have a common purpose, and wherethey are fundamentally different. We discuss and relate the basicnotions of both theories: Shannon entropy, Kolmogorov complexity, Shannon mutual informationand Kolmogorov (``algorithmic'') mutual information. We explainhow universal coding may be viewed as a middle ground betweenthe two theories. We consider Shannon's rate distortion theory, whichquantifies useful (in a certain sense) information.We use the communication of (...) information as our guiding motif, and we explain howit relates to sequential question-answer sessions. (shrink)

There are two fundamental computably enumerable sets associated with any Kolmogorov complexity measure. These are the set of non-random strings and the overgraph. This paper investigates the computational power of these sets. It follows work done by Kummer, Muchnik and Positselsky, and Allender and co-authors. Muchnik and Positselsky asked whether there exists an optimal monotone machine whose overgraph is not tt-complete. This paper answers this question in the negative by proving that the overgraph of any optimal monotone machine, (...) or any optimal process machine, is tt-complete. The monotone results are shown for both descriptional complexity Km and KM, the complexity measure derived from algorithmic probability. A distinction is drawn between two definitions of process machines that exist in the literature. For one class of process machines, designated strict process machines, it is shown that there is a universal machine whose set of non-random strings is not tt-complete. (shrink)

In terms of Groenendijk and Stokhof’s (1984) formalization of exhaustive interpretation, many conversational implicatures can be accounted for. In this paper we justify and generalize this approach. Our justification proceeds by relating their account via Halpern and Moses’ (1984) non-monotonic theory of ‘only knowing’ to the Gricean maxims of Quality and the first sub-maxim of Quantity. The approach of Groenendijk and Stokhof (1984) is generalized such that it can also account for implicatures that are triggered in subclauses not entailed by (...) the whole complex sentence. (shrink)

A recursive enumerator for a function h is an algorithm f which enumerates for an input x finitely many elements including h(x), f is a k(n)-enumerator if for every input x of length n, h(x) is among the first k(n) elements enumerated by f. If there is a k(n)-enumerator for h then h is called k(n)-enumerable. We also consider enumerators which are only A-recursive for some oracle A. We determine exactly how hard it is to enumerate the Kolmogorov function, (...) which assigns to each string x its Kolmogorov complexity: • For every underlying universal machine U, there is a constant a such that C is k(n)-enumerable only if k(n) ≥ n/a for almost all n. • For any given constant k, the Kolmogorov function is k-enumerable relative to an oracle A if and only if A is at least as hard as the halting problem. • There exists an r.e., Turing-incomplete set A such for every non-decreasing and unbounded recursive function k, the Kolmogorov function is k(n)-enumerable relative to A. The last result is obtained by using a relativizable construction for a nonrecursive set A relative to which the prefix-free Kolmogorov complexity differs only by a constant from the unrelativized prefix-free Kolmogorov complexity. Although every 2-enumerator for C is Turing hard for K, we show that reductions must depend on the specific choice of the 2-enumerator and there is no bound on the quantity of their queries. We show our negative results even for strong 2-enumerators as an oracle where the querying machine for any x gets directly an explicit list of all hypotheses of the enumerator for this input. The limitations are very general and we show them for any recursively bounded function g: • For every Turing reduction M and every non-recursive set B, there is a strong 2-enumerator f for g such that M does not Turing reduce B to f. • For every non-recursive set B, there is a strong 2-enumerator f for g such that B is not wtt-reducible to f. Furthermore, we deal with the resource-bounded case and give characterizations for the class ${\rm S}_{2}^{{\rm P}}$ introduced by Canetti and independently Russell and Sundaram and the classes PSPACE, EXP. • ${\rm S}_{2}^{{\rm P}}$ is the class of all sets A for which there is a polynomially bounded function g such that there is a polynomial time tt-reduction which reduces A to every strong 2-enumerator for g. • PSPACE is the class of all sets A for which there is a polynomially bounded function g such that there is a polynomial time Turing reduction which reduces A to every strong 2-enumerator for g. Interestingly, g can be taken to be the Kolmogorov function for the conditional space bounded Kolmogorov complexity. • EXP is the class of all sets A for which there is a polynomially bounded function g and a machine M which witnesses A ∈ PSPACEf for all strong 2-enumerators f for g. Finally, we show that any strong O(log n)-enumerator for the conditional space bounded Kolmogorov function must be PSPACE-hard if P = NP. (shrink)

Chapter 1: An Introduction: The ‘Semantic Sting’ Argument Describes Dworkin’s theory as concerning the conditions of legal validity. “A legal system is a system of norms. Validity is a logical property of norms in a way akin to that in which truth is a logical property of propositions. A statement about the law is true if and only if the norm it purports to describe is a valid legal norm…It follows that there must be certain conditions which render (...) certain norms, but not others, legally valid. Hence it also follows that there can be two types of disagreement over the truth or falsehood of propositions about the law. People can disagree over the question ‘What are the conditions of legal validity?’, in which case their disagreement is a theoretical one. Or they can agree on the conditions of validity, and disagree as to whether or not those conditions actually obtain in a given case or not.” Argues that the best way to interpret Dworkin’s ‘semantic-sting argument’ is as a general argument against conventionalism in legal positivism. Summarizes the outcome of Dworkin’s argument as follows: “[I]f Dworkin is right about the legal reasoning of lawyers and judges, conventionalism would be self-defeating: if lawyers and judges recognize as legally binding not only those norms which are uncontroversially identifiable under the Rule of Recognition, that is, if what they recognize as binding is not only source-based law, then conventionalism turns out to be false on its own terms. In other words, either law is not what lawyers and judges think that it is, in which case law is not a matter of conventions, or – if it is what lawyers and judges think – conventionalism is false, as they do not see the law as purely a matter of conventions.” Dworkin’s theory, then, is a new conception of jurisprudence aiming to present itself as a rival to conventionalism. The book will be concerned with re-examining positivism in light of the interpretative challenge. Chapter 2: Meaning and Interpretation “[R]oughly, interpretation can be defined as an understanding or explanation of the meaning of an object.” Interpretation in this narrow sense is distinct from a less formal and broader use of interpretation that makes it equivalent to explanation. “Hence also, only those objects which are capable of bearing some meaning qualify as objects of interpretation.” [Why shouldn’t we think of interpretation as object-identification? This seems to be closer to what Dworkin has in mind.] Thus, a consideration of the philosophical work on meaning is appropriate. First, a consideration of Davidson on interpretation. The thesis is that Davidson’s “radical interpretation” can only account for sentence meaning and not for linguistic interpretation in general. Davidson cannot account for the non-rule-governed aspects of communication. “Semantics, as opposed to interpretation, concerns those aspects of communication which are rule or convention governed…but such rules are normally unavailable as reasons or justifications for an interpretation. On the contrary, interpretation is usually required because the issue is not determined by rules or conventions.” Interpretation, rather, is parasitic with understanding the meaning of an expression and not equivalent with it. As Dummett notes, any reflection on the meanings of words assumes prior knowledge of ordinary meanings. “This leads to the conclusion that understanding or explaining the meaning of an expression and interpreting it, are two conceptually separate things. It also indicates that seman ics can only be employed, if at all, to elucidate the concept of interpretation by way of contrast: interpretation concerns those aspects of communication which are under-determined by semantic rules or conventions.” Pragmatics, the study of problems posed by discrepancies between utterer’s meaning and sentence meaning, would seem to be closer to inquiry into interpretation. Both are concerned with understanding how meaning is possible where conventional rules leave off. Contemporary pragmatics, moreover, recognizes the logically indeterminate character of communicative inferences beyond conventional meaning and that the contextual conditions that account for the possibility cannot be realized in the semantic structure of the sentence. However, different criteria of success may be at work in pragmatics than interpretation. Pragmatics is concerned with how communication is achieved and thus the criteria of success would be grasping a speaker’s intentions. Many think, however, that communication is unimportant in certain spheres of communication, e.g. artistic interpretation, and that in these cases the aim of interpretation is not to uncover the actual artist’s intentions. What kind of meaning is interpretation aimed at then? It cannot be the meaning the object has for the interpreter. “Interpretation purports to be a statement about the object interpreted, not about the subject who offers the interpretation…it is crucial to remember that not everything we say about a work of art, or any other text, amounts to an interpretation of it. Only those aspects of a text which can shed light on its meaning form part of the text’s interpretation. What the text means for someone rarely entails anything about what the text means.” [This is puzzling to some extent for it remains somewhat ambiguous what it means to talk of subject-independent meaning.] Interpretive meaning attribution is, rather, counterfactual. “In general, I will suggest that the answer to this question consists in the fact that meaning is assigned by a counterfactual statement. Given that x is the meaning attributed to, for instance a text T, and x is not the literal meaning of T, nor is it the meaning of T intended by its author, then the attribution of meaning x to T can only be understood as the contention that on the basis of certain assumptions a certain fictitious or stipulated speaker would have meant x by expressing T.” Thus, on this account, interpretation, when it does not concern an actual speaker, turns out to be a kind of counterfactual intention attribution. Twofold point: “First, that interpretation is essentially a matter of attributing intentions, that is, in the pragmatics sense of ‘meaning’, namely, meaning that such-and-such by an act or expression. At the same time, interpretations need not be based on the intentions of actual authors; the meaning of an act or expression is understandable in terms of counterfactual intentions.” [Are we really restricted to understanding the coherence and integrity of meaning in such a way? Presumably the author is a kind of device for organizing meaning, much like Dworkin’s integrity, but need it take that format?] The logic of interpretation is typically reducible to intention attribution. [What role does the counterfactual author play in structuring meaning?] The criteria of interpretive success will depend upon the object, whether it is the real author or the counterfactual author. If the former, success will depend upon the retrieval of the author’s actual intentions. “Likewise, if the author is characterized in terms of some ideal representative of a certain genre, for instance, the presumptions which are taken to determine this c aracterization would provide the criteria of success for the particular interpretation offered.” [The criteria of success would seem, then, to be the principles, ideals, etc. that we attribute to the counterfactual author. These attributed qualities would be doing all the work – is the attribution of intention to the hypothetical author, then, really necessary at all?] [Does this account presuppose a weird dichotomy between what an object is and what it means? This dichotomy is different, if present at all, in Dworkin.] Chapter 3: Dworkin’s Theory of Interpretation and the Nature of Jurisprudence Three main insights of Dworkin’s theory of interpretation: “First, that interpretation strives to present its object in its best possible light. Second, that interpretation is essentially genre-dependent. And third, that there are certain constraints that determine the limits of possible interpretations of a given object.” Why the best light? Dworkin doesn’t really address this question in depth but claims that otherwise we are left with no way of justifying and choosing an interpretation or we are left with the author’s intention model, which we should reject. [Marmor doesn’t seem clear on what precisely it means to present something in its best light – seems to conflate it with most appealing light which, I take it, is different than what Dworkin has in mind.] “Dworkin is quite right to maintain that without having some views about the values inherent in the genre to which the text is taken to belong, no interpretation can take off the ground. The values we associate with the genre partly, but crucially, determine what would make sense to say about the text, what are the kinds of meaning we could ascribe to it.” There is no necessity for an interpretation to present an object in its best light with regards to the genre it is taken to be part of. Interpretations “could simply strive to present it in a certain light, perhaps better than some, worse than others, but in a way which highlights an aspect of the meaning of the text which may be worth paying attention to for some reason or another.” [What kind of reasons would count in choosing to present it in one light rather than another?] There is simply zero grounds for Dworkin’s assertion that we have no reason to pay attention to an interpretation that does not present it in its best light. Take a psychoanalytic interpretation of Hamlet, for example – not the best light, but a legitimate one. [This seems related to the next criticism – clearly Dworkin would have to loosen his insistence on the best, though not to detriment.] Moreover, especially with regards to art, it doesn’t appear possible to make an all things considered judgment about the best interpretation given the incommensurability of different values that are taken to inhere in a given genre. [Dworkin can respond here that we may have different available interpretations that could be justified with respect to the relevant value. Moreover, a lack of common denominator does not prevent any comparison whatsoever.] Constructive interpretation concerns social practices constituted by norms – it imposes a purpose or value rendering intelligible the normative character of the practice. There is a separate aspect of constructive interpretation that maintains that elements of the practice are sensitive to the point of the practice. It is important to note that different social practices will institutionalize themselves in different ways – thus, different practices will establish varying conditions on how the practice can be altered. The position of the positivists is that evaluative judgments concerning what the law should be are insufficient for determining what the law is given the nature of law’s institutionalization.&nb p; [This would seem to reside on a certain conception of law, i.e. an interpretation about where the value of law lies.] “[T]his being one of the main points of dispute between Dworkin and his positivist opponents, Dworkin cannot at this initial state presume law to be sensitive to its value in the manner that other, non-institutional practices might be, without incurring the charge of having assumed the very point at issue.” The upshot for Dworkin is that any explanation of a social practice such as law requires the same kind of reasoning as participation in that practice. This will be called the hermeneutic thesis. We can try to reconstruct a justification for this view based on the necessity of shared background assumptions – but this will not do since Dworkin’s claim is stronger: it contends that participants’ and theorists’ must “adopt one and the same normative point of view.” [The sense of normative here is unclear. It is true, though, that shared background assumptions do not imply viewing the law as valuable in any particular way, or at least it does not imply this in any strong sense.] Dworkin makes two distinct points with the hermeneutic thesis: “First, that the explanation of a social practice, like law or the arts, is essentially interpretative, and as such, necessarily value laden. Second, that the interpretation of such social practices, which Dworkin calls ‘argumentative’, is unique in the sense that the practice itself is an evaluative enterprise, and that therefore the interpreter of such a practice must form an evaluative judgment of her own about those values which are inherent in the practice that she purports to interpret.” [As stated, the first thesis is terribly ambiguous – for Dworkin, it clear implies a commitment to constructive interpretation. For Marmor, who accepts it, it is totally unclear what commitment he intends to make. He seems to mean simply that we have criteria for success concerning what counts as a successful explanation.] Mamor denies the second thesis. “What Dworkin seems to ignore here is that there is a crucial difference between forming a view about the values which are manifest in a social practice, like law, and actually having evaluative judgments about them.” [The problem, however, it that it is a contentious matter what values are part of the law – a theorist’s account of what values are constitutive of a particular legal system must rely on the kind of arguments which participants rely on. Of course, a theorist might simply note a debate about values and attempt to remain agnostic, but this will fail to be a full theoretical account of what law is!] Dworkin’s thesis seems to depend exclusively on his account of constructive interpretation. [This seems exactly right.] Chapter 4: Coherence, Holism, and Interpretation: The Epistemic Foundation of Dworkin’s Legal Theory Begins with discussion of Rawls’ reflective equilibrium. Sums up dual criticism as follows: “[T]he assumption that intuitions are independently true and the converse one, that their truth depends on fitting a coherent scheme, both seem to yield paradoxical results.” Dworkin, in his article “The Original Position”, claims that Rawls cannot commit himself to ethical realism. “[T]he natural model presupposes some form of ethical realism, while the constructive model does not. One important difficulty arising from an attempt to apply the natural model to Rawls is, that under the natural model, any theory which dopes not account for an intuition, at least for one which is held firmly, cannot be wholly satisfactory, just as scientific theory which does not account for certain observational data it is supposed to cover, would not be satisfactory in a familiar way.” Rawls, rather, is committed to a constructivist view of morality. Moreover, the reason we value coherence epistemically in moral theory is that it itself is a value of political morality – fairness requires consistency and publicity in the application of moral standards. Marmor notes the following problem with such a view: “[I]f coherence is justified, as it is here, with reference to certain moral values, that is, a specific conception of fairness, then we face the following problem: the presupposed values of fairness must themselves be based upon intuitive convictions, in which case the question of their truth cannot be ignored. If they are taken to be true…we are driven back to the perplexities of the natural model.” Discusses, helpfully, the Fish/Dworkin debate. The upshot is that Dworkin’s interpretive model is best off if it commits itself to a Quineian holism. However, this undermines his distinction between internal and external skepticism since holism must deny that moral judgments constitute a closed system. [This analysis seems exactly right.] Endorses Simmonds view that Dworkin’s theory does not meet the requirements of complexity he identifies as necessary to avoid vicious circularity in interpretive judgments of fit and identity. Coherence is doing the work through and through and therefore the interpretive theory of law is circular. [Will require further investigation, though it is unclear how coherence is doing any work in the pre-interpretive stage. At this stage, the judgments, if interpretive, seem to be derived from different sources. In any case, using coherence as a value seems to be highly suspect.] Why doesn’t Dworkin just reject Fish’s assumptions: because of his jurisprudence. “If legal texts can have a meaning that is not entirely dependent on a process of interpretation, then it is at least sometimes the case that the law can simply be understood, and applied, without the mediation of interpretation. And if that is the case, then the argument from interpretation against legal positivism collapses. It is no longer the case that every conclusion about what the law is, depends on evaluative considerations about what it ought to be.” Chapter 5: Semantics, Realism, and Natural Law Assessment of Michael Moore’s legal realism and its implications. [The final criticisms of Moore are not decisive.] Chapter 6: Constructive Identification and Razian Authority A consideration of Dworkin’s denial that the communication model of interpretation is appropriate for legal interpretation. Marmor argues that intentions do play a crucial role in the identification of legal norms in a way that is incompatible with Dworkin’s “coherence thesis”. Marmor takes Dworkin to be committed to the constructive identification thesis: that the identification of something as part of the legal, artistic, etc. genre can be done sufficiently by evaluative considerations. “Here, one must maintain that evaluative considerations are sufficient to determine whether something is a legal norm or a work of art”. [Fit, however, constrains possible evaluative considerations – thus evaluative considerations are not sufficient in themselves.] “Now the crucial point here is this: if you maintain the possibility of constructive identification in art, you must assume that works of art can be identified as such on the basis of certain features they happen to possess, features which contain no reference to any particular intention to create a work of art…unless we take intentions into account, how can we discriminate between the concept of an aesthetic artifact and the con ept of a work of art?” [It is unclear, and I think false, that constructive interpretation of anything requires identifying something irrespective of an artificers intentions. Those intentions may be relevant, dependent upon the genre under which we are trying to classify the object. Nothing, seemingly, about constructive interpretation in general excludes this possibility.] Marmor’s point is that it turns out to be impossible to identify art as art without reference to an artist’s intentions – especially given the state of contemporary art. [It is notable that Marmor’s response to counterexample implicitly depends upon a fully developed theory of aesthetics. His cursory comments on the matter of identifying art seem insufficient to say the least.] The rest of the chapter considers the incompatibility of Raz’s account of authority with constructive interpretation. The incompatibilities mentioned do not move beyond what Raz identifies in his article “Authority, Law and Morality”, but a defense of this notion of authority is defended in several [inconclusive] respects. [Raz and Marmor want to separate identification from content. This is not clearly a defensible separation.] Chapter 7: No Easy Cases? Chapter defends notion that there is a distinction between easy and hard cases in the positivist sense. Takes a Hartian approach and ultimately defends the distinction by associating it Wittgenstein’s conception of rule following. The point is that one need to look the purpose of rule in order to understand what the rule requires. Chapter 8: Legislative Intent and the Authority of Law Examines the following doctrine concerning the role of legislative intent in adjudication: “[F]irst, it would hold that laws, at least in certain cases, are enacted with relatively specific intentions, and that this is a matter of fact which is discernible through an ordinary fact-finding procedure. Second, that in certain cases the presence of such a fact, namely, that the law was enacted with a certain intention, provides judges with a reason to decide the legal dispute in accordance with the relevant legislative intent.” [It is important that for Marmor, interpretive strategies are only appropriate in hard cases. However, we should wonder what grounds positivism can offer for deciding a hard case in any manner which is not the morally best manner according to the judgment of the judge. There are no legal grounds, by definition, in hard cases and so what justificatory strategy would endorse any judicial decision except for the morally best one?] We can ascribe intentions to a legislative body, when this is possible at all, by taking the shared intentions of the majority, rather than some group intention, to be the significant intentions. Moreover, we should expect a good deal of consensus about intentions for otherwise it is hard to explain how legislative bodies are able to produce so much legislation. Discussion of kinds of intentions concludes as follows: “I have distinguished between three main types of intention that are potentially relevant from the legal point of view. Apart from the intentions that are manifest in the language of the law itself, legislators typically have further intentions in enacting a given law, and sometimes they would have certain intentions bearing on its proper application. I have also suggested that some of these further intentions may be essentially non-avowable, in which case they are rendered initially irrelevant. Finally, I have pointed out that considerations of consistency require that the legislator’s application intentions be taken into account only if, and to the extent that, they are in accord with his further intentions.” The manner in which intentionalism is to be justif ed relies on the distinction, Marmor maintains, between expert and mere collective action authority. “The point I wanted to make is strictly conditional: if, and only if, a certain law is justified on the basis of the expertise branch of the normal justification thesis, would it make sense to defer to the legislature’s intentions in the interpretation of the law, that is, to the extent that there is, in fact,; such an intention and it can clarify something that needs clarification.” Insofar as a legislature can be considered an expert on the matter requiring adjudication and interpretation should the body’s intention be taken into account. Chapter 9: Constitutional Interpretation Begins by laying out general necessary features of a constitution. Then Marmor moves on to consider general questions of constitutional legitimacy. First, he considers what grounds might be offered for the legitimacy of a constitution at all. He notes that the central question is what permits a single generation to bind future generations. He then examines four arguments to avoid this problem. The first is based on the moral legitimacy of the constitution; Marmor rejects this solution for the [truly dubious] reason that the constitution would make no practical difference because it would not supply reasons in addition to those provided by morality [but, presumably, the point is that these legally valid rules would be institutionally enshrined]. The second is based on the moral authority of the framers and Marmor rightly rejects this on the basis of the idealization of the framers it requires and less rightly on the basis that there cannot be moral authorities. Third is the “argument from interpretation” which claims that “as long as the particular content of the constitution is determined by its interpretation, and the authoritative interpretation at any time correctly instantiates the values which ought to be upheld in the community, the constitution would be morally legitimate”. The fourth is Raz’s which argues that a constitution is valid so long as its constraints are morally permissible because conventions of this type might aid the continuity of the legal system, i.e. it is important to have a convention of this type and the constitution is a kind of this type. Marmor appears to endorse these two approaches and concludes: “The conditions for the legitimacy of a constitution must comprise the following conditions. First, the values and principles enshrined in it must be morally permissible…Second, when certain choices are made in particular cases, they would be legitimate if they are either morally underdetermined, or else, morally correct…It follows from this that both arguments must assume that at least in those areas in which the constitution would make a moral difference, it can be interpreted to make the difference that it should, that is, according to the true moral principles that should apply to the particular case...the moral legitimacy of constitutions very much dependent on the practices of their interpretation. In other words, a great deal of the burden of moral legitimacy is shifted by these arguments to the application of the constitution, thus assuming that the constitution is legitimate only if the courts are likely to apply the constitution in a morally desirable way.” [This implies that the only significant value constitutions have is in providing a conventional practice where some such practice is required.] Moves on to argue that courts typically rely, and rightly so, on moral considerations when deciding constitutional issues because typically, in cases of the kind that reach the supreme or constitutional court, there is no law on the case. Much of this relies on his earlier discussion about the nature of interpretation in the law – that legal interpretation is always a matter of cha ging the law. (shrink)

In terms of Groenendijk and Stokhofs (1984) formalization of exhaustive interpretation, many conversational implicatures can be accounted for. In this paper we justify and generalize this approach. Our justification proceeds by relating their account via Halpern and Moses (1984) non-monotonic theory of only knowing to the Gricean maxims of Quality and the first sub-maxim of Quantity. The approach of Groenendijk and Stokhof (1984) is generalized such that it can also account for implicatures that are triggered in subclauses not entailed by (...) the whole complex sentence. (shrink)

An integrated view concerning the probabilistic organization of quantum mechanics is obtained by systematic confrontation of the Kolmogorov formulation of the abstract theory of probabilities, with the quantum mechanical representationand its factual counterparts. Because these factual counterparts possess a peculiar spacetime structure stemming from the operations by which the observer produces the studied states (operations of state preparation) and the qualifications of these (operations of measurement), the approach brings forth “probability trees,” complex constructs with treelike spacetime support.Though it is (...) strictly entailed by confrontation with the abstract theory of probabilities as it now stands, the construct of a quantum mechanical probability treetransgresses this theory. It indicates the possibility of an extended abstract theory of probabilities including explicit representations of the cognitive operations involved in the probabilistic descriptions. So quantum mechanics appears to be neither a “normal” probabilistic theory nor an “abnormal” one, but a pioneering particular realization of afuture extended abstract theory of probabilities.The consequences of the integrated perception of the probabilistic organization of quantum mechanics are developed constructively. The current identifications of spectral decompositions, with superpositions of states, are removed. Then: (a) Inside the frontiers of the purely operational-observational orthodox formalism, operators of state preparation and the calculus with these are defined consistently with the definition and the calculus of quantum mechanical operators representing measurable dynamical quantities. This permits to grasp the physical meaning of superselection rules. Furthermore, a complement to the quantum theory of measurements is obtained. These prolongations of the orthodox formalism bring forth a “probabilistic incompleteness” of the quantum theory. (b) Beyond quantum mechanics as it now stands, a model is outlined that removes this probabilistic incompleteness, “the [particle + medium] individual model,”microscopic by certain aspects andcosmic by others.Globally, the approach draws attention upon the possibility and the interest of a general representation of the descriptions of any kind founded upon the explicit specification of the epistemic operations—with their spacetime features—by which the observer, who always is involved, produces the objects to be qualified and the qualifications of these. (shrink)

This paper challenges “traditional measurement-accuracy realism”, according to which there are in nature quantities of which concrete systems have definite values. An accurate measurement outcome is one that is close to the value for the quantity measured. For a measurement of the temperature of some water to be accurate in this sense requires that there be this temperature. But there isn’t. Not because there are no quantities “out there in nature” but because the term ‘the temperature of this water’ fails (...) to refer owing to idealization and failure of specificity in picking out concrete cases. The problems can be seen as an artifact of vagueness, and so doing facilitates applying Eran Tal’s robustness account of measurement accuracy to suggest an attractive way of understanding vagueness in terms of the function of idealization, a way that sidesteps the problems of higher order vagueness and that shows how idealization provides a natural generalization of what it is to be vague. (shrink)

We provide and interpret a new measure independent characterization of the Gödel speed-up phenomenon. In particular, we prove a theorem that demonstrates the indifference of the concept of a measure independent Gödel speed-up to an apparent weakening of its definition that is obtained by requiring only those measures appearing in some fixed Blum complexity measure to participate in the speed-up, and by deleting the “for all r” condition from the definition so as to relax the required amount (...) of speed-up. We interpret our results as correlating the relative difficulty of mechanically recognizing theories with the relative power and the relative abstractness of the theories. We conclude by providing two open problems concerning possible similarities and relationships between the Blum speedability and Gödel speed-up phenomena. MSC: 03D15, 03F20. (shrink)

continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...) supérieure. The book in question is Meillassoux’s revised doctoral dissertation L’Inexistence divine (or The Divine Inexistence ), with its seemingly bizarre vision of a God who does not yet exist but might exist in the future. Without literally accepting this view, I will claim that it is philosophically interesting in ways that even a hardened sceptic might be able to appreciate. Third and finally, I will speculate on the possible future of Meillassoux’s speculative materialism itself. And here I mean its future development not by Meillassoux, but by those readers who might be inspired by his book. Plato could never have predicted the emergence of Aristotle’s philosophy, despite the obvious debt of the latter to the former. Nor could Descartes have predicted Spinoza and Leibniz, nor Kant the German Idealists, and neither could Husserl in 1901 have foreseen the later emergence of Heidegger. How are the works of interesting philosophers transformed by later thinkers of comparable importance? While it may seem that there are countless ways to do this, I think there are only two basic ways in which this happens: you can radicalize your predecessors, or you can reverse them. I will close this article with a few words about these two methods, and try to imagine how Meillassoux might be radicalized or reversed by some future admirer. My view is that the more important thinkers are, the easier they are to radicalize or reverse. This helps explain why the great philosophers of the West have so often appeared in clusters, succeeding one another at relatively brief intervals during periods of especial ferment. 1. After Finitude After Finitude is unusually short for such an influential book of philosophy: running to just 178 pages in the original French, and an even more compact 128 pages in the English version, despite the introduction of roughly eight pages of new material for the English edition. Rather than summarizing Meillassoux’s book in the order he intended, I will focus on six points that strike me as the pillars of his debut book. Along the way, I will offer a few criticisms as well. The first pillar of the book is Meillassoux’s own term “correlationism.”1 Although he introduces this term as the name for an enemy, it is striking that Meillassoux remains impressed by correlationism much more than his fellow speculative realists are. This continued appreciation for his great enemy influences the shape of his own ontology. Is there a world outside our thinking of it, or does the world consist entirely in being thought? Traditionally, this dispute between realism and idealism has been dismissed in continental philosophy as a “pseudo-problem,” in a strategy pioneered by Husserl and extended by Heidegger. We cannot be realists, since following Kant we have no direct access to things-in-themselves. But neither are we idealists, since the human being is always already outside itself, aiming at objects in intentional experience, deeply engaged with practical implements, or stationed in some particular world-disclosing mood. The centuries-old dispute between realism and idealism is dissolved by saying that we cannot think either real or ideal in isolation from the other. There is neither human without world nor world without human, but only a primordial correlation or rapport between the two. This is what “correlationism” means: philosophy trapped in a permanent meditation on the human-world correlate, trying to find the best model of the correlate: is it language, intentionality, embodiment, or some other form of correlation between human and world? Among other problems, this generates some friction between philosophy and the literal meaning of science. When cosmologists say that the universe originated 13.5 billion years ago, they do not mean “13.5 billion years ago for us ,” but literally 13.5 billion years ago, well before conscious life existed, and thus at a time when there was no such thing as a correlate. Meillassoux also coins the term “ancestrality” (10) for the reality that predated the correlate, and later expands this term to “dia-chronicity,” (112) to refer to events occurring after the extinction of human beings no less than to those occurring before we existed. Up to this point, Meillassoux’s focus on ancestral entities existing prior to consciousness might seem like a straightforward realist who wants to unmask correlationism as just another form of idealism. Yet Meillassoux also admires the correlationist maneuver, which can obviously be traced back to Kant. Unlike a thinker such as Whitehead, Meillassoux feels no nostalgia for the pre-critical realism that came before Kant: “we cannot but be heirs of Kantianism,” he says (29). What impresses Meillassoux about correlationism is something both simple and familiar. If we attempt to think a tree outside thought, this is itself a thought . Any form of realism which thinks it can simply and directly address the world the way it is fails to escape the correlational circle, since the attempt to think something outside of thought is itself nothing other than a thought, and thereby collapses back into the very human-world correlate that it pretends to escape. For Meillassoux this step, suggested by Kant but first refined by the ensuing figures of German Idealism, marks decisive forward progress in the history of philosophy that must not be abolished. Any attempt to break free from the correlate must first acknowledge its mighty intellectual power. Realist though he may seem, Meillassoux’s works are filled with praise of such figures as Fichte and Hegel, not of so-called “naïve realists.” It is also the case that for Meillassoux, not all correlationisms are the same. The second pillar of his book is a distinction between various positions that I have termed “Meillassoux’s Spectrum,” though of course he is never so immodest as to name it after himself. He distinguishes between at least six different possible positions, and perhaps we could add even subtler variations if we wished. But in its simplest form, Meillassoux’s Spectrum allows for just four basic outlooks on the question of realism vs. anti-realism. Three of these are easy to understand, since we have already been discussing them. At one extreme is so-called “naïve realism,” which holds that a world exists outside the mind, and that we can know this world. Meillassoux rejects this naïve realism as having been overthrown by Kant’s critical philosophy. At the other extreme is subjective idealism, in which nothing exists outside the mind. For to think a dog outside thought immediately turns it into a thought, and therefore there cannot be anything outside; the very notion is meaningless. In between these two is what we have called correlationism. And here comes a crucial moment for Meillassoux, since he distinguishes between the two forms of “weak” and “strong” correlationism, and chooses the strong form as the launching pad for his own philosophy. Weak correlationism is easy to explain, since we all know it from the philosophy of Kant. The things-in-themselves can be thought but not known. They certainly must exist, since there cannot be appearances without something that appears. And we can think about them, which idealism holds to be impossible. They are simply unknowable due to the finitude of human thought. Strong correlationism is the new position introduced by Meillassoux (though he sees it at work in numerous twentieth century thinkers), midway between weak correlationism and subjective idealism. The major difference between the three positions is as follows. Weak correlationism says: “The things-in-themselves exist, but we cannot know them.” The subjective idealist says: “This is a contradiction in terms, since when we think the things-in-themselves, we already turn them into thoughts.” But the strong correlationist says: “Just because ‘things-in-themselves’ is a meaningless notion does not mean that they cannot exist. No one has ever traveled to the world-in-itself and come back to make a report on it. Thus, the fact that we cannot think things-in-themselves without contradiction does not prove that they do not exist anyway. There may be things-in-themselves, we simply are not capable of thinking them without contradiction form within the correlational circle.” This step is crucial for Meillassoux, since strong correlationism is the position he attempts to radicalize into his own new standpoint: speculative materialism. As I see it, this step of the argument fails. Strong correlationism cannot avoid collapsing into subjective idealism, since the statements of the strong correlationist are rendered meaningless from within. All three of the other positions in the Spectrum make perfectly good sense even for those who disagree with them. The naïve realist says that things-in-themselves exist and we can know them; the meaning of this statement is clear. The weak correlationist can say that things-in-themselves exist but lie forever beyond our grasp; this too makes perfect sense, even though the German Idealists try to show a contradiction at work here. We can also understand the claim of the subjective idealist that to think anything outside thought turns it into a thought, and that for this reason we cannot think the unthought. The strong correlationist, alone among the four, speaks nonsense . This person says “I cannot think the unthought without turning it into a thought, and yet the unthought might exist anyway.” But notice that the final phrase “the unthought might exist anyway” is fruitless for this purpose. For we have already heard that to think any unthought turns it into a thought. But now the strong correlationist wants to do two incompatible things simultaneously with this unthought. On the one hand, he neutralizes the unthought by showing that it instantly changes into just another thought. But on the other hand, he wants to appeal to the unthought as a haunting residue that might exist outside thought, thereby undercutting the absolute status of the human-world correlate found in idealism. But this is impossible. If you accept the argument that thinking the unthought turns it into a thought, you cannot also add “but maybe there is something outside that prevents this conversion from being absolutely true,” because this “something outside” is immediately converted into nothing but a thought for us. In short, Meillassoux here seems to be offering a kind of Zen koan: his “strong correlationism” is reminiscent of the gateless gate, or the sound of one hand clapping, or the command to punch Hegel in the jaw when meeting him on the road. We cannot at the same time both destroy the realist challenge of the things-in-themselves in order to undercut realism and reintroduce that very realist sense in order to undercut idealism. In a world where everything is instantly converted into thought, we cannot claim that there might be something extra-mental anyway, because this “might be something” is itself converted into a thought by the same rules that condemned dogs, trees, and houses to the idealist prison. This brings us to the third pillar of Meillassoux’s argument, which is the key to all the rest: the necessity of contingency. His strategy is to transform our supposed ignorance of things-in-themselves into an absolute knowledge that they exist without reason, and that the laws of nature can change at any time for no reason at all. In this way the cautious agnosticism of Kantian philosophies is avoided, but so is the collapse of reality into thought as found in German Idealism. Meillassoux does try to prove the existence of things-in-themselves existing outside thought; he simply holds that they must be proven after passing through the rigors of the correlationist challenge, not just arbitrarily decreed to exist in the manner of naïve realism. As he puts it, “Everything could actually collapse: from trees to stars, from stars to laws, from physical laws to logical laws; and this not by virtue of some superior law whereby everything is destined to perish, but by virtue of the absence of any superior law capable of preserving anything, no matter what, from perishing” (53). If idealism thinks that the human-world correlate is absolute, for Meillassoux it is the facticity of the correlate that is absolute. He tries to show this with a nice brief dialogue between five separate characters (55-59) which is covered in detail in my forthcoming book,2 but which I will simplify here for reasons of time. In this simplified version, we first imagine a dogmatic realist arguing with a dogmatic idealist. The realist says that we can know the truth about the things-in-themselves; the idealist counters that we can only the truth about thought, since all statements about reality must be turned into statements concerning our thoughts about reality. Here the correlationist enters and proclaims that both of these positions are equally dogmatic. For although we have access to nothing but thoughts, we cannot be sure that these thoughts are all that exist; there could be a reality outside thought, there is simply no way to know for sure. And this latter position is the one that Meillassoux attempts to transform from an agnostic, skeptical point into an ontological claim about the contingency of everything. Consider it this way. How does the correlationist defeat the idealist? The idealist holds that the existence of anything outside thought is impossible. The correlationist, by contrast, holds that something might exist outside the human-world correlate. But this “something might” has to be an absolute possibility. It cannot mean that “something outside thought might exist for thought ,” because that is what the idealist already says. No, the correlationist must mean that something might exist outside thought quite independently of thought. In other words, the correlationist says that idealism might be wrong, and this means it is absolutely true that idealism might be wrong. Thus, correlationism is no longer just a skeptical position. It holds that all the possibilities of the world are absolute possibilities. We have absolute knowledge that any of the possibilities about the existence or non-existence of things-in-themselves might be true, and this means that correlationism flips into Meillassoux’s own position: speculative materialism. As Meillassoux sees it, there are only two options here. Option A is to absolutize the human-world correlate, which is what the idealist does: there absolutely cannot be anything outside thought. Option B, by contrast, is to absolutize the facticity of the correlate: its character of simply being given to us, without any inherent necessity. The correlationist cannot have it both ways by saying: “there absolutely might be something outside thought, yet maybe this is absolutely impossible.” In other words, once we escape dogmatism we can only be idealists or speculative materialists, not correlationists. The human-world correlate is merely a fact, not an absolute necessity. But this facticity itself cannot be merely factical: it must be absolute. Here Meillassoux coins the French neologism factualité , which has been suitably translated into the English neologism “factiality.” (7, 122-3) Factialty means that for everything that exists, it is absolutely possible that it might be otherwise, not just that we cannot know whether or not it might be otherwise. Just as Kant transformed philosophy into a meditation on the categories governing human finitude, Meillassoux wishes to turn philosophy into a meditation on the necessary conditions of factiality, which he calls “figures”—a new technical term for him. (80) One such figure is that the law of non-contradiction must be true, and for an unusual reason. Since everything is proven to be contingent, nothing that exists can be contradictory, for whatever is contradictory has no opposite into which it might be transformed, and thus contingency would be impossible.3 Another such figure is that there must be something rather than nothing: for since contingency exists, something must exist in order to be contingent. It is a daring high-wire act, one that sacrifices realism to the correlational circle in order to rebuild it from out of its own ashes. Some might conclude that the lack of reason in things is a byproduct of the ignorance of finite humans, Meillassoux is making precisely the opposite point. For in fact, the doctrine of finitude usually leads directly to belief in a hidden reason. The fact that it lies beyond human comprehension merely increases our belief in this arbitrarily chosen concealed ground. By defending anew the concept of absolute knowledge Meillassoux evacuates the world of everything hidden. The reason for things having no reason is not that the reason is hidden, but that no reason exists. Thus, even while insisting on the necessity of non-contradiction, he rejects the other Leibnizian principle: sufficient reason. Everything simply is what it is, in purely immanent form, without deeply hidden causes. Or as Meillassoux puts it: “There is nothing beneath or beyond the manifest gratuitousness of the given—nothing but the limitless and lawless power of its destruction, emergence, or persistence” (63).The world is a “hyper-chaos”(64). But this is not the same thing as flux. For the chaos of the world is such that stability might occur just as easily as constant, turbulent change. Let’s now digress a bit, and return to the question of ancestrality, which Meillassoux transforms later in the book into “dia-chronicity.” Correlationism holds that all talk of a world outside the correlate is immediately recuperated by the correlate. The phrase “13.5 billion years ago” becomes “13.5 billion years ago for us ,” and the phrase “the universe following the extinction of humans” becomes “the universe following the extinction of humans for humans .” But notice that whether we talk about the world before or after humans, in both cases it is time that is used to challenge the correlate. Meillassoux has no interest in challenges that might be posed by space. For example, what about a vase in a lonely country house that topples to the floor and smashes when no one is there to watch it? Isn’t this also a challenge to correlationism, no less than the Big Bang or the heat death of the universe long after humans have vanished? In an eight-page supplement to the English translation of After Finitude ,4 possibly in response to my own 2007 review of the French original,5 Meillassoux bluntly denies that space is of any relevance to the question. Spatial distance is a merely harmless challenge to the human-world correlate. After all, even though no one is there in the lonely country house to witness the shattering of the vase, we can say that had there been an observer , that observer would have witnessed the toppling and destruction of the vase. For this event still occurs in a world in which the human-world correlate already exists, whereas the diachronicity of events both before and after the existence of humans makes it impossible to say that had there been an observer they would have witnessed the Big Bang occurring in such and such a fashion. However, it seems to me that Meillassoux merely asserts that the temporal simultaneity of our existence with that of the vase in the lonely country house is enough to render it harmless. It is true that the house does not exist prior to the correlate, but nonetheless it exists outside the correlate, and that is enough to make the same challenge. It is difficult to see why the “had there been an observer” maneuver succeeds in the case of a vase in the countryside in April 2011 but fails in the case of the Big Bang. This is not just a matter of nitpicking Meillassoux’s argumentative style: the fact that he bases his argument on time has at least two important consequences for his position. For in the first place, even though Meillassoux insists that the laws of nature are absolutely contingent, this turns out to be true only in a temporal sense. That is to say, it is a paradoxical feature of Meillassoux’s philosophy that he does allow for the existence of laws of nature, and simply believes that they can change at any moment without reason. Within any given moment, laws of nature do exist. He never suggests that different parts of the universe can have different laws at the same time, nor does he have any interest in the laws of part/whole composition that take place within any given instant. Could it be the case that rather than being made of gold atoms, a small chunk of gold could be made of silver atoms, cotton, horses, or that this same small piece of gold could be made of gigantic vaults filled with even more gold? These are not topics that draw Meillassoux’s attention, since he is focused solely on how the laws of nature might change or endure from one moment to the next . Another implication for Meillassoux’s system is that his concept of things-in-themselves turns out to be to be inadequate. For when he proves that things-in-themselves can exist without humans, this turns out to be true only in a temporal sense as well. Namely, things-in-themselves existed ten billion years ago, and they will continue to exist after all humans have succeeded in exterminating themselves. However, being able to exist before our births and after our deaths is just one small part of what it means to be a thing-in-itself. The more important part is that even if a thing is sitting on a table right now, in front of me, even if I stroke it lovingly or press my face up against it directly, I am still dealing only with a phenomenal version of the thing; the thing-in-itself continues to withdraw from all access. Yet no such thing is acknowledged by Meillassoux. For him finitude is a disaster, and absolute knowledge is in fact possible. Meillassoux’s thing-in-itself exists in independence only of the human lifespan , not of human knowledge. The fifth pillar of Meillassoux’s argument is his use of Cantor’s transfinite mathematics to show that even if the laws of nature are contingent, they need not be unstable, and thus we cannot use the apparent stability of nature to disprove his metaphysics of absolute contingency. What Cantor showed is that there are different sizes of infinity, and that all these infinities cannot be totalized in a single infinite number of infinities. Meillassoux sees this as crucial, since it allows him to discredit any “probabilistic” argument against his theory. The probabilistic argument (as defended quite clearly by Jean-René Vernes)6 would say this: given that the laws of nature seem so stable, it it is extremely improbable that there is no hidden reason for their remaining so stable. As Meillassoux sees it, probability is of value only when we can index an accessible total of cases. These can even be infinite: for example, there are an infinite number of points where a rope can break when stretched tight, but this does not stop us from calculating probabilities for various sections of the rope to break. By contrast, there is no way to sum up the number of possible laws of nature. For here there is no way to totalize; we cannot stand outside of nature and calculate the possible number of laws so as to determine the probabilities that any one of them might change. Therefore, although we can speak of probability when dealing with intraworldly events such as elections, horse races, and coin-flips, we cannot use the words “probable” or “improbable” when describing alterations at the level of nature as a whole. Rather than commenting on the validity of this argument and its use of Cantor, let me simply note that it once again creates a dualistic ontology. We already saw that Meillassoux treats time differently from space. In analogous fashion, he now treats the level of world differently from that of intraworldly events. The emergence of worlds is purely contingent and virtual and governed by no probability at all, while events within the world necessarily follow laws (even if these laws can change at any moment without reason), and thus their probabilities can be calculated. It is a strategy deeply reminiscent of Badiou’s (2005) own dualism between the normal “state of the situation” and the rare and intermittent “event.” The sixth and final pillar of Meillassoux’s book can be dealt with briefly, since we have already touched on it elsewhere. It comes at the very beginning of the book, when Meillassoux says that we must revive the distinction between primary and secondary qualities, and that the primary qualities are the ones that can be mathematized. He admits that he has not yet published a proof of this idea, though in fact it is already known as one of his primary doctrines. And here we encounter the familiar problem with Meillassoux’s inadequate conception of things-in-themselves. “Primary qualities” refers to those qualities that a thing has independently of its relations with us or anything else. But if the primary qualities can be mathematized, this means that they are not entirely independent of us, since our knowledge can get right to the bottom of them. The mathematized qualities of things are independent of us only in Meillassoux’s sense that they will still have those qualities even when all humans are dead. But to repeat, autonomy from the human lifespan is not the same as autonomy from human access. Here once more Meillassoux is concerned only with independence from the human-world correlate across time, not in any given instant. 2. L’Inexistence divine In 1997, the same year in which he turned thirty years old, Meillassoux earned his doctorate at the École normale supériuere with a brazen dissertation entitled L’Inexistence divine ( The Divine Inexistence ). The work was substantially revised in 2003. But even then, with typical fastidiousness, Meillassoux decided that the work was not yet ready for press. It has now been scrapped in favor of some future, multi-volume work bearing the same title. While writing my book on Meillassoux for Edinburgh University Press, I was permitted to translate excerpts from this unpublished work for use as an appendix in my own book; in total, the appendix contains approximately twenty percent of Meillassoux’s 2003 manuscript, the first time any of it will be published in any language. Nonetheless, a portion of the argument was already tested in the article “Spectral Dilemma,” published in English in the journal Collapse (2008: 261-75). There the philosophical motives for the virtual God are already made clear. What troubles us most are early deaths, brutal deaths, deaths of especial injustice– the sorts of deaths in which the brutal twentieth century was so abundant. And here, neither the atheist nor the believer can help us. The atheist can offer nothing but a sad and cynical resignation when reflecting on the victims of these terrible crimes. The believer does little better, being unable to explain how God could have allowed such things to happen, due to the famous intractability of the problem of evil. The solution offered to this dilemma by Meillassoux is bold, and all the more so given that he emerges from such a deeply Leftist, materialist, and unreligious background. His solution is that God does not yet exist, and therefore is not blameworthy for these catastrophes. Given that everything is contingent in Meillassoux’s philosophy, this God and divine justice might never exist, but they can at least exist as an object of hope. Let’s begin by jumping to the end of L’Inexistence divine , where the alternatives are laid out so nicely. There are four basic attitudes that humans can have towards God, Meillassoux says. First, we can believe in God because he exists. This is the classical theist attitude, rejected for the simple reason that it would be amoral and blasphemous to believe in a God who allows children to be eaten by dogs, to use Dostoevsky’s example. Second, we can disbelieve in God because he does not exist: the classical atheist attitude. But this leads to sadness, cynicism, and a sneering contempt for the greatness of human capacity. The third option, rather more complex, is to disbelieve in God because he does exist: in other words, to exist in rebellion against God as the one who must be blamed for the evils of the earth. The examples here might range from Lucifer himself, to the more human figure of Captain Ahab in Melville’s Moby-Dick , to Werner Herzog’s even more recent catchphrase, “Every man for himself, and God against all.” That leaves only the fourth option: believing in God because he does not exist. Meillassoux closes his book by saying that the fourth option has now been tried (namely, in the course of his own book), and that now that all four have been specified, we must choose. The first reaction to this theory of the inexistent God will be laughter. Few readers will ever be literally convinced by it, and probably none will immediately be convinced by it. But if we ask ourselves why we laugh, the answer is because it sounds so improbable that an inexistent God might suddenly emerge and resurrect the dead. It obviously sounds more like a gullible theology than a rigorous piece of philosophical work. Yet two things need to be kept in mind. First, Meillassoux’s theories are hardly more unlikely than those of great philosophers of the past such as Plato, Plotinus, Avicenna, Malebranche, Spinoza, Leibniz, Nietzsche, or Whitehead. We read the great philosophers not because their systems are plausible in commonsense terms that can be measured by the laws of probability. Instead, we read them precisely because they shatter the existing framework of common sense and open up new window on the universe. Second, and even more importantly, Meillassoux has already rejected probability as a valid measuring stick in philosophy. Or rather, he accepts probability in the intra-worldly realm (where it is linked with potentiality), and rejects it at the level of the world itself (where potentiality is replaced with what he calls virtuality). The virtual God can appear at any moment for no reason at all, just as any other new configuration of laws of nature can appear: in a manner that the laws of probability cannot calculate. Responding to those who might ridicule the idea of a sudden emergence of God and a resurrection of the dead, Meillassoux cites Pascal, who asserts that the resurrection of the dead would be far less incredible than the fact that we were born in the first place. This shifts philosophy onto new ground. Rather than concerning ourselves with what is likely to happen in the world as we know it, we focus instead on the most important things that could happen. For this reason, the expected objection that a virtual God is no more likely to appear than a virtual unicorn or a virtual flying spaghetti monster misses the point. Unicorns and spaghetti monsters could also appear, just like any other non-contradictory thing. But these would just be novel bizarre entities among others, not the heralds of completely new worlds. For Meillassoux, the emergence of matter, life, and thought have been the three truly amazing advents of the world so far, each of them dependent on the advent(s) preceding them. As he sees it, there can be no greater intraworldly entity than the human beings who already exist, since nothing in the world is better than the absolute knowledge of which humans alone are capable. This means that the next great advent must be something that perfects human beings rather than superseding them. And this can only be the world of justice, in which the dead are resurrected and their horrible deaths partially cancelled (Meillassoux never considers the possibility of a God who would literally erase the pre-divine past so that it never happened at all). The only immortality worth having is an immortality of this life, not an existence in some ill-defined afterworld. Human existence, he holds, must always be governed by a “symbol” that gives us the “immanent and comprehensible inscription of values in a world.” And just as cosmic history made the three great contingent leaps of matter, life, and thought, with a leap to justice as the only one still to come, a similar structure occurs within human culture and its symbols, which consist so far of the cosmological, naturalistic, and historical symbols, with a “factial” symbol still to come. We can review each of these symbols briefly. The cosmological symbol refers to the ancient dualism between the terrestrial and celestial spheres. Here below everything is conflict, corruption, and decay; but in the heavens nothing is perishable, all movement is circular, and everything is arranged in mutual harmony. This symbol is ended by modern physics when Galileo discovers such blemishes as sunspots and craters on the moon, and when Newton integrates both celestial and terrestrial movement into a single gravitational law. Next comes the naturalistic or romantic symbol, in which perfection comes not from the sky but from nature itself. The world is filled with pretty flowers (Meillassoux claims that the ancients never discussed the beauty of flowers until Plotinus in the third century) and with living creatures naturally moved by pity, at least until society corrupts them. This symbol collapses in the face of reality as we know it, since pity is no more common than war, corruption, and violence. This brings us to the historical symbol, which only now is passing away. Bad things may happen, but history has an inner logic of its own, such that everything works out in the end. The ultimate form of the historical symbol is the economic symbol, whether in a Marxist or neo-liberal form. Just as the Marxist holds that the inner economic logic of the capitalists will inexorably lead them to self-destruction, the neo-liberal assumes that the sum total of individual selfish actions will lead, in the long run, to the greatest possible good. We worship the economy and let it guide history for us, just as the ancients worshipped celestial bodies and held them to be free from blemish. The final remaining symbol is the factial symbol, which Meillassoux hopes will now emerge. Factiality, we recall, is his term for the absolute contingency of everything that exists. Once we have grasped this absolute contingency, we are free to expect the dramatic advent of the coming fourth World: the world of justice, inaugurated by a virtual God and even mediated by a messianic human figure. There is the added feature, however, that this messiah must abandon all claims to special status once the messianic realm of justice is achieved. The messianic figure will then be no more special than any person on the street, since a reign of human equality will have arisen. Although this focus on human being might seem like a return to standard humanism, Meillassoux holds that human pre-eminence has never truly been maintained. Previously, humans have been treated as special only because they contemplate the Good, because they resemble their omnipotent creator, or because they happen to be the temporary victors in a cruel Darwinian death-match between millions of living species. For Meillassoux, by contrast, humans have value because they know the eternal. But it is not the eternal that is important, since this merely represents the blind, anonymous contingency of each thing. What is important is not knowledge of the eternal , but knowledge of the eternal. We should not admire Prometheus for stealing fire from the gods; Prometheus is simply as bad as all the gods, no matter how much he increased our power. Feuerbach and Marx were wrong to say that God is a projection of the human essence, since for Meillassoux the usual concept of God represents the degradation of the human essence. If the traditional God was allowed to inflict plagues and tsunamis on the human race, the Promethean human of the twentieth century simply assumes the right to inflict death camps and atomic fireballs instead. In this respect, we have simply begun to imitate the degradation of humanity that was formerly invested in an omnipotent and arbitrary God. In response to charges that absolute contingency might lead to political quietism, Meillassoux counters that the World of justice would mean nothing unless we had already hoped for it beforehand. A World of justice that came along at random would merely be an improved third World of thought: indeed, a perfect one. But it would have satisfied no craving, and would therefore have no redemptive power. For this reason, we must actively hope for the fourth World of justice for such a fourth World ever to arise. Not only justice, but beauty is dependent on such hope: for Meillassoux, who is here somewhat dependent on Kant, beauty means an accord between our human symbolization and the actual world, which could never be present in a World of the blessed any more than justice could. And just as a messianic figure is needed to incarnate our hope and then abandon power once the World of justice is realized, it is the figure of the child whose fragile contingency shows us a dignity and a demand for justice beyond all power. 3. Meillassoux Radicalized or Reversed Given the promising reception of Meillassoux’s first book, it would not be groundless to engage in early speculation about what it might take to earn him a place in the history of philosophy. Maybe this will never happen—who knows?—but quite possibly it will: his lucid argumentative methods and sheer philosophical imagination at least make him a good candidate to be read well into the future, especially following further elaboration in print of his mature system. Philosophy is often practiced as thought it were nothing more than the amassing of “knockdown arguments.” But this is no more insightful than saying that good architecture is the amassing of steal beams. It is true that poorly constructed building cannot stand for long, but sound construction is merely the first, indispensable step in building. In fact, I am inclined to say that what really makes a philosopher important is not being right, but being wrong . I mean this in a very specific sense. I once heard the interesting remark about twentieth century culture that “you have to remember that the sixties really happened in the seventies.” That is to say, it was in the 1970’s rather than the more honored 1960’s that civil rights, free love, long hair, and the rock and roll drug culture really took root. With respect to the history of philosophy, we might just as easily say: “you have to remember that Plato really happened in Aristotle,” that “Kant really happened in Hegel” or “Hume really happened in Kant,” or that “Husserl’s phenomenology first achieved its truth in Heidegger.” One becomes an important philosopher not by being right, but by attracting rebellious admirers who tell you that you are wrong , even as their own careers silently orbit around your own. To recruit faithful disciples may be comforting and flattering, but the greatest thinkers have generally had to experience refutation at the hands of their most talented heirs. For this reason, I would propose that we size up the magnitude of living thinkers not by deciding how many times they are right and wrong, but by asking instead: who would take the trouble to refute this author? For this reason I do not ask: “Is Meillassoux right?”, since I do not believe in the virtual God myself, nor am I convinced by any important aspect of Meillassoux’s philosophy. Instead, I ask if there are interesting ways to overturn him. Only by being overturned, by no longer remaining a contemporary, does one become a classic. Let’s begin with a simple model of refutation, which can be refined further at a later date once the basic point is established. One kind of refutation simply consists in saying: “This author is a complete idiot.” The refuter now walks away in celebration, and no link between the present and the future is built; all is reduced to rubble. But this sort of mediocre triumphalism is generally practiced by those who achieve little of their own, and is not especially interesting. Much more interesting is the sort of refutation that does not take its target to be a complete idiot. I would like to suggest that there are just two basic ways in which this can be done: radicalization and reversal . It has not escaped my notice that this is a fairly good match for the Deleuzian distinction between irony and humor. Whereas irony critiques and adopts the opposite principle of what it attacks, humor accepts what it confronts but pushes it into highly exaggerated form. The ironist is like the worker who sows chaos by rebeling and contradicting the boss, while the humorist is like the worker who follows orders to an absurdly literal degree, with equally chaotic results. Let’s start with a few examples. In Aristotle’s treatment of Plato, and Heidegger’s of Husserl, we find reversal. Plato’s eidei are transformed by Aristotle into mere secondary substances, and the individual worldly things despised by Plato become what is primary. For Husserl what is primary is whatever is present to consciousness, while for Heidegger this is precisely what is secondary, since the primary stuff of the world withdraws from any form of presence at all. As for radicalization, it is most easily found in the transformation of Kant by German Idealism: “Kant was right to wall off the things-in-themselves from human access, and simply should have realized that the thought of the Ding an sich is also a thought, and thereby the noumena are just special cases of the phenomena,” with much following from this discovery. It would also be easy to read Spinoza as a radicalizer of Descartes, and Berkeley and Hume as radicalized versions of Locke. Perhaps the distinction is now sufficiently clear. Admiring refutations are not those that say “Professor X is an idiot,” which is merely the flip side of the eager disciple’s fruitless “Professor X got everything right.” Instead, it will be some variant of one of the following two options: “Professor X is important, but got it backwards,” or “Professor X is important, but didn’t push things far enough.” In the history of philosophy these two latter cases have often been painful in purely human terms: Aristotle expresses sadness at refuting Plato, Kant is openly annoyed at Fichte, and Husserl feels betrayed and used by Heidegger. Rude handling from later figures almost seems to be the sine qua non of being a great philosopher. Now, it has already been claimed that Meillassoux is an emerging philosopher of the first importance, and by no less a figure than Alain Badiou: “It would be no exaggeration to say that Quentin Meillassoux has opened up a new path in the history of philosophy…” (Preface, vii). But rather than taking Badiou’s word for it, or rejecting his word, we might experiment by asking how Meillassoux could be radicalized or reversed. Are there interesting ways of doing this that might launch whole new schools of philosophy, unexpected or even condemned by Meillassoux himself? While no one can see the future, the present is poor when it is not riddled with virtual futures. The relation between philosophers and their predecessors and successors is always somewhat complicated, of course. But generally there is one central divergence at stake, which might be taken as the key to all the others. On this basis we could say that new thinkers primarily radicalize or primarily reverse the main ideas of their chief philosophical forerunner. There may be specific historical conditions and perhaps even personality traits connected with these two types, but this question can be left aside for now. More important for us is that radicalizers will generally be followed by reversers, and vice versa. Consider the textbook example of a reversal in the history of philosophy: Kant’s Copernican Revolution, which inverts the so-called dogmatic tradition that addresses the world itself, and makes the world revolve instead around the conditions by which it is known. While it is not completely impossible that Kant’s successors might have re-reversed this principle back into a new and stronger dogmatic realism, conditions were premature for such a move. Anyone doing this too early would likely have been an angry anti-Kantian reactionary rather than an original thinker in command of a genuinely new realist principle. The far more likely outcome is the one that actually happened: Kant’s reversal of his predecessors was viewed as incomplete, or as retaining lamentable bits of the traditional view, which despite his admirable breakthrough he was unable to shake off. This was the view of German Idealism, anyway. In similar fashion, Spinoza could also be viewed as a radicalizer of Descartes, who is equally accused of preserving various Scholastic dogmas in an otherwise radical project of philosophical reversal. The point is this: reversals in the history of thought tend to be followed soon thereafter by radicalizations of those reversals. The same may hold true in reverse: radicalizations might generally be followed by reversals, given that it is not always possible to be more radical than the radicals have already been. Consider the case of Husserl, who radicalizes Brentano’s early vagueness about what lies beyond immanent objectivity, and Twardowski’s assertion that there must be an external object lying outside the intentional content, by collapsing everything into the intentional sphere: there is no difference between the Berlin in my consciousness and the actual Berlin that is home to millions of people. It is difficult to see how one could be even more radical than Husserl’s idealist turn here. And thus the road is paved to Heidegger’s reversal of classical phenomenology, in which the key point is what lies deeper than any presence to consciousness: the Sein whose power and obscurity cannot be made exhaustively present, but only sends itself in historical epochs. In similar fashion we might also read Leibniz as a reverser of Spinoza’s radicalization, retrieving a strong sense of individual substance and a certain validity of what the Scholastics had said. Returning to Meillassoux, we might ask which kind of philosopher he is: a radicalizer or a reverser? At present, Meillassoux looks to me like a radicalizer (though for now his future remains shrouded in mist). He takes the correlationist tradition, which allows us to speak only of the relation between human and world, and tries to raise it into an even more extreme claim about the absolute contingency of everything. But whereas German Idealism did this by trying to collapse the distinction between thought and world entirely into the “thought” side, Meillassoux does it by trying to shift the non-absolute contingency of the thought-world correlate from epistemology to ontology. It is no longer a question of the inability of human knowledge to know what lies outside the correlate, but the inability of reality itself to be rooted in any definite laws. Furthermore, if we look at the various features of Meillassoux’s philosophy identified earlier tonight, all but one are already so radical that there is no obvious way to push them further. The one exception would be his claim that the world as a whole can change for no reason at any moment, coupled with the inconsistent claim that within a given world there are laws of nature that everything must follow. If gravitational attraction between all masses is a current law in our world, then for Meillassoux there can be no exceptions to this law for as long as it remains in force. A toppled vase will fall to the floor every time for sure,unless there is a cosmic change by which the laws of nature as a whole have altered. (This is reminiscent of the late medieval distinction between the absolute and ordained power of God, according to which God has the power to set or change the laws of nature, but not to contravene those laws locally once they are set.) On this point, to radicalize Meillassoux would simply be to say: there are no laws of nature even in the local sense. Everything that happens, even in the world here and now, is purely contingent and not governed by even a trace of law. And while this would be a more consistent development of Meillassoux’s thoughts on contingency, it is difficult to see how it could lead to a new philosophy. Instead, the admiring successors of Meillassoux are more likely to reverse one of his already sufficiently radical points. At least four candidates come to mind: *First, we have seen that Meillassoux thinks correlationism is challenged by a time before or after consciousness, but not by a space lying outside it. Perhaps this could be reversed into saying that spatial exteriority is the really crucial point. The arguments on this point are perhaps the least convincing in After Finitude (and do not even occur in the original French edition), and therefore it might be a candidate for the “blind spot” of which no philosopher is ever free. *Second, Meillassoux uses Cantor to claim that the contingency of laws of nature would not entail that they are unstable. A successor of Meillassoux might claim that it does make them unstable, and celebrate this fact. This person would then have to explain why common sense seems to encounter a relatively stable world despite its truly rampant instability. Whereas Meillassoux’s problem is to show how stability might exist despite contingency, this successor’s problem would be slightly different: to show why actual, full-blown instability might have the appearance of stability. *Third, Meillassoux claims that the primary qualities of things are those that can be mathematized. He might be reversed by a successor who says the opposite: the mathematizable qualities are the secondary ones, and the primary ones are those that elude symbolic formulation. While this is a perfectly valid possible objection to Meillassoux, it is one that is made in advance by some of his predecessors and is still made by some of his peers, making it less interesting for futurology than some of his other points. *Fourth and finally, whereas Meillassoux claims that God does not exist but might exist in the future, a successor might argue even more bizarrely that God has always existed but might vanish in the future. Let’s arbitrarily select the first of these possibilities, and imagine briefly where it might lead, if pursued in the future by admiring detractors. Meillassoux comes from the circle of Badiou, and some of Badiou’s most ardent admirers are found in Latin America. So, let’s imagine that towards mid-century some ingenious reversers of Meillassoux emerge in that portion of the Spanish-speaking world. Just for fun, let’s call them Castro and Chávez. And in order to avoid any confusion with the present-day politicians of those names, we will stipulate that Meillassoux’s great successors are both women. The philosopher Castro (we will suppose she comes from Peru) reverses Meillassoux’s argument that the ancestral or diachronic are what most threaten the human-world correlate. Instead, she claims that the diachronic does not threaten the correlate at all, and that we must instead look at space as what ruins the correlate and demands a strange new realism. What would such a philosophy look like? In order to determine this, we might ask what price Meillassoux pays for doing it the opposite way. As I see it, he pays in two separate ways. One is that laws of nature for him are contingent over time . The laws of nature apply to the universe as a whole at any given moment, and would be changed globally if they are ever changed at all. The second price he pays is that Meillassoux has no mereology , or theory of parts and wholes. Everything for him is on the level of the given, or immanent in experience, with the sole proviso that the laws governing this immanence might change without notice at any given moment. In reversing Meillassoux, Castro makes the following claims in the preface to her stunning debut book of 2045, The Cosmos and its Neighborhoods , rapidly translated from Spanish into all the languages of the world: Despite his brilliant analysis of the contingency of laws of nature over time, Meillassoux gets two important assumptions wrong. First, he allows for only one set of contingent laws to govern nature as a whole. Second, he allows laws to govern only the world that is immanent in experience, and thereby fails to explore the contingency among part-whole relations. In this book I will argue, first, that the laws of nature vary in any given instant between one region of the universe and the next; and second, that the world is made up of layers of parts and wholes that are also contingent with respect to one another. Those are the words of Castro. This may sound like a hopeless free-for-all of chaos, yet the book somehow succeeds in drawing some compelling deductions about how laws must vary from one place or level in the world to the next. Trapped in the limited horizon of 2011, and not yet inspired by the heavily balkanized political and technological situation of 2050 that somehow lends additional credence to Castro’s vision, we can only vaguely grasp what such a philosophy might look like. After this reversal of Meillassoux by Castro, the usual pattern leads us to expect a radicalization by Chávez, a young Argentine student of Castro. How could the already strange theories of Castro be radicalized? Perhaps as follows, in a disturbing new book entitled The Implosion of the Neighborhoods , which argues as follows: Castro was right to shift the Meillassouxian framework of contingency from time to space. However, in this respect she retained a surprisingly traditional opposition between the two. In this book I will show that time and space collapse into one another. This may sound too much like the discredited four-dimensional block universe of twentieth century physics and philosophy. However, the four-dimensional universe is a model biased in favor of space, merely adding an extra dimension to the commonsense spatial continuum while stipulating that the serial passage of time is an illusion. In this book I will argue instead for a one-dimensional space-time modeled after our experience of time, in which there is no simultaneous co-existence at all between different parts of the universe, or ‘neighborhoods’ as my esteemed teacher Castro has called them. Instead, the various portions of the universe link to one another by succession rather than by coexistence. Buenos Aires, New York, and Amsterdam do not exist simultaneously in the same landscape, but one after the other in the mind of some observer, and this observer can only be an observer much larger than any human. Against Meillassoux’s notion of a virtual God that does not exist now but might exist in the future, I will argue for an actual God that surveys the universe in sequence, thereby generating the illusion of spatial diversity and even the illusion of individual minds located within that diversity. Once this divine observer dies, the universe as a whole must perish. Again, these ideas are so bizarre that we of 2011 can barely comprehend them, just as Aristotle would have had a difficult time grasping the theories of Descartes. We could then perhaps imagine a further reversal of this theory, emanating from the intellectually resurgent Philippines of the twenty-second century. The Filipino School might argue that the universe is already dead, given the collapse of its spatial richness into the serial observations of a flimsy and mortal God. The virtual universe does not yet exist, but might exist in fully spatial form in the future, and this would require the death of God and the resulting liberation of God’s succession of images as independent, spatially situated realities. With a bit of sharpening, we might be able to make all of these imaginary thinkers more intuitively clear. Along with the history of philosophy, there might arise a new discipline generating imaginary futures for philosophy. The richness of Meillassoux’s system comes not from the fact that he is plausibly right about so many things, but because his philosophy offers such a treasury of bold statements ripe for being radicalized or reversed. He is a rich target for many still-unborn intellectual heirs, and this is what gives him the chance to be an important figure. NOTES 1. Quentin Meillassoux, After Finitude . Trans. R Brassier. (London: Continuum, 2008.) Page 5. The word “correlationism” does not appear in his doctoral thesis. As Meillassoux informed me in an email of February 8, 2011, he first coined this term in 2003 or 2004, while editing for publication a lecture he had given at the École normale supérieure on a day devoted to the theme of “Philosophy and Mathematics,” an event including Alain Badiou as one of the participants. 2. Graham Harman, Quentin Meillassoux: Philosophy in the Making . (Edinburgh: Edinburgh University Press, forthcoming 2011). 3. In an email of December 6, 2010, Meillassoux clarifies that in After Finitude he only deduces the impossibility of a “universal contradiction,” not of a determinate contradiction. In the same email he suggests that he can also prove the latter, though the proof is somewhat lengthier than the one found in After Finitude . 4. After Finitude (18-26), in the passage falling between the two sets of triple asterisks. These pages were sent by Meillassoux to translator Ray Brassier (in French) during the translation process, and do not appear in the original French version of the book. 5. Graham Harman, “Quentin Meillassoux: A New French Philosopher.” Philosophy Today 51.1 (2007): Pages 104-117. The passage where I raise the question of space can be found in the first column of page 107. 6. Vernes is first cited on p. 95 of After Finitude . See Jean-René Vernes, Critique de la raison aléatoire, ou Descartes contra Kant . (Paris: Aubier, 1982).  . (shrink)

If is a random sequence, then the sequence is clearly not random; however, seems to be “about half random”. L. Staiger [Kolmogorov complexity and Hausdorff dimension, Inform. and Comput. 103 159–194 and A tight upper bound on Kolmogorov complexity and uniformly optimal prediction, Theory Comput. Syst. 31 215–229] and K. Tadaki [A generalisation of Chaitin’s halting probability Ω and halting self-similar sets, Hokkaido Math. J. 31 219–253] have studied the degree of randomness of sequences or reals (...) by measuring their “degree of compression”. This line of study leads to various definitions of partial randomness. In this paper we explore some relations between these definitions. Among other results we obtain a characterisation of Σ1-dimension in terms of strong Martin-Löf ε-tests , and we show that ε-randomness for ε is different than the classical 1-randomness. (shrink)

Summary Prägnanz was suggested by Max Wertheimer in the 1920s as subsuming all “Laws of Gestalt” as they apply to visual awareness. Thus, it assumes a prominent position in any account of Gestalt phenomena. From a phenomenological perspective, some visual stimuli evidently “have more Prägnanz” than others, so Prägnanz seems to be an intensive quality. Here, we investigate the intricacies that need to be faced on the way to a definition of formal scales. Such measures naturally depend both upon (...) the stimulus and upon the observer. Structural complexity bottlenecks of visual systems play a role, as well as the relevance to biological fitness, that is the affinity to the optical user interface. This positions the notion of Prägnanz squarely within the realm of biology. Indeed, the familiar “releasers” of ethology are singular cases of extremely high Prägnanz. (shrink)

The first two sections of this paper investigate what Newton could have meant in a now famous passage from “De Graviatione” (hereafter “DeGrav”) that “space is as it were an emanative effect of God.” First it offers a careful examination of the four key passages within DeGrav that bear on this. The paper shows that the internal logic of Newton’s argument permits several interpretations. In doing so, the paper calls attention to a Spinozistic strain in Newton’s thought. Second it sketches (...) four interpretive options: (i) one approach is generic neo-Platonic; (ii) another approach is associated with the Cambridge Platonist, Henry More; a variant on this (ii*) emphasizes that Newton mixes Platonist and Epicurean themes; (iii) a necessitarian approach; (iv) an approach connected with Bacon’s efforts to reformulate a useful notion of form and laws of nature. Hitherto only the second and third options have received scholarly attention in scholarship on DeGrav. The paper offers new arguments to treat Newtonian emanation as a species of Baconian formal causation as articulated, especially, in the first few aphorisms of part two of Bacon’s New Organon. If we treat Newtonian emanation as a species of formal causation then the necessitarian reading can be combined with most of the Platonist elements that others have discerned in DeGrav, especially Newton’s commitment to doctrines of different degrees of reality as well as the manner in which the first existing being ‘transfers’ its qualities to space (as a kind of causa-sui). This can clarify the conceptual relationship between space and its formal cause in Newton as well as Newton’s commitment to the spatial extended-ness of all existing beings. While the first two sections of this paper engage with existing scholarly controversies, in the final section the paper argues that the recent focus on emanation has obscured the importance of Newton’s very interesting claims about existence and measurement in “DeGrav”. The paper argues that according to Newton God and other entities have the same kind of quantities of existence; Newton is concerned with how measurement clarifies the way of being of entities. Newton is not claiming that measurement reveals all aspects of an entity. But if we measure something then it exists as a magnitude in space and as a magnitude in time. This is why in DeGrav Newton’s conception of existence really helps to “lay truer foundations of the mechanical sciences.”. (shrink)

The Kolmogorov complexity of a finite binary string is the length of the shortest description of the string. This gives rise to some ‘standard’ lowness notions for reals: A isK-trivial if its initial segments have the lowest possible complexity and A is low forKif using A as an oracle does not decrease the complexity of strings by more than a constant factor. We weaken these notions by requiring the defining inequalities to hold only up to all${\rm{\Delta (...) }}_2^0$orders, and call the new notions${\rm{\Delta }}_2^0$-bounded K-trivialand${\rm{\Delta }}_2^0$-bounded low for K. Several of the ‘nice’ properties ofK-triviality are lost with this weakening. For instance, the new weaker definitions both give uncountable set of reals. In this paper we show that the weaker definitions are no longer equivalent, and that the${\rm{\Delta }}_2^0$-boundedK-trivials are cofinal in the Turing degrees. We then compare them to other previously studied weakenings, namelyinfinitely-often K-trivialityandweak lowness for K. We show that${\rm{\Delta }}_2^0$-boundedK-trivial implies infinitely-oftenK-trivial, but no implication holds between${\rm{\Delta }}_2^0$-bounded low forKand weakly low forK. (shrink)

We define a program size complexity function $H^\infty$ as a variant of the prefix-free Kolmogorov complexity, based on Turing monotone machines performing possibly unending computations. We consider definitions of randomness and triviality for sequences in ${\{0,1\}}^\omega$ relative to the $H^\infty$ complexity. We prove that the classes of Martin-Löf random sequences and $H^\infty$-random sequences coincide and that the $H^\infty$-trivial sequences are exactly the recursive ones. We also study some properties of $H^\infty$ and compare it with other (...) class='Hi'>complexity functions. In particular, $H^\infty$ is different from $H^A$, the prefix-free complexity of monotone machines with oracle A. (shrink)

De Finetti gave a natural definition of “coherent probability assessment” β:E→[0,1] of a set E={X1,…,Xm} of “events” occurring in an arbitrary set of “possible worlds”. In the particular case of yes–no events, , Kolmogorov axioms can be derived from his criterion. While De Finetti’s approach to probability was logic-free, we construct a theory Θ in infinite-valued Łukasiewicz propositional logic, and show: a possible world of is a valuation satisfying Θ, β is coherent iff it is a convex combination (...) of valuations satisfying Θ, iff β agrees on E with a state of the Lindenbaum MV-algebra of Θ, iff for some Borel probability measure μ on . Thus Łukasiewicz semantics, MV-algebraic states, and Borel probability measures provide a universal representation of coherent assessments of events occurring in any conceivable set of possible worlds. (shrink)

A new approach to defining complexity of propositional formulas and proofs is suggested. Instead of measuring the size of these syntactical structures in the propositional language, the article suggests to define the complexity by the size of external descriptions of such constructions. The main result is a lower bound on proof complexity with respect to this new definition of complexity.

On which philosophical foundations is the attribution of numerical magnitudes to qualitative phenomena based? That is, what is the philosophical basis for attributing, through measurement operations, numbers to empirical qualities that our senses perceive in the outside world? This question, nowadays rarely addressed in such a way, actually refers to an old debate about the quantification of qualities. A historical analysis reveals that it was a major issue in the “context of discovery” of the first attempts to mathematize new fields (...) of knowledge, whereas the “context of justification” leading our contemporary perspective on such episodes often overlooks such problems. As a consequence, little attention has so far been given to tracing its emergence back to its original context, leaving in the shadows an important debate about measurement. In this respect, the work of William Stanley Jevons is worth analysis. As a preliminary step toward his ambitious project to mathematize economics, he first attempted to understand the mechanism underlying measurement in physics, through a very innovative approach. Its main merit consisted in trying to overcome the Aristotelian distinction between quantities and qualities. In this article, I will strive to highlight the significance of his work for the history of philosophy of science. (shrink)

ABSTRACT: How can we think about a universal ethics that could be adopted by any intelligent being, including the rising population of cyborgs, intelligent machines, intelligent algorithms or even potential extraterrestrial life? We generally give value to complex structures, to objects resulting from a long work, to systems with many elements and with many links finely adjusted. These include living beings, books, works of art or scientific theories. Intuitively, we want to keep, multiply, and share such structures, as well as (...) prevent their destruction. Such objects have value not because more information would simply mean more value. Instead, they have value because they require a long computational history, numerous interactions for their construction that we can assimilate to a computation, and they display what we call organized complexity. To propose the foundations of a universal ethics based on the intrinsic value of organized complexity, we first discuss conceptions of complexity, and argue that Charles Bennett’s logical depth is certainly a first approximation of what we are looking for. We then put forward three fundamental imperatives: to preserve, augment and recursively promote organized complexity. We show a broad range of applications with human, non-human and non-living examples. Finally, we discuss some specific issues of our framework such as the distribution of complexity, of managing copies and erasures, and how our universal ethics tackles classical ethical issues. In sum, we propose a clear, homogenous and consistent ethical foundation that can integrate many universal ethics desiderata. (shrink)

We investigate two constants cT and rT, introduced by Chaitin and Raatikainen respectively, defined for each recursively axiomatizable consistent theory T and universal Turing machine used to determine Kolmogorov complexity. Raatikainen argued that cT does not represent the complexity of T and found that for two theories S and T, one can always find a universal Turing machine such that equation image. We prove the following are equivalent: equation image for some universal Turing machine, equation image for (...) some universal Turing machine, and T proves some Π1-sentence which S cannnot prove. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

A Martin-Löf random sequence is an infinite binary sequence with the property that every initial segment $\sigma$ has prefix-free Kolmogorov complexity $K$ at least $|\sigma| - c$, for some constant $c \in \omega$. Informally, initial segments of Martin-Löf randoms are highly complex in the sense that they are not compressible by more than a constant number of bits. However, all Martin-Löf randoms necessarily have contiguous substrings of arbitrarily low complexity. If we demand that all substrings of a (...) sequence be uniformly complex, then we arrive at the notion of shift-complex sequences. In this paper, we collect some of the existing results on these sequences and contribute two new ones. Rumyantsev showed that the measure of oracles that compute shift-complex sequences is zero. We strengthen this result by proving that the Martin-Löf random sequences that do not compute shift-complex sequences are exactly the incomplete ones, in other words, the ones that do not compute the halting problem. In order to do so, we make use of the characterization by Franklin and Ng of the class of incomplete Martin-Löf randoms via a notion of randomness called difference randomness. Turning to the power of shift-complex sequences as oracles, we show that there are shift-complex sequences that do not compute Martin-Löf random sequences. (shrink)

School psychologists are asked to systematically evaluate the effects of their work to ensure quality standards. Given the different types of methods applied to different users of school psychology measuring the effects of school psychological services is a complex task. Thus, the focus of our scoping review was to systematically investigate the state of past research on the measurement of the effects of school psychological services published between 1998 and 2018 in eight major school psychological journals. Of the 5,048 (...) peer-reviewed articles published within this period, 623 were coded by two independent raters as explicitly refering to school psychology or counseling in the school context in their titles or abstracts. However, only 22 included definitions of effects of school psychological services or described outcomes used to evaluate school psychological services based on full text screening. These findings revealed that measurement of the effects of school psychological services has not been a focus of research despite its' relevance in guidelines of school psychological practice. (shrink)

Definition of the problem This interview study investigated ethical issues in long-term care facilities from the perspective of caregivers during the coronavirus disease pandemic. Due to the explorative as well as descriptive methodological approach, interview data are available and can be assigned to four central topics, which reveal a complex and sometimes conflictual reality of work and life in long-term care during the pandemic. On the one hand, the protective measures taken by the state and the institutions, as well (...) as the resulting restrictions on the personal freedom of the residents are critically reflected and the degree of self-determination of the residents of nursing homes in the pandemic is questioned. On the other hand – given the pandemic-related measures – nursing activities in long-term care facilities as a place of work and life are described as challenging, especially regarding the changed nursing processes and quality of care, as well as due to the changed quality of relationships with the residents. Arguments These four topics can basically be assigned to the ethical principles of autonomy and care and present a relevant concretization of the principle-oriented ethical challenges in long-term care during the COVID-19 pandemic. In the synopsis and interpretation of the results, it becomes apparent that the interviewed caregivers closely link the observance and implementation of the autonomy principle in everyday nursing care with the principle of care and the resulting well-being of the residents. Conclusions Our results clearly show that the paradigm shift in long-term care, which has been developed over the last few decades, was weakened by the COVID-19 pandemic. In addition, the reported moral uncertainties and conflicts make it clear that caregivers need support regarding the ethical reflection of their nursing actions and that a sustainable integration of ethics counselling in long-term care facilities may be a possible approach to a solution. (shrink)

According to Kant, the division of the categories “is not the result of a search after pure concepts undertaken at haphazard,” but is derived from the “complete” classification of judgments developed by traditional logic. However, the sorts of judgments that he enumerates in his table of judgments are not all ones that traditional logic has dealt with; consequently, we must say that he chose the sorts of judgments in question with a certain intention. Besides, we know that his choice of (...) judgments and categories is strongly influenced by certain views of natural science that he fully accepts. For this reason, his argumentations are sometimes seriously inconsistent. As to Kant’s argumentations of categories, many problems have already been pointed out, but in this paper, I take up the categories of quantity and quality once more, and make clear his argumentations’ hidden logic and its distortion from the point of view of the history of logic and natural science. First, I confirm that there are non-negligible problems in his explanation to the effect that his derivation of the categories of quantity and quality is based on the quantity and quality of judgments. Next, I reconsider the meaning of his treating the categories of quantity and quality as pure concepts of the understanding. Finally, I conclude that by having recourse to the categories of quantity and quality Kant tried unjustly to apriorize the distinction between the “extensive magnitude” and “intensive magnitude” that has a long formational history since Aristotle. (shrink)

There are clear associations between the overall quantity of input children are exposed to and their vocabulary acquisition. However, by uncovering specific features of the input that matter, we can better understand the mechanisms involved in vocabulary learning. We examine whether exposure to wh-questions, a challenging quality of the communicative input, is associated with toddlers' vocabulary and later verbal reasoning skills in a sample of low-income, African-American fathers and their 24-month-old children. Dyads were videotaped in free play sessions at home. (...) Videotapes were transcribed and reliably coded for sheer quantity of fathers' input as well as the number of wh-questions fathers produce. Children's productive vocabulary was measured at 24 months using the McArthur Bates Communicative Development Inventory MCDI, and children's verbal reasoning skills were measured 1 year later using the Bayley Scales of Infant Development. Results indicate that the overall quantity of father talk did not relate to children's vocabulary or reasoning skills. However, fathers' use of wh-questions related to both vocabulary and reasoning outcomes. Children's responses to wh-questions were more frequent and more syntactically complex, measured using the mean length of utterance, than their responses to other questions. Thus, posing wh-questions to 2-year-olds is a challenging type of input, which elicits a verbal response from the child that likely helps build vocabulary and foster verbal reasoning abilities. (shrink)

: Usually, when studying schematism we devote almost exclusive attention to the study of the modifications that the categories suffer when combined with time. Instead, we have focused our attention on the determinations that time receives when combined with the categories. Departing from the definition of the transcendental schemata as “determinations of time”, an attempt is made to establish the various determinations that time receives from each one of the categories, as these perform the determination of time in schematism. (...) The categories of quantity allow us to think of time as a series of homogeneous unities; the categories of quality show each instant of time as a receptacle able to receive the different intensities of the real; the categories of relation establish a rule-dependent order on the flow of time; finally, the categories of modality determine the whole of time forming a collective unity that gathers or embraces each one of the instants of time preserving its specificity. (shrink)

My paper draws on examples from molecular biology, the details of which I have developed elsewhere (Rheinberger 1992, 1993, 1995, 1997). Here, I can give only a brief outline of my argument. Reduction of complexity is a prerequisite for experimental research. To make sense of the universe of living beings, the modern biologist is bound to divide his world into fragments in which parameters can be defined, quantities measured, qualities identified. Such is the nature of any "experimental system." Ontic (...) complexity has to be reduced in order to make experimental research possible. The complexity of the research object, however, is epistemically retained in the rich context of an experimental landscape, where the eruption of "volcanic systems" can change the scenery dramatically as the result of particular, unprecedented findings. (shrink)

In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not ‮א‬₀-categorical saturated structure with a unique computable isomorphism type? Our answer is affirmative and uses a construction based on Kolmogorov complexity. With a variation of this construction, we also provide an example of an ‮א‬₁-categorical but not ‮א‬₀-categorical saturated $\Sigma _{1}^{0}$ -structure with a unique computable isomorphism type. In addition, using the construction we give an example of an (...) ‮א‬₁-categorical but not ‮א‬₁-categorical theory whose only non-computable model is the prime one. (shrink)

The disavowal of positivist science by many educational researchers has resulted in a deepening polarization of research agendas and an epistemological divide that appears increasingly difficult to span. Despite a turning away from science altogether by some, and thus toward various forms of poststructuralist inquiry, this has not held back the renewed entrenchment of more narrow definitions by policy elites of what constitutes scientific educational research. The new sciences of complexity signal the emergence of a new scientific paradigm that (...) challenges some of the core assumptions of positivism, while offering the potential to develop a new kind of social science that demands both rigour and imagination in coming to understand the emergence and behaviours of social systems and the subsystems that comprise them. The language, concepts and principles of complexity are central to the development of a new science of qualities to complement the science of quantities that has shaped our understanding of the physical and social worlds. Accomplishing this task promises to 1) open up new investigations that have thus far been beyond the purview of scientific study, 2) allow the study of social phenomena as fully embodied, or at least as more robust models than those represented in the abstracted empiricism upon which the sciences of quantities are predicated, and 3) allow for more coarse‐grained explanations and predictions of social phenomena to be legitimated as scientific. Both educational research and educational practice stand to gain from this expansion of the scientific repertoire to include rigorous and imaginative investigations of phenomena characterized by change and transformation. (shrink)