Gauge theories are theories that are invariant under a characteristic group of "gauge" transformations. General relativity is invariant under transformations of the diffeomorphism group. This has prompted many philosophers and physicists to treat general relativity as a gauge theory, and diffeomorphisms as gauge transformations. I argue that this approach is misguided.

We argue that computation via quantum mechanical processes is irrelevant to explaining how brains produce thought, contrary to the ongoing speculations of many theorists. First, quantum effects do not have the temporal properties required for neural information processing. Second, there are substantial physical obstacles to any organic instantiation of quantum computation. Third, there is no psychological evidence that such mental phenomena as consciousness and mathematical thinking require explanation via quantum theory. We conclude that understanding brain function is unlikely to require (...) quantum computation or similar mechanisms. (shrink)

Special relativity is said to prohibit faster-than-light (superluminal) signaling, yet controversy regularly arises as to whether this or that physical phenomenon violates the prohibition. I argue that the controversy is a result of a lack of clarity as to what it means to ‘signal’, and I propose a criterion. I show that according to this criterion, superluminal signaling is not prohibited by special relativity.

We describe a logic of preference in which modal connectives reflect reasons to desire that a sentence be true. Various conditions on models are introduced and analyzed.

Bell’s theorem is purported to demonstrate the impossibility of a local “hidden variable” theory underpinning quantum mechanics. It relies on the well-known assumption of ‘locality’, and also on a little-examined assumption called ‘statistical independence’ (SI). Violations of this assumption have variously been thought to suggest “backward causation”, a “conspiracy” on the part of nature, or the denial of “free will”. It will be shown here that these are spurious worries, and that denial of SI simply implies nonlocal correlation between spacelike (...) degrees of freedom. Lorentz-invariant theories in which SI does not hold are easily constructed: two are exhibited here. It is conjectured, on this basis, that quantum-mechanical phenomena may be modeled by a local theory after all. (shrink)

Alternative models of idealized scientific inquiry are investigated and compared. Particular attention is devoted to paradigms in which a scientist is required to determine the truth of a given sentence in the structure giving rise to his data.

Whereas one can conceive of a relational classical mechanics in which absolute space and time do not play a fundamental role, quantum mechanics does not readily admit any such relational formulation.

General relativity is commonly thought to imply the existence of a unique metric structure for space-time. A simple example is presented of a general relativistic theory with ambiguous metric structure. Brans-Dicke theory is then presented as a further example of a space-time theory in which the metric structure is ambiguous. Other examples of theories with ambiguous metrical structure are mentioned. Finally, it is suggested that several new and interesting philosophical questions arise from the sorts of theories discussed.

This paper examines some common measures of complexity, structure, and information, with an eye toward understanding the extent to which complexity or information‐content may be regarded as objective properties of individual objects. A form of contextual objectivity is proposed which renders the measures objective, and which largely resolves the puzzle of Maxwell's Demon.

A paradigm of scientific discovery is defined within a first-order logical framework. It is shown that within this paradigm there exists a formal scientist that is Turing computable and universal in the sense that it solves every problem that any scientist can solve. It is also shown that universal scientists exist for no regular logics that extend first-order logic and satisfy the Löwenheim-Skolem condition.

The presence of nonobservational vocabulary is shown to be necessary for wide application of a conservative principle of theory revision.

A model of idealized scientific inquiry is presented in which scientists are required to infer the nature of the structure that makes true the data they examine. A necessary and sufficient condition is presented for scientific success within this paradigm.

We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...) with this account, we are ineluctably driven to introduce a highly constructive notion of (outer) measure based exclusively on the total magnitude of potentially infinite collections of line segments. The Paradox of Measure then consists in the proof that every finite or potentially infinite collection of points lacks magnitude with respect to this notion of measure. We observe that the Paradox of Measure, thus understood, troubled analysts into the 1880’s, despite their knowledge that the linear continuum is uncountable. The Paradox was ultimately resolved by Borel in his thesis of 1893, as a corollary to his celebrated result that every countable open cover of a closed line segment has a finite sub-cover, a result he later called the “First Fundamental Theorem of Measure Theory.” This achievement of Borel has not been sufficiently appreciated. We conclude with a metamathematical analysis of the resolution of the paradox made possible by recent results in reverse mathematics. (shrink)

Anthropic arguments in multiverse cosmology and string theory rely on the weak anthropic principle (WAP). We show that the principle, though ultimately a tautology, is nevertheless ambiguous. It can be reformulated in one of two unambiguous ways, which we refer to as WAP_1 and WAP_2. We show that WAP_2, the version most commonly used in anthropic reasoning, makes no physical predictions unless supplemented by a further assumption of "typicality", and we argue that this assumption is both misguided and unjustified. WAP_1, (...) however, requires no such supplementation; it directly implies that any theory that assigns a non-zero probability to our universe predicts that we will observe our universe with probability one. We argue, therefore, that WAP_1 is preferable, and note that it has the benefit of avoiding the inductive overreach characteristic of much anthropic reasoning. (shrink)

