In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT (...) , K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

Intuitionistic sentential logic is shown to be sound and complete with respect to a semantics centered around extensions of atomic bases (i.e. sets of inference rules for atomic sentences). The result is made possible through a non-standard interpretation of disjunction, whereby, roughly speaking, a disjunction is taken to hold just in case every atomic sentence that follows from each of the disjuncts separately holds; it is argued that this interpretation makes good sense provided that rules in (...) atomic bases are conceived of as being accepted hypothetically rather than categorically. (shrink)

In a recent essay review of William R. Newman, Atoms and Alchemy (2006), Ursula Klein defends her position that philosophically informed corpuscularian theories of matter contributed little to the growing knowledge of "reversible reactions" and robust chemical species in the early modern period. Newman responds here by providing further evidence that an experimental, scholastic tradition of alchemy extending well into the Middle Ages had already argued extensively for the persistence of ingredients during processes of "mixture" (e.g. chemical reactions), and that (...) this corpuscular alchemical tradition bore important fruit in the work of early modern chymists such as Daniel Sennert and Robert Boyle. (shrink)

Atomic-scale computer simulation has been used to study the thermally activated atomic transport of self-interstitial atoms in the form of planar clusters in pure Cu and f -Fe. There is strong evidence that such clusters are commonly formed in metals during irradiation with high-energy particles and play an important role in accumulation and spatial distribution of surviving defects. An extensive study of the mobility of SIA clusters containing two to 331 interstitials has been carried out using the molecular (...) dynamics simulation technique for the temperature range from 180 to 1200 K. The results obtained show that clusters larger than three to four SIAs are one-dimensionally mobile in both Cu and Fe. Large clusters of more than 100 SIAs in Cu and 300 SIAs in Fe have significantly reduced mobility. The problem of describing one-dimensional motion in three-dimensional space is discussed. An attempt is made to describe the mobility of SIA clusters within the approximation of 1D diffusion. For clusters in both metals the effective migration energy of 1D diffusion as estimated via the jump frequency of the cluster centre of mass is found to be independent of the number of SIAs in the clusters, although the cluster jump frequency decreases with increasing cluster size. Mechanisms of 1D mobility of interstitial clusters are discussed. (shrink)

In this article, I argue for the redundancy of Whitehead’s Platonic notion of the extensive continuum, counterposing it to his related notion of an atomic “ether of events.” I argue that Whitehead’s atomic ether is more compatible with orthodox general relativity than generally supposed and remarkably close to the contemporary idea of a discrete manifold in the causal set theory of quantum gravity. I argue that the method of extensive abstraction complements Whitehead’s atomic hypothesis by demonstrating the (...) ultimately fictive nature of any continuum. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems |$K$|⁠, |$KT$|⁠, |$K4$| (...) and |$S4$|⁠, with |$\square $| as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between |$\square $| and a natural presentation of |$\lozenge $|⁠. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

Propositional dynamic logic (PDL) is one of the most successful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, as long-known, reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL with negation of atomic programs, only. We argue that this logic is still useful, e.g. in (...) the context of description logics, and prove that satisfiability is decidable and EXPTIME-complete using an approach based on Büchi tree automata. (shrink)

The late J. D. Bernal's lectures given to first-year students in physics at Birkbeck College, University of London, are presented here in their entirety, tracing the history of physics up to the end of the classical era at the end of 19th century, just before the discoveries of the subatom and relatively were made. In view of the prestige and profundity of the newer discoveries, Bernal felt that the classical era was being largely forgotten. In this book, he attributes a (...) greater relevance to the work of men from the distant past than is usually given. For instance, the idea of "atom" not only retains the language of the Greek, Democritus, who first postulated it, but there is also an absolutely unbroken connection between the atom of the Greek and that of the modern physicist. Bernal felt that the historical method would be a suitable introduction to the fundamental concepts of physics, and it is hoped that the readers of the book will be able to see something of the interplay between the theoretical and practical aspects of the subject. (shrink)

We prove an Omitting Types Theorem for certain algebraizable extensions of first order logic without equality studied in [SAI 00] and [SAY 04]. This is done by proving a representation theorem preserving given countable sets of infinite meets for certain reducts of ?- dimensional polyadic algebras, the so-called G polyadic algebras (Theorem 5). Here G is a special subsemigroup of (?, ? o) that specifies the signature of the algebras in question. We state and prove an independence result connecting (...) our representation theorem to Martin's axiom (Theorem 6). Also we show that the countable atomic G polyadic algebras are completely representable (Corollary 16) contrasting results on cylindric algebras. Several related results are surveyed. (shrink)

