The equations of motion for a particle in a classical gauge field are derived from the invariance identities 2 and basic assumptions about the Lagrangian. They are found to be consistent with the equations of some other approaches to classical gauge-field theory, and are expressed in terms of a set of undetermined functions Eα. The functions Eα are found to satisfy a system of differential equations which has the same formal structure as a system of equations from Yang-Mills theory. 3 (...) These results are obtained by a new method which applies techniques from the theory of functional equations to deduce the way in which the arguments of the Lagrangian must combine. The method constitutes an aid for obtaining the equations of motion when a non-gauge-invariant Lagrangian is chosen, and it is assumed that the equations of motion can be written in a gauge-invariant manner. (shrink)

Gleason-type theorems derive the density operator and the Born rule formalism of quantum theory from the measurement postulate, by considering additive functions which assign probabilities to measurement outcomes. Additivity is also the defining property of solutions to Cauchy’s functional equation. This observation suggests an alternative proof of the strongest known Gleason-type theorem, based on techniques used to solve functional equations.

In this paper we derive the Schrödinger equation by comparing quantum statistics with classical statistical mechanics, identifying similarities and differences, and developing an operator functional equation which is solved in a completely algebraic fashion with no appeal to spatial invariances or symmetries.

The authors would like to make the corrections to the original article described below.

An analysis of the classical-quantum correspondence shows that it needs to identify a preferred class of coordinate systems, which defines a torsionless connection. One such class is that of the locally-geodesic systems, corresponding to the Levi-Civita connection. Another class, thus another connection, emerges if a preferred reference frame is available. From the classical Hamiltonian that rules geodesic motion, the correspondence yields two distinct Klein-Gordon equations and two distinct Dirac-type equations in a general metric, depending on the connection used. Each of (...) these two equations is generally-covariant, transforms the wave function as a four-vector, and differs from the Fock-Weyl gravitational Dirac equation (DFW equation). One obeys the equivalence principle in an often-accepted sense, whereas the DFW equation obeys that principle only in an extended sense. (shrink)

This is the first in a series of papers in which a method of harmonic analysis in terms of functions over the groupSU(2) is applied to the description of interaction between matter and the electromagnetic field. Carmeli'sSU(2) formulation of Maxwell's equations is extended to anSU(2) formulation of the equations for the electromagnetic vector potential. The four functions which describe the vector potential are expanded in a generalized Fourier series [SU(2) harmonic analysis] and the equations for the coefficients are derived. These (...) equations are not independent of each other, but in a given order they can be solved consecutively one at a time. (shrink)

Feature logics are the logical basis for so-called unification grammars studied in computational linguistics. We investigate the expressivity of feature terms with negation and the functional uncertainty construct needed for the description of long-distance dependencies and obtain the following results: satisfiability of feature terms is undecidable, sort equations can be internalized, consistency of sort equations is decidable if there is at least one atom, and consistency of sort equations is undecidable if there is no atom.

Recent accounts of actual causation are stated in terms of extended causal models. These extended causal models contain two elements representing two seemingly distinct modalities. The first element are structural equations which represent the or mechanisms of the model, just as ordinary causal models do. The second element are ranking functions which represent normality or typicality. The aim of this paper is to show that these two modalities can be unified. I do so by formulating two constraints under which extended (...) causal models with their two modalities can be subsumed under so called which contain just one modality. These two constraints will be formally precise versions of Lewissystem of weights or priorities” governing overall similarity between possible worlds. (shrink)

This paper is devoted to the algebraization of theories in which, as in Peano arithmetic, there is a formula, Theor(x), numerating the set of theorems, and satisfying Hilbert-Bernays derivability conditions. In particular, we study the diagonalizable algebras, which are been introduced by R. Magari in [6], [7]. We prove that for every natural number n, the n-freely generated algebra $\germ{J}_{n}$ is not functionally free in the equational class of diagonalizable algebras; we also prove that the diagonalizable algebra of Peano arithmetic (...) is not an element of the equational class generated by $\{\germ{J}_{n}\}$. (shrink)

We study the existence of weak solutions for the coupled system of functional integral equations of Urysohn-Stieltjes type in the reflexive Banach spaceE. As an application, the coupled system of Hammerstien-Stieltjes functional integral equations is also studied.

