We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.

The object of this paper is to reply to Morrison's ([2000]) claim that while ‘structural unity’ was achieved at the level of the mathematical models of population genetics in the early synthesis, there was explanatory disunity. I argue to the contrary, that the early synthesis effected by the founders of theoretical population genetics was unifying and explanatory both. Defending this requires a reconsideration of Morrison's notion of explanation. In Morrison's view, all and only answers to ‘why’ questions which include the (...) ‘cause or mechanism’ for some phenomenon count as explanatory. In my view, mathematical demonstrations that answer ‘how possibly’ and ‘why necessarily’ questions may also count as explanatory. The authors of the synthesis explained how evolution was possible on a Mendelian system of inheritance, answered skepticism about the sufficiency of selection, and thus explained why and how a Darwinian research program was warranted. While today we take many of these claims as obvious, they required argument, and part of the explanatory work of the formal sciences is providing such arguments. Surely, Fisher and Wright had competing views as to the optimal means of generating adaptation. Nevertheless, they had common opponents and a common unifying and explanatory goal that their mathematical demonstrations served. Introduction: Morrison's challenge Fisher v. Wright revisited The early synthesis Conclusion: unification and explanation reconciled. (shrink)

Explanatory unification—the urge to “explain much by little”—serves as an ideal of theorizing not only in natural sciences but also in the social sciences, most notably in economics. The ideal is occasionally challenged by appealing to the complexity and diversity of social systems and processes in space and time. This article proposes to accommodate such doubts by making a distinction between two kinds of unification and suggesting that while such doubts may be justified in regard to mere derivational (...) unification (which serves as a formal constraint on theories), it is less justified in the case of ontological unification (which is a result of factual discovery of the actual degree of underlying unity in the world). (shrink)

We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2⁺ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).

In the current literature on scientific explanation unification became unfashionable in favour of causal approaches. We want to bring unification back into the picture. In this paper we demonstrate that resemblance questions do occur in scientific practice and that they cannot be properly answered without unification. Our examples show that resemblance questions about particular facts demand what we call causal network unification, while resemblance questions about regularities require what we call mechanism unification. We clarify how (...) these types of unification relate to Philip Kitcher’s account, but also to causal and mechanistic accounts of explanation. (shrink)

We discuss two influential views of unification: mutual information unification (MIU) and common origin unification (COU). We propose a simple probabilistic measure for COU and compare it with Myrvold’s (2003, 2017) probabilistic measure for MIU. We then explore how well these two measures perform in simple causal settings. After highlighting several deficiencies, we propose causal constraints for both measures. A comparison with explanatory power shows that the causal version of COU is one step ahead in simple causal (...) settings. However, slightly increasing the complexity of the underlying causal structure shows that both measures can easily disagree with explanatory power. The upshot of this is that even sophisticated causally constrained measures for unification ultimately fail to track explanatory relevance. This shows that unification and explanation are not as closely related as many philosophers thought. (shrink)

The drive to 'unify' post-compulsory education and training systems is one of the most important current developments in education policy. However the concept of 'unification' lacks clarity, is not widely recognised, and is pursued through different measures in different countries. In this paper we propose a conceptual framework with which to analyse the different meanings of and debates about unification. Using England and Scotland as examples, we show how the framework may be used to analyse existing systems, reform (...) strategies, and processes and pressures for change. The framework is exploratory and will need to be tested and developed in relation to a wider variety of education systems. (shrink)

Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.

We study unification problem and problem of admissibility for inference rules in minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+. This paper proves that the problem of admissibility for inference rules with coefficients is decidable for the paraconsistent minimal Johanssonsʼ logic J and the positive intuitionistic logic IPC+. Using obtained technique we show also that the unification problem for these logics is also decidable: we offer algorithms which compute complete sets of unifiers for any unifiable formula. Checking (...) just unifiability of formulas with coefficients also works via verification of admissibility. (shrink)

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.

In this article the problem of unification of mathematical theories is discussed. We argue, that specific problems arise here, which are quite different than the problems in the case of empirical sciences. In particular, the notion of unification depends on the philosophical standpoint. We give an analysis of the notion of unification from the point of view of formalism, Gödel's platonism and Quine's realism. In particular we show, that the concept of “having the same object of study” (...) should be made precise in the case of mathematical theories. In the appendix we give a working proposal of a certain understanding of this notion. (shrink)

