Structural equations have become increasingly popular in recent years as tools for understanding causation. But standard structural equations approaches to causation face deep problems. The most philosophically interesting of these consists in their failure to incorporate a distinction between default states of an object or system, and deviations therefrom. Exploring this problem, and how to fix it, helps to illuminate the central role this distinction plays in our causal thinking.

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)

Hall [(2007), Philosophical Studies, 132, 109–136] offers a critique of structural equations accounts of actual causation, and then offers a new theory of his own. In this paper, I respond to Hall’s critique, and present some counterexamples to his new theory. These counterexamples are then diagnosed.

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)

We introduce and study (weakly) semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong honest definitions; demonstrate that certain trees are semi-equational, while algebraically closed valued fields are not weakly semi-equational; and obtain a general criterion for weak semi-equationality of an expansion of a distal structure by a new predicate.

A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tabular or have some tautology. In particular, it is shown that a protoalgebraic logic admits an equational completeness theorem precisely when it has two distinct logically equivalent formulas. While the problem of determining whether a logic admits an equational completeness theorem is shown to (...) be decidable both for logics presented by a finite set of finite matrices and for locally tabular logics presented by a finite Hilbert calculus, it becomes undecidable for arbitrary logics presented by finite Hilbert calculi. (shrink)

We consider the Dirac equation in 3+1 dimensions with spherical symmetry and coupling to 1/r singular vector potential. An approximate analytic solution for all angular momenta is obtained. The approximation is made for the 1/r orbital term in the Dirac equation itself not for the traditional and more singular 1/r 2 term in the resulting second order differential equation. Consequently, the validity of the solution is for a wider energy spectrum. As examples, we consider the Hulthén and Eckart potentials.

In the latter part of the nineteenth century, diverse sciences grounded in natural history made a virtue of field research that somehow tested scientists' endurance; disciplinary change derived from the premise that witnesses were made reliable by character-molding trials. The turn to the field was a function of structural transformations in various quarters, including (but hardly limited to) global politics, communications systems, and scientific institutions, and it conduced to biogeographical explanations, taxonomic schemes that admitted of heterogeneity, and affective research styles. (...) Sociocultural anthropology, which took specialized shape at the beginning of the twentieth century, shared many properties with other field sciences, but its method—participant observation—was distinctive. Critical to the method's definition were the efforts of the British experimental psychologist-anthropologist W. H. R. Rivers, who relied on notions then widespread in Europe and the United States. The discipline's future mythic hero, Bronislaw Malinowski, embraced Rivers's model. For both men, proper fieldwork meant using the researcher's body as an instrument and entailed understanding both the anthropologist's body and the research subject's body as energy systems; this symmetry facilitated a relativist perspective. Participant observation remains central to sociocultural anthropology, but the discipline's pedagogic habits contributed to loss of memory of its energetic conceptualization. -/- . (shrink)

This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the ?extensions? of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, and much more. The equational approach has its conceptual roots in (...) the nineteenth century following the algebraic equational approach to logic by George Boole, Louis Couturat, and Ernst Schroeder. (shrink)