In this paper, we consider some contributions to the model theory of the logic of formal inconsistency $\mathsf{QmbC}$ as a reply to Walter Carnielli, Marcelo Coniglio, Rodrigo Podiacki and Tarcísio Rodrigues’ call for a ‘wider model theory.’ This call demands that we align the practices and techniques of model theory for logics of formal inconsistency as closely as possible with those employed in classical model theory. The key result is a proof that the Keisler–Shelah isomorphism theorem holds for $\mathsf{QmbC}$, i.e. (...) that the strong elementary equivalence of two $\mathsf{QmbC}$ models $\mathfrak{A}$ and $\mathfrak{B}$ is equivalent to them having strongly isomorphic ultrapowers. As intermediate steps, we introduce some notions of model-theoretic equivalence between $\mathsf{QmbC}$ models, explicitly prove Łoś’ theorem and introduce a useful technique of model-theoretic ‘atomization’ in which the satisfaction sets of non-deterministically evaluated formulae are associated with new predicates. Finally, we consider some of the extensions of $\mathsf{QmbC}$, explicitly showing that Keisler–Shelah holds for $\mathsf{QCi}$ and suggesting that it holds of extensions like $\mathsf{QCila}$ and $\mathsf{QCia}$ as well. (shrink)

As Aristotle classically defined it, continuity is the property of being infinitely divisible into ever-divisible parts. How has this conception been affected by the process of mathematization of motion during the 14th century? This paper focuses on Nicole Oresme, who extensively commented on Aristotle’s Physics, but also made decisive contributions to the mathematics of motion. Oresme’s attitude about continuity seems ambivalent: on the one hand, he never really departs from Aristotle’s conception, but on the other hand, he uses it in (...) a completely new way in his mathematics, particularly in his Questions on Euclidean geometry, a tantamount way to an atomization of motion. If the fluxus theory of natural motion involves that continuity is an essential property of real motion, defined as a res successiva, the ontological and mathematical structure of this continuity implies that continuum is in some way “composed” of an infinite number of indivisibles. In fact, Oresme’s analysis opened the path to a completely new kind of mathematical continuity. (shrink)

The paper presents predicate logical extensions of some subintuitionistic logics. Subintuitionistic logics result if conditions of the accessibility relation in Kripke models for intuitionistic logic are dropped. The accessibility relation which interprets implication in models for the propositional base subintuitionistic logic considered here is neither persistent on atoms, nor reflexive, nor transitive. Strongly complete predicate logical extensions are modeled with a second accessibility relation, which is a partial order, for the interpretation of the universal quantifier.

We show that the quantifier elimination result for the Shelah-Spencer almost sure theories of sparse random graphs $$G(n,n^{-\alpha })$$ given by Laskowski (Isr J Math 161:157–186, 2007) extends to their various analogues. The analogues will be obtained as theories of generic structures of certain classes of finite structures with a notion of strong substructure induced by rank functions and we will call the generics Baldwin–Shi hypergraphs. In the process we give a method of constructing extensions whose ‘relative rank’ is (...) negative but arbitrarily small in context. We give a necessary and sufficient condition for the theory of a Baldwin–Shi hypergraph to have atomic models. We further show that for certain well behaved classes of theories of Baldwin–Shi hypergraphs, the existentially closed models and the atomic models correspond. (shrink)

The second-order radial differential equations for the relativistic Dirac hydrogen atom are derived from the Dirac equation treated as a system of partial differential equations. The quantum operators which arise in the development are defined and interpreted as they appear. The splitting in the energy levels is computed by applying the theory of singularities for second-order differential equations to the Klein-Gordon and Dirac relativistic equations. In the Dirac radial equation additional terms appear containing a constant, which is shown to be (...) the “radius of the electron.” It is concluded that the minute perturbation of the radial eigenfunction in the vicinity of the proton brought about by the extension of the elementary particles, which appears naturally out of the Dirac equations, results in the prediction of the observed splitting of the hydrogen atom energy levels by the Dirac theory. The extension of the particles arises even though the Dirac hydrogen atom is originally formulated for point charges. (shrink)

