Ruetsche argues that a problem of unitarily inequivalent representations arises in quantum theories with infinitely many degrees of freedom. I provide an algebraic formulation of classical field theories and show that unitarily inequivalent representations arise there as well. I argue that the classical case helps us rule out one possible response to the problem of unitarily inequivalent representations called Hilbert Space Conservatism.

Howard argues that the existence of unitarily inequivalent representations in Quantum Field Theory presents a problem for structural realism in this context. I consider two potential ways round this problem: 1), follow Wallace in adopting the 'naive' Lagrangian form of QFT with cut-offs; 2), adapt Ruetsche's 'Swiss Army Knife' approach. The first takes us into the current debate between Wallace and Fraser on conventional vs. algebraic QFT. The second involves consideration of the role of inequivalent representations in understanding (...) spontaneous symmetry breaking and quantum statistics. In both cases, I suggest, the structural realist has sufficient room to manoeuvre. (shrink)

Ruetsche ([2011]) argues that the occurrence of unitarily inequivalent representations in quantum theories with infinitely many degrees of freedom poses a novel interpretational problem. According to Ruetsche, such theories compel us to reject the so-called ideal of pristine interpretation; she puts forward the ‘coalescence approach’ as an alternative. In this paper I offer a novel defence of the coalescence approach. The defence rests on the claim that the ideal of pristine interpretation already fails before one considers the peculiarities of (...) QM∞: there are pre-QM∞ parallels to coalescence. Despite this departure from pristinism, the ‘modest’ view that emerges poses no threat to scientific realism. (shrink)

I show to be unsuccessful several attempts to demonstrate the possibility of time without change. Consideration of the most prominent of these arguments (by Sydney Shoemaker) then leads to the formulation of a general argument: evidence which justifies a claim that a certain amount of time has elapsed also justifies a claim that continuous change has occurred during the period. Hence there is a sound basis for the relationist claim that there is no time without events.

I show to be unsuccessful several attempts to demonstrate the possibility of time without change. Consideration of the most prominent of these arguments (by Sydney Shoemaker) then leads to the formulation of a general argument: evidence which justifies a claim that a certain amount of time has elapsed also justifies a claim that continuous change has occurred during the period. Hence there is a sound basis for the relationist claim that there is no time without events.

Philosophical reflection on quantum field theory has tended to focus on how it revises our conception of what a particle is. However, there has been relatively little discussion of the threat to the "reality" of particles posed by the possibility of inequivalent quantizations of a classical field theory, i.e., inequivalent representations of the algebra of observables of the field in terms of operators on a Hilbert space. The threat is that each representation embodies its own distinctive conception of (...) what a particle is, and how a "particle" will respond to a suitably operated detector. Our main goal is to clarify the subtle relationship between inequivalent representations of a field theory and their associated particle concepts. We also have a particular interest in the Minkowski versus Rindler quantizations of a free Boson field, because they respectively entail two radically different descriptions of the particle content of the field in the *very same* region of spacetime. We shall defend the idea that these representations provide *complementary descriptions* of the same state of the field against the claim that they embody completely *incommensurable theories* of the field. (shrink)

It is shown that the automorphism group of a relation algebra ${\cal B}_P$ constructed from a projective geometry P is isomorphic to the collineation group of P. Also, the base automorphism group of a representation of ${\cal B}_P$ over an affine geometry D is isomorphic to the quotient of the collineation group of D by the dilatation subgroup. Consequently, the total number of inequivalent representations of ${\cal B}_P$ , for finite geometries P, is the sum of the numbers ${\mid (...) Col(P)\mid\over {\mid Col(D)\mid/\mid Dil(D)\mid}}$ where D ranges over a list of the non-isomorphic affine geometries having P as their geometry at infinity. This formula is used to compute the number of inequivalent representations of relation algebras constructed over projective lines of order at most 10. For instance, the relation algebra constructed over the projective line of order 9 has 56,700 mutually inequivalent representations. (shrink)