This book is intended as a historical and critical study on the origin of the equations of motion as established in Newton's Principia. The central question that it aims to answer is whether it is indeed correct to ascribe to Galileo the inertia principle and the law of falling bodies. In order to accomplish this task, the study begins by considering theories on the motion of bodies from classical antiquity, and especially those of Aristotle. The theories developed during the (...) Middle Ages and the Renaissance are then reviewed, with careful analysis of the contributions of, for example, the Merton and Parisian Schools and Galileo's immediate predecessors, Tartaglia and Benedetti. Finally, Galileo's work is examined in detail, starting from the early writings. Excerpts from individual works are presented, to allow the texts to speak for themselves, and then commented upon. The book provides historical evidence both for Galileo's dependence on his forerunners and for the major breakthroughs that he achieved. It will satisfy the curiosity of all who wish to know when and why certain laws have been credited to Galileo. (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.

We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R. These two operators comprise precisely the propositional part of DPL.This paper contains a finite equational (...) axiomatization for these dynamic relation algebras. The completenessresult uses techniques from modal logic. We also lookat the variety generated by the class of dynamic relation algebras and note that there exist nonrepresentable algebras in this variety, ones which cannot be construedas spaces of relations. These results are also proved for an extension to a signature containing atomic tests and union. (shrink)

Given a positive universal formula in the language of residuated lattices, we construct a recursive basis of equations for a variety, such that a subdirectly irreducible residuated lattice is in the variety exactly when it satisfies the positive universal formula. We use this correspondence to prove, among other things, that the join of two finitely based varieties of commutative residuated lattices is also finitely based. This implies that the intersection of two finitely axiomatized substructural logics over FL + is (...) also finitely axiomatized. Finally, we give examples of cases where the join of two varieties is their Cartesian product. (shrink)

To find exact traveling wave solutions to nonlinear evolution equations, we propose a method combining symmetry properties with trial polynomial solution to nonlinear ordinary differential equations. By the method, we obtain some exact traveling wave solutions to the Burgers-KdV equations and a kind of reaction-diffusion equations with high order nonlinear terms. As a result, we prove that the Burgers-KdV equation does not have the real solution in the form a 0+a 1tan ξ+a 2tan 2 ξ, which (...) indicates that some types of the solutions to the Burgers-KdV equation are very limited, that is, there exists no new solution to the Burgers-KdV equation if the degree of the corresponding polynomial increases. For the second equation, we obtain some new solutions. In particular, some interesting structures in those solutions maybe imply some physical meanings. Finally, we discuss some classifications of the reaction-diffusion equations which can be solved by trial equation method. (shrink)

This paper uses duality to elaborate Slutzky equations of risks in quasi-linear decision models extended by independent background risks. Wealth, substitution and total effects are characterized in terms of mean-variance preferences. It is shown that both Pratt and Zeckhauser’s proper risk aversion and Kimball’s standard risk aversion are sufficient for negative substitution effects.

The history of the publication of the gravitational field equations of general relativity in November 1915 by Einstein and Hilbert is briefly reviewed. An analysis of the internal structure and logic of Hilbert's theory as expounded in extant proofs and in the published version of his relevant paper is given with respect to the specific question what information would have been found on a missing piece of Hilbert's proofs. The existing texts suggest that the missing piece contained the explicit (...) form of the Riemann curvature scalar in terms of the Ricci tensor as a specification of the axiomatically underdetermined Lagrangian in Hilbert's action integral. An alternative reading that the missing piece of the proofs already may have contained the Einstein tensor, i.e. an explicit calculation of the gravitational part of Hilbert's Lagrangian is argued to be highly implausible. (shrink)

In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, (...) the paper proves the results for a more general class than t-norm BL-chains, the so-called regular BL-chains. (shrink)

A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields and of the theory of separably closed fields of arbitrary imperfection degree.

This book provides a unique survey displaying the power of Riccati equations to describe reversible and irreversible processes in physics and, in particular, quantum physics. Quantum mechanics is supposedly linear, invariant under time-reversal, conserving energy and, in contrast to classical theories, essentially based on the use of complex quantities. However, on a macroscopic level, processes apparently obey nonlinear irreversible evolution equations and dissipate energy. The Riccati equation, a nonlinear equation that can be linearized, has the potential to link (...) these two worlds when applied to complex quantities. The nonlinearity can provide information about the phase-amplitude correlations of the complex quantities that cannot be obtained from the linearized form. As revealed in this wide ranging treatment, Riccati equations can also be found in many diverse fields of physics from Bose-Einstein-condensates to cosmology. The book will appeal to graduate students and theoretical physicists interested in a consistent mathematical description of physical laws. (shrink)

Presented is a completeness theorem for fuzzy equational logic with truth values in a complete residuated lattice: Given a fuzzy set Σ of identities and an identity p≈q, the degree to which p≈q syntactically follows (is provable) from Σ equals the degree to which p≈q semantically follows from Σ. Pavelka style generalization of well-known Birkhoff's theorem is therefore established.

This paper concerns modal logics of provability — Gödel-Löb systemGL and Solovay logicS — the smallest and the greatest representation of arithmetical theories in propositional logic respectively. We prove that the decision problem for admissibility of rules (with or without parameters) inGL andS is decidable. Then we get a positive solution to Friedman''s problem forGL andS. We also show that A. V. Kuznetsov''s problem of the existence of finite basis for admissible rules forGL andS has a negative solution. Afterwards we (...) give an algorithm deciding the solvability of logical equations inGL andS and constructing some solutions. (shrink)

In classifications of vocabulary knowledge, vocabulary size and depth have often been separately conceptualized (Schmitt, 2014). Although size and depth are known to be substantially correlated, it is not clear whether they are a single construct or two separate components of vocabulary knowledge (Yanagisawa & Webb, 2020). This issue has not been addressed extensively in the literature and can be better examined using structural equation modeling (SEM), with measurement error modeled separately from the construct of interest. The current study reports (...) on conventional and Bayesian SEM approaches (e.g., Muthén & Asparouhov, 2012) to examine the factor structure of the size and depth of second language vocabulary knowledge of Japanese adult learners of English. A total of 255 participants took five vocabulary tests. One test was designed to measure vocabulary size in terms of the number of words known, while the remaining four were designed to measure vocabulary depth in terms of word association, polysemy, and collocation. All tests used a multiple-choice format. The size test was divided into three subtests according to word frequency. Results from conventional and Bayesian SEM show that a correlated two-factor model of size and depth with three and four indicators, respectively, fit better than a single-factor model of size and depth. In the two-factor model, vocabulary size and depth were strongly correlated (r =.945 for conventional SEM and.943 for Bayesian SEM with cross loadings), but they were distinct. The implications of these findings are discussed. (shrink)

Structural equation modelling (SEM) is outlined and compared with two non-linear alternatives, artificial neural networks and ''fast and frugal'' models. One particular non-linear decision-making situation is discussed, that exemplified by a lexicographic semi-order. We illustrate the use of SEM on a dataset derived from 539 volunteers' responses to questions about food-related risks. Our conclusion is that SEM is a useful member of the armoury of techniques available to the student of human judgement: it subsumes several multivariate statistical techniques and permits (...) their flexible combination, and it provides robust goodness-of-fit statistics and is available in (generally) easy-to-use computer packages. Although the number of tasks for which SEM provides a persuasive psychological model is small, it is very useful in identifying the important variables and their inter-relations that contribute to task performance, and thus can constitute a valuable intermediate staging point between raw data and a fully fledged psychological theory. (shrink)

In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, (...) the paper proves the results for a more general class than t-norm BL-chains, the so-called regular BL-chains. (shrink)

We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.

Locus equations contain an economical set of hidden (i.e., not directly observable in the data) parameters of speech that provide an elegant way of characterizing the ubiquitous context-dependent behaviors exhibited in speech acoustics. These hidden parameters can be effectively exploited to constrain the huge set of context-dependent speech model parameters currently in use in modern, mainstream speech recognition technology.

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)

