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

The basic principles of scientific research from the great French physiologist whose contributions in the 19th century included the discovery of vasomotor nerves; nature of curare and other poisons in human body; more.

This article examines whether and how the participation of women in the firm’s board of directors and senior management enhances financial performance. We use the Fama and French (1992, 1993) valuation framework to take the level of risk into consideration, when comparing firm performances, whereas previous studies used either raw stock returns or accounting ratios. Our results indicate that firms operating in complex environments do generate positive and significant abnormal returns when they have a high proportion of women officers. Although (...) the participation of women as directors does not seem to make a difference in this regard, firms with a high proportion of women in both their management and governance systems generate enough value to keep up with normal stock-market returns. These findings tend to support the policies currently being discussed or implemented in some countries and organizations to foster the advancement of women in business. (shrink)

Prince-évêque de Strasbourg de 1704 à 1749, Gaston de Rohan devient en 1713, par la volonté de Louis XIV, grand aumônier de la Cour, un an après avoir été promu au cardinalat. Dès lors, le prélat se voit investi de la mission de mettre fin à la querelle jansé- niste. Il s’y emploie avec efficacité dans son diocèse, mais ne peut résoudre la crise à l’échelle nationale.

Due to the COVID-19 pandemic having radically changed the way we now work, many recent studies have focused on employees’ experiences and well-being, their performance and job satisfaction, and ways to ensure the best support for them when working from home. However, less attention has been given to managers’ experiences in adapting to the new role of distance management and supporting them with this transition. This study aims to explore how managers experienced distance management, and the perceived organizational support, and (...) the effect of organizational support has on their JSA during the first year of the COVID-19 pandemic. Data from 1,016 line, middle and top managers in Danish workplaces were collected in March 2021, 1 year after the start of the COVID-19 pandemic. We applied descriptive statistics, ANOVA, and partial least square structural equation modeling to investigate the relation of perceived organizational support and the JSA of distance managers. Control variables were the respondents’ demographic characteristics, specifically gender, age, and management level. The study offers insights into the managerial experiences of becoming a distance manager, helps to understand the relationship between POS and managers’ JSA, and shows a positive relationship similarly for the managers as for employees. The study shows that most managers found their work as distance managers more demanding and worked more hours. The data demonstrate that managers received the most support from their own employees and manager peers, whereas administrative support was largely lacking. The data also show that the majority of the managers prefer to manage from the office, but similarly, they can continue managing from a distance if needed post-pandemic. The study adds to the literature on workplaces’ transitioning to distance management and hybrid work and contributes to understanding the role of POS and managers’ JSA during this transition. Consequently, if an organization aims to offer hybrid work, improving support from top management and in-house support functions would help maintain or increase managers’ JSA. (shrink)

We discuss the finite-to-one Rudin-Keisler ordering of ultrafilters on the natural numbers, which we baptize the Rudin-Blass ordering in honour of Professor Andreas Blass who worked extensively in the area. We develop and summarize many of its properties in relation to its bounding and dominating numbers, directedness, and provide applications to continuum theory. In particular, we prove in ZFC alone that there exists an ultrafilter with no Q-point below in the Rudin-Blass ordering.

This article analyses the conditions of formation of the concept of “race” in natural history in the middle of the eighteenth century. Relying on the method of historical epistemology to avoid some of the aporias raised by the traditional historiography of “racism”, it focuses on the peculiarities of the concept of “race” in contrast to other similar concepts such as “variety”, “species” and tries to answer the following questions: to what extent the concept of “race” was integrated in natural history’s (...) discourses before the middle of the eighteenth century? To which kind of concepts and problems was it linked and to which style of reasoning did it pertain? To which conditions could it enter natural history and develop in it? The article argues that “race” pertained to a genealogical style of reasoning which was largely extraneous to natural history before the middle of the eighteenth century. Natural history was rather dominated by a different style of reasoning, a logical and classificatory style, whose principles and concepts were strong obstacles to the development of a concept of “race”. To understand how the concept of “race” developed in natural history, one should understand how the genealogical style of reasoning entered natural history and modified the very principles of classification that organized it. I try to establish that it is through Buffon and some of the main authors of the “monogenist” tradition that the most fundamental conditions for the integration of a genealogical style of reasoning and the development of a concept of “race” are met. To put it clearly, in contrast to many scholars’ analysis – and following some intuitions of P.R Sloan – I argue that Buffon in particular, and monogenism in general, were decisive in the integration and development of the concept of “race” in natural history. (shrink)

Journal Name: Semiotica Issue: Ahead of print.

Este artigo analisa a questão do referencial físico, especialmente no que concerne às condições de aplicação das leis físicas em situações onde é possível a reprodução dos fenômenos. Mostra-se, em vários casos, que as considerações de simetria e as transformações de invariância desempenham um papel fundamental na ciência física e impõem severas restrições à forma de suas leis e princípios.

La première édition, accompagnée d’une traduction française annotée, du témoignage des Communia logice sur l’abstraction, en fait la double abstraction, et la séparation - un thème philosophique dans la mouvance de Métaphysique, E, 1 notoirement présent, on l’a vu, à la même époque chez Thomas d’Aquin - est ici précédée d’une étude d’histoire littéraire et doctrinale de cette compilation exégétique de questions sur la logique contenue dans un manuscrit ayant appartenu à Pierre de Limoges, maître à la Faculté des arts (...) de l’Université de Paris au plus tard en 1260-1261 et peut-être responsable de l’insertion inattendue ainsi que de la structuration par amalgame dudit témoignage, en forme de débat sur le sujet des sciences mathématiques, dans le commentaire sur le prédicament de la quantité dans les Catégories. (shrink)