The usual equivalence between the Palalini and metric (or affinity and vielbein) formulations of Einstein theory fails in two spacetime dimensions for its “Kaluza-Klein” reduced (as well as for its standard) version. Among the differences is the necessary vanishing of the cosmological constant in the first-order forms. The purely affine Eddington formulation of Einstein theory also fails here.

In this article, I examine whether or not the Hamiltonian and Lagrangian formulations of classical mechanics are equivalent theories. I do so by applying a standard for equivalence that was recently introduced into philosophy of science by Halvorson and Weatherall. This case study yields three general philosophical payoffs. The first concerns what a theory is, while the second and third concern how we should interpret what our physical theories say about the world. 1Introduction 2When Are Two Theories Equivalent? 3Preliminaries on (...) Classical Mechanics 3.1Hamiltonian mechanics 3.2Lagrangian mechanics 4Are Hamiltonian and Lagrangian Mechanics Equivalent Theories? 4.1Tangent bundle versus cotangent bundle 4.2Tangent bundle versus symplectic manifold 4.3Lagrangian vector field versus Hamiltonian vector field 5Conclusion Appendix. (shrink)

It is shown that with asymmetric classical vacua the quantum mechanical instanton approach to the energy splitting of degenerate states applies even though the degenerate state in one well is not the quantum mechanical ground state of that well. The instanton approach leads to the correct leading exponential behavior of the energy splitting ΔE, but the prefactor is much more difficult to compute due to the asymmetric nature of the fluctuation potential V″(φc(t)), which is in turn a direct consequence (...) of the asymmetry of the two classical minima between which the instanton interpolates. (shrink)

We construct models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In each model, above the supercompact cardinal, there are finitely many strongly compact cardinals, and the strongly compact and measurable cardinals precisely coincide.

We critically review the recent debate between Doreen Fraser and David Wallace on the interpretation of quantum field theory, with the aim of identifying where the core of the disagreement lies. We show that, despite appearances, their conflict does not concern the existence of particles or the occurrence of unitarily inequivalent representations. Instead, the dispute ultimately turns on the very definition of what a quantum field theory is. We further illustrate the fundamental differences between the two approaches by comparing (...) them both to the Bohmian program in quantum field theory. (shrink)

In the framework of the history approach to quantum mechanics and, in particular, of the formulation of Gell-Mann and Hartle, the question of the existence of inequivalent decoherent sets of histories is reconsidered. A simple but acceptably realistic model of the dynamics of the universe is proposed and a particular set of histories is shown to be decoherent. By suitable tranformations of this set, a family of sets of histories is then generated, such that the sets, first, are decoherent (...) on the basis of the assumed dynamics of the universe and, secondly, arc certainly inequivalent, apart from trivial special cases. Finally, the original set of histories is refined to get a model of the usual quasiclassical domain and it is shown that, applying to it the previously considered transformations, a family of sets of histories is obtained which share typical properties of the usual quasiclassical domain. (shrink)

We pose and resolve a puzzle about spontaneous symmetry breaking in the quantum theory of infinite systems. For a symmetry to be spontaneously broken, it must not be implementable by a unitary operator in a ground state's GNS representation. But Wigner's theorem guarantees that any symmetry's action on states is given by a unitary operator. How can this unitary operator fail to implement the symmetry in the GNS representation? We show how it is possible for a unitary operator of this (...) sort to connect the folia of unitarily inequivalent representations. This result undermines interpretations of quantum theory that hold unitary equivalence to be necessary for physical equivalence. (shrink)

This unpublished paper, written in 2005 in the PhD philosophy program at Notre Dame, argues that algebraic structural realism faces a difficulty raised by the existence of inequivalent representations in quantum field theory.

We construct two models containing exactly one supercompact cardinal in which all non-supercompact measurable cardinals are strictly taller than they are either strongly compact or supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness holds. Each universe has only one strongly compact cardinal and contains relatively few large cardinals.

If are such that δ is indestructibly supercompact and γ is measurable, then it must be the case that level by level inequivalence between strong compactness and supercompactness fails. We prove a theorem which points to this result being best possible. Specifically, we show that relative to the existence of cardinals such that κ1 is λ‐supercompact and λ is inaccessible, there is a model for level by level inequivalence between strong compactness and supercompactness containing a supercompact cardinal in which κ’s (...) strong compactness, but not supercompactness, is indestructible under κ‐directed closed forcing. In this model, κ is the least strongly compact cardinal, and no cardinal is supercompact up to an inaccessible cardinal. (shrink)

