In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.

This paper provides a philosophical analysis of the Price equation and its role in evolutionary theory. Traditional models in population genetics postulate simplifying assumptions in order to make the models mathematically tractable. On the contrary, the Price equation implies a very specific way of theorizing, starting with assumptions that we think are true and then deriving from them the mathematical rules of the system. I argue that the Price equation is a generalization-sketch, whose main purpose is to provide a unifying (...) framework for researchers, helping them to develop specific models. The Price equation plays this role because, like other scientific principles, shows features as abstractness, unification and invariance. By underwriting this special role for the Price equation some recent disputes about it could be diverted. (shrink)

Il est connu que le séjour à Paris a joué un rôle déterminant dans l’élaboration des pensées leibniziennes. Pendant cette période, Leibniz rencontre de nombreux savants, s’initie aux mathématiques et s’avère être particulièrement prolifique. Il semblerait que ce soit à cette période également que commencent à se développer les concepts centraux de sa philosophie. Les textes De la méthode de l’universalité I et II en sont un formidable exemple. Ils nous offrent un jeune projet leibnizien, surprenant, ingénieux et très ambitieux. (...) On y voit Leibniz proposer un nouveau système de notation, permettant de traiter la généralité, qu’il fait dialoguer avec des concepts comme l’harmonie ou la caractéristique qui le suivront toute sa vie. Le texte (II) est une introduction à cette nouvelle méthode, ses concepts et sa philosophie. Dans le texte (I), Leibniz détaille son système ambigu et pousse les considérations mathématiques assez loin pour être en mesure d’exhiber une équation générale capable d’engendrer toutes les sections coniques. Cet article propose une présentation des concepts, qu’ils soient mathématiques ou philosophiques, utilisés par Leibniz pour parvenir à ses fins. (shrink)

Il est connu que le séjour à Paris a joué un rôle déterminant dans l’élaboration des pensées leibniziennes. Pendant cette période, Leibniz rencontre de nombreux savants, s’initie aux mathématiques et s’avère être particulièrement prolifique. Il semblerait que ce soit à cette période également que commencent à se développer les concepts centraux de sa philosophie. Les textes De la méthode de l’universalité I et II en sont un formidable exemple. Ils nous offrent un jeune projet leibnizien, surprenant, ingénieux et très ambitieux. (...) On y voit Leibniz proposer un nouveau système de notation, permettant de traiter la généralité, qu’il fait dialoguer avec des concepts comme l’harmonie ou la caractéristique qui le suivront toute sa vie. Le texte est une introduction à cette nouvelle méthode, ses concepts et sa philosophie. Dans le texte, Leibniz détaille son système ambigu et pousse les considérations mathématiques assez loin pour être en mesure d’exhiber une équation générale capable d’engendrer toutes les sections coniques. Cet article propose une présentation des concepts, qu’ils soient mathématiques ou philosophiques, utilisés par Leibniz pour parvenir à ses fins. (shrink)

We present the unification of Riemann–Cartan–Weyl (RCW) space-time geometries and random generalized Brownian motions. These are metric compatible connections (albeit the metric can be trivially euclidean) which have a propagating trace-torsion 1-form, whose metric conjugate describes the average motion interaction term. Thus, the universality of torsion fields is proved through the universality of Brownian motions. We extend this approach to give a random symplectic theory on phase-space. We present as a case study of this approach, the invariant Navier–Stokes equations (...) for viscous fluids, and the kinematic dynamo equation of magnetohydrodynamics. We give analytical random representations for these equations. We discuss briefly the relation between them and the Reynolds approach to turbulence. We discuss the role of the Cartan classical development method and the random extension of it as the method to generate these generalized Brownian motions, as well as the key to construct finite-dimensional almost everywhere smooth approximations of the random representations of these equations, the random symplectic theory, and the random Poincaré–Cartan invariants associated to it. We discuss the role of autoparallels of the RCW connections as providing polygonal smooth almost everywhere realizations of the random representations. (shrink)

Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, (...) or various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. (shrink)

Unification of natural science and social science is a centuries-old, unmitigated debate. Natural science has a chronological advantage over social science because the latter took time to include many social phenomena in its fold. History of science witnessed quite a number of efforts by social scientists to fit this discipline in a rational if not mathematical framework. On the other hand a tendency among some physicists has been observed especially since the last century to recast a number of social (...) phenomena in the mould of events taking place in physical world and governed by well-known systems and equations of physics. It necessitated the introduction of social physics as a new inter-disciplinary subject. Obviously this attempt is aimed at explaining hitherto unsolved or highly debated issues of social science. Physicists are showing special interest on problems on economics, ranging from some topics of normative economics to the movement of prices of derivatives. Statistics has been widely used in these attempts and at least two sub-disciplines of the subject, namely, stochastic process and time series analysis deserve special mention. All these research activities gave birth to another inter-disciplinary subject named as econophysics. Interestingly, global financial crisis of 2007–08 has revived the need of determination of prices of derivatives in a more accurate manner. This article adumbrates a sketch of the theoretical synthesis between physics and economics and the role played by statistics in this process. (shrink)

In this paper we integrate a sorted unification calculus into free variable tableau methods for logics with term declarations. The calculus we define is used to close a tableau at once, unifying a set of equations derived from pairs of potentially complementary literals occurring in its branches. Apart from making the deduction system sound and complete, the calculus is terminating and so, it can be used as a decision procedure. In this sense we have separated the complexity of sorts (...) from the undecidability of first order logic. (shrink)

The experimentally supported existence of the Evans Vigier field.B (3),in vacuo implies that the gravitational and electromagnetic fields can be unified within the same Ricci tensor, being respectively its symmetric and antisymmetric components in vacuo. The fundamental equations of motion of vacuum electromagnetism are developed in this framework.