In this paper, we defend a novel, multidimensional account of representational unification, which we distinguish from integration. The dimensions of unity are simplicity, generality and scope, non-monstrosity, and systematization. In our account, unification is a graded property. The account is used to investigate the issue of how research traditions contribute to representational unification, focusing on embodied cognition in cognitive science. Embodied cognition contributes to unification even if it fails to offer a grand unification of cognitive (...) science. The study of this failure shows that unification, contrary to what defenders of mechanistic explanation claim, is an important mechanistic virtue of research traditions. (shrink)

Summary: Throughout the history of science, indeed throughout the history of knowledge, unification has been touted as a central aim of intellectual inquiry. We’ve always wanted to discover not only numerous bare facts about the universe, but to show how such facts are linked and interrelated. Large amounts of time and effort have been spent trying to show diverse arrays of things can be seen as different manifestations of some common underlying entities or properties. Thales is said to have (...) originated philosophy and science with his declaration that everything was, at base, a form of water. Plato’s theory of the forms was thought to be a magnificent accomplishment because it gave a unified solution to the separate problems of the relation between knowledge and belief, the grounding of objective values, and how continuity is possible amid change. Pasteur made numerous medical advancements possible by demonstrating the interconnection between microorganisms and human disease symptoms. Many technological advances were aided by Maxwell’s showing that light is a kind of electromagnetic radiation. The attempt to unify the various known forces is often referred to as “The Holy Grail” of physics. Some philosophers have even suggested that providing explanations is itself just a sort of unifying of our knowledge. But while unification (like simplicity) has often been hailed as a tremendous virtue in science, the meaning of the term is not altogether clear. Scientists often don’t specify what, precisely, they mean by unification. And in cases where what they mean is clear, different thinkers plainly mean different things by the term. What are the various senses of unification, and why has unification been such an important aim in the history of inquiry? (shrink)

The official model of explanation proposed by the logical empiricists, the covering law model, is subject to familiar objections. The goal of the present paper is to explore an unofficial view of explanation which logical empiricists have sometimes suggested, the view of explanation as unification. I try to show that this view can be developed so as to provide insight into major episodes in the history of science, and that it can overcome some of the most serious difficulties besetting (...) the covering law model. (shrink)

Cognitive science is an interdisciplinary conglomerate of various research fields and disciplines, which increases the risk of fragmentation of cognitive theories. However, while most previous work has focused on theoretical integration, some kinds of integration may turn out to be monstrous, or result in superficially lumped and unrelated bodies of knowledge. In this paper, I distinguish theoretical integration from theoretical unification, and propose some analyses of theoretical unification dimensions. Moreover, two research strategies that are supposed to lead to (...) unification are analyzed in terms of the mechanistic account of explanation. Finally, I argue that theoretical unification is not an absolute requirement from the mechanistic perspective, and that strategies aiming at unification may be premature in fields where there are multiple conflicting explanatory models. (shrink)

In this paper I challenge two widespread convictions about unification in physics: unification is an aim of physics and unification is driven by metaphysical or metatheoretical presuppositions. I call these external explanations of why there is unification in physics. Against this, I claim that unification is a by-product of physical research and unification is driven by basic methodological strategies of physics alone. I call this an internal explanation of why there is unification in (...) physics. To support my claims, I will investigate the actual practice undertaken in physics in paradigmatic examples of unification. (shrink)

There are several important criticisms against the unificationist model of scientific explanation: Unification is a broad and heterogeneous notion and it is hard to see how a model of explanation based exclusively on unification can make a distinction between genuine explanatory unification from cases of ordering or classification. Unification alone cannot solve the asymmetry and irrelevance problems. Unification and explanation pull in different directions and should be decoupled, because for good scientific explanation extra ad explanandum (...) information is often required. I am presenting a possible solution to those problems, by focusing on an often overlooked but important element of how theoretic unification is achieved—the conceptual frameworks of theories. The core conceptual assumptions behind theories are decisive for discriminating between explanatory and non-explanatory unification. The conceptual framework is also flexible enough to balance the tension between informativeness and maximum systematization in constructing explanatory inferences. A short case study of orthogenetic and Darwinian explanations in paleontology is presented as an illustration of how my addition to the unificationist model is applicable to a historical debate between rival explanations. (shrink)