A critical re-examination of the history of the concepts of space (including spacetime of general relativity and relativistic quantum field theory) reveals a basic ontological elusiveness of spatial extension, while, at the same time, highlighting the fact that its epistemic primacy seems to be unavoidably imposed on us (as stated by A.Einstein “giving up the extensional continuum … is like to breathe in airless space”). On the other hand, Planck’s discovery of the atomization of action leads to the fundamental recognition (...) of an ontology of non-spatial, abstract entities (Quine) for the quantum level of reality (QT), as distinguished from the necessarily spatio-temporal, experimental revelations (measurements). The elementary quantum act (measured by Planck’s constant) has neither duration nor extension, and any genuinely quantum process literally does not belong in the Raum and time of our experience. As Heisenberg stresses: “Während also die klassische Physik ein objectives Geschehen in Raum and Zeit zum Gegenstand hat, für dessen Existenz seine Beobachtung völlig irrelevant war, behandelt die Quantentheorie Vorgänge, die sozusagen nur in den Momenten der Beobachtung als raumzeitliche Phänomene aufleuchten, und über die in der zwischenzeit anschaulische physikalische Aussagen sinloss sind”. An admittedly speculative, hazardous conjecture is then advanced concerning the relation of such quantum ontology with the role of the pre-phenomenal continuum (Husserl) in the perception of macroscopically distinguishable objects in the Raum and time of our experience. Although rather venturesome, it brings together important philosophical issues. Coherently with recent general results in works on the foundations of QT, it is assumed that the linearity of quantum dynamical evolution does not apply to the central nervous system of living beings at a certain level of the evolutionary ramification and at the pre-conscious stage of subjectivity. Accordingly, corresponding to the onset of a non-linear dynamic evolution, a ‘primary spatial’ reduction is ‘continually’ taking place, thereby constituting the neural precondition for the experience of distinguishable macroscopic objects in the continuous spatial extension. While preventing the theoretically possible quantum superpositions of macroscopic objects from being perceivable by living beings, the ‘primary reduction’ has no effect on the standard processes concerning quantum level entities involved in laboratory man-made experiments. In this connection, an experimental check which might falsify the conjecture is briefly discussed. The approach suggested here, if sound, leads to a naturalization of that part of Kant’s Transcendental Aesthetics than can survive the Euclidean catastrophe. According to such naturalized transcendentalism, “space can well be transcendental without the axioms being so”, in agreement with a well-known statement by Boltzman. Finally, as far as QT is concerned, the conjecture entails that a scheme for quantum measurement of the von Neumann type cannot even ‘leave the ground’, vindicating Bohr’s viewpoint. A quantum theory of measurement, in a proper sense, turns out to be unnecessary and in fact impossible. (shrink)

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and (...) use the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

The article approaches cut elimination from a new angle. On the basis of an arbitrary inference relation among logically atomic formulae, an inference relation on a language possessing logical operators is defined by means of inductive clauses similar to the operator-introducing rules of a cut-free intuitionistic sequent calculus. The logical terminology of the richer language is not uniquely specified, but assumed to satisfy certain conditions of a general nature, allowing for, but not requiring, the existence of infinite conjunctions and (...) disjunctions. We investigate to what extent structural properties of the given atomic relation are preserved through the extension to the full language. While closure under the Cut rule narrowly construed is not in general thus preserved, two properties jointly amounting to closure under the ordinary structural rules, including Cut, are. -/- Attention is then narrowed down to the special case of a standard first-order language, where a similar result is obtained also for closure under substitution of terms for individual parameters. Taken together, the three preservation results imply the familiar cut-elimination theorem for pure first-order intuitionistic sequent calculus. -/- In the interest of conceptual economy, all deducibility relations are specified purely inductively, rather than in terms of the existence of formal proofs of any kind. (shrink)

We define a first-order extension LK(CP) of the cutting planes proof system CP as the first-order sequent calculus LK whose atomic formulas are CP-inequalities ∑ i a i · x i ≥ b (x i 's variables, a i 's and b constants). We prove an interpolation theorem for LK(CP) yielding as a corollary a conditional lower bound for LK(CP)-proofs. For a subsystem R(CP) of LK(CP), essentially resolution working with clauses formed by CP- inequalities, we prove a monotone interpolation (...) theorem obtaining thus an unconditional lower bound (depending on the maximum size of coefficients in proofs and on the maximum number of CP-inequalities in clauses). We also give an interpolation theorem for polynomial calculus working with sparse polynomials. The proof relies on a universal interpolation theorem for semantic derivations [16, Theorem 5.1]. LK(CP) can be viewed as a two-sorted first-order theory of Z considered itself as a discretely ordered Z-module. One sort of variables are module elements, another sort are scalars. The quantification is allowed only over the former sort. We shall give a construction of a theory LK(M) for any discretely ordered module M (e.g., LK(Z) extends LK(CP)). The interpolation theorem generalizes to these theories obtained from discretely ordered Z-modules. We shall also discuss a connection to quantifier elimination for such theories. We formulate a communication complexity problem whose (suitable) solution would allow to improve the monotone interpolation theorem and the lower bound for R(CP). (shrink)

