This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical (...) sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement. (shrink)

In his 1995 book Colour vision (New York: Routledge), Evan Thompson proposes a new approach to the ontology of color according to which it is tied to the ecological dispositions-affordances described by J.J. Gibson and his followers. Thompson claims that a relational account of color is necessary in order to avoid the problems that go along with the dispute between subjectivists and objectivists about color, but he claims that the received view of perception does not allow a satisfactory relational account (...) of color. Hence to avoid the problems of the subjectivist/objectivist dispute one must abandon the received view of perception. I describe an account which is similar to Thompson's, but which invokes instead the physical dispositional properties described by the received view. All of the distinguishing characteristics that Thompson claims separate his ecological dispositions from physical dispositions are in fact found in the physical dispositions appealed to by my proposed theory. Because my proposed theory is similar to subjectivism, Thompson's departure from the received view is not as radical as he claims. In a final section I describe the a posteriori manner in which a substantive departure from the received view must be carried out by describing an example of ecological experimentation. (shrink)

Although Schütz’s relationship with the Austrian school of economics was an intimate one, Lavoie and other Austrian scholars have challenged (a) Schütz’s characterization of praxeology as an objective science of subjective phenomena and (b) the ability of Schütz’s phenomenology, which emphasizes the subjective meanings of actors, to really make sense of spontaneous social orders. It is my contention, however, that Schütz can be adequately defended against both these charges. First, for Schütz, the claim that social science is an objective science (...) of subjective phenomena need not imply apodictic apriorism nor solipsism. Second, in spite of his emphasis on subjective meanings, the study of spontaneous social orders need not be difficult to justify. (shrink)

In the past half century, the theory of the firm has become a specific and prolific research field. However, the social ontology of this central institution of capitalism has never truly been the subject of investigation. I consider this negligence harmful for organizational economics and management and, more broadly, for the social sciences, notably because the first and central question raised by the theory of the firm relates to its nature: What is a firm? For this reason, I propose some (...) novel considerations for a social ontology of the firm by focusing on social emergence, reconstitution, the two-level institutional logic of the firm, complex organizational dynamics and interacting mechanisms, and power. (shrink)

One is occasionally reminded of Foucault's proclamation in a 1970 interview that "perhaps, one day this century will be known as Deleuzian." Less often is one compelled to update and restart with a supplementary counter-proclamation of the mathematician, David Lindley: "the twenty-first century would be a Bayesian era..." The verb tenses of both are conspicuous. // To critically attend to what is today often feared and demonized, but also revered, deployed, and commonly referred to as algorithm(s), one cannot avoid the (...) mathematical and philosophical legacies of probability. // But attending to these probabilistic or Bayesian legacies must include an undeniable theological legacy in which they remain entangled. // We are not, today, discovering quirky theological metaphors in contemporary technics. It's the other way around. The technologies are mere metaphors of past theologies. (shrink)

Ideology can be understood as a type of cultural system, a set of interrelated meanings that are symbolically mediated through semiotic devices such as metaphors. Ideologies underlie social orders as well as help people make sense of their environment and decide on courses of action. While much has been said about ideology, little has been written on the sources of ideological change beyond pointing to ideological entrepreneurship. Even less has been written on the relationship between violent and disruptive social movements (...) and ideology beyond pointing to the ideological motivations for the movements. We contend that extreme protests are often triggered by an ideological crisis, that is, an intolerable disconnection between the ideology adopted by some group and the current circumstances or, alternatively, an inability of their ideology to make sense of their current situation. Moreover, extreme protests are a form of ideological work, as they are often sources of ideological inspiration, development, and change. (shrink)

The supreme Roman epic and the greatest poem in Latin, the Aeneid has inspired many of the great European poets including Dante and Milton. The Trojan hero Aeneas, after surviving the sack of Troy, makes his way to the West, urged on by benevolent deities and following a destiny laid down by Jupiter, but harassed and impeded by the goddess Juno. He wins his way to Italy despite many trials, of which the greatest is the tragic outcome of his love (...) affair with Dido, Queen of Carthage. In Italy Aeneas visits the world of the dead, and is forced to wage a fearful war with the indigenous Italian tribes before he can found his city and open the history of Rome. The Aeneid survives as a poem not only of Roman imperialism but also of the whole world of human passion, duty and suffering. ABOUT THE SERIES: For over 100 years Oxford World's Classics has made available the widest range of literature from around the globe. Each affordable volume reflects Oxford's commitment to scholarship, providing the most accurate text plus a wealth of other valuable features, including expert introductions by leading authorities, helpful notes to clarify the text, up-to-date bibliographies for further study, and much more. (shrink)