According to the traditional requirement, formulated by William Whewell in his account of the “consilience of inductions” in 1840, a scientific hypothesis should have unifying power in the sense that it explains and predicts several mutually independent phenomena. Variants of this notion of consilience or unification include deductive, inductive, and approximate systematization. Inference from surprising phenomena to their theoretical explanations was called abduction by Charles Peirce. As a unifying theory is independently testable by new kinds of phenomena, it should (...) also receive confirmation from its empirical success. The study of the prospects of probabilistic Bayesianism to motivate this kind of criterion for abductive confirmation is shown to lead to two quite distinct conceptions of unification. (shrink)

P. Kitcher's unification theory of explanation appears to endorse a reductionistic view of scientific explanation that is inconsistant with scientific practice. In this paper, I argue that this appearance is illusory. The existence of multiply realizable generalizations enable the unification theory to also count many high-level accounts as explanatory.

We prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.

Incommensurability was Kuhn’s worst mistake. If it is to be found anywhere in science, it would be in physics. But revolutions in theoretical physics all embody theoretical unification. Far from obliterating the idea that there is a persisting theoretical idea in physics, revolutions do just the opposite: they all actually exemplify the persisting idea of underlying unity. Furthermore, persistent acceptance of unifying theories in physics when empirically more successful disunified rivals can always be concocted means that physics makes a (...) persistent implicit assumption concerning unity. To put it in Kuhnian terms, underlying unity is a paradigm for paradigms. We need a conception of science which represents problematic assumptions concerning the physical comprehensibility and knowability of the universe in the form of a hierarchy, these assumptions becoming less and less substantial and more and more such that their truth is required for science, or the pursuit of knowledge, to be possible at all, as one goes up the hierarchy. This hierarchical conception of science has important Kuhnian features, but also differs dramatically from the view Kuhn expounds in his The Structure of Scientific Revolutions. In this paper, I compare and contrast these two views in a much more detailed way than has been done hitherto. I show how the hierarchical view can be construed to emerge from Kuhn’s view as it is modified to overcome objections. I argue that the hierarchical conception of science is to be preferred to Kuhn’s view. (shrink)

In this paper we study the admissible rules of intermediate logics. We establish some general results on extensions of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay–de Jongh logics and to show that these logics have finitary unification type.

"The unification of simply typed [lambda]-terms modulo the rules of [beta]- and [eta]-conversions is often called 'higher-order' unification because of the possible presence of variables of functional type. This kind of unification is undecidable in general and if unifiers exist, most general unifiers may not exist. In this paper, we show that such unification problems can be coded as a query of the logic programming language L[subscript lambda] in a natural and clear fashion. In a sense, (...) the translation only involves explicitly axiomatizing in L[subscript lambda] the notions of equality and substitution of the simply typed [lambda]-calculus: the rest of the unification process can be viewed as simply an interpreter of L[subscript lambda] searching for proofs using those axioms.". (shrink)

This dissertation starts with a concise overview of what philosophers of science have written about unification and its role in scientific explanation during the last 50 years to provide the reader with some background knowledge. In order to bring unification back into the picture, I have followed two strategies, resulting respectively in Parts I and II of this dissertation. In Part I the idea of unification is used to refine and enrich the dominant causalmechanist and causal-interventionist accounts (...) of scientific explanation. In this part of the dissertation I bracket the classical ideas about unification: deduction and derivation. I do grant, for the sake of argument, that explanations are causal and argue that unification is important from within this causalist perspective. In Part II I continue my strategy of digging into scientific practice to find cases of ontological unification. But here I distance myself from the dominant literature that all explanations must be causal. I will investigate whether explanatory unification is possible in non-causal explanations. Part III contains some further reflections and conclusions. I will formulate my primary results, and I will elaborate on their implications for thinking about unification and explanation. The different forms of ontological unification were quite diverse. This relates to the method I have used. Throughout this dissertation the types of unification that were discussed emerged from digging into scientific practice. This philosophy-of-science-practice approach steered me towards a pluralistic view on unification and on explanation. In this dissertation I do not try to develop a new model of explanation and compare it to existing models. The aim is to show that there are important types of explanatory practice which cannot be properly analyzed if we neglect unification as a desideratum for explanations. (shrink)

