We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

The world of work has been severely affected by the COVID-19 pandemic due to the high instability observed in the labor market, bringing several new challenges for leaders and employees. The present study aims to analyze the role of organizational and job resources in predicting employees’ job insecurity during the first wave of the COVID-19 outbreak, through the mediating role of work engagement. A sample of 207 Portuguese employees participated, of which 64.7% were women. Data was collected using an online (...) survey, including self-report measures of organizational resources, job resources, job insecurity, and work engagement. Data showed that job and organizational resources negatively influenced job insecurity. Moreover, work engagement was a significant mediator of the relation between performance feedback and job insecurity. Findings suggest that investing in job and organizational resources can act as protective factors to minimize feelings of job insecurity. Likewise, leaders should foster work engagement among employees to help them balance the relation between these resources and job insecurity, especially in crisis situations. Overall, this study takes a new, underexplored perspective, theoretically bridging organizational and job resources with job insecurity and work engagement during a time of great uncertainty, such as the COVID-19 pandemic. (shrink)

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

The purpose of this study is to examine the relationship between the corporate social performance of an organization and three variables: the size of the organization, the financial performance of the organization, and the environmental performance of the organization. By empirically testing data from 1987 to 1992, the results of the study show that a firm's corporate social performance is indeed impacted by the size of the firm, the level of profitability of the firm, and the amount of pollution emissions (...) released by the firm. (shrink)

Social evolution theory conventionally takes an externalist explanatory stance, treating observed cooperation as explanandum and the positive assortment of cooperative behaviour as explanans. We ask how the circumstances bringing about this positive assortment arose in the first place. Rather than merely push the explanatory problem back a step, we move from an externalist to an interactionist explanatory stance, in the spirit of Lewontin and the Niche Construction theorists. We develop a theory of ‘social niche construction’ in which we consider biological (...) entities to be both the subject and object of their own social evolution. Some important cases of the evolution of cooperation have the side-effect of causing changes in the hierarchical level at which the evolutionary process acts. This is because the traits that act to align the fitness interests of particles in a collective can also act to diminish the extent to which those particles are bearers of heritable fitness variance, while augmenting the extent to which collectives of such particles are bearers of heritable fitness variance. In this way, we can explain upward transitions in the hierarchical level at which the Darwinian machine operates in terms of particle-level selection, even though the outcome of the process is a collective-level selection regime. Our theory avoids the logical and metaphysical paradoxes faced by other attempts to explain evolutionary transitions. (shrink)

A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons (“If a polygon is divided into polygonal parts in any given way, then the union of all but one of these parts is not equivalent to the given polygon”). We formulate an abstract version of this postulate and derive it from some (...) selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5 (“The whole is greater than the part”), and analyze its logical relation to the former proposition. These results prove to be relevant for the clarification of some key conceptual aspects of Hilbert’s proof of De Zolt’s postulate, in his classicalFoundations of Geometry(1899). Furthermore, our abstract treatment of this central proposition provides interesting insights for the development of a well-behaved theory ofcompatiblemagnitudes. (shrink)

A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciaisválidas são aquelas com análogas universais válidas. Aqui, mostramos que istorealmente é assim quando corretamente interpretado: toda validade ex- istencial possuiuma análoga universal simples, que também é válida. Também caracterizamos validadesuniversais e existenciais em termos de tautologias.

Veloso-Pereira-Haeusler_On-what-there-must-be.

This paper analyzes the theory of area developed by Euclid in the Elements and its modern reinterpretation in Hilbert’s influential monograph Foundations of Geometry. Particular attention is bestowed upon the role that two specific principles play in these theories, namely the famous common notion 5 and the geometrical proposition known as De Zolt’s postulate. On the one hand, we argue that an adequate elucidation of how these two principles are conceptually related in the theories of Euclid and Hilbert is highly (...) relevant for a better understanding of the respective geometrical practices. On the other hand, we claim that these conceptual relations unveil interesting issues between the two main contemporary approaches to the study of area of plane rectilinear figures, i.e., the geometrical approach consisting in the geometrical theory of equivalence and the metrical approach based on the notion of measure of area. Finally, in an appendix logical relations among equivalence, comparison and addition of magnitudes are examined schematically in an abstract setting. (shrink)