Bosonic and fermionic particle currents can be introduced in a more unified way, with the cost of introducing a preferred spacetime foliation. Such a unified treatment of bosons and fermions naturally emerges from an analogous superstring current, showing that the preferred spacetime foliation appears only at the level of effective field theory, not at the fundamental superstring level. The existence of the preferred spacetime foliation allows an objective definition of particles associated with quantum field theory in curved spacetime. Such an (...) objective definition of particles makes the Bohmian interpretation of particle quantum mechanics more appealing. The superstring current allows a consistent Bohmian interpretation of superstrings themselves, including a Bohmian description of string creation and destruction in terms of string splitting. The Bohmian equations of motion and the corresponding probabilistic predictions are fully relativistic covariant and do not depend on the preferred foliation. (shrink)

We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate.

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)

In this paper two different approaches to unification will be compared, Relational Blockworld (RBW) and Hiley’s implicate order. Both approaches are monistic in that they attempt to derive matter and spacetime geometry ‘at once’ in an interdependent and background independent fashion from something underneath both quantum theory and relativity. Hiley’s monism resides in the implicate order via Clifford algebras and is based on process as fundamental while RBW’s monism resides in spacetimematter via path integrals over graphs whereby space, time (...) and matter are co-constructed per a global constraint equation. RBW’s monism therefore resides in being (relational blockworld) while that of Hiley’s resides in becoming (elementary processes). Regarding the derivation of quantum theory and relativity, the promises and pitfalls of both approaches will be elaborated. Finally, special attention will be paid as to how Hiley’s process account might avoid the blockworld implications of relativity and the frozen time problem of canonical quantum gravity. (shrink)

A detailed outline is presented of several convergent points of view connecting the self-dual and anti-self-dual fields with their free data. This is done for the Maxwell and for linearized gravity as exemplifying the approaches. The Sparling equation provides one tool of great power and characterizes one approach. The twistor theory of Penrose yields another equally powerful point of view. The links between these two basic approaches given in this paper provide a unification that allows workers and others with (...) interest in this area to proceed more readily toward the goal of understanding the full nonlinear Einstein equations. (shrink)

We show that the $\mathrm{D_A}$-unification problem is undecidable. That is, given two binary function symbols $\bigoplus$ and $\bigotimes$, variables and constants, it is undecidable if two terms built from these symbols can be unified provided the following $\mathrm{D_A}$-axioms hold: \begin{align*}(x \bigoplus y) \bigotimes z &= (x \bigotimes z) \bigoplus (y \bigotimes z),\\x \bigotimes (y \bigoplus z) &= (x \bigotimes y) \bigoplus (x \bigotimes z),\\x \bigoplus (y \bigoplus z) &= (x \bigoplus y) \bigoplus z.\end{align*} Two terms are $\mathrm{D_A}$-unifiable (i.e. an (...) equation is solvable in $\mathrm{D_A}$) if there exist terms to be substituted for their variables such that the resulting terms are equal in the equational theory $\mathrm{D_A}$. This is the smallest currently known axiomatic subset of Hilbert's tenth problem for which an undecidability result has been obtained. (shrink)

We show that in 1929 Cartan and Einstein almost produced a theory in which the electromagnetic (EM) field constitutes the time-like 2-form part of the torsion of Finslerian teleparallel connections on pseudo-Riemannian metrics. The primitive state of the theory of these connections would not, and did not, permit Cartan and Einstein to realize how their torsion field equations contained the Maxwell system and how the Finslerian torsion contains the EM field. Cartan and Einstein discussed curvature field equations, though failing to (...) focus on the fact that teleparallelism automatically implies gravitational field equations with torsion terms as source, both in first and second order. We further show that the first-order contribution of the EM field to the source of the gravitational field may play havoc with the remeasurement of Newton's gravitational constant, even if the experiment is electrically grounded. These results are also used as support for the thesis that there is an alternative to the present way of dealing with the great theoretical questions of physics. On the practical side, the inconveniences faced in measuring G may be greatly compensated by the possibility of manipulating spacetime with electric fields at the first-order level. (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.

We show that the D A -unification problem is undecidable. That is, given two binary function symbols $\bigoplus$ and $\bigotimes$ , variables and constants, it is undecidable if two terms built from these symbols can be unified provided the following D A -axioms hold: \begin{align*}(x \bigoplus y) \bigotimes z &= (x \bigotimes z) \bigoplus (y \bigotimes z),\\x \bigotimes (y \bigoplus z) &= (x \bigotimes y) \bigoplus (x \bigotimes z),\\x \bigoplus (y \bigoplus z) &= (x \bigoplus y) \bigoplus z.\end{align*} Two (...) terms are D A -unifiable (i.e. an equation is solvable in D A ) if there exist terms to be substituted for their variables such that the resulting terms are equal in the equational theory D A . This is the smallest currently known axiomatic subset of Hilbert's tenth problem for which an undecidability result has been obtained. (shrink)

In this paper we introduce a variational principle from which the fundamental equations of classical physics can be deduced. This principle permits a sort of unification of the gravitational and the electromagnetic fields. The basic point of this variational principle is that the world-line of a material point is parametrized by a parameter a which carries some physical information, namely it is related to the rest mass and to the charge. In particular, the (inertial) rest mass will not be (...) a property of a material point, but it will be a constant of the motion which is determined by the initial conditions. In this framework the equality between the inertial and gravitational mass can be deduced. (shrink)

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of a subspace (...) of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart. (shrink)