Suppose λ > κ is measurable. We show that if κ is either indestructibly supercompact or indestructibly strong, then A = {δ < κ | δ is measurable, yet δ is neither δ + strongly compact nor a limit of measurable cardinals} must be unbounded in κ. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two models in which ${A = \emptyset}$ . The first of these contains a supercompact cardinal κ and (...) is such that no cardinal δ > κ is measurable, κ’s supercompactness is indestructible under κ-directed closed, (κ +, ∞)-distributive forcing, and every measurable cardinal δ < κ is δ + strongly compact. The second of these contains a strong cardinal κ and is such that no cardinal δ > κ is measurable, κ’s strongness is indestructible under < κ-strategically closed, (κ +, ∞)-distributive forcing, and level by level inequivalence between strong compactness and supercompactness holds. The model from the first of our forcing constructions is used to show that it is consistent, relative to a supercompact cardinal, for the least cardinal κ which is both strong and has its strongness indestructible under κ-directed closed, (κ +, ∞)-distributive forcing to be the same as the least supercompact cardinal, which has its supercompactness indestructible under κ-directed closed, (κ +, ∞)-distributive forcing. It further follows as a corollary of the first of our forcing constructions that it is possible to build a model containing a supercompact cardinal κ in which no cardinal δ > κ is measurable, κ is indestructibly supercompact, and every measurable cardinal δ < κ which is not a limit of measurable cardinals is δ + strongly compact. (shrink)

We show that the theories “ZFC \ There is a supercompact cardinal” and “ZFC \ There is a supercompact cardinal \ Level by level inequivalence between strong compactness and supercompactness holds” are equiconsistent.

A critical discussion of Shoemaker's argument for the possibility of time without change, intended as an argument against relationist conceptions of time. A relational view of time is proposed based on the primitive identity of events (or whatever entities are the basic subjects of change and lack thereof).

Many philosophical and scientific discussions of topics of mind-matter research make implicit assumptions, in various guises, about the distinction between mind and matter. Currently predominant positions are based on either reduction or emergence, providing either monistic or dualistic scenarios. A more-involved framework of thinking, which can be traced back to Spinoza and Leibniz, combines the two scenarios, dualistic (with mind and matter separated) and monistic (with mind and matter unseparated), in one single picture. Based on such a picture, the transition (...) from a domain with mind and matter unseparated to separate mental and material domains can be viewed as a result of a general kind of symmetry breaking, which can be described formally in terms of inequivalent representations. The possibility of whether this symmetry breaking might be connected to the emergence of temporal directions from temporally non-directed or even non-temporal levels of reality will be discussed. Correlations between mental and material aspects of reality could then be imagined as remnants of such primordial levels. Different conceivable types of inequivalent representations would lead to correlations with different characteristics. (shrink)

This paper discusses an outstanding issue in philosophy of physics concerning the relation between quantum symmetries and the notion of physical equivalence. Specifically, it deals with a dilemma arising for quantum symmetry breaking that was posed by Baker, who claimed that if two ground states are connected by a symmetry, even when it is broken, they must be physically equivalent. However, I argue that the dilemma is just apparent. In fact, I object to Baker’s conclusion by showing that the two (...) thermodynamical phases of a ferromagnet, which are connected by the so-called flip-flop symmetry, are physically inequivalent, thereby providing a counter-example to his claim. (shrink)

If a classical system has infinitely many degrees of freedom, its Hamiltonian quantization need not be unique up to unitary equivalence. I sketch different approaches (Hilbert space and algebraic) to understanding the content of quantum theories in light of this non‐uniqueness, and suggest that neither approach suffices to support explanatory aspirations encountered in the thermodynamic limit of quantum statistical mechanics.

body. While the latter areas are discussed mainly in fields such as the philosophy of mind, cognitive Many philosophical and scientific discussions of top-.

