AN ALGORITHMIC INFORMATION THEORY CHALLENGE TO INTELLIGENT DESIGN

William Dembski claims to have established a decision process to determine when highly unlikely events observed in the natural world are due to Intelligent Design. This article argues that, as no implementable randomness test is superior to a universal Martin‐Löf test, this test should be used to replace Dembski's decision process. Furthermore, Dembski's decision process is flawed, as natural explanations are eliminated before chance. Dembski also introduces a fourth law of thermodynamics, his “law of conservation of information,” to argue that information cannot increase by natural processes. However, this article, using algorithmic information theory, shows that this law is no more than the second law of thermodynamics. The article concludes that any discussions on the possibilities of design interventions in nature should be articulated in terms of the algorithmic information theory approach to randomness and its robust decision process.     

Constructor theory

Constructor theory seeks to express all fundamental scientific theories in terms of a dichotomy between possible and impossible physical transformations–those that can be caused to happen and those that cannot. This is a departure from the prevailing conception of fundamental physics which is to predict what will happen from initial conditions and laws of motion. Several converging motivations for expecting constructor theory to be a fundamental branch of physics are discussed. Some principles of the theory are suggested and its potential for solving various problems and achieving various unifications is explored. These include providing a theory of information underlying classical and quantum information; generalising the theory of computation to include all physical transformations; unifying formal statements of conservation laws with the stronger operational ones (such as the ruling-out of perpetual motion machines); expressing the principles of testability and of the computability of nature (currently deemed methodological and metaphysical respectively) as laws of physics; allowing exact statements of emergent laws (such as the second law of thermodynamics); and expressing certain apparently anthropocentric attributes such as knowledge in physical terms.     

A Dynamic-Logical Perspective on Quantum Behavior

In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various forms of classical information flow: the “test” operator from Dynamic Logic, the “announcement” operator from Dynamic Epistemic Logic and the “revision” operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of “logical dynamics” are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of “static” propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of “objectively imperfect information”. (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system.     

Fluids,Molecules and Paradoxes of Infinity

Several paradoxes of infinity have recently featured in this journal involving gases distributed in a denumerable infinite series of compartments. I shall demonstrate in this paper that:

a) None of these new paradoxes applies where the gases comply with both Boyle’s law and Avogadro’s law. As several of these new paradoxes expressly require compliance with Boyle’s law, it is unclear, in principle, as to whether there is a plausible model of gas that is able to uphold them all.

b) Notwithstanding a), any of the above paradoxes (and their variations) can be reinstated by acknowledging (contrary to what is widely assumed in the literature) that there are two distinct, non-equivalent concepts of ideal gas. Indeed, the various infinity puzzles actually enable a distinction to be made between the two concepts (which is a particularly elegant way of doing so).

     

Why did the new physics force out the old?

The aim of my paper is to demonstrate that Special Relativity and the early quantum theory were created within the same programme of statistical mechanics, thermodynamics and Maxwellian electrodynamics. I shall try to explain why classical mechanics and classical electrodynamics were “refuted” almost simultaneously or, in other words, why the quantum revolution and the relativistic one both took place at the beginning of the 20th century. I shall argue that the quantum and relativistic revolutions were simultaneous since they had a common origin—the clash between the fundamental theories of the second half of the 19th century that constituted the “body” of classical physics. The revolution's most dramatic point was Einstein's 1905 photon paper that laid the foundations of both special relativity and the old quantum theory. Hence the dialectic of the old theories is crucial for theory change. Later, classical physics was forced out by the joint development of quantum and relativistic sub‐programmes. The title of my paper can be reformulated in Bruno Latour's terms: The Einstein Revolution or Drawing Models Together.     

Relevance of education and intelligence for the political development of nations: Democracy, rule of law and political liberty

Political theory has described a positive linkage between education, cognitive ability and democracy. This assumption is confirmed by positive correlations between education, cognitive ability, and positively valued political conditions (N = 183 − 130). Longitudinal studies at the country level (N = 94 − 16) allow the analysis of causal relationships. It is shown that in the second half of the 20th century, education and intelligence had a strong positive impact on democracy, rule of law and political liberty independent from wealth (GDP) and chosen country sample. One possible mediator of these relationships is the attainment of higher stages of moral judgment fostered by cognitive ability, which is necessary for the function of democratic rules in society. The other mediators for citizens as well as for leaders could be the increased competence and willingness to process and seek information necessary for political decisions due to greater cognitive ability. There are also weaker and less stable reverse effects of the rule of law and political freedom on cognitive ability.     