A bivertical classical field theory includes the Newtonian mechanics and Maxwell's electromagnetic field theory as the special cases. This unification allows one to recognize the formal analogies among Newtonian mechanics and Maxwell's electrodynamics.

Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. A classification of instantiation systems is given, based on properties of substitutions, (...) degree of type strictness, and well-foundedness of terms. Equational theories and the use of typed variables are studied in terms of quotient homomorphisms and embeddings, respectively. Every instantiation system is a quotient system of a subsystem of first-order term instantiation. The general unification algorithm is developed as an application of the basic theory. Its soundness is rigorously proved, and its completeness and efficiency are verfied for certain classes of instantiation systems. Appropriate applications of the algorithm include unification of first-order terms, order-sorted terms, and first-order formulas modulo alpha-conversion, as well as equational unification using simple congruences. (shrink)

This article generalizes the explanationist account of inference to the best explanation. It draws a clear distinction between IBE and abduction and presents abduction as the first step of IBE. The second step amounts to the evaluation of explanatory power, which consist in the degree of explanatory virtues that a hypothesis exhibits. Moreover, even though coherence is the most often cited explanatory virtue, on pain of circularity, it should not be treated as one of the explanatory virtues. Rather, coherence should (...) be equated with explanatory power and considered to be derivable from the other explanatory virtues: unification, explanatory depth and simplicity. (shrink)

Unifying physics by describing a variety of interactions – or even all interactions – within a common framework has long been an alluring goal for physicists. One of the most ambitious attempts at unification was made in the 1910s by Gustav Mie. Mie aimed to derive electromagnetism, gravitation, and aspects of the emerging quantum theory from a single variational principle and a well-chosen Lagrangian. Mie’s main innovation was to consider nonlinear field equations to allow for stable particle-like solutions (now (...) called solitons), and he clarified the use of variational principles in the context of special relativity. The following brief introduction to Mie’s work has three main objectives. The first is to explain how Mie’s project fit into the contemporary development of the electromagnetic world view. Part of Mie’s project was to develop a relativistic theory of gravitation as a consequence of his generalized electromagnetic theory, and our second goal is to briefly assess this work, which reflects the conceptual resources available for developing a new account of gravitation by analogy with electromagnetism. Finally, Mie was a vocal critic of other approaches to the problem of gravitation. Mie’s criticisms of Einstein, in particular, bring out the subtlety and novelty of the ideas that Einstein used to guide his development of general relativity. (shrink)

In this paper I examine the notion and role of metaphors and illustrations in Maxwell's works in exact science as a pathway into a broader and richer philosophical conception of a scientist and scientific practice. While some of these notions and methods are still at work in current scientific research-from economics and biology to quantum computation and quantum field theory-, here I have chosen to attest to their entrenchment and complexity in actual science by attempting to make some conceptual sense (...) of Maxwell's own usage; this endeavour includes situating Maxwell's conceptions and applications in his own culture of Victorian science and philosophy. I trace Maxwell's notions to the formulation of the problem of understanding, or interpreting, abstract representations such as potential functions and Lagrangian equations. I articulate the solution in terms of abstract-concrete relations, where the concrete, in tune with Victorian British psychology and engineering, includes the muscular as well as the pictorial. This sets the basis for a conception of understanding in terms of unification and concrete modelling, or representation. I examine the relation of illustration to analogies and metaphors on which this account rests. Lastly, I stress and explain the importance of context-dependence, its consequences for realism-instrumentalism debates, and Maxwell's own emphasis on method. (shrink)

Cognitive Linguistics is an approach to language study based on three central premises: that the function of language is to convey meaning, that linguistic description must rely on constructs that are psychologically real, and that grammar emerges from usage. Over the last 40 years, this approach to studying language has made enormous strides in virtually every aspect of linguistic inquiry, achieving major insights as well as bringing about a conceptual unification of the language sciences. However, it has also faced (...) problems, which, I argue, must be addressed if the approach is to continue to flourish. Some of these are shared with generative linguistics, while some are peculiar to the cognitive approach. The former include excessive reliance on introspective evidence; paying only lip service to the Cognitive Commitment; too much focus on hypothesis formulation (and not enough on hypothesis testing); ignoring individual differences; and neglecting the social aspects of language. The latter include assuming that we can deduce mental representations from patterns of use and equating distribution with meaning. I conclude by sketching out how these pitfalls could be avoided. (shrink)

I argue that, contrary to folklore, Einstein never really cared for geometrizing the gravitational or the electromagnetic field; indeed, he thought that the very statement that General Relativity geometrizes gravity "is not saying anything at all". Instead, I shall show that Einstein saw the "unification" of inertia and gravity as one of the major achievements of General Relativity. Interestingly, Einstein did not locate this unification in the field equations but in his interpretation of the geodesic equation, the law (...) of motion of test particles. (shrink)

From 1873 to 1878, the American physicist Josiah Willard Gibbs offered to the scientific community three great articles that proved to be a milestone for the science of thermodynamics. On the other hand, between 1886 and 1896, the French physicist Pierre Maurice Marie Duhem translated thermodynamics into the language of Lagrange’s analytical mechanics. At the same time, he expanded its scope to include thermal phenomena, electromagnetic phenomena, and all kinds of irreversible processes. Duhem formulated a version of thermodynamics characterized by (...) the conceptual unification of mechanics, physics, and chemistry. Overall, the work of both physicists on thermodynamics is tremendous, full of axioms, theorems, corollaries, proofs, and hundreds of equations. Therefore, it would be a utopian aim to provide a short analysis of their work. Instead, the present study will attempt to give a brief outline of the main tools and concepts used by the two physicists. I will argue that each scientist approaches thermodynamics in a new and unique way, which reveals their scientific styles as reflected in their personalities, the writing styles, their behavior toward publicity, and their inclination for publication. Finally, I will examine the influence of their theories on the development of chemical thermodynamics. (shrink)