Following promulgation of the Nuremberg code in 1947, the ethics of research on human subjects has been a challenging and often contentious topic of debate. Escalation in the use of research participants in low-income countries over recent decades , has intensified the debate on the ethics of international research and led to increasing attention both to exploitation of vulnerable subjects and to considerations of how the 10:90 gap in health and medical research could be narrowed. In 2000, prompted by the (...) discussions over several years that led to the US NIH launching a capacity building programme on research ethics for members of research ethics committees in developing countries, we advanced a ‘new look’ for the ethics of international research.1 Since then progress has been made on several fronts.First, our ideas—considered somewhat radical and impractical at the time—have been provocatively addressed by scholars who have either contested them or advanced similar conceptions of what obligations international researchers have to research participants and communities in low income countries before, during and after clinical trials. Second, those researchers who have been sympathetic to our ideas have either endeavoured to put these into practice or have investigated the feasibility of doing so. Third, the intractability of the 10/90 gap and the escalation of interest in global health have sensitised many to the need to amplify the uptake of these ideas in practice.Here, we briefly review the conceptual and practical developments in international research ethics. While much conceptual progress has been made (and the concepts are now appearing …. (shrink)

table ronde du Centre national de la recherche scientifique, Paris, 27-29 mars 1979. Huygens et la France (Paris, Vrin, 1981, p. 99-114) CHRISTIAAN HUYGENS VU PAR LEIBNIZ par Albert HEINEKAMP (*) (Leibniz-Archiv, Hannover) Les ...

Autobiographical memory and the self are closely linked. AM retrieval in depression is characterized by a lack of specificity, suggesting an impairment of episodic AM. Autonoetic consciousness and self-perspective, which are critical to episodic AM, have never been addressed in depression. Twenty-one depressed inpatients and 21 matched controls were given an episodic AM task designed to assess positive and negative memories regarding specificity, autonoetic consciousness , and self-perspective . For specificity, “remember”, and “field” responses, ANOVAs revealed a main group effect (...) and a group × valence interaction. Between groups, patients showed lower scores than controls for positive memories. Within groups, patients showed greater scores for negative memories, and controls showed greater scores for positive memories. There is a global episodic AM impairment of positive memories in depression regarding specificity, autonoetic consciousness, and self-perspective. Our results suggest new cognitive interventions to improve the self-relevance of positive memories in depression. (shrink)

The justification for advance directives is grounded in the notion that they extend patient autonomy into future states of incompetency through patient participation in decision making about end-of-life care. Four objections challenge the necessity and sufficiency of individual autonomy, perceived to be a defining feature of liberal philosophical theory, as a basis of advance care planning. These objections are that the liberal concept of autonomy (i) implies a misconception of the individual self, (ii) entails the denial of values of social (...) justice, (iii) does not account for justifiable acts of paternalism, and (iv) does not account for the importance of personal relationships in the advance care planning process. The last objection is especially pertinent in light of recent empirical research highlighting the importance of personal relationships in advance care planning. This article examines these four objections to autonomy, and the liberal theoretical framework with which it is associated, in order to re-evaluate the philosophical basis of advance care planning. We argue that liberal autonomy (i) is not a misconceived concept as critics assume, (ii) does not entail the denial of values of social justice, (iii) can account for justifiable acts of paternalism, though it (iv) is not the best account of the value of personal relationships that arise in advance care planning. In conclusion, we suggest that liberalism is a necessary component of a theoretical framework for advance care planning but that it needs to be supplemented with theories that focus explicitly on the significance of personal relationships. (shrink)