The article is guided by two main research questions: First, do the Equator Principles (EPs), a voluntary CSR-initiative in the project finance sector, and the recently published working paper of the Thun Group of Banks adequately address the U.N. Guiding Principles on Business and Human Rights or do they fall behind the ‘Ruggie framework’? Second, is the demand for human rights due diligence sufficient to classify the EPs as a positive and leverage-based concept of CSR (à la Wettstein and Wood) (...) or is this requirement still a feature of a negative and impact-based concept of CSR? In case it is a negative and impact-based concept of CSR, the question comes up which further steps should be taken by financial institutions to fulfill their positive and leverage-based responsibilities. The article argues that positive and leverage-based responsibilities for multinational companies exist – due to the moral nature of human rights and due to the political authority of multinational companies – and that the current (Ruggie-like) requirements for human rights due diligence are not adequate for a positive and leverage-based concept of CSR. Further measures should be taken by multinational companies – and especially (Equator) banks which possess a high leverage-influence over their clients – to not only ensure the respect for human rights, but also the on-the-ground protection and realization of human rights. (shrink)

There exist two conjectures for constraint satisfaction problems of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain nontrivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities satisfied by its polymorphisms clone, together with the natural uniformity on (...) it, being nontrivial. We prove that the identities satisfied in the polymorphism clone of a structure allow for conclusions about the orbit growth of its automorphism group, and apply this to show that the two conjectures are equivalent. We contrast this with a counterexample showing that [Formula: see text]-categoricity alone is insufficient to imply the equivalence of the two conditions above in a model-complete core. Taking another approach, we then show how the Ramsey property of a homogeneous structure can be utilized for obtaining a similar equivalence under different conditions. We then prove that any polymorphism of sufficiently large arity which is totally symmetric modulo outer embeddings of a finitely bounded structure can be turned into a nontrivial system of linear identities, and obtain nontrivial linear identities for all tractable cases of reducts of the rational order, the random graph, and the random poset. Finally, we provide a new and short proof, in the language of monoids, of the theorem stating that every [Formula: see text]-categorical structure is homomorphically equivalent to a model-complete core. (shrink)