Philip Kitcher has proposed a theory of explanation based on the notion of unification. Despite the genuine interest and power of the theory, I argue here that the theory suffers from a fatal deficiency: It is intrinsically unable to account for the asymmetric structure of explanation, and thus ultimately falls prey to a problem similar to the one which beset Hempel's D-N model. I conclude that Kitcher is wrong to claim that one can settle the issue of an argument's (...) explanatory force merely on the basis of considerations about the unifying power of the argument pattern the argument instantiates. (shrink)

This article has three aims. The first is to give a partial explication of the concept of unification. My explication will be partial because I confine myself to unification of particular events, because I do not consider events of a quantitative nature, and discuss only deductive cases. The second aim is to analyze how unification can be reached. My third aim is to show that unification is an intellectual benefit. Instead of being an intellectual benefit (...) class='Hi'>unification could be an intellectual harm, i.e., a state of mind we should try to avoid by all means. By calling unification an intellectual benefit, we claim that this form of understanding has an intrinsic value for us. I argue that unification really has this alleged intrinsic value. (shrink)

This paper considers the importance of unification in the context of developing scientific theories. I argue that unifying hypotheses are not valuable simply because they are supported by multiple lines of evidence. Instead, they can be valuable because they guide experimental research in different domains in such a way that the results from those experiments inform the scope of the theory being developed. I support this characterization by appealing to the early development of quantum theory. I then draw some (...) comparisons with discussions of robustness reasoning. (shrink)

In this paper significant challenges are raised with respect to the view that explanation essentially involves unification. These objections are raised specifically with respect to the well-known versions of unificationism developed and defended by Michael Friedman and Philip Kitcher. The objections involve the explanatory regress argument and the concepts of reduction and scientific understanding. Essentially, the contention made here is that these versions of unificationism wrongly assume that reduction secures understanding.

The following is an essay on the notion of scientific explanation as unification. In it a new notion of content is used to explicate Michael Friedman's notion of "k-atomicity," and to explicate the notion of the surplus content of hypothesis h relative to evidence e. From this basis an analysis of unification as theoretical reduction is advanced. A second notion of unification, unification as reconciling prima facie incompatible statements, is introduced again with the aid of this (...) new notion of content. More generally, it is argued that rather than seek the essence of scientific explanation we should carefully catalog the various distinct explanatory virtues. Finally it is argue that in particular philosophical explanations put a high premium on the quality of unification through showing how to make compatible seemingly irreconcilable claims. (shrink)

This paper represents a response to the criticisms made by Eric Barnes in “Explanatory Unification and the Problem of Asymmetry” and “Explanatory Unification and Scientific Understanding” against the thesis of Explanatory Unification. This paper responds to Barnes‟ two main criticisms, that of derivational skepticism and causal asymmetry, and successfully refutes his objections. This paper also defends the plausibility of the unificationist account of scientific explanation because of its ability to render coherent the notion of scientific understanding, focusing (...) in particular on the work by Michael Friedman and Philip Kitcher. (shrink)

The debate between the dynamical and the statistical interpretations of natural selection is centred on the question of whether all explanations that employ the concepts of natural selection and drift are reducible to causal explanations. The proponents of the statistical interpretation answer negatively, but insist on the fact that selection/drift arguments are explanatory. However, they remain unclear on where the explanatory power comes from. The proponents of the dynamical interpretation answer positively and try to reduce selection/drift arguments to some of (...) the most prominent accounts of causal explanation. In turn, they face the criticism raised by statisticalists that current accounts of causation have to be violated in some of their core conditions or otherwise used in a very loose manner in order to account for selection/drift explanations. We propose a reconciliation of both interpretations by conveying evolutionary explanations within the unificationist model of scientific explanation. Therefore, we argue that the explanatory power in natural selection arguments is a result of successful unification of individual- and population-level facts. A short case study based on research on sympatric speciation will be presented as an example of how population- and individual-level facts are unified to explain the morphological mosaic of bill shape in island scrub jays. (shrink)