A new proof is given of the celebrated theorem of M. Davis, H. Putnam and J. Robinson concerning exponential Diophantine representation of recursively enumerable predicates. The proof goes by induction on the defining scheme of a partial recursive function.

In this article, I first analyze and assess the epistemological and semantic status of canonical value-range equations in the formal language of Frege’s Grundgesetze der Arithmetik. I subsequently scrutinize the relation between (a) his informal, metalinguistic stipulation in Grundgesetze I, Section 3, and (b) its formal counterpart, which is Basic Law V. One point I argue for is that the stipulation in Section 3 was designed not only to fix the references of value-range names, but that it was probably also (...) intended to play a regulative role with an eye to Basic Law V. I further intend to shed new light on the status of Frege’s identification of the truth-values with their unit classes in Grundgesetze I, Section 10 and determine its place and importance in his overall logicist project. In a subsequent section, I first discuss the hypothetical extendability of the logical system of Grundgesetze. In what follows, I analyze the incompleteness of that system—were it not inconsistent and hence trivially complete—by focusing on the role of the definite description operator and the axiom governing it (= Basic Law VI) as well as on the role of the application operator. The latter is defined by means of the former. I further comment on the redundancy of an axiom that could be designed to supplement Basic Law VI by incorporating the second clause of Frege’s two-part elucidation of the description operator. I argue that although it seems likely that Basic Law VI could have been shown to be dispensable in Grundgesetze, Frege would probably have been reluctant to dispense with it, despite his commitment to axiomatic parsimony. In my view, the reason is that he considers it essential that every primitive function-name of his formal language be governed and grounded by a basic law that is tailored to the nature and the role of the primitive name occurring at a key point in the law. Toward the end of the article, I propose solutions to two problems with Frege’s use of “=” in the concept-script sentences that result from his definitions involving the replacement of the double stroke of definition with the judgment-stroke. I conclude the article with a summary of the main results that I have achieved. (shrink)

The class $$\mathsf{TPA}$$ TPA of t rue p airing a lgebras is defined to be the class of relation algebras expanded with concrete set theoretical projection functions. The main results of the present paper is that neither the equational theory of $$\mathsf{TPA}$$ TPA nor the first order theory of $$\mathsf{TPA}$$ TPA are decidable. Moreover, we show that the set of all equations valid in $$\mathsf{TPA}$$ TPA is exactly on the $$\Pi ^1_1$$ Π 1 1 level. We consider the class $$\mathsf{TPA}^-$$ (...) TPA - of the relation algebra reducts of $$\mathsf{TPA}$$ TPA ’s, as well. We prove that the equational theory of $$\mathsf{TPA}^-$$ TPA - is much simpler, namely, it is recursively enumerable. We also give motivation for our results and some connections to related work. (shrink)

We study the relative strength of the two axioms Every Pell equation has a nontrivial solution Exponentiation is total over weak fragments, and we show they are equivalent over IE1. We then define the graph of the exponential function using only existentially bounded quantifiers in the language of arithmetic expanded with the symbol #, where # = x[log2y]. We prove the recursion laws of exponentiation in the corresponding fragment.

In this paper we study 12 four-valued logics arisen from Belnap's truth and/or knowledge four-valued lattices, with or without constants, by adding one or both or none of two new non-regular operations—classical negation and natural implication. We prove that the secondary connectives of the bilattice four-valued logic with bilattice constants are exactly the regular four-valued operations. Moreover, we prove that its expansion by any non-regular connective (such as, e.g., classical negation or natural implication) is strictly functionally complete. Further, finding axiomatizations (...) of the quasi varieties generated by the 12 logics involved (that prove to be varieties), we find naturell equational axiomatizations of these logics. Finally, applying Pynko's general theory of algebraizable sequential consequence operations, we also find equivalent natural sequentiell axiomatizations of the logics under consideration that expand either of two Pynko's sequential calculi for the constant-free truth-lattice four-valued logic. (shrink)

Equational Boolean Relation Theory concerns the Boolean equations between sets and their forward images under multivariate functions. We study a particular instance of equational BRT involving two multivariate functions on the natural numbers and three infinite sets of natural numbers. We prove this instance from certain large cardinal axioms going far beyond the usual axioms of mathematics as formalized by ZFC. We show that this particular instance cannot be proved in ZFC, even with the addition of slightly weaker large cardinal (...) axioms, assuming the latter are consistent. (shrink)

