As Nelson Goodman highlighted, there are two main senses of “abstract” that can be found in discussions about abstract art. On the one hand, a representation is abstract if it leaves out certain features of its target. On the other hand, something can be abstract to the extent that it does not represent a concrete subject. The first sense of “abstract” is well-known in philosophy of science. For example, philosophers discuss mathematical models of physical, biological, and economic systems as being (...) abstract in this sense. However, it is the second sense that dominates discussions of abstract art in aesthetics. For example, abstract art was (and is) considered revolutionary precisely for being non-figurative. Through an analysis of artists including Kandinsky, Malevich, and Mondrian, we develop a reading of this second sense, which we call “generative abstraction,” as opposed to “subtractive” abstraction. Generative abstraction is a process in which a new artifact is created which does not represent the initial concrete target system that inspired it (if there was one), where the artifact’s features are explored for their own sake, and where the “language” of the new artifact is in some way more “universal.” Focusing on this sense of abstraction is helpful in revealing the complexity of the process of crafting an abstract artifact, in problematizing the notion that abstraction can always be un-done (or concretized), as well as revealing new ways for abstractions to be epistemically (un)successful. (shrink)

The main proposal of this paper is that boundary objects and the trading zones in which they occur are the analogue of pheromone trails in the foraging of a termite colony. The colony can be construed as a _stigmergic_ system where the traces of the actions of individual termites coordinate their further actions without the existence of any central control or planning structures. The coordinated systems approach proposed by this paper lends support to the idea that such a system is (...) minimally cognitive in the sense that it is responsible for goal-directed behaviour. Boundary objects and trading zones in scientific practice play a similar functional role to pheromone traces because they are responsible for the same kind of coordination. This approach therefore provides a cognitive account of the social notions of boundary object and trading zone without making representationalist or computationalist assumptions. Moreover, it is scale-invariant—the same analytical technique can be applied at multiple scales simultaneously. It therefore provides a framework for an understanding of the complementarity of cognitive and social approaches to scientific investigation and points to areas for further ethnographic research. (shrink)

We consider the long-term evolution of science and show how a ‘contagion of disrespect’ – an increasing dismissal of research in subfields associated with marginalized groups – can arise due to the dynamics of collaboration and reputation (versus, e.g., preconceived notions of the field’s worth). This has implications both for how we understand the history of science and for how we attempt to promote diverse scientific inquiry.

The philosophical literatures on models and thought experiments have been developing exponentially, and independently, for decades. This independence is surprising, given how similar models and thought experiments are. They each have “lives of their own,” they sit between theory and experience, they are important for both pedagogy and cutting-edge science, they galvanize conceptual changes and paradigm shifts, and they involve entertaining imaginary scenarios and working out what happens. Recently, philosophers have begun to highlight these similarities. This entry aims at taking (...) the idea further, by trying to systematically identify places where insights from one literature can be taken up in the other. Along the way, important differences will also be highlighted. (shrink)

This is a Review Essay of Neil Levy's Bad Beliefs: Why They Happen to Good People. Oxford: Oxford University Press, 2022 forthcoming in International Studies in the Philosophy of Science. After summarizing the book it focuses on methodological and political issues pertaining to his synthetic philosophy and regulative epistemology.

Abstract:We analyzed co-citation patterns in 332,498 articles published in Anglophone psychology journals between 1946 and 1990 to estimate (1) when cognitive psychology first emerged as a clearly delineated subdiscipline, (2) how fast it grew, (3) to what extent it replaced other (e.g., behaviorist) approaches to psychology, (4) to what degree it was more appealing to scholars from a younger generation, and (5) whether it was more interdisciplinary than alternative traditions. We detected a major shift in the structure of co-citation networks (...) between approximately 1955 and 1975 and draw novel conclusions about the developments commonly referred to as "the cognitive turn.". (shrink)