Semantic Information and the Correctness Theory of Truth

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained.     

Thermodynamics: What One Needs to Know

Thermodynamics is the foundation of many of the topics of interest in the religion-science dialogue. Here a nonmathematical outline of the principles of thermodynamics is presented, providing a historical and conceptually understandable development that can serve teachers from disciplines other than physics. The contributions of Gibbs to both classical and rational thermodynamics, emphasizing the importance of the ensemble in statistical mechanics, are discussed. The seminal ideas of Boltzmann on statistical mechanics are contrasted to those of Gibbs in a discussion of the microscopic interpretation of the second law. The role of information theory is discussed, and the modern ideas of Prigogine and nonequilibrium are outlined in some detail with further reference to the second law. Implications for our interaction with God are considered.     

From the Middle Out

Agnosticism has been largely passed over in the literature on Theism. This paper lays out an affirmative case for the agnostic position. Tapping into the classical arguments about the paradoxical qualities of ‘omni’ principles it argues that the agnostic position is ultimately more tenable than either Theism or Atheism. In the first part it regards the paradoxes of omnipotence and their replies strictly logically, declaring them to be true antimonies. In the second part it argues that classic arguments for belief before proof run afoul of additional paradoxes and require the rejection of the most basic logical principles to accept.

Minimal Belief Change and the Pareto Principle

This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decision-theoretic principle of Pareto-optimality to derive a notion of minimal belief change, for two different representations of belief: First, for beliefs represented by a theory – a deductively closed set of sentences or propositions – and second for beliefs represented by an axiomatic base for a theory. Three postulates exactly characterize Pareto-minimal revisions of theories, yielding a weaker set of constraints than the standard AGM postulates. The Levi identity characterizes Pareto-minimal revisions of belief bases: a change of belief base is Pareto-minimal if and only if the change satisfies the Levi identity (for “maxichoice” contraction operators). Thus for belief bases, Pareto-minimality imposes constraints that the AGM postulates do not. The Ramsey test is a well-known way of establishing connections between belief revision postulates and axioms for conditionals (“if p, then q”). Pareto-minimal theory change corresponds exactly to three characteristic axioms of counterfactual systems: a theory revision operator that satisfies the Ramsey test validates these axioms if and only if the revision operator is Pareto-minimal. This revised version was published online in June 2006 with corrections to the Cover Date.     

Mongrel Gravity

It was recognized almost from the original formulation of general relativity that the theory was incomplete because it dealt only with classical, rather than quantum, matter. What must be done in order to complete the theory has been a subject of considerable debate over the last century, and here I just mention a few of the various options that have been suggested for a quantum theory of gravity. The aim of what follows is twofold. First, I address worries about the consistency and physical plausibility of hybrid theories of gravity—theories involving a classical gravitational field and quantum matter fields. Such worries are shown to be unfounded. These hybrid theories—mongrel gravity—in fact comprise the only current, actual theories of gravity that incorporate quantum matter, and they also offer legitimate promise as tools for discovering the full theory of gravity. So my second aim is to highlight these theories as providing an interesting example of scientific revolution in action. I begin to try to draw some philosophical lessons from mongrel gravity theories, but more importantly I try to convince philosophers of physics that they should pay more attention to them. QFT in curved space-time, however, is not a unification. It is a mongrel, and as such deserves to be put down.—M. J. Duff

---

Slaves,Prisoners, and Republican Freedom

Philip Pettit’s republican conception of freedom is presented as an alternative both to negative and positive conceptions of freedom. The basic idea is to conceptualize freedom as non-domination, not as non-interference or self-mastery. When compared to negative freedom, Pettit’s republican conception comprises two controversial claims: the claim that we are unfree if we are dominated without actual interference, and the claim that we are free if we face interference without domination. Because the slave is a widely accepted paradigm of the unfree person, the case of a slave with a non-interfering master is often cited as providing a good argument for the first republican claim and against a negative conception of freedom. One aim of this article is to raise doubts about whether this is true. The other aim of the article is to show that the prisoner—also a paradigm of the unfree person—presents a good argument against the second republican claim and in favour of a negative conception of freedom. This is called the ‘prisoner-argument’. It will be argued that neither Pettit’s distinction between free persons and free choices nor his distinction between compromising and conditioning factors of freedom can help to rebut the charge of the prisoner-argument.     