It is shown that the boolean prime ideal theorem BPIT: every boolean algebra has a prime ideal, does not follow from the order-extension principle OE: every partial ordering can be extended to a linear ordering. The proof uses a Fraenkel-Mostowski model, where the family of atoms is indexed by a countable universal-homogeneous boolean algebra whose boolean partial ordering has a `generic' extension to a linear ordering. To illustrate the technique for proving that the order-extension principle holds in the model we (...) also study Mostowski's ordered model, and give a direct verification of OE there. The key technical point needed to verify OE in each case is the existence of a support structure. (shrink)

By using a geometrical form of the Darwin solutions of the Dirac equation, the general expressions with retardation of the matrix elements of the transitions S1/2-P1/2 and S1/2-P3/2 are established. The extension to the calculation with retardation of the sum rules relative to the intensities in the anomal Zeemann decomposition of the transitions between two levels is carried out.

Quantum Mechanics is a good example of a successful theory. Most of atomic phenomena are described well by quantum mechanics and cases such as Lamb Shift that are not described by quantum mechanics, are described by quantum electrodynamics. Of course, at the nuclear level, because of some complications, it is not clear that we can claim the same confidence. One way of taking these complications and corrections into account seems to be a modification of the standard quantum theory. In (...) this paper and its follow ups we consider a straightforward way of extending quantum theory. Our method is based on a Bohmian approach. We show that this approach has the essential ability for extending quantum theory, and we do this by introducing “non-Bohmian” forms for the quantum potential. (shrink)

As a continuation of the work of the third author in [5], we make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired by Serre’s algebraic twisting) to describe arbitrary fibres in cohomology sequences—yielding a useful “finiteness” result on cohomology sets.Applied to the special case of (...) differential fields and Kolchin’s constrained cohomology, we complete results from [3] by proving that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable. (shrink)

Co-published with the University of Queensland Press. HPC holds rights in North America and U. S. Dependencies. Since its first publication in 1976, Alan Chalmers's highly regarded and widely read work--translated into eighteen languages--has become a classic introduction to the scientific method, known for its accessibility to beginners and its value as a resource for advanced students and scholars. In addition to overall improvements and updates inspired by Chalmers's experience as a teacher, comments from his readers, and recent developments in (...) the field, this fourth edition features an extensive chapter-long postscript that draws on his research into the history of atomism to illustrate important themes in the philosophy of science. Identifying the qualitative difference between knowledge of atoms as it figures in contemporary science and metaphysical speculations about atoms common in philosophy since the time of Democritus offers a revealing and instructive way to address the question at the heart of this groundbreaking work: What is this thing called science? (shrink)

The extension of quantum mechanics to a general functional space (“rigged Hilbert space”), which incorporates time-symmetry breaking, is applied to construct extract dynamical models of entropy production and entropy flow. They are illustrated by using a simple conservative Hamiltonian system for multilevel atoms coupled to a time-dependent external force. The external force destroys the monotonicity of the ℋ-function evolution. This leads to a model of the entropy flow that allows a steady nonequilibrium structure of the emitted field around the unstable (...) particles. (shrink)

I introduce an extension of the Lewis-Skyrms signaling game, analysed from a dynamical perspective via simple reinforcement learning. In Lewis’ (Convention, Blackwell, Oxford, 1969) conception of a signaling game, salience is offered as an explanation for how individuals may come to agree upon a linguistic convention. Skyrms (Signals: evolution, learning & information, Oxford University Press, Oxford, 2010a) offers a dynamic explanation of how signaling conventions might arise presupposing no salience whatsoever. The extension of the atomic signaling game examined here—which (...) I will refer to as a salience game—introduces a variable parameter into the atomic signaling game which allows for degrees of salience, thus filling in the continuum between Skyrms’ and Lewis’ models. The model does not presuppose any salience at the outset, but illustrates a process by which accidentally evolved salience is amplified, to the benefit of the players. It is shown that increasing degrees of salience allow populations to avoid sub-optimal pooling equilibria and to coordinate upon conventions more quickly. (shrink)

The rules for Core Logic are stated, and various important results about the system are summarized. We describe its relationship to other systems, such as Classical Logic, Intuitionistic Logic, Minimal Logic, and the Anderson–Belnap relevance logicR. A precise, positive explication is offered of what it is for the premises of a proof to connect relevantly with its conclusion. This characterization exploits the notion of positive and negative occurrences of atoms in sentences. It is shown that all Core proofs are relevant (...) in this precisely defined sense. We survey extant results about variable-sharing in rival systems of relevance logic, and find that the variable-sharing conditions established for them are weaker than the one established here for Core Logic (and for its classical extension). Proponents of other systems of relevance logic (such asRand its subsystems) are challenged to formulate a stronger variable-sharing condition, and to prove thatRor any of its subsystems satisfies it, but that Core Logic does not. We give reasons for pessimism about the prospects for meeting this challenge. (shrink)

We investigate extensions of dependence logic with generalized quantifiers. We also introduce and investigate the notion of a generalized atom. We define a system of semantics that can accommodate variants of dependence logic, possibly extended with generalized quantifiers and generalized atoms, under the same umbrella framework. The semantics is based on pairs of teams, or double teams. We also devise a game-theoretic semantics equivalent to the double team semantics. We make use of the double team semantics by defining a (...) logic $$\hbox {DC}^2$$ DC 2 which canonically fuses together two-variable dependence logic $$\hbox {D}^2$$ D 2 and two-variable logic with counting quantifiers $$\hbox {FOC}^2$$ FOC 2 . We establish that the satisfiability and finite satisfiability problems of $$\hbox {DC}^2$$ DC 2 are complete for $$\hbox {NEXPTIME}$$ NEXPTIME. (shrink)

The development of atomic bombs under the auspices of the U.S. Army's Manhattan Project during World War II is considered to be the outstanding news story of the twentieth century. In this book, a physicist and expert on the history of the Project presents a comprehensive overview of this momentous achievement. The first three chapters cover the history of nuclear physics from the discovery of radioactivity to the discovery of fission, and would be ideal for instructors of a sophomore-level (...) "Modern Physics" course. Student-level exercises at the ends of the chapters are accompanied by answers. Chapter 7 covers the physics of first-generation fission weapons at a similar level, again accompanied by exercises and answers. For the interested layman and for non-science students and instructors, the book includes extensive qualitative material on the history, organization, implementation, and results of the Manhattan Project and the Hiroshima and Nagasaki bombing missions. The reader also learns about the legacy of the Project as reflected in the current world stockpiles of nuclear weapons. This second edition contains important revisions and additions, including a new chapter on the German atomic bomb program and new sections on British and Canadian contributions to the Manhattan project and on feed materials. Several other sections have been expanded; reader feedback has been helpful in introducing minor corrections and improved explanations; and, last but not least, the second edition includes a detailed index. (shrink)

In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved.

There have been few attempts to answer the twin challenges for alethic pluralists to maintain standard accounts of the logical operators and of logical consequence in a sufficiently systematic and precise way. In this paper, I propose an account of logic and semantics on behalf of pluralists that answers both challenges in a sufficiently systematic and precise way. Crucially, the account accommodates mixed atomics, and its first-order extension also accommodates quantified sentences. Accordingly, pluralists can answer all the distinctively logical challenges (...) for their view. (shrink)

I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, (...) but for good reasons. Intuitionism and classical logic can easily be recovered from the system. (shrink)

It is usually held that what distinguishes a good inference from a bad one is that a good inference is truth-preserving. Against this view, this paper argues that a logical inference is good or bad depending not on whether it is truth-preserving or not, but whether it belongs to a logical system the addition of which makes a deductively conservative extension of the derivation relations among the atomic statements. To so argue, the paper first contends that the meaning of (...) the logical operators of classical logic is determined not by their connections to truth, but by their inferential roles. It is claimed in conclusion that there is no genuine issue over which logic, classical or intuitionistic, is the correct logic, for they are both conservative in the relevant sense. (shrink)

We considered peculiarities of the evolution of a region with sharp boundaries that is filled with a partially ionized plasma and is a part of the volume of a condensed target. The creation of such a region in the near-surface layer of the target can be related to the action of an external impulse symmetric ionizator or to the action of an intense small-extension shock wave on the target surface. We defined the conditions such that their fulfilment during the establishment (...) of the equilibrium between the Coulomb attraction of electrons and ions with atom ionization multiplicity Z* 1 and the kinetic pressure of electrons causes both the compression of this region and its ionization to the state with Z* 2 > Z* 1. The last leads to a further additional compression and ionization. Under these conditions, the spontaneous avalanche-like ionization of atoms of the target to the state of ‘‘bare’’ nuclei occurs synchronously with the avalanche-like metallization and the self-compression of the target. We showed that the avalanche-like ionization and the self-compression of the target happen in the case where the gas of degenerate electrons has drift momentum. If the region with initial ionization has the form of thin spherical layer, the process of avalanche-like ionization and self-compression of the target in this region is accompanied by the accelerated movement of the plasma layer to the target center. One of the reasons for the accelerated movement is the surface tension in a bounded domain of the nonequilibrium plasma layer neutralized by ions of the target. With increase in the velocity of movement of this layer to the target center, the additional self-compression of the system of electrons and nuclei to the state of degenerate electron gas occurs. At the leading edge of the running layer with extremely high electron density which is neutralized by nuclei of the target, the formation of a collapse of the electron--nucleus system proceeds, and the binding energy maximum for the electron--nucleus system shifts from A≈60 to A ≫ 60. This result makes possible the fast synthesis of superheavy nuclei. The decay of the collapse state, a partial restoration of the target structure, its rapid cooling, and the condensation of a part of the products of nuclear reactions happen in the target volume at the trailing edge of the moving plasma layer. Upon such a scanning propagation of the wave with high electron density, all the target substance is involved, step-by-step, to the process of nuclear transformations. At the target center, the moving plasma layer is squeezed with the formation of the state of quasistationary collapse under inertial confinement. Then the collapse state decays irreversibly. (shrink)

Guarded fragments of first-order logic were recently introduced by Andreka, van Benthem and Nemeti; they consist of relational first-order formulae whose quantifiers are appropriately relativized by atoms. These fragments are interesting because they extend in a natural way many propositional modal logics, because they have useful model-theoretic properties and especially because they are decidable classes that avoid the usual syntactic restrictions (on the arity of relation symbols, the quantifier pattern or the number of variables) of almost all other known decidable (...) fragments of first-order logic. Here, we investigate the computational complexity of these fragments. We prove that the satisfiability problems for the guarded fragment (GF) and the loosely guarded fragment (LGF) of first-order logic are complete for deterministic double exponential time. For the subfragments that have only a bounded number of variables or only relation symbols of bounded arity, satisfiability is EXPTIME-complete. We further establish a tree model property for both the guarded fragment and the loosely guarded fragment, and give a proof of the finite model property of the guarded fragment. It is also shown that some natural, modest extensions of the guarded fragments are undecidable. (shrink)

In most cases, a wh-question calls for an answer that names an entity in the set denoted by the extension of the wh-complement. However, evidence from questions with necessity modals and questions with collective predicates argues that sometimes a wh-question must be interpreted with a higher-order reading, in which this question calls for an answer that names a generalized quantifier. This paper investigates the distribution and compositional derivation of higher-order readings of wh-questions. First, I argue that the generalized quantifiers that (...) can serve as semantic answers to wh-questions must be homogeneously positive. Next, on the distribution of higher-order readings, I observe that questions in which the wh-complement is singular-marked or numeral-modified can be answered by elided disjunctions but not by conjunctions. I further present two ways to account for this disjunction–conjunction asymmetry. In the uniform account, these questions admit disjunctions because disjunctions may satisfy the atomicity requirement of singular-marking and the cardinality requirement of numeral modification. In the reconstruction account, the wh-complement is syntactically reconstructed, which gives rise to local uniqueness and yields a contradiction for conjunctive answers. (shrink)

For millennia self has been conjectured to be necessary for consciousness. But scant empirical evidence has been adduced to support this hypothesis. Inconsistent explications of “self” and failure to design apt experiments have impeded progress. Advocates of phenomenological psychiatry, however, have helped explicate “self,” and employed it to explain some psychopathological symptoms. In those studies, “self” is understood in a minimalist sense, sheer “for-me-ness.” Unfortunately, explication of the “minimal self” (MS) has relied on conceptual analysis, and applications to psychopathology have (...) been hermeneutic, allowing for many degrees of interpretive latitude. The result is that MS’s current scientific status is analogous to that of the “atom,” at the time when “atom” was just beginning to undergo transformation from a philosophical to a scientific concept. Fortunately, there is now an opportunity to promote a similar transformation for “MS.” Discovery of the brain’s Default Mode Network (DMN) opened the door to neuroimaging investigations of self. Taking the DMN and other forms of intrinsic activity as a starting point, an empirical foothold can be established, one that spurs experimental research and that enables extension of research into multiple phenomena. New experimental protocols that posit “MS” can help explain phenomena hitherto not thought to be related to self, thereby hastening development of a mature science of self. In particular, targeting phenomena wherein consciousness is lost and recovered, as in some cases of Unresponsive Wakefulness Syndrome (UWS), allow for design of neuroimaging probes that enable detection of MS during non-conscious states. These probes, as well as other experimental protocols applied to NREM Sleep, General Anesthesia (GA), and the waking state, provide some evidence to suggest that not only can self and consciousness dissociate, MS might be a necessary precondition for conscious experience. Finally, these findings have implications for the science of consciousness: it has been suggested that “levels of consciousness” (LoC) is not a legitimate concept for the science of consciousness. But because we have the conceptual and methodological tools with which to refine investigations of MS, we have the means to identify a possible foundation—a bifurcation point—for consciousness, as well as the means by which to measure degrees of distance from that foundation. These neuroimaging investigations of MS position us to better assess whether LoC has a role to play in a mature science of consciousness. (shrink)

The Strongest Meaning Hypothesis of Dalrymple et al (1994,1998), which was originally proposed as a principle for the interpretation of reciprocals, is extended in this paper into a general principle of plural predication. This principle applies to complex predicates that are composed of lexical predicates that hold of atomic entities, and determines the pluralities in the extension of the predicate. The meaning of such a complex predicate is claimed to be the truth-conditionally strongest meaning that does not contradict lexical (...) properties of the simple predicates it contains. Weak interpretations of reciprocals (as in the books are stacked on top of each other), plural predicate conjunction (e.g. the books are old and new) and ’atomic’ distributivity in general are derived by a unified mechanism, which ’weakens’ the basic universal meanings of strong reciprocals, boolean conjunction and quantification over atomic entities. (shrink)

Let P 0 be the subsystem of Peano arithmetic obtained by restricting induction to bounded quantifier formulas. Let M be a countable, nonstandard model of P 0 whose domain we suppose to be the standard integers. Let T be a recursively enumerable extension of Peano arithmetic all of whose existential consequences are satisfied in the standard model. Then there is an initial segment M ' of M which is a model of T such that the complete diagram of M ' (...) is Turing reducible to the atomic diagram of M. Moreover, neither the addition nor the multiplication of M is recursive. (shrink)

Co-published with the University of Queensland Press. HPC holds rights in North America and U. S. Dependencies. Since its first publication in 1976, Alan Chalmers's highly regarded and widely read work--translated into eighteen languages--has become a classic introduction to the scientific method, known for its accessibility to beginners and its value as a resource for advanced students and scholars. In addition to overall improvements and updates inspired by Chalmers's experience as a teacher, comments from his readers, and recent developments in (...) the field, this fourth edition features an extensive chapter-long postscript that draws on his research into the history of atomism to illustrate important themes in the philosophy of science. Identifying the qualitative difference between knowledge of atoms as it figures in contemporary science and metaphysical speculations about atoms common in philosophy since the time of Democritus offers a revealing and instructive way to address the question at the heart of this groundbreaking work: What is this thing called science? (shrink)

In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more precisely, its instance for the (infinite) universe (VCSP), which is a theorem of NFU + Inf + AC. Therefore, we have a justification for proposing a new axiomatic extension of NFU, in order to obtain type-level ordered pairs almost (...) from the beginning. This axiomatic extension is NFU + Inf + AC + VCSP, which is equivalent to NFU + Inf + AC, but easier to reason about. (shrink)

The class forcing theorem, which asserts that every class forcing notion ${\mathbb {P}}$ admits a forcing relation $\Vdash _{\mathbb {P}}$, that is, a relation satisfying the forcing relation recursion—it follows that statements true in the corresponding forcing extensions are forced and forced statements are true—is equivalent over Gödel–Bernays set theory $\text {GBC}$ to the principle of elementary transfinite recursion $\text {ETR}_{\text {Ord}}$ for class recursions of length $\text {Ord}$. It is also equivalent to the existence of truth predicates for (...) the infinitary languages $\mathcal {L}_{\text {Ord},\omega }$, allowing any class parameter A; to the existence of truth predicates for the language $\mathcal {L}_{\text {Ord},\text {Ord}}$ ; to the existence of $\text {Ord}$ -iterated truth predicates for first-order set theory $\mathcal {L}_{\omega,\omega }$ ; to the assertion that every separative class partial order ${\mathbb {P}}$ has a set-complete class Boolean completion; to a class-join separation principle; and to the principle of determinacy for clopen class games of rank at most $\text {Ord}+1$. Unlike set forcing, if every class forcing notion ${\mathbb {P}}$ has a forcing relation merely for atomic formulas, then every such ${\mathbb {P}}$ has a uniform forcing relation applicable simultaneously to all formulas. Our results situate the class forcing theorem in the rich hierarchy of theories between $\text {GBC}$ and Kelley–Morse set theory $\text {KM}$. (shrink)

The question is how do Scanning Electron Microscopes (SEMs) give us access to the nano world? The images these instruments produce, I argue, do not allow us to see atoms in the same way that we see trees. To the extent that SEMs and STMs allow us to see the occupants of the nano world it is by way of metaphorical extension of the concept of “seeing”. The more general claim is that changes in scientific instrumentation effect changes in the (...) concepts central to our understanding of scientific results. (shrink)

Philosophical accounts of quantum theory commonly suppose that the observables of a quantum system form a Type-I factor von Neumann algebra. Such algebras always have atoms, which are minimal projection operators in the case of quantum mechanics. However, relativistic quantum field theory and the thermodynamic limit of quantum statistical mechanics make extensive use of von Neumann algebras of more general types. This chapter addresses the question whether interpretations of quantum probability devised in the usual manner continue to apply in the (...) more general setting. Features of non-type I factor von Neumann algebras are cataloged. It is shown that these novel features do not cause the familiar formalism of quantum probability to falter, since Gleason's Theorem and the Lüders Rule can be generalized. However, the features render the problem of the interpretation of quantum probability more intricate. (shrink)

By a well-known result of Kotlarski et al., first-order Peano arithmetic \ can be conservatively extended to the theory \ of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to \ while maintaining conservativity over \. Our main result shows that conservativity fails (...) even for the extension of \ obtained by the seemingly weak axiom of disjunctive correctness \ that asserts that the truth predicate commutes with disjunctions of arbitrary finite size. In particular, \ implies \\). Our main result states that the theory \ coincides with the theory \ obtained by adding \-induction in the language with the truth predicate. This result strengthens earlier work by Kotlarski and Cieśliński. For our proof we develop a new general form of Visser’s theorem on non-existence of infinite descending chains of truth definitions and prove it by reduction to Gödel’s second incompleteness theorem, rather than by using the Visser–Yablo paradox, as in Visser’s original proof. (shrink)

Argumentation Frameworks provide a fruitful basis for exploring issues of defeasible reasoning. Their power largely derives from the abstract nature of the arguments within the framework, where arguments are atomic nodes in an undifferentiated relation of attack. This abstraction conceals different senses of argument, namely a single-step reason to a claim, a series of reasoning steps to a single claim, and reasoning steps for and against a claim. Concrete instantiations encounter difficulties and complexities as a result of conflating these (...) senses. To distinguish them, we provide an approach to instantiating AFs in which the nodes are restricted to literals and rules, encoding the underlying theory directly. Arguments in these senses emerge from this framework as distinctive structures of nodes and paths. As a consequence of the approach, we reduce the effort of computing argumentation extensions, which is in contrast to other approaches. Our framework retains the theoretical and computational bene.. (shrink)

This paper examines a widely accepted reading of monads as the most fundamental elements of reality. Garber [Leibniz – Body, Substance, Monad, Oxford: Oxford University Press, 2009] argues that simple monads – seen as mind-like atoms without parts and extension – replace the corporeal substance of Leibniz’s middle period. Phemister [Leibniz and the Natural World – Activity, Passivity and Corporeal Substances in Leibniz’s Philosophy, Dordrecht: Springer, 2005] argues that monads figure also at the top as complete corporeal substances. Building on (...) Fichant [‘L’invention métaphysique’ in G.W. Leibniz, Discours de métaphysique suivi de Monadologie et autres textes, edited by Michel Fichant, Paris: Gallimard, 2004], I argue that, for Leibniz, monads function not only as building blocks at the bottom level of composition but also at the top, as grounding the unity and hence the being of complete substances and organic unities. Since organic unities or living beings are seen by Leibniz as natural machines with a nested structure, and since monads are likened to living beings, this would imply that the use of the concept ‘monad’ holds not only at the bottom, and not only at the top, but all over the range between them. (shrink)

This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic. The expressive strength, complete proof calculus and meta-properties of LFD are explored. Various language extensions are presented as well, up to undecidable modal-style logics for independence and dynamic logics of changing dependence models. Finally, more concrete settings for dependence are discussed: (...) continuous dependence in topological models, linear dependence in vector spaces, and temporal dependence in dynamical systems and games. (shrink)

I introduce the implantation argument, a new argument for the existence of God. Spatiotemporal extensions believed to exist outside of the mind, composing an external physical reality, cannot be composed of either atomlessness, or of Democritean atoms, and therefore the inner experience of an external reality containing spatiotemporal extensions believed to exist outside of the mind does not represent the external reality, the mind is a mere cinematic-like mindscreen, implanted into the mind by a creator-God. It will be (...) shown that only a creator-God can be the implanting creator of the mindscreen simulation, and other simulation theories, such as Bostrom’s famous account, that do not involve a creator-God as the mindscreen simulation creator, involve a reification fallacy. (shrink)