This paper aims to clarify Merleau-Ponty’s contribution to an embodied-enactive account of mathematical cognition. I first identify the main points of interest in the current discussions of embodied higher cognition and explain how they relate to Merleau-Ponty and his sources, in particular Husserl’s late works. Subsequently, I explain these convergences in greater detail by more specifically discussing the domains of geometry and algebra and by clarifying the role of gestalt psychology in Merleau-Ponty’s account. Beyond that, I explain how, for Merleau-Ponty, (...) mathematical cognition requires not only the presence and actual manipulation of some concrete perceptible symbols but, more strongly, how it is fundamentally linked to the structural transformation of the concrete configurations of symbolic systems to which these symbols appertain. Furthemore, I fill a gap in the literature by explaining Merleau-Ponty’s claim that these structural transformations are operated through motor intentionality. This makes it possible, in turn, to contrast Merleau-Ponty’s approach to ontologically idealistic and realistic views on mathematical objects. On Merleau-Ponty’s account, mathematical objects are relational entities, that is, gestalts that necessarily imply situated cognizers to whom they afford a specific type of engagement in the world and on whom they depend in their eventual structural transformations. I argue that, by attributing a strongly constitutive role to phenomenal configurations and their motor transformation in mathematical thinking, Merleau-Ponty contributes to clarifying the worldly, historical, and socio-cultural aspects of mathematical truths without compromising what we perceive as their universality, certainty, and necessity. (shrink)

The aim of the article is to explore Thomas Kuhn’s notion of “scientific crisis” and indicate some difficulties with it. First, Kuhn defines “crisis” through the notion of “anomaly” but distinguishes these concepts in two different ways: categorically and quantitatively. Both of these alternatives face considerable problems. The categorical definition relies on a distinction between “discoveries” and “inventions” that, as Kuhn himself admits, is artificial. The quantitative definition states that crises are a deeper, more profound type of anomaly. Kuhn, however, (...) does not offer any criteria for objectively defining this “severity” of the crises. The second kind of problem is related to the application of the concept of “crisis.” Apparently, Kuhn attributes crises to individuals as much as to communities. Lastly, there is the problem of the function of crises. In The Structure of Scientific Revolutions, they are presented as a precondition to scientific revolutions. In later articles, however, Kuhn seems to see them only as a common antecedent to revolutions. (shrink)

The history of twentieth-century American psychology is often depicted as a history of the rise and fall of behaviorism. Although historians disagree about the theoretical and social factors that have contributed to the development of experimental psychology, there is widespread consensus about the growing and declining influence of behaviorism between approximately 1920 and 1970. Since such wide-scope claims about the development of American psychology are typically based on small and unrepresentative samples of historical data, however, the question rises to what (...) extent the received view is justified. This paper aims to answer this question in two ways. First, we use advanced scientometric tools to quantitatively analyze the metadata of 119.278 papers published in American journals between 1920 and 1970. We reconstruct the development and structure of American psychology using co-citation and co-occurrence networks and argue that the standard story needs reappraising. Second, we argue that the question whether behaviorism was the ‘dominant’ school of American psychology is historically misleading to begin with. Using the results of our bibliometric analyses, we argue that questions about the development of American psychology deserve more fine-grained answers. (shrink)

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

This article shows how fundamental higher-order theories of mathematical structures of computer science are categorical meaning that they can be axiomatized up to a unique isomorphism thereby removing any ambiguity in the mathematical structures being axiomatized. Having these mathematical structures precisely defined can make systems more secure because there are fewer ambiguities and holes for cyberattackers to exploit. For example, there are no infinite elements in models for natural numbers to be exploited. On the other hand, the 1st-order theories and (...) computational systems which are not strongly-typed necessarily provide opportunities for cyberattack. Cyberattackers have severely damaged national, corporate, and individual security as well causing hundreds of billions of dollars of economic damage. [Sobers 2019] A significant cause of the damage is that current engineering practices are not sufficiently grounded in theoretical principles. In the last two decades, little new theoretical work has been done that practically impacts large engineering projects with the result that computer systems engineering education is insufficient in providing theoretical grounding. If the current cybersecurity situation is not quickly remedied, it will soon become much worse because of the projected development of Scalable Intelligent Systems by 2025 [Hewitt 2019]. Gödel strongly advocated that the Turing Machine is the preeminent universal model of computation. A Turing machine formalizes an algorithm in which computation proceeds without external interaction. However, computing is now highly interactive, which this article proves is beyond the capability of a Turing Machine. Instead of the Turing Machine model, this article presents an axiomatization of a strongly-typed universal model of digital computation up to a unique isomorphism. Strongly-typed Actors provide the foundation for tremendous improvements in cyberdefense. (shrink)