This paper contains a proof-theoretic account of unification in transitive reflexive modal logics, which means that the reasoning is syntactic and uses as little semantics as possible. New proofs of theorems on unification types are presented and these results are extended to negationless fragments. In particular, a syntactic proof of Ghilardi’s result that $\mathsf {S4}$ has finitary unification is provided. In this approach the relation between classical valuations, projective unifiers, and admissible rules is clarified.

Unification grammars are known to be Turing-equivalent; given a grammar G and a word w, it is undecidable whether w L(G). In order to ensure decidability, several constraints on grammars, commonly known as off-line parsability (OLP), were suggested, such that the recognition problem is decidable for grammars which satisfy OLP. An open question is whether it is decidable if a given grammar satisfies OLP. In this paper we investigate various definitions of OLP and discuss their interrelations, proving that some (...) of the OLP variants are indeed undecidable. We then present a novel, decidable OLP constraint which is more liberal than the existing decidable ones. (shrink)

We investigate finitarity of unification types in locally finite varieties of Heyting algebras, giving both positive and negative results. We make essential use of finite dualities within a conceptualization for E-unification theory 733–752) relying on the algebraic notion of a projective object.

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

Kitcher's unification theory of explanation seems to suggest that only the most reductive accounts can legitimately be termed explanatory. This is not what we find in actual scientific practice. In this paper, I attempt to reconcile these ideas. I claim that Kitcher's theory picks out ideal explanations, but that our term explanation is used to cover other accounts that have a certain relationship with the ideal accounts. At times, versions and portions of ideal explanations can also be considered explanatory.

ABSTRACT We1 study unification of formulas in modal logics and consider logics which are equivalent w.r.t. unification of formulas. A criteria is given for equivalence w.r.t. unification via existence or persistent formulas. A complete syntactic description of all formulas which are non-unifiable in wide classes of modal logics is given. Passive inference rules are considered, it is shown that in any modal logic over D4 there is a finite basis for passive rules.

In this chapter, I argue that an understanding of what shame is through an understanding of its rationality and intentionality can provide a single framework that may be able to unify the research on shame, perhaps even across disciplines. To do so, I begin by explaining what a criterion for the ontological rationality of shame is, and I explain its relation to an understanding of what makes shame the kind of emotion that it is. In doing so, I demonstrate how (...) the rationality of shame, including the criterion for the ontological rationality of shame, is intimately intertwined with shame’s intentionality. Next, I consider some of the research on shame from the disciplines of philosophy and psychology in order to isolate the genus from the differentia of shame, and, with the inclusion of research from the discipline of sociology, I derive the criterion for the ontological rationality of shame. I follow this discussion by introducing an understanding of shame as a superordinate inference rule, which amounts to a non-standard account of shame, in order to fulfill the criterion for the ontological rationality of shame. I conclude by explaining how what I suggest as the core of shame—the superordinate inference rule of shame—fulfills the criterion for the ontological rationality of shame, by constituting the ontological rationality of shame, and I highlight the benefit of my account over alternative accounts of shame in regard to the rationality of our experiences of shame. I thereby argue in virtue of an inference to the best explanation for my proposal to fulfill the criterion for the ontological rationality of shame and to provide a single unifying framework for an understanding of what shame is. (shrink)

This article portrays unification of physics as a central tenet of ErnstMach’s thought, and organizes some of the focal issues in philosophy of science around the process of unification of science. Mach finds a natural place in the history. Newton’s Principia marked the beginning of the era of mathematical physics, which developed triumphantly in the eighteenth century, until new phenomena were discovered in the nineteenth century whose explanations went over and above Newtonian physics. Also Positivism emerged in the (...) nineteenth century. This was the setting where Mach entered. The notion that a central function of physics is to give mathematical descriptions of perceptions is all over Mach’s work, but in Mach’s thought mathematics comes together with hypothetical laws of nature and an overall world-view, similarly as in Newtonian physics where mathematics comes together with the laws of motion. Mach’s criticism of Newtonian absolute time and space was in line with positivism, and his suggestions about an overall holistic worldview were to function as an intuitive background for the new physics. Thus, as a physicist and a philosopher of physics, Mach should be seen primarily as a unifier, and his famous anti-metaphysics should be seen as derivative from this unificationist project: he did not intend to banish the metaphysical core that he himself proposed, but only metaphysics that is not needed in unified science. (shrink)