RÉSUMÉ Cet article offre la première édition du début des Communia logic e, une substantielle compilation didascalique issue de la Faculté des arts de l’Université de Paris au milieu du xiiie siècle et contenue dans un manuscrit légué par maître Pierre de Limoges à l’ancienne bibliothèque de la Sorbonne. Après une présentation générale et avant des précisions sur la Ratio edendi, l’étude doctrinale qui précède cette édition montre comment l’auteur-compilateur des Communia logic e répond — en le reformulant — au (...) célèbre questionnaire porphyrien relatif aux universaux. ABSTRACT This article offers the first edition of the beginning of the Communia logic e, a substantial didascalical compilation emanating from the Arts faculty of the University of Paris during the first half of the thirteenth century and preserved in a manuscript bequeathed by master Peter of Limoges to the old library of the Sorbonne. After a general presentation and before some clarifications on the Ratio edendi, the doctrinal study which precedes this edition shows how the author-compiler of the Communia logic e answers — while reformulating it — to the well known porphyrian set of questions about the universals. (shrink)

Résumé Étude préliminaire à la nouvelle édition critique et à la traduction inédite offertes, dans ce numéro thématique, du début de la Logica « Ingredientibus » : Super Porphyrium d’Abélard, cet article opère d’abord un survol d’ensemble du texte, avec insistance sur l’exposé relatif aux universaux, et approfondit ensuite trois points de doctrine difficiles, sur lesquels l’historiographie récente a parfois hésité ou buté : la troisième signification des noms universels ; la conception prisciano-platonicienne de la pensée divine ; l’univocité de (...) la notion de status. Ce faisant, quant aux thèmes de l’intellection et de l’abstraction en particulier, une attention constante est portée au lien, parfois critique mais toujours fécond, existant entre cette portion de la Logica « Ingredientibus » et sa source principale, l’In « Isagogen » Porphyrii Commentorum Editio secunda de Boèce, dont l’article précédent fournit une présentation, le texte latin révisé et la première traduction française.As a preliminary study to the new critical edition and to the original French translation presented, in this thematic issue, of the first part of Abelard’s Logica “Ingredientibus” : Super Porphyrium, this article first operates a global survey of the text, dwelling upon the account of universals, and then elaborates upon three difficult doctrinal points, somehow problematic in recent historiography : the third signification of universal nouns ; the prisciano-platonic conception of divine thought ; the univocity of the notion of status. So doing, especially in regard to the themes of intellection and abstraction, a constant attention is given to the link, sometimes critical but always fruitful, existing between this portion of the Logica « Ingredientibus » and its main source, Boethius’ In “Isagogen” Porphyrii Commentorum Editio secunda, of which the preceding article offers a presentation, the revised Latin text, and the first French translation. (shrink)

Dossier consacré à ce Florentin de la Renaissance défiant toutes les traditions et tous les savoirs établis, conseiller du prince ou défenseur des libertés du peuple, revendiqué par certains dictateurs comme Mussolini, étudié par des penseurs aussi opposés qu'Aron et Althusser.

American media, in the face of the Grenada invasion ?lockout?; and the Westmoreland/Sharon libel actions, seem to be running scared. No longer are there accusations of ?imperial media,?; as newspapers, radio, and television news consumption decline. Media response is to look to ethics. Media should learn that corporate consciousness is less important in guiding the medium than is service to public or audience.

Le débat actuel sur la pensée structurale soulève diverses questions qui intéressent l'interprétation de la philosophie hégélienne, et particulièrement l'interprétation hégélienne de la psychanalyse.Lucien Sebag estime que l'histoire et la structure représentent deux types d'explications qui se distinguent nettement par leur méthode d'opération tout autant que par les résultats obtenus. On peut conceptualiser, nous dit-il, de deux façons: I) en considérant des conduites individuelles ou collectives dont le compte rendu forme alors un récit. Ce mode de pensée est de type (...) causal. (shrink)

Cet ouvrage, qui est dédié à Karl Jaspers et préfacè par le maître, est une nouvelle édition de l'œuvre parue il y a vingt ans. Son auteur nous affirme aujourd'hui : « J'aurais dû, peut-être, retoucher ce livre. J'y ai pensé mais je ne l'ai pas pu ». Il est sans doute très difficile de récrire une œuvre de jeunesse.Le propos de ce livre est relativement simple; il veut montrer que la philosophic est une illusion, parce qu'elle repose sur une (...) décision du sujet qui se cherche à travers les objets qu'il examine. Il y aurait, à la base de l'entreprise philosophique une « duplicité fondamentale », de telle sorte que cette discipline ne peut aller que d'échec en échec. « Pour la clarté même de l'intelligence, il faut qu'elle sache oû ses preuves sont impossibles. Or, l'histoire me semble avoir démontré que la philosophic n'atteint pas à l'évidence scientifique ». (shrink)

Tennessee State University's coach of women's track and field reflects on his life, career, and experience as a coach for the 1960, 1964, and 1980 summer Olympics.