The paper is the final, fifth part of a series of studies introducing the new conceptions of “Hilbert mathematics” and “ontomathematics”. The specific subject of the present investigation is the proper philosophical sense of both, including philosophy of mathematics and philosophy of physics not less than the traditional “first philosophy” (as far as ontomathematics is a conservative generalization of ontology as well as of Heidegger’s “fundamental ontology” though in a sense) and history of philosophy (deepening Heidegger’s destruction of it from (...) the pre-Socratics to the Pythagoreans). Husserl’s phenomenology and Heidegger’s derivative “fundamental ontology” as well as his later doctrine after the “turn” are the starting point of the research as established and well known approaches relative to the newly introduced conception of ontomathematics, even more so that Husserl himself started criticizing his “Philosophy of arithmetic” as too naturalistic and psychological turning to “Logical investigations” and the foundations of phenomenology. Heidegger’s “Aletheia” is also interpreted ontomathematically: as a relation of locality and nonlocality, respectively as a motion from nonlocality to locality if both are physically considered. Aristotle’s ontological revision of Plato’s doctrine is “destructed” further from the pre-Socratics' “Logos” or Heideger’s “Language” (after the “turn”) to the Pythagoreans “Numbers” or “Arithmetics” as an inherent and fundamental philosophical doctrine. Then, a leap to contemporary physics elucidates the essence of ontomathematics overcoming the Cartesian abyss inherited from Plato’s opposition of “ideas” versus “things”, and now unifying physics and mathematics, particularly allowing for the “creation from nothing” instead of the quasi-scientific myth of the “Big Bang”. Furthermore, ontomathematics needs another interpretation of arithmetic, propositional logic and set theory in the foundations of mathematics, where the latter two ones are both identified with Boolean algebra, and the former is considered to be a “half of Boolean algebra” in the exact meaning to be equated to it after doubling by a dual anti-isometric counterpart of Peano arithmetic. That unified algebraic realization of the foundations of mathematics is related to Hilbert mathematics in both “narrow and wide senses” where the latter is isomorphic to the qubit Hilbert space, thus underlying all the physical world by the newly introduced substance of quantum information being physically dimensionless and generalizing classical information measured in bits. The substance of information, whether classical or quantum, visualizes the way of the unification of physics and mathematics by merging their foundations in Hilbert arithmetic and Hilbert mathematics: thus how ontomathetics is a “first philosophy”. The relation of ontomathematics to the Socratic “human problematics”, furthermore being fundamental for Western philosophy in Modernity, is discussed. Ontomathematics implies its “substitution” by abstract information (or by “subjectless choice” relevant to it), thus “obliterating the human outline on the ocean beach sand” (by Michel Foucault’s metaphor). A reflection back from the viewpoint of mathematic to Western philosophy as the philosophy of locality ends the study. (shrink)

« On Mathematical Concepts of the Material World » a pour objet la revue systématique des formes mathématiques que les théories physiques possibles revêtiraient si elles exprimaient les relations entre entités réelles dans un univers en devenir. Songeant à l’unification des lois de l’électricité et du magnétisme que les équations de Maxwell réalisent, Whitehead fait un pas de plus et imagine l’unification des lois de l’électromagnétisme et de la gravité : les lois ultimes de l’univers « ne présupposeraient (...) pas la géométrie, elles la créeraient ». L’esprit n’a pas à élaborer par lui-même la mathématisation du réel, mais à percevoir l’armature mathématique cachée du monde de l’expérience. Il n’y a donc pas à disjoindre science et perception mais à réveiller dans l’acte de percevoir les relations mathématiques dormantes.The object of « On Mathematical Concepts of the Material World » is to review systematically the mathematical forms that possible theories in physics would take on if they expressed the relationship between real entities in an evolving universe. Referring to how Maxwell brought together the laws of electricity and of magnetism Whitehead went one step further and imagined the unification of electromagnetism and gravity laws : the ultimate laws of the universe « would not presuppose geometry but create it ». The function of the spirit is not to construct the mathematisation of reality alone, but to perceive its hidden mathematical framework. It should not separate science and perception but, in the act of perception, awake sleeping mathematical relationships. (shrink)