Some writers have urged that evolutionary theory produces generalizations that hold only ceteris paribus, that is, provided “everything else is equal.” Others have claimed that all laws in the special sciences, or even all laws in science generally, hold only ceteris paribus. However, if we lack a way to determine when everything else really is equal, hedging generalizations with the phrase ceteris paribus renders those generalizations vacuous. I propose a solution to this problem for the case of causal equations from (...) classical population genetics. When coupled with the right proviso, equations in classical population genetics function as strict laws. (shrink)

Recently something close to a consensus about the best way to naturalize the notion of biological function appears to be emerging. Nonetheless, teleological notions in biology remain controversial. In this paper we provide a naturalistic analysis for the notion of natural design. Many authors assume that natural design should be assimilated directly to function. Others find the notion problematic because it suggests that evolution is a directed process. We argue that both of these views are mistaken. Our naturalistic account does (...) not simply equate design with function. We argue that the distinction between function and design is important for understanding the evolution of the physical and behavioral traits of organisms. (shrink)

Subrecursive hierarchy classifications are used to compare the complexities of recursive functions according to their derivations in a version of Kleene's equation calculus, and their computations by term-rewriting. In each case ordinal bounds are assigned, and it turns out that the respective complexity measures are given by a version of the Fast Growing Hierarchy, and the Slow Growing Hierarchy. Known comparisons between the two hierarchies then provide ordinal trade-offs between derivation and computation. Characteristics of some well-known subrecursive classes are (...) also read off. (shrink)

The “nature” of an artifact is often equated with its function. Clearly, an artifactual function must be an extrinsic property. This feature of functions has important implications on the semantics of artifactual kind terms: it enables us to vindicate that artifactual kind terms have an externalist semantics. Any alleged externalist theory, indeed, must show that the referents of the considered terms share a common nature (i.e., an extrinsic property), whether we know or could possibly ever know what that nature is. (...) However, the state of the art shows that function is not enough to represent such “nature”: function does not exhaustively account for important phenomena that characterize artifacts and artifactual kinds, nor does it thoroughly define what they are. Thus, extending the scope of externalism to artifactual kind terms seems doomed to fail. Pace opposite views, it could even be argued that artifacts are a sub-class of social kinds. If so, not only social but also artifactual kind terms cannot refer externalistically, since their referents constitutively depend on human intentions and norms. Either way, externalism fails to apply to those kinds of terms. (shrink)

Applying the resolution–scale relativity principle to develop a mechanics of non-differentiable dynamical paths, we find that, in one dimension, stationary motion corresponds to an Itô process driven by the solutions of a Riccati equation. We verify that the corresponding Fokker–Planck equation is solved for a probability density corresponding to the squared modulus of the solution of the Schrödinger equation for the same problem. Inspired by the treatment of the one-dimensional case, we identify a generalization to time dependent (...) problems in any number of dimensions. The Itô process is then driven by a function which is identified as establishing the link between non-differentiable dynamics and standard quantum mechanics. This is the basis for the scale relativistic interpretation of standard quantum mechanics and, in the case of applications to chaotic systems, it leads us to identify quantum-like states as characterizing the entire system rather than the motion of its individual constituents. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional (...) calculus and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional (...) calculus and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

In its original form Dirac's equations have been expressed by use of the γ-matrices γμ, μ=0, 1, 2, 3. They are elements of the matrix algebra M 4 (ℂ). As emphasized by Hestenes several times, the γ-matrices are merely a (faithful) matrix representation of an orthonormal basis of the orthogonal spaceℝ 1,3, generating the real Clifford algebra Cl 1,3 . This orthonormal basis is also denoted by γμ, μ=0, 1, 2, 3. The use of the matrix algebra M 4 (ℂ) (...) to represent Cl 1,3 has some unsatisfactory aspects. The γ-matrices contain imaginary numbers as entries whereas Cl 1,3 is real. Moreover, as a matrix algebra Cl 1,3 is M 2 (ℍ) but only a part of M 4 (ℂ). For that reason we investigate in this paper several forms of Dirac's equations in terms of M 2 (ℍ) instead of M 4 (ℂ). In Section1 we survey Dirac's equations describing the interaction of matter with electromagnetic, electroweak, and strong fields. Section2 deals with electromagnetic/weak interactions employing M 2 (ℍ). Finally, in Section3 we deal with Dirac's equations for strong interactions between quarks. In contrast to su(2) ⊕ u(1), the Lie algebra su(3) is not isomorphic to any subalgebra of Cl 1,3 . Therefore we do not give a description of strong interactions by use of M 2 (ℍ). Instead of such an approach we describe these interactions using the space of quadruples of bivector fields in Cl 1,3 . The thus obtained description has remarkable formal resemblance to the original Dirac equations using wave functions with values in the linear spaceℂ 4. (shrink)