In this article we criticize two recent articles that examine the relation between explanation and unification. Halonen and Hintikka (1999), on the one hand, claim that no unification is explanation. Schurz (1999), on the other hand, claims that all explanation is unification. We give counterexamples to both claims. We propose a pluralistic approach to the problem: explanation sometimes consists in unification, but in other cases different kinds of explanation (e.g., causal explanation) are required; and none of (...) these kinds is more fundamental. (shrink)

Unification grammars are widely accepted as an expressive means for describing the structure of natural languages. In general, the recognition problem is undecidable for unification grammars. Even with restricted variants of the formalism, off-line parsable grammars, the problem is computationally hard. We present two natural constraints on unification grammars which limit their expressivity and allow for efficient processing. We first show that non-reentrant unification grammars generate exactly the class of context-free languages. We then relax the constraint (...) and show that one-reentrant unification grammars generate exactly the class of mildly context-sensitive languages. We thus relate the commonly used and linguistically motivated formalism of unification grammars to more restricted, computationally tractable classes of languages. (shrink)

Recent interest in the idea that there can be scientific understanding without explanation lends new relevance to Duhem's notion of natural classification. According to Duhem, a classification that is natural teaches us something about nature without being explanatory. However, Duhem's conception of naturalness leaves much to be desired. In this paper, I argue that we can measure the naturalness of classification by using an amended version of the notion of unification as defined by Schurz and Lambert. If this thesis (...) is correct, it both leads to a better conceptual understanding of scientific understanding, and also gives the nascent literature on this topic some much-needed precision. (shrink)

Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.

L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic \ has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described.

There are various senses in which a physical theory may be said to "unify" different forces, with the unification being deeper of more shallow in different cases. This paper discusses some of these distinctions.

The unification argument, usually regarded as the main argument for predicativism about proper names, has recently been attacked by Robin Jeshion. According to Jeshion, the unification argument is based on the assumption of the literality of predicative uses of proper names in statements such as “There is one Alfred in Princeton.” In such a use, a proper name ‘N’ is used predicatively to denote those, and only those, objects called N. As Jeshion argues, however, there are many other (...) examples in which a proper name ‘N’ is used predicatively to denote objects which are not called N. Based on such cases, Jeshion challenges the predicativist to provide a justification for assuming that the original predicative use of proper names, to which the predicativist appeals in the unification argument, is literal. My aim in this paper is to defend predicativism by arguing that the predicativist’s assumption is well motivated. To this end, I first present the unification argument for predicativism and Jeshion’s challenge to it. Then, I argue that the answer provided by Delia Graff Fara to Jeshion’s challenge is unsatisfactory. Finally, I meet Jeshion’s challenge by extending the phenomena highlighted in Jeshion’s examples to the referential uses of proper names. (shrink)

In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.

Predictive processing (PP) has been repeatedly presented as a unificatory account of perception, action, and cognition. In this paper, we argue that this is premature: As a unifying theory, PP fails to deliver general, simple, homogeneous, and systematic explanations. By examining its current trajectory of development, we conclude that PP remains only loosely connected both to its computational framework and to its hypothetical biological underpinnings, which makes its fundamentals unclear. Instead of offering explanations that refer to the same set of (...) principles, we observe systematic equivocations in PP‐based models, or outright contradictions with its avowed principles. To make matters worse, PP‐based models are seldom empirically validated, and they are frequently offered as mere just‐so stories. The large number of PP‐based models is thus not evidence of theoretical progress in unifying perception, action, and cognition. On the contrary, we maintain that the gap between theory and its biological and computational bases contributes to the arrested development of PP as a unificatory theory. Thus, we urge the defenders of PP to focus on its critical problems instead of offering mere re‐descriptions of known phenomena, and to validate their models against possible alternative explanations that stem from different theoretical assumptions. Otherwise, PP will ultimately fail as a unified theory of cognition. (shrink)