If κ < λ are such that κ is indestructibly supercompact and λ is 2λ supercompact, it is known from [4] that {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ violates level by level equivalence between strong compactness and supercompactness}must be unbounded in κ. On the other hand, using a variant of the argument used to establish this fact, it is possible to prove that if κ < λ are (...) such that κ is indestructibly supercompact and λ is measurable, then {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ satisfies level by level equivalence between strong compactness and supercompactness}must be unbounded in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must satisfy level by level equivalence between strong compactness and supercompactness. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must violate level by level equivalence between strong compactness and supercompactness. (shrink)

In this paper I elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the best confirmed theories in (...) science, but debates over its ontology are vexed. Rather than taking a stand on these matters, the structural realist can embrace QFT as an example of just the kind of theory SR should lead us to expect. Yet, it is not clear that QFT meets the structuralist's positive expectation by providing a structure for the world. In particular, the problem of unitarily inequivalent representations threatens to undermine the possibility of QFT providing a unique structure for the world. In response to this problem, I suggest that the structuralist should endorse pluralism about structure. (shrink)

Primitive ontology is a recently much discussed approach to the ontology of quantum theory according to which the theory is ultimately about entities in 3-dimensional space and their temporal evolution. This paper critically discusses the primitive ontologies that have been suggested within the Bohmian approach to quantum field theory in the light of the existence of unitarily inequivalent representations. These primitive ontologies rely either on a Fock space representation or a wave functional representation, which are strictly speaking unambiguously available (...) only for free systems in flat spacetime. As a consequence, it is argued that they do not constitute fundamental ontologies for quantum field theory, in contrast to the case of the Bohmian approach to quantum mechanics. (shrink)

The availability of unitarily inequivalent representations of the canonical commutation relations constituting a quantization of a classical field theory raises questions about how to formulate and pursue quantum field theory. In a minimally technical way, I explain how these questions arise and how advocates of the Hilbert space and of the algebraic approaches to quantum theory might answer them. Where these answers differ, I sketch considerations for and against each approach, as well as considerations which might temper their apparent (...) rivalry. (shrink)

It is widely believed that relationism cannot make room for the possibility of intervals of time during which no changes occur. Benovsky has recently challenged this belief, arguing that relationists can account for the possibility of changeless time in much the same way as substantivalists do, thereby concluding that the two views are interchangeable for all theoretical purposes. This paper intends to defend the meaningfulness of the traditional dispute between substantivalists and relationists, by contending that the particular form of relationism (...) on which Benovsky has based his criticism is in fact alien to that debate. (shrink)

Leibniz's principle of sufficient reason is the claim that everything has a sufficient reason. But is Leibniz committed to the necessity or to the contingency of his great principle? I argue that Leibniz is committed to its contingency, given that he allows for the absolute possibility of entities that he claims violate the PSR. These are all cases of qualitatively indiscernible entities, such as indiscernible atoms, vacua, and bodies. However, Leibniz's commitment to the contingency of the PSR seems to (...) stand in tension with his inference of the PSR from his theory of truth. I argue that this apparent tension can be resolved satisfactorily. When it comes to his modal views on the PSR, Leibniz's position is entirely consistent. (shrink)

I analyse the conceptual and mathematical foundations of Lagrangian quantum field theory (QFT) (that is, the ‘naive’ (QFT) used in mainstream physics, as opposed to algebraic quantum field theory). The objective is to see whether Lagrangian (QFT) has a sufficiently firm conceptual and mathematical basis to be a legitimate object of foundational study, or whether it is too ill-defined. The analysis covers renormalisation and infinities, inequivalent representations, and the concept of localised states; the conclusion is that Lagrangian QFT (at (...) least as described here) is a perfectly respectable physical theory, albeit somewhat different in certain respects from most of those studied in foundational work. (shrink)