We give a rough statement of the main result. Let D be a compact subset of ℝ3× ℝ. The propagation u of a wave can be noncomputable in any neighborhood of any point of D even though the initial conditions which determine the wave propagation uniquely are computable. A precise statement of the result appears below.

This is an English translation of Waldenfels' German essay: Equality and inequality are basic elements of law, justice and politics. Equality integrates each of us into a common sphere by distributing rights, duties and chances among us. Equality turns into mere indifference as far as we get overintegrated into social orders. When differences are fading away experience loses its relief and individuals lose their face. Our critical reflections start from the inevitable paradox of making equal what is not equal. In (...) various ways they refer to Nietzsche’s concept of order, to Marx’s analysis of money, to Lévinas’s ethics of the Other, and to novelists like Dostoevsky and Musil. Our critique turns against two extremes, on the one hand against any sort of normalism fixed on functioning orders, on the other hand against any sort of anomalism dreaming of mere events and permanent ruptures. Responsive phenomenology shows how we are confronted with extraordinary events. Those deviate from the ordinary and transgress its borders, without leaving the normality of our everyday world behind. The process of equalizing moves between the ordinary and the extraordinary. What makes the difference and resists mere indifference are creative responses which are to be invented again and again. (shrink)

Some aspects of the Schrödinger equation in quantum field theory are considered in this article. The emphasis is on the Schrödinger functional equation for Yang-Mills theory, arising mainly out of Feynman's work on (2+1)-dimensional Yang-Mills theory, which he studied with a view to explaining the confinement of gluons. The author extended Feynman's work in two earlier papers, and the present article is partly a review of Feynman's and the author's work and some further extension of the latter. (...) The primary motivation of this article is to suggest that considering the Schrödinger functional equation in the context of Yang-Mills theory may contribute significantly to the solution of the confinement and related problems, an aspect which, in the author's opinion, has not received the attention it deserves. The relation of this problem with certain others such as those of quarks, superconductivity, and quantum gravity is considered briefly, together with certain basic aspects of the formalism that may be of interest in their own right, especially for the beginner. (shrink)

A rigorous ab initio derivation of the (square of) Dirac’s equation for a particle with spin is presented. The Lagrangian of the classical relativistic spherical top is modified so to render it invariant with respect conformal changes of the metric of the top configuration space. The conformal invariance is achieved by replacing the particle mass in the Lagrangian with the conformal Weyl scalar curvature. The Hamilton-Jacobi equation for the particle is found to be linearized, exactly and in closed (...) form, by an ansatz solution that can be straightforwardly interpreted as the “quantum wave function” of the 4-spinor solution of Dirac’s equation. All quantum features arise from the subtle interplay between the conformal curvature acting on the particle as a potential and the particle motion which affects the geometric “pre-potential” associated to the conformal curvature itself. The theory, carried out here by assuming a Minkowski metric, can be easily extended to arbitrary space-time Riemann metric, e.g. the one adopted in the context of General Relativity. This novel theoretical scenario appears to be of general application and is expected to open a promising perspective in the modern endeavor aimed at the unification of the natural forces with gravitation. (shrink)

Accepted quantum description is stochastic, yet history is nonstochastic, i.e., not representable by a probability distribution. Therefore ordinary quantum mechanics is unsuited to describe history. This is a limitation of the accepted quantum theory, rather than a failing of mechanics in general. To remove the limitation, it would be desirable to find a form of quantum mechanics that describes the future stochastically and the past nonstochastically. For this purpose it proves sufficient to introduce into quantum mechanics, by means of a (...) perfected formal correspondence, certain analogs of the classical initial-condition constants. Through the restoration of such parameters at the quantum level one accomplishes a natural accommodation of time anisotropy, wave-function reduction, and “event” description by quantum mechanical equations of motion alone, without the need for extra postulates (e.g., a projection postulate). This requires a complete restructuring of quantum measurement theory. (shrink)

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner (...) of doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)