As familiar as the form of the mathematical equation is to us, the ostensibly simple act of equating unlike things was an achievement many centuries in the making, and one that would ultimately redefine European mathematical enquiry such that its bias toward geometry and the concrete would be displaced by a bias toward algebraic abstraction. The moment of that displacement was the nineteenth century, and its broader significance is on particularly striking display in the British context, where the implications of (...) algebraic abstraction were the object of sustained enquiry among mathematicians, logicians, and economists. This article argues that the ascendance of the algebraic equation, and the transformation in the conception of number on which it was premised, were not simply the product of evolutionary pressures internal to mathematics; the Victorian embrace of algebra was also a response to the practical and cognitive demands of Victorian economic life, which was increasingly reliant on attenuated exchange relations and merely nominal forms of ownership. This was an economy organized around the global extension of trade and characterized by the exponential growth of financial intermediation, of what Walter Bagehot called “number abstracted from reference.” Victorian economic practices thus modeled an abstraction that helped to justify the abstractions of mathematics, and that mathematics in turn was used by economic theorists to argue for the necessity and objectivity of their models. This mutually sustaining dialogue is particularly visible in the writings of William Stanley Jevons, who applied the principles of algebra to philosophy and economic theory so as to reconceive the logic of cognitive and social life in terms of equations. This logic, for which he was merely a spokesman, continues to shape our faith in the special value of abstract, theoretical knowledge. (shrink)

The Einstein equations can be written as Fierz-Pauli equations with self-interaction, $W\gamma _{ik} = - G_{ik} + \tfrac{1}{2}g_{ik} g^{mn} G_{mn} - k(T_{ik} - \tfrac{1}{2}g_{ik} g^{mn} T_{mn} )$ together with the covariant Hilbert-gauge condition, $(\gamma _i^h - \tfrac{1}{2}\delta _i^k g^{mn} \gamma _{mn} )_{;k} = 0$ where W denotes the covariant wave operator and G ik the Einstein tensor of the metric g ik collecting all nonlinear terms of Einstein's equations. As is known, there do not, however, exist plane-wave (...) solutions γ ik(z)with g ik Z,i Z,k=0of these equations such that what is essential to the introduction of gravitons is not satisfied in general relativity. This nonexistence corresponds with the uncertainty relation,Δp(Δg*)2(Δx)3≥h hG/ c 3 concerning the total nonlinear gravitational field g *ik =g k +γ k. (shrink)

I develop a new schema for analysis of dispositions in terms of structural equations. This schema provides the means to respond to a host of problems that have been posed for other proposals, including the problem of masks, alters, mimickers, tricks, conjunctive multi-track dispositions and dispositional degrees. In the development of this new schema, I will employ structural modelling techniques to highlight features of the problem cases, thereby revealing the utility of these techniques to ongoing discussion.

Evaluating the current locus equation under ideal conditions identifies important and unexpected parameter dependencies. Locus equation (LE) utility, either as a valid laboratory tool or possible invariant cue, depends on stringent specification of critical parameters and rigorous empirical testing.

A nonlocal equation of motion with damping is derived by means of a Mori-Zwanzig renormalization process. The treatment is analogous to that of Mori in deriving the Langevin equation. For the case of electrodynamics, a local approximation yields the Lorentz equation; a relativistic generalization gives the Lorentz-Dirac equation. No self-acceleration or self-mass difficulties occur in the classical treatment, although runaway solutions are not eliminated. The nonrelativistic quantum case does not exhibit runaways, however, provided one remains within a weak damping approximation. (...) The correspondence limit shows that a classical limit may be taken, again within the same approximation. (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)

The appearance of the time derivative of the acceleration in the equation of motion (EOM) of an electric charge is studied. It is shown that when an electric charge is accelerated, a stress force exists in the curved electric field of the accelerated charge, and in the case of a constant linear acceleration, this force is proportional to the acceleration. This stress force acts as a reaction force which is responsible for the creation of the radiation (instead of the “radiation (...) reaction force” that actually does not exist at low velocities). Thus the initial acceleration should be supplied as an initial condition for the solution of the EOM of an electric charge. (shrink)

The Price Equation is a powerful, and unusual, tool within evolutionary theory. Because it is completely general in application, and also very nearly free of distorting idealisations, the Price Equation is widely regarded as having exceptional power for understanding evolutionary change. It is no surprise, then, that it has been applied to many different contexts outside of traditional ‘organic’ evolution, including the domain of cultural evolution. In this essay I argue for various ways in which the Price Equation can mislead (...) about cultural evolutionary theory. They all derive from difficulties that processes of cultural reproduction pose for attempts to distinguish ‘selection’ from ‘transmission’. This does not mean the cultural Price Equation is of no use: its value remains as an analytical tool in those circumstances where a distinction between selection and transmission can be drawn without too much distortion. (shrink)