We consider the problem of whether there are deterministic theories describing the evolution of an individual physical system in terms of the definite trajectories of its constituent particles and which stay in the same relation to quantum mechanics as Bohmian mechanics but which differ from the latter for what concerns the trajectories followed by the particles. Obviously, one has to impose on the hypothetical alternative theory precise physical requirements. We analyze various such constraints and we show step by step how (...) to meet them. This way of attacking the problem turns out to be useful also from a pedagogical point of view since it allows one to recall and focus on some relevant features of Bohm's theory. One of the central requirements we impose on the models we are going to analyze has to do with their transformation properties under the transformation of the extended Galilei group. In a context like the one we are interested in, one can put forward various requests that we refer to as physical and genuine covariance and invariance. Other fundamental requests are that the theory allows the description of isolated physical systems as well as that it leads to a solution (in the same sense as Bohmian mechanics) of the measurement problem. We show that, even when all the above conditions are taken into account, there are infinitely many inequivalent (from the point of view of the trajectories) bohmian-like theories reproducing the predictions of quantum mechanics. This raises some interesting questions about the meaning of Bohmian mechanics. (shrink)

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the theory, (...) we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by Doplicher, Haag, and Roberts (DHR); and we give an alternative proof of Doplicher and Robert's reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to J. E. Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix. (shrink)

Earman and Norton argue that manifold realism leads to inequivalence of Leibniz-shifted space-time models, with undesirable consequences such as indeterminism. I respond that intrinsic axiomatization of space-time geometry shows the variant models to be isomorphic with respect to the physically meaningful geometric predicates, and therefore certainly physically equivalent because no theory can characterize its models more closely than this. The contrary philosophical arguments involve confusions about identity and representation of space-time points, fostered by extrinsic coordinate formulations and irrelevant modal metaphysics. (...) I conclude that neither the revived Einstein hole argument nor the original Leibniz indiscernibility argument have any force against manifold realism. (shrink)

Stanford, in Exceeding Our Grasp , presents a powerful version of the pessimistic meta-induction. He claims that theories typically have empirically inequivalent but nonetheless well-confirmed, serious alternatives which are unconceived. This claim should be uncontroversial. But it alone is no threat to scientific realism. The threat comes from Stanford’s further crucial claim, supported by historical examples, that a theory’s unconceived alternatives are “radically distinct” from it; there is no “continuity”. A standard realist reply to the meta-induction is that past (...) failures do not imply present ones because present theories are more successful than past ones. I have preferred to emphasize that present methodology is better than past ones. Stanford’s response to the standard reply is surprisingly brief and inadequate. He defends the inference from the uncontroversial claim but not that from the crucial one. He does not show that past discontinuity implies present discontinuity. Realism survives. (shrink)

I examine some problems standing in the way of a successful `field interpretation' of quantum field theory. The most popular extant proposal depends on the Hilbert space of `wavefunctionals.' But since wavefunctional space is unitarily equivalent to many-particle Fock space, two of the most powerful arguments against particle interpretations also undermine this form of field interpretation. IntroductionField Interpretations and Field OperatorsThe Wavefunctional InterpretationFields and Inequivalent Representations 4.1. The Rindler representation 4.2. Spontaneous symmetry breaking 4.3. Coherent representations The Fate of (...) Fields in Interacting QFTConclusions. (shrink)

We argue that, under certain plausible assumptions, de Sitter space settles into a quiescent vacuum in which there are no dynamical quantum fluctuations. Such fluctuations require either an evolving microstate, or time-dependent histories of out-of-equilibrium recording devices, which we argue are absent in stationary states. For a massive scalar field in a fixed de Sitter background, the cosmic no-hair theorem implies that the state of the patch approaches the vacuum, where there are no fluctuations. We argue that an analogous conclusion (...) holds whenever a patch of de Sitter is embedded in a larger theory with an infinite-dimensional Hilbert space, including semiclassical quantum gravity with false vacua or complementarity in theories with at least one Minkowski vacuum. This reasoning provides an escape from the Boltzmann brain problem in such theories. It also implies that vacuum states do not uptunnel to higher-energy vacua and that perturbations do not decohere while slow-roll inflation occurs, suggesting that eternal inflation is much less common than often supposed. On the other hand, if a de Sitter patch is a closed system with a finite-dimensional Hilbert space, there will be Poincaré recurrences and dynamical Boltzmann fluctuations into lower-entropy states. Our analysis does not alter the conventional understanding of the origin of density fluctuations from primordial inflation, since reheating naturally generates a high-entropy environment and leads to decoherence, nor does it affect the existence of non-dynamical vacuum fluctuations such as those that give rise to the Casimir effect. (shrink)