The quantization of gravity represents an important attempt at reconciling the two seemingly incompatible frameworks that lie at the base of modern physics, quantum theory and general relativity. The dissertation begins by looking at the incompatibilities between the two frameworks. The incompatibility with quantum theory, it is argued, is rooted in the profound differences between general relativity and ordinary field theories. The dissertation goes on to look at how, in practice, these incongruities are treated in the canonical quantization program, and (...) argues that their treatment is such that it is unlikely to lead to a satisfactory physical theory. The dissertation concludes by arguing that quantum theory only makes sense when embedded in a classical theory. Thus the reconciliation of quantum theory and general relativity suggests that we look outside the bounds of ordinary quantum theory for the proper theoretical framework. (shrink)

This chapter contains sections titled: Validity in the Finite Model Theory in the Finite? Definability and Complexity First‐Order Definability Second‐Order Definability Inductive Definability Infinitary Logics Random Graphs and 0–1 Laws.

David Albert and Barry Loewer have proposed a new interpretation of quantum mechanics which they call the Many Minds interpretation, according to which there are infinitely many minds associated with a given (physical) state of a brain. This interpretation is related to the family of many worlds interpretations insofar as it assumes strictly unitary (Schrödinger) time-evolution of quantum-mechanical systems (no reduction of the wave-packet). The Many Minds interpretation itself is principally motivated by an argument which purports to show that the (...) assumption of unitary evolution, along with some common sense assumptions about mental states (specifically, beliefs) leads to a certain nonphysicalism, in which there is a many-to-one correspondence between minds and brains. In this paper, I critically examine this motivating argument, and show that it depends on a mistaken assumption regarding the correspondence between projection operators and yes/no questions. (shrink)

We examine the prospects for finding “best possible” or “ideal” computing machines for various learning tasks. For this purpose, several precise senses of “ideal machine” are considered within the context of formal learning theory. Generally negative results are provided concerning the existence of ideal learning‐machines in the senses considered.

We consider drawbacks to scientific methods that prefer simple hypotheses to complex ones that cover the same data. The discussion proceeds in the context of a precise model of scientific inquiry.

In this paper we consider a naive conception of what a quantum theory of gravity might entail: a quantum-mechanically fluctuating gravitational field at each spacetime point. We argue that this idea is problematic both conceptually and technically.

This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show that FO = FO.

Journal of Human Values, Volume 28, Issue 2, Page 115-128, May 2022. Is emotional labour a burden or a boon to service providers who have greater workplace spirituality? We test a moderated mediation model in which emotional exhaustion mediates the conjoint effect of WS and emotional labour on job satisfaction. Linking conservation of resources theory with the mechanism of ‘value congruence’ in person–environment fit theory, we theorize that spiritual values are a key factor in generating necessary resource gains for deep (...) acting due to the value fit of these two motivational vectors. As a boundary condition for use of the benefits of DA, WS can bridge the gap between theoretical assumptions concerning the benefits of DA and the lack of empirical evidence that DA mitigates emotional exhaustion. Concurrently, we challenge the perception of WS as universally beneficial to employees’ wellbeing by proposing that WS amplifies the detrimental effects of surface acting because the externalized and inauthentic nature of this type of emotional regulation transgresses basic spiritual values. Our hypotheses find support in a study of 196 Israeli service providers at inbound call centres. (shrink)

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

This paper provides a mathematical model of scientific discovery. It is shown in the context of this model that any discovery problem that can be solved by a computable scientist can be solved by a computable scientist all of whose conjectures are finitely axiomatizable theories.

Criteria of approximate scientific success are defined within a formal paradigm of empirical inquiry. One consequence of aiming for less than perfect truth is examined.

A criterion of adequacy is proposed for theories of relevant consequence. According to the criterion, scientists whose deductive reasoning is limited to some proposed subset of the standard consequence relation must not thereby suffer a reduction in scientific competence. A simple theory of relevant consequence is introduced and shown to satisfy the criterion with respect to a formally defined paradigm of empirical inquiry.

To be pertinent to democratic practice, collective choice functions need not apply to all possible constellations of individual preference, but only to those that are humanly possible in an appropriate sense. The present paper develops a theory of humanly possible preference within the context of the mathematical theory of learning. The theory of preference is then exploited in an attempt to resolve Arrow's voting paradox through restriction of the domain of majoritarian choice functions.

From classical mechanics to quantum field theory, the physical facts at one point in space are held to be independent of those at other points in space. I propose that we can usefully challenge this orthodoxy in order to explain otherwise puzzling correlations at both cosmological and microscopic scales.

Special relativity is said to prohibit faster-than-light (superluminal) signalling, yet controversy regularly arises as to whether this or that physical phenomenon violates the prohibition. I argue that the controversy is a result of a lack of clarity as to what it means to `signal', and I propose a criterion. I show that although we have no reason to think that one can send signals faster than light, this is not prohibited by special relativity.

In 1949, Kurt Gödel found a solution to the field equations of general relativity that described a spacetime with some unusual properties. This “Gödel universe” permitted “closed timelike curves,” hence a kind of time travel, and it did not admit of decomposition into successive moments of time. In the same year, he published “A Remark about the Relationship between Relativity Theory and Idealistic Philosophy”, in which he used certain properties of this solution to argue for a kind of temporal idealism, (...) whereby “change [is] an illusion or an appearance due to our special mode of perception”. The paper is short and to the point, but the argument has usually been regarded as fatally flawed. In his Gödel Meets Einstein: Time Travel in the Gödel Universe, Palle Yourgrau makes a case for Gödel. (shrink)