As is well known, Alan Turing drew a line, embodied in the "Turing test," between intellectual and physical abilities, and hence between cognitive and natural sciences. Less familiarly, he proposed that one way to produce a "passer" would be to educate a "child machine," equating the experimenter's improvements in the initial structure of the child machine with genetic mutations, while supposing that the experimenter might achieve improvements more expeditiously than natural selection. On the other hand, in his foundational "On the (...) chemical basis of morphogenesis," Turing insisted that biological explanation clearly confine itself to purely physical and chemical means, eschewing vitalist and teleological talk entirely and hewing to D'Arcy Thompson's line that "evolutionary 'explanations,'" are historical and narrative in character, employing the same intentional and teleological vocabulary we use in doing human history, and hence, while perhaps on occasion of heuristic value, are not part of biology as a natural science. To apply Turing's program to recent issues, the attempt to give foundations to the social and cognitive sciences in the "real science" of evolutionary biology (as opposed to Turing's biology) is neither to give foundations, nor to achieve the unification of the social/cognitive sciences and the natural sciences. (shrink)

A new approach to tackle Einstein equations for an isotropic and homogeneous Friedmann–Robertson–Walker Universe in the presence of a quintessence scalar field is devised. It provides a way to get a simple exact solution to these equations. This solution determines the quintessence potential uniquely and it differs from solutions which have been used to study inflation previously. It relays on a unification of geometry and dark matter implemented through the definition of a functional relation between the scale factor of (...) the Universe and the quintessence field. For a positive curvature Universe, this solution produces perpetual accelerated expansion rate of the Universe, while the Hubble parameter increases abruptly, attains a maximum value and decreases thereafter. The behavior of this cosmological solution is discussed and its main features are displayed. The formalism is extended to include matter and radiation. (shrink)

It is possible today to observe in hindsight the epistemological landscape of the twentieth century, and the work of Albert Lautman in mathematical philosophy appears as a profound turning point, opening to a true under- standing of creativity in mathematics and its relation with the real. Little understood in its time or even today, Lautman’s work explores the difficult but exciting intersection where modern mathematics, advanced mathe- matical invention, the structural or unitary relations of mathematical knowledge and, finally, the metaphysical (...) and dialectical tensions underly- ing mathematical activity converge. Well beyond other better-known names in philosophy of mathematics – who are focused above all on ques- tions concerning the logical problem of foundations, important but frag- mentary studies in the vast panorama of modern mathematics – Lautman broaches the emergence of inventiveness in the very broad spectrum of the development of the mathematical real. Group theory, differential geome- try, algebraic topology, differential equations, functional analysis, functions of complex variables and number fields are some of the domains of his preferred examples. He detects in them methods of construction, structu- ration and unification of modern mathematics that he connects to a precise Platonic interpretation in which powerful pairs of ideas serve to organize the edifice of effective mathematics. (shrink)

Exponential mappings into an imaginary space or number field for the axioms of a theory, which are in the form of propositional constants and variables, make possible: (a) an understanding of the meaning and differences between the Lorentz transformation constants, such that their product is still equal to one, but the axioms at each end of the transformations are logically inverse and separately consistent; (b) an interpretation of the psi function phase factor which is part of the axiomE=hf; (c) the (...) unification of the quantum-mechanical psi function and the electromagnetic wave function. Thus, those statements whose mechanisms are unknown (the axioms of the theory) are to be assigned the axiom propositional number symbol ϑ and are to be associated with the complex probability eiϑ, which is a uniform factor of the energy equations expressing the physical state. Such probabilistic axiom functions can be associated with both the special theory of relativity and the quantum-electromagnetic theory. (shrink)

One of the fundamental properties inclassical equational reasoning isLeibniz's principle of substitution. Unfortunately, this propertydoes not hold instandard epistemic logic. Furthermore,Herbrand's lifting theorem which isessential to thecompleteness ofresolution andParamodulation in theclassical first order logic (FOL), turns out to be invalid in standard epistemic logic. In particular, unlike classical logic, there is no skolemization normal form for standard epistemic logic. To solve these problems, we introduce anintensional epistemic logic, based on avariation of Kripke's possible-worlds semantics that need not have a (...) constant domain. We show how a weaker notion of substitution through indexed terms can retain the Herbrand theorem. We prove how the logic can yield a satisfibility preserving skolemization form. In particular, we present an intensional principle for unifing indexed terms. Finally, we describe asound andcomplete inference system for a Horn subset of the logic withequality, based onepistemic SLD-resolution. (shrink)

This book by an internationally reputed Indian scientist traces the developments of Science, Religion and Philosophy in human civilization through the ages. The common underlying bond-more specifically, a linkage of philosophy with both science and religion-has been examined incisively. All the three sub-areas of human culture have been presented from a holistic point of view, and at the same time, stressing some of their irreconcilable basic differences in scope and outlook. Meant primarily for general readers, the book achieves a fine (...) balance between basic comcepts, historical evolution and a critical unbiased analysis of rituals, dogmas, unresolved queries and it leads to an enlightened view of 'humanism', 'Nature', 'Unity of man', need for a new paradigm of social and political order transcending globalization and control of resources of weaker nations by supremacy in global power equation. The book reviews the wisdom of the ancient Hindus, Buddhism, Jainism and of the three semitic religions-Judaism, Christianity and Islam. It presents a concise account of the Indian Vedas, Vedangan, Saddarsana, the two epics and the Bhagavadgita, of the philosophy and science of the Greeks, science and technology of ancient Egypt, Babylonia and China. A valuable special feature is a summary of the status of present-day science, starting with the classical phase, and ending with the developments in the last century comprising the Theory of Relativity, quantum physics, genetics, various aspects of human consciousness, modern astronomy, astrophysics and cosmology. Last but not least, the author critically reviews some of the presentday fashionable discourses on 'science as the best way to reach God' and leads the readers to an appraisal of the on-going researches on the unification of the four fundamental interactions of physical sciences. He ends with the inexorable conclusion that this unification, when fully achieved, would still not strictly identify the unique force as 'God as concieved in different religions. (shrink)

The most majestic scientific achievement, of this century in mathematical beauty, axiomatic consistency, and experimental verifications has been special relativity with its unitary structure at the operator level, and canonical structure at the classical levels, which has turned out to be exactly valid for point particles moving in the homogenenous and isotropic vacuum (exterior dynamical problems). In recent decades a number of authors have studied nonunitary and noncanonical theories, here generally calleddeformations for the representation of broader conditions, such as extended (...) and deformable particles moving within inhomogeneous and anisotrophic physical media (interior dynamical problems). In this paper we show that nonunitary deformations, including, q-, k-, quatum-, Lie-isotopic, Lie-admissible, and other deformations, even thoughmathematically correct, have a number of problematic aspects ofphysical character when formulated on conventional spaces over conditional fields, such as lack of invariance of the basic space-time units, ambiguous applicability to measurements, loss of Hermiticity-observability in time, lack of invariant numerical predictions, loss of the axions of special relativity, and others. We then show that the classical noncanonical counterparts of the above nonunitary deformations are equally afflicted by corresponding problems of physical consistency. We also show that the contemporary formulation of gravity is afflicted by similar problematic aspects because Riemannian spaces are noncanonical deformations of Minkowskian spaces, thus having noninvariant space-time units. We then point out that new mathematical methods, calledisotopies, genotopies, hyperstructures and their isoduals, offer the possibilities of constructing a nonunitary theory, known asrelativistic hadronic mechanics which: (1) is as axiomatically consistent as relativistic quantum mechanics, (2) preserves the abstract axioms of special relativity, and (3) results in a completion of the conventional mechanics much along the celebrated Einstein-Podolski-Rosen argument. A number of novel applications are indicated, such as a geometric unification of the special and general relativity via the isominkowskian geometry in which the two relativities are differentiated via the invariant basic unit, while preserving conventional Riemannian metrics, Einstein's field equations, and related experimental verifications; a novel operator form of gravity verifying the axioms of relativistic quantum mechanics under the universal isopoincaré symmetry; a new structure model of hadrons with conventional massive particles as physical constituents which is compatile with composite quarks and with established unitary classifications; and other novels applications in nuclear physics, astrophysics, theoretical biology, and other fields. The paper ends with the proposal of a number of new experiments, some of which may imply new practical applications, such as conceivable new forms of recycling nuclear waste. The achievement of axiomatic consistency in the study of the above physical problems has been possible for the first time in this paper thanks to mathematical advances that recently appeared in a special issue of theRendiconti Circolo Matematico Palermo, and in other journals identified in the Acknowledgements. (shrink)

The paper aims to analyse the state of inter-ethnic relations in Kosovo between ethnic Albanians and ethnic Serbs, with special focus on the period after unilateral declaration of independence of Kosovo in 2008. Inter-ethnic conflict in Kosovo has exclusively been over its territory since both Serbs and Albanians have made claims about history and ethno-demography to justify their alleged exclusive right to this ethnically mixed region. Consequently, inter-ethnic relations between Albanians and Serbs in Kosovo have been rather problematic throughout the (...) most of the 20th century. During this period Albanians in Kosovo have been subjected to discrimination, intimidation and even mass expulsion by Yugoslav/Serb authorities. In late 1990s, these relations between Albanians and Serbs in Kosovo have progressively worsened and finally escalated in an armed warfare in 1999. Immediately after the war, Serbs in Kosovo were occasionally exposed to acts of inter-ethnic and retaliatory violence. Inter-ethnic relations between the two major ethnicities continued to be tense and fragile after independence of Kosovo in 2008. Dramatic changes of ethnic composition structure, atrocities and huge number of refugees due to the war, have left a legacy of deep mistrust and animosities between Albanians and Serbs in the newly created state. Consequently, Serbs in Kosovo have from the beginning refused to recognize Kosovo’s independence and have rigorously refused any governance by Kosovo authorities. Serbian community, especially in the North, claims stronger territorial autonomy, even separatism and unification with Serbia. The paper claims that in Kosovo inter-ethnic and interstate relations are basically the components of the same equation. Therefore, paper concludes that only overall improvement of relations between Kosovo and Serbia could contribute to overall relaxation of inter-ethnic relations between Albanians and Serbs in Kosovo. Unfortunately, the latest incidents between Kosovo and Serbia have increased the tensions between the two sides to alarming levels. (shrink)

In the interesting and thought-provoking article Grazziano and colleagues argue for their Attention Schema Theory (AST) of consciousness. They present AST as a unification of Global Workspace Theory (GWT), Illusionism, and the Higher-Order Thought (HOT) theory. We argue it is a mistake to equate 'subjective experience,' ad related terms, with dualism. They simply denote experience. Also, as presented, AST does not accurately capture the essence of HOT for two reasons. HOT is presented as a version of strong illusionism, which (...) it isn't, and HOT requires that one be aware of one's mental life, and postulates that his consists in a re-representation of what is occurring at at the lower-order levels. However, the authors deny that AST involves re-representing visual stimuli. We close by proposing an alternative unification: GWT and AST provide crucial accounts of how lower-order states are assembled and maintained, but higher-order theory provides the account of subjective experience. (shrink)

In a previous paper a stochastic foundation was proposed for microphysics: the nonrelativistic and relativistic domains were shown to be connected with two different approximations of diffusion theory; the relativistic features (Lorentz contraction for the coordinate standard deviation, covariant diffusion equation) were not derived from the relativistic formalism introduced at the start, but emerged from diffusion theory itself. In the present paper these results are given a new presentation, which aims at elucidating not the foundations of quantum mechanics, but those (...) of relativity. This leads to a discussion of points still controversial in the interpretation of relativity. In particular two problems appear in a new light: the character of time and length alterations, and the privileged role of the velocityc. Besides, the question of a possible limitation of relativity (and more generally of the laws of mechanics) in the domain of particle substructure is raised and supported by exemples drawn from the hydrodynamical model of a spinned particle. Suggestions are presented for the possibility of a deeper conceptual unification of special and general relativity. (shrink)

The way, in which quantum information can unify quantum mechanics (and therefore the standard model) and general relativity, is investigated. Quantum information is defined as the generalization of the concept of information as to the choice among infinite sets of alternatives. Relevantly, the axiom of choice is necessary in general. The unit of quantum information, a qubit is interpreted as a relevant elementary choice among an infinite set of alternatives generalizing that of a bit. The invariance to the axiom of (...) choice shared by quantum mechanics is introduced: It constitutes quantum information as the relation of any state unorderable in principle (e.g. any coherent quantum state before measurement) and the same state already well-ordered (e.g. the well-ordered statistical ensemble of the measurement of the quantum system at issue). This allows of equating the classical and quantum time correspondingly as the well-ordering of any physical quantity or quantities and their coherent superposition. That equating is interpretable as the isomorphism of Minkowski space and Hilbert space. Quantum information is the structure interpretable in both ways and thus underlying their unification. Its deformation is representable correspondingly as gravitation in the deformed pseudo-Riemannian space of general relativity and the entanglement of two or more quantum systems. The standard model studies a single quantum system and thus privileges a single reference frame turning out to be inertial for the generalized symmetry [U(1)]X[SU(2)]X[SU(3)] “gauging” the standard model. As the standard model refers to a single quantum system, it is necessarily linear and thus the corresponding privileged reference frame is necessary inertial. The Higgs mechanism U(1) → [U(1)]X[SU(2)] confirmed enough already experimentally describes exactly the choice of the initial position of a privileged reference frame as the corresponding breaking of the symmetry. The standard model defines ‘mass at rest’ linearly and absolutely, but general relativity non-linearly and relatively. The “Big Bang” hypothesis is additional interpreting that position as that of the “Big Bang”. It serves also in order to reconcile the linear standard model in the singularity of the “Big Bang” with the observed nonlinearity of the further expansion of the universe described very well by general relativity. Quantum information links the standard model and general relativity in another way by mediation of entanglement. The linearity and absoluteness of the former and the nonlinearity and relativeness of the latter can be considered as the relation of a whole and the same whole divided into parts entangled in general. (shrink)

A generalized and unifying viewpoint to both general relativity and quantum mechanics and information is investigated. It may be described as a generaliztion of the concept of reference frame from mechanics to thermodynamics, or from a reference frame linked to an element of a system, and thus, within it, to another reference frame linked to the whole of the system or to any of other similar systems, and thus, out of it. Furthermore, the former is the viewpoint of general relativity, (...) the latter is that of quantum mechanics and information. Ciclicity in the manner of Nicolas Cusanus (Nicolas of Cusa) is complemented as a fundamental and definitive property of any totality, e.g. physically, that of the universe. It has to contain its externality within it somehow being namely the totality. This implies a seemingly paradoxical (in fact, only to common sense rather logically and mathematically) viewpoint for the universe to be repesented within it as each one quant of action according to the fundamental Planck constant. That approach implies the unification of gravity and entanglement correspondiing to the former or latter class of reference frames. An invariance, more general than Einstein's general covariance is to be involved as to both classes of reference frames unifying them. Its essence is the unification of the discrete and cotnitinuous (smooth). That idea underlies implicitly quantum mechanics for Bohr's principle that it study the system of quantum microscopic entities and the macroscopic apparatus desribed uniformly by the smmoth equations of classical physics. (shrink)

In the chapter on multiplicity and unity, the affective or anthropological motifs are both more complex and more interesting. Wölfflin’s initial distinction is between “the articulated system of forms of classic art and the flow of the baroque” . Imagery of fluidity pervades the chapter, for water, according to Wölfflin, “was the period’s favourite element” . “Now, and now only,” he says, “the greatness of the sea could find its representation”, and as if to inculcate this affinity he places the (...) reproduction of a baroque seascape by Jan van Goyen at the head of the introduction to the book and a riverscape by Peter Brueghel at the head of this chapter, even though neither painting is discussed where it is reproduced. In fact it is worth observing that Wölfflin does not discuss any water paintings in this chapter, though of course he does so elsewhere. Where fluidity becomes the meaning of his category, it is absent from the contents of the paintings. Wölfflin’s procedure, as I have argued, is both objectively analytical and subjectively interpretive, and in this chapter he seems careful to preserve the distance between the forms he describes and the significances he reveals. Were he to treat water paintings here, he would obscure the fact that his analyses are always the prelude to translations.Though he conceals the fact, Wölfflin has here effected a translation of the baroque into itself, of water painting into fluidity. Baroque art has declared its true meaning, which is to be an art of flux—of time and, throughout this chapter, of momentariness. Suddenly here the baroque comes into its own, with a surprising reversal in Wölfflin’s categories. Until now he has associated the baroque with lawlessness and confusion, and classicism with the unifying force of symmetrical organization around a center. Unity is repose—the equation had been made explicitly in the discussion in Classic Art of Michelangelo’s Medici Madonna —and clearly in Principles of Art History Wölfflin seems to say that the unification achieved in Leonardo’s Last Supper was later lost Tiepolo’s version.21 As Wölfflin says in the first sentence of chapter 4, “The principle of closed form of itself presumes the conception of the picture as a unity.” But as the baroque now comes into its own, it appears that the unity of classicism is an illusory, “multiple unity,” whereas the true or “unified unity” actually pertains to the baroque. It is the usurping baroque, rather than the deposed classic, that now has “a dominating central motive.” And So Wölfflin returns in this chapter to the two Last Suppers in order to rescind his earlier position. He still claims that Leonardo’s painting is unified, but he offers Tiepolo’s version to illustrate the “possibility of surpassing this unity” . In becoming itself, baroque art has overthrown classicism.21. “Tiepolo composed a Last Supper which, while it cannot be compared with Leonardo as a work of art, stylistically presents the absolute opposite. The figures do not unite in the plane, and that decides”. (shrink)

Maxwellian electrodynamics genesis is considered in the light of the author’s theory change model previously tried on the Copernican and the Einstein revolutions. It is shown that in the case considered a genuine new theory is constructed as a result of the old pre-maxwellian programmes reconciliation: the electrodynamics of Ampere-Weber, the wave theory of Fresnel and Young and Faraday’s programme. The “neutral language” constructed for the comparison of the consequences of the theories from these programmes consisted in the language of (...) hydrodynamics with its rich content of analogous models ranging from the uncompressible fluid up to molecular vortices. The programmes’ meeting led to construction of the whole hierarchy of crossbred objects beginning from the displacement current and up to common hybrids. After that the interpenetration of the pre-maxwellian programmes began that marked the beginning of theoretical schemes of optics and electromagnetism unification. Maxwell’s programme did assimilate some ideas of the Ampere-Weber programme, as well as the presuppositions of the programmes of Fresnel and Faraday; and the significance of this fact for further methodology of scientific research programmes development is discussed. It is argued that the core of Maxwell’s unification strategy was formed by Kantian epistemology looked through the prism of William Whewell and such representatives of Scottish Enlightenment as Thomas Reid and William Hamilton. All these enabled Maxwell to start to unify not only optics and electromagnetism, but British and continental research traditions as well. Maxwell’s programme did supersede the Ampere-Weber one because Maxwell did put forward as a synthetic principle the idea, that differed from that of Ampere-Weber by its flexible and contra-ontological, strictly epistemological, Kantian character. For Maxwell, ether was not the last building block of physical reality, from which fields and charges should be constructed . “Action at a distance”, “incompressible fluid”, “molecular vortices” were only analogies for Maxwell, capable to direct the researcher on the “right” mathematical relations. From the “representational” point of view all this hydrodynamical models were doomed to failure efforts to describe what can not be described in principle – things in themselves, the “nature” of electrical and magnetic phenomena. On the contrary, Maxwell aimed his programme to find empirically meaningful mathematical relations between the electrodynamics basic objects, i.e. the creation of inter - coordinated electromagnetic field equations system. Namely the application of this epistemology enabled Hermann von Helmholtz and his pupil Heinrich Hertz to arrive at such a version of Maxwell’s theory that served a heuristical basis for the radiowaves discovery. (shrink)

“Explanation” refers to a wide range of activities, with a family resemblance between them. Most satisfactory explanations in a discipline for a domain fail to satisfy some general desiderata, while fulfilling others. This can happen in various ways. Why? An idealizing response would be to say that in real science explanations fall short along some dimensions, so that for any explanatory failure there is a conceivable improvement that addresses its shortcomings. The improvement may be more accurate causally or possess more (...) unifying power, or deliver deeper understanding. We formulate a drastically less idealizing response. We argue that there are typically trade-offs in explanation, so that in strengthening one explanatory virtue one will usually weaken another. Scientific explanations, if this is correct, are constrained by such trade-offs. Particular trade-offs are appropriate for particular explanatory vehicles. There are the overarching equations of theoretical physics, which produce unification at the expense of causal detail; there are theoretical models of phenomena that occupy a middle ground between generality and the detailed workings of particular cases and get closer to explaining the workings of specific systems at the expense of unification. Sometimes experiments aim at general causal patterns at the expense of particular detail; and sometimes they are designed to give us information of particular detail at the expense of generality. There are further trade-offs associated with other vehicles of explanation. We provide examples from physics and biology. (shrink)

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, A Sometimes (...) Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

In a recent paper [J. G. Vargas and D. G. Torr, Found. Phys. 27, 599 (1997)], we have shown that a subset of the differential invariants that define teleparallel connections in spacetime generates a teleparallel Kaluza-Klein space (KKS) endowed with a very rich Clifford structure. A canonical Dirac equation hidden in this structure might be uncovered with the help of a teleparallel Kähler calculus in KKS. To bridge the gap to such a calculus from the existing Riemannian Kähler calculus in (...) spacetime, we commence the construction of a teleparallel Kähler calculus in spacetime. In the process, we notice: (a) Unknown to him, one of Einstein's equations in his attempt at unification with teleparallelism states that the interior covariant derivative of the torsion is zero. (b) A mechanism exists in the tangent bundle of teleparallel spaces for producing confinement (in the applicable cases, one would have to show why nonconfinement also occurs, rather than the other way around). (c) When the torsion is not zero, the interior covariant derivative in the sense of Kähler, δF, does not coincide with *d*F. The system (dF = 0, δF = j) rather than (dF = 0, *d*F = j) should then be used for generalizations of Maxwell's electrodynamics. (shrink)

This paper gives a new, proof-theoretic explanation of partial-order reasoning about time in a nonmonotonic theory of action. The explanation relies on the technique of lifting ground proof systems to compute results using variables and unification. The ground theory uses argumentation in modal logic for sound and complete reasoning about specifications whose semantics follows Gelfond and Lifschitz’s language. The proof theory of modal logic A represents inertia by rules that can be instantiated by sequences of time steps or events. (...) Lifting such rules introduces string variables and associates each proof with a set of string equations; these equations are equivalent to a set of partial-order tree-constraints that can be solved efficiently. The defeasible occlusion of inertia likewise imposes partial-order constraints in the lifted system. By deriving an auxiliary partial order representation of action from the underlying logic, not the input formulas or proofs found, this paper strengthens the connection between practical planners and formal theories of action. Moreover, the general correctness of the theory of action justifies partial-order representations not only for forward reasoning from a completely specified start state, but also for explanatory reasoning and for reasoning by cases. (shrink)

RESUMEN Trabajos recientes han propuesto un tratamiento de la fundación “a la imagen de la causalidad”. Hay importantes analogías entre la fundación y la causalidad: ambas parecen ser relaciones de ‘construcción’, ambas parecen ser órdenes estrictos y ambas parecen ser representables por modelos de ecuaciones estructurales. Pero también parece que hay importantes diferencias, porque la causalidad es usualmente considerada como una relación externa, mientras que la fundación es interna; hay casos de causalidad probabilística, pero no hay nada como una fundación (...) probabilística; la fundación se considera una relación ‘bien fundada’, pero no la causalidad; la fundación implica superveniencia ontológica, pero no la causalidad. Se argumenta aquí que la mayoría de estas supuestas diferencias están motivadas por una concepción humeana de la causalidad en la que no hay conexiones necesarias entre causa y efecto. Una perspectiva no humeana de la causalidad, sin embargo, hace que la unificación de la fundación y la causalidad sea mucho más razonable que cualquier tratamiento separado. ABSTRACT Recent works have proposed a treatment of grounding “in the image of causation”. There are important analogies between grounding and causation: both seem to be ‘building’ relations, both seem to be strict orders, and both seem amenable to representation by models of structural equations. But it seems also that there are important differences, because causation is usually considered as an external relation, while grounding is internal; there are cases of probabilistic causation, but there is nothing like probabilistic grounding; grounding is taken to be a well-founded relation, but not causation; grounding entails ontological supervenience, but not causation. It is argued here that most of those supposed differences are motivated by a Humean conception of causation in which there are no necessary connections between cause and effect. A non-Humean view of causation, though, makes the unification of grounding and causation much more reasonable that any separate treatment. (shrink)