Lodged in an impasse between questions of environmental justice and modes of capitalisation in the green economy, indeterminacy is a vulnerable and porous relation. Pollution activates a potentiality in the organism to be otherwise, to generate certain kinds of tumours, mini-deaths or mutations. Toxicity has an intermediary status that launches a mobility of effects that is often fragmented through sense organs, affirming forms of non-identity in biopolitical relations. Organisms are receptive to such bodily reconfigurations precisely because they are open to (...) the material communication of the world. In contrast to the “hidden labour” of indeterminacy in capitalist modes of capture, this article crafts an analytics of indeterminacy as an interjection in the politics of environments. Through dispersants in the Gulf of Mexico and military bees, two economies of indeterminacy are discussed. Drawing on Georges Bataille’s notion of political economy, I argue that what is required is an economy of radical inequivalence; an excessive engagement with the possibilities of indetermining forces to make fleeting marks. (shrink)

Many epistemologists have been attracted to the view that knowledge-wh can be reduced to knowledge-that. An important challenge to this, presented by Jonathan Schaffer, is the problem of “convergent knowledge”: reductive accounts imply that any two knowledge-wh ascriptions with identical true answers to the questions embedded in their wh-clauses are materially equivalent, but according to Schaffer, there are counterexamples to this equivalence. Parallel to this, Schaffer has presented a very similar argument against binary accounts of knowledge, and thereby in favour (...) of his alternative contrastive account, relying on similar examples of apparently inequivalent knowledge ascriptions, which binary accounts treat as equivalent. In this article, I develop a unified diagnosis and solution to these problems for the reductive and binary accounts, based on a general theory of knowledge ascriptions that embed presuppositional expressions. All of Schaffer's apparent counterexamples embed presuppositional expressions, and once the effect of these is taken into account, it becomes apparent that the counterexamples depend on an illicit equivocation of contexts. Since epistemologists often rely on knowledge ascriptions that embed presuppositional expressions, the general theory of them presented here will have ramifications beyond defusing Schaffer's argument. (shrink)

Huggett and Weingard's critical review provides an opportunity to continue the interpretive examination of quantum field theory in terms of some specific issues as well as comparison of alternative approaches to the subject. This note recasts their example of inequivalent Fock spaces in an effort to further clarify what it illustrates. Questions are addressed about the role of analogy in developing quantum field theory and about the conflict between formal vs. concrete methods in both physics and its interpretation, continuing (...) the well-known historical debate between Pierre Duhem and Clark Maxwell. Huggett and Weingard's examination very usefully occasions clarification on some points of exposition which, it is hoped, will make An Interpretive Introduction to Quantum Field Theory a more useful resource for understanding this subject. (shrink)

The study of existentially closed closure algebras begins with Lipparini’s 1982 paper. After presenting new nonelementary axioms for algebraically closed and existentially closed closure algebras and showing that these nonelementary classes are different, this paper shows that the classes of finitely generic and infinitely generic closure algebras are closed under finite products and bounded Boolean powers, extends part of Hausdorff’s theory of reducible sets to existentially closed closure algebras, and shows that finitely generic and infinitely generic closure algebras are elementarily (...) inequivalent. Special properties of algebraically closed, existentially closed, finitely generic, and infinitely generic closure algebras are established along the way. (shrink)

In a recent paper, Wigglesworth claims that syntactic criteria of theoretical equivalence are not appropriate for settling questions of equivalence between logical theories, since such criteria judge classical and intuitionistic logic to be equivalent; he concludes that logicians should use semantic criteria instead. However, this is an artefact of the particular syntactic criterion chosen, which is an implausible criterion of theoretical equivalence. Correspondingly, there is nothing to suggest that a more plausible syntactic criterion should not be used to settle questions (...) of equivalence between different logical theories; such a criterion is exhibited and shown to judge classical and intuitionistic logic to be inequivalent. (shrink)