Plural signification and the Liar paradox

In recent years, speech-act theory has mooted the possibility that one utterance can signify a number of different things. This pluralist conception of signification lies at the heart of Thomas Bradwardine’s solution to the insolubles, logical puzzles such as the semantic paradoxes, presented in Oxford in the early 1320s. His leading assumption was that signification is closed under consequence, that is, that a proposition signifies everything which follows from what it signifies. Then any proposition signifying its own falsity, he showed, also signifies its own truth and so, since it signifies things which cannot both obtain, it is simply false. Bradwardine himself, and his contemporaries, did not elaborate this pluralist theory, or say much in its defence. It can be shown to accord closely, however, with the prevailing conception of logical consequence in England in the fourteenth century. Recent pluralist theories of signification, such as Grice’s, also endorse Bradwardine’s closure postulate as a plausible constraint on signification, and so his analysis of the semantic paradoxes is seen to be both well-grounded and plausible.

Psychologue dans le champ scolaire : une pratique sous le sceau du paradoxe

Starting from an experiment she coordinated among a group of educational psychologists, the author reflects on psychological intervention programmes. Following the group's questions, she organises her reflection along three main lines: the function of the institution, the function of the reference theories, and the nature of the process involved in those programmes. As far as the first two points are concerned, the clinical psychologist's practice appears paradoxical. The first paradox is that the institution does not acknowledge him or her as a promoter of subjectivity; the second concerns the lack of articulation of the relationship with theory, i.e. psychoanalytical theory. After questioning those paradoxes, which cannot be resolved, the author shows that the specific action of clinical psychologists can have a legitimate place, providing they ponder deeply on the meaning of their intervention, and ground their reflection on transitional analysis, as it has been defined by several French authors, in reference to Winnicott: the transition period as well as the transitional area.     

Continuum,name and paradox

The article deals with Cantor’s argument for the non-denumerability of reals somewhat in the spirit of Lakatos’ logic of mathematical discovery. At the outset Cantor’s proof is compared with some other famous proofs such as Dedekind’s recursion theorem, showing that rather than usual proofs they are resolutions to do things differently. Based on this I argue that there are “ontologically” safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based on diagonal construction are caused by superficial understanding of what a name is.     

Understanding Systems Change in Early Implementation of Housing First in Canadian Communities: An Examination of Facilitators/Barriers,Training/Technical Assistance,and Points of Leverage

We present interim findings of a cross‐site case study of an initiative to expand Housing First (HF) in Canada through training and technical assistance (TTA). HF is an evidence‐based practice designed to end chronic homelessness for consumers of mental health services. We draw upon concepts from implementation science and systems change theory to examine how early implementation occurs within a system. Case studies examining HF early implementation were conducted in six Canadian communities receiving HF TTA. The primary data are field notes gathered over 1.5 years and evaluations from site‐specific training events (k = 5, n = 302) and regional network training events (k = 4, n = 276). We report findings related to: (a) the facilitators of and barriers to early implementation, (b) the influence of TTA on early implementation, and (c) the “levers” used to facilitate broader systems change. Systems change theory enabled us to understand how various “levers” created opportunities for change within the communities, including establishing system boundaries, understanding how systems components can function as causes of or solutions to a problem, and assessing and changing systems interactions. We conclude by arguing that systems theory adds value to existing implementation science frameworks and can be helpful in future research on the implementation of evidence‐based practices such as HF which is a complex community intervention. Implications for community psychology are discussed.     

The kinematics of belief and desire

Richard Jeffrey regarded the version of Bayesian decision theory he floated in ‘The Logic of Decision’ and the idea of a probability kinematics—a generalisation of Bayesian conditioning to contexts in which the evidence is ‘uncertain’—as his two most important contributions to philosophy. This paper aims to connect them by developing kinematical models for the study of preference change and practical deliberation. Preference change is treated in a manner analogous to Jeffrey’s handling of belief change: not as mechanical outputs of combinations of intrinsic desires plus information, but as a matter of judgement and of making up one’s mind. In the first section Jeffrey’s probability kinematics is motivated and extended to the treatment of changes in conditional belief. In the second, analogous kinematical models are developed for preference change and in particular belief-induced change that depends on an invariance condition for conditional preference. The two are the brought together in the last section in a tentative model of pratical deliberation. This paper is one of a pair dedicated to Richard Jeffrey and prepared for a workshop held in his memory at the 26th International Wittgenstein Symposium. My thanks to the organisers of, and the participants in, this workshop and to two anonymous referees for their comments.     