This paper argues that in order to understand West Indian economic underdevelopment, the saliency of the informal institutions that emerged during its colonial period and the effect these institutions have had on the emergence of a local entrepreneurial class can not be discounted. British colonial occupation, I contend, gave rise to two persistent informal institutions that have affected development: a belief in the ability and responsibility of government to direct the economy and pessimism regarding the possibility of entrepreneurial success. Relying (...) on Schumpeter’s discussion of the importance of entrepreneurs to economic development and North’s work on informal institutions, I examine how the poverty of entrepreneurs in the region and the cultures of corruption, privilege and intervention that evolved as a result of the region’s colonial experiences have hampered past efforts at development.Cet article soutient qu’afin de comprendre le sous-développement économique des Caraïbes, il est important de ne pas négliger la prédominance des institutions informelles qui ont émergé durant la période coloniale et l’influence que ces institutions ont eue sur l’émergence d’une classe entrepreneuriale locale. L’occupation coloniale britannique, selon l’auteur, a donné naissance à deux institutions informelles persistantes qui ont affecté le développement : une conviction dans la capacité et la responsabilité du gouvernement à diriger l’économie et un pessimisme vis-à-vis de la possibilité de succès entrepreneuriaux. En se fondant sur la théorie Schumpeterienne sur le rôle de l’entrepreneur dans le développement économique et sur les travaux de North concernant les institutions informelles, l’auteur examine comment la rareté des entrepreneurs dans la région et la corruption, les privilèges et les interventions qui ont évolué en résultat des expériences coloniales de la région, ont entravé les efforts de développement dans le passé. (shrink)

Perhaps nowhere better than, "On the Names of God," can readers discern Laclau's appreciation of theology, specifically, negative theology, and the radical potencies of political theology. // It is Laclau's close attention to Eckhart and Dionysius in this essay that reveals a core theological strategy to be learned by populist reasons or social logics and applied in politics or democracies to come. // This mode of algorithmically informed negative political theology is not mathematically inert. It aspires to relate a fraction (...) or ratio to a series ... It strains to reduce the decided determinateness of such seriality ever condemned to the naive metaphysics of bad infinity. // It is worth considering that it is the specific 'number' of Dionysius in differential identification with an ineffable god (and, as such, a singular becoming between theology and numbers) that is floating in at least two dimensions [of signification] (be it political Demand on the horizontal dimension or theological Desire on [a] floating dimension) that cannot but *perform the link that relinks* names of god with any political life, populist reason, social justice, or radical democracy straining toward peace. (shrink)

Practical and conceptual, the Responsible Research and Innovation set of books contributes to the clarification of this new requirement for all sciences and technological innovation. It covers the multiple and international responsibilities, by using various philosophical resources, mostly discussing the following topics: ethics, contingency, normative economy, freedom, corporate social responsibility (CSR), participative technological evaluation, sustainable development, geoengineering, the precautionary principle, standards, interdisciplinarity, and climate management. The ethics of efficiency must be considered with regard to the logic of action or to (...) economic, political, legal or scientific systems. This book presents a question on the central theme of responsible research and innovation (RRI), which has an ethical influence on effective logics. The issue is to question the opportunity and modularities of an ethical effective influence on the logics of efficiency of research and innovation. From the distinction of efficiency and effectiveness, lies the problem of efficacy, the ethical accord between the two. Thus appears the possibility of taking effective responsibility with respect to systematic injustices potentially linked to this efficiency. This book proposes categories to understand the ethical implications of research and innovation processes, under the aspect of their efficacy. (shrink)

Première partie. De la question des mondes possibles aux présuppositions de la méta-éthique -- Deuxième partie. Différenciation logique et connaissance morale -- Troisième partie. Un paradigme pour penser les droits.

Shepard's general approach provides little specific information about the implementation of laws in brains. Theories that turn on an isomorphism between some domain and the brain, of which Shepard's is one, do not provide specific detail about the implementation of the structures they propose. But such detail is a necessary part in an explanation of mind. [Shepard].

La science économique a toujours été réticente à l’égard du concept de pouvoir, qui ne saurait être opérationnalisé dans les modèles microéconomiques et qui justifierait des rationalisations ex post. Pourtant, le pouvoir est un vecteur d’institutionnalisation sociale que les économistes se doivent d’intégrer pour faire de la firme un objet de recherche de l’économie politique et réaliser de nouveaux progrès explicatifs. Partant, l’article ambitionne de proposer une analyse méthodologique renouvelée du pouvoir, lequel implique une structure collective tout en reposant sur (...) des individus acteurs. Fort de cette clarification conceptuelle, un essai de définition du pouvoir dans la firme est proposé : le pouvoir est la capacité latente (qui sera ou non exercée) d’une entité A à contraindre et à dessiner les choix d’une entité B de telle sorte que le comportement et les actions de B soient orientés dans un sens favorable à A, et ce par des mécanismes intrinsèques à la relation socioéconomique qui peuvent être formels ou informels. Une telle définition du pouvoir permet de reconsidérer l’agir transformatif dans la firme et de lier le pouvoir aux dispositifs relationnels des organisations du capitalisme. (shrink)

This essay is an exegetical work, the primary intention of which is to present and interpret Hegel’s notion of the “understanding” in the first chapter of his Phenomenology of Spirit. The presentation and interpretation at hand takes as its starting point the work of Slavoj Žižek, who the author feels has begun a new and exciting era of scholarship on Hegel. The overall aim of the essay is modest: to develop the Žižekian reading of Hegel at the micro level. My (...) thesis is that Hegel’s initial development of the “understanding” demonstrates how, from the very first, subjectivity grabs a hold on the incompleteness of reality—a notion that is essential to Žižek’s work. Specifically, I show that the understanding realizes itself, against its will, as an accident of the world, upon which it previously depended for its illusory neutrality. The first chapter of the Phenomenology culminates in the problem of consciousness confronting itself as an accident. Ultimately, I show how Hegel’s accidentality of consciousness, since it is determined by the world, coincides with Žižek’s teaching about the identity of the subject precariously established on the incompleteness of reality. (shrink)