Visual-spatial working memory, attention, and scene representation: A neuro-cognitive theory

This paper addresses the issue of how visual-spatial working memory, attention, and scene representation are related. The first section introduces a modified two-stage conception of visual-spatial processing. “Stage one” refers to low-level visual-spatial processing and computes in parallel for the currently available retinal information “object candidates,” here called “visual-spatial units.” An attentional process called “unit selection” allows access to stage two for one of these units at a time. Stage two contains high-level visual-spatial information that can be used for goal-directions (e.g., verbal report, grasping). It consists of three parallel processing streams. First, the currently selected unit is recognized; second, a spatial-motor program for the selected unit is computed; and third, an “object file” is set up for the selected unit. An object file contains temporary episodic representations of detailed high-level visual-spatial attributes of an “object” plus an “index.” An index acts as a pointer and is bound via temporary connections to the attributes of the file. Section two of this paper specifies one part of stage two in more detail, namely visual-spatial working memory (VSWM). It can contain up to four object files. A first central claim is that during sensory-based processing for working memory (“access”), one object file is always “on-line,” and up to three other object files are “off-line”. A second central claim is that the process of setting up an object file depends on the number and the activation level of already stored files. Based on the concept of activation-based competition between object files, it is postulated that the more files that are stored and the higher their activation is, the longer it takes for a newly set up object file to reach a sufficient level of activation. Activation-based competition is also used to explain “short-term forgetting” by “interference.” A third central claim about VSWM is that a “refreshment' process exists that increases the activation level of an index of an object file in order to prevent forgetting or in order to bring the file back to the state of controlling the current action. Finally, section three gives a selective look at a number of experimental data such as the attentional blink, backward masking, dwell time effects, transsaccadic memory, and change blindness. New explanations are offered and new predictions made. Received: 16 January 1998 / Accepted: 25 July 1998     

Internal Realism,Religious Pluralism and Ontology

Internalist pluralism is an attractive and elegant theory. However, there are two apparently powerful objections to this approach that prevent its widespread adoption. According to the first objection, the resulting analysis of religious belief systems is intrinsically atheistic; while according to the second objection, the analysis is unsatisfactory because it allows religious objects simply to be defined into existence. In this article, I demonstrate that an adherent of internalist pluralism can deflect both of these objections, and in the course of so arguing, I deploy a distinction between “conceptual-scheme targetability” and “successful conceptual-scheme targeting”.

Logical, Semantic and Cultural Paradoxes

The property common to three kinds of paradoxes (logical, semantic, and cultural) is the underlying presence of an exclusive disjunction: even when it is put to a check by the paradox, it is still invoked at the level of implicit discourse. Hence the argumentative strength of paradoxical propositions is derived. Logical paradoxes (insolubilia) always involve two contradictory, mutually exclusive, truths. One truth is always perceived to the detriment of the other, in accordance with a succession which is endlessly repetitive. A check is put on the principle of the excluded middle by the logical paradoxes, because self-reference leads to an endlessly repeating circle, out of which no resolution is conceivable. Logical paradoxes are to be compared with the `objective ambiguity' prevalent in oracles (Gallet, 1990). Semantic paradoxes are contextually-determined occurrences, whose resolution at the metalinguistic level is made possible by the discovery of a middle term. They express a wilful ambiguity, in which the interlocutor is invited to take an active part in the construction of sense, since what must be found is the unexpected sense thanks to which A and not-A can be asserted simultaneously. Cultural paradoxes play about doxa (`common sense') and openly challenge common opinion because of their character as inopinata (`unexpected'). My aim is to show that even cultural paradoxes hide sometimes a flaw of argumentation similar to logical or semantic paradox; they too imply an exclusive disjunction leading to the disappearance of the middle terms. Finally, basing myself on the theory of topoi (Anscombre and Ducrot, 1983), a tentative resolution of the cultural paradoxes will be suggested.