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 aim of this work is twofold. First, we survey the techniques developed in Perthame and Zubelli (Inverse Probl 23(3):1037–1052, 2007 ), Doumic et al. (Inverse Probl 25, 2009 ) to reconstruct the division (birth) rate from the cell volume distribution data in certain structured population structured population models. Secondly, we implement such techniques on experimental cell volume distributions available in the literature so as to validate the theoretical and numerical results. As a proof of concept, we use the experimental (...) data experimental data reported in the classical work of Kubitschek (Biophys J 9(6):792–809, 1969 ) concerning Escherichia coli in vitro experiments measured by means of a Coulter transducer-multichannel analyzer system (Coulter Electronics, Inc., Hialeah, FL, USA). Despite the rather old measurement technology, the reconstructed division rates still display potentially useful biological features. (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)
Attitudinal- and stress theory are used to investigate the effect of ethical climate on job outcomes. Responses from 208 service employees who work for a country health department were used to test a structural model that examines the process through which ethical climate (EC) affects turnover intention (TI). This study shows that the EC-TI relationship is fully mediated by role stress (RC), interpersonal conflict (IC), emotional exhaustion (EE), trust in supervisor (TS), and job satisfaction (JS). Results show that EC reduces (...) (RS) and increases TS. Lower stress levels result in lower EE, higher JS, and lower TI. Also, supervisor trust (TS) reduces IC and EE. The structural model predicts 53.9% of the variance of TI. (shrink)
Leaders play a critical role in setting the tone for ethical climate in organizations. In recent years, there has been an increased skepticism about the role played by corporate executives in developing and implementing ethics in business practices. Sales and marketing practices of businesses, particularly in the pharmaceutical industry, have come under increased scrutiny. This study identifies a type of leadership style that can help firms develop an ethical climate. Responses from 333 salespeople working for a North American subsidiary of (...) an international pharmaceutical company were used to analyze the impact of instrumental leadership on ethical climate. We also examined the effect of ethical climate on effort, satisfaction with the supervisor, and job satisfaction. Managerial implications are provided. (shrink)
When visual attention is directed away from a stimulus, neural processing is weak and strength and precision of sensory data decreases. From a computational perspective, in such situations observers should give more weight to prior expectations in order to behave optimally during a discrimination task. Here we test a signal detection theoretic model that counter-intuitively predicts subjects will do just the opposite in a discrimination task with two stimuli, one attended and one unattended: when subjects are probed to discriminate the (...) unattended stimulus, they rely less on prior information about the probed stimulus’ identity. The model is in part inspired by recent findings that attention reduces trial-by-trial variability of the neuronal population response and that they use a common criterion for attended and unattended trials. In five different visual discrimination experiments, when attention was directed away from the target stimulus, subjects did not adjust their response bias in reaction to a change in stimulus presentation frequency despite being fully informed and despite the presence of performance feedback and monetary and social incentives. This indicates that subjects did not rely more on the priors under conditions of inattention as would be predicted by a Bayes-optimal observer model. These results inform and constrain future models of Bayesian inference in the human brain. (shrink)
ABSTRACTPeer action coordination has been often studied in terms of its underlying cognitive mechanisms, and little is known about its emotional processes. The aim of the present study was to inves...
The idea that natural selection acts on many levels—and not only at the level of organisms or individual genes—is increasingly accepted among biologists. However, it is not easy to reconcile this idea with the strictly “individualistic” conception of the evolutionary process that has always characterized Darwinian thought. Moreover, the individuality of some forms of life is a vague concept and therefore controversial. This is the case of Candidatus Magnetoglobus multicellularis, whose discovery immediately inspired the following question: Does the concept of (...) individuality have degrees? Alternatively, how far is this structure of prokaryotic cells from deserving to be called an organism? In this article, we propose a new conceptual scheme based on an idea of individuality that is not limited to organisms and that makes sense in terms of Darwinian evolution. In this conceptual scheme, selection at levels above that of the individual organism is interpreted as the evolutionary emergence of higher-level individuality. This proposal may serve as a basis on which to construct a promising hierarchical evolutionary theory. (shrink)
I De las muchas cosas que lleva ya escritas Jorge Riechmann sobre problemas sustantivos relacionados con la crisis ecológica, la última publicada, Cuidar la T(t)ierra, es seguramente la más notable. Y, sin duda, es la aportación más sugerente que ha aparecido por estos pagos al concepto de sostenibilidad y a su práctica en el mundo actual. Se trata de un libro de más seiscientas páginas en el que el lector atento apreciará un montón de cosas que sólo excepcionalmente suelen (...) darse juntas: la .. (shrink)
Through a convenience sample of 260 employees, the study shows how employees' perceptions about corporate citizenship (CC) predict their affective commitment. The study was carried out in Portugal, a high in-group and low societal collectivistic culture. Maignan et al.' s (1999 Journal of the Academy of Marketing Science 27(4), 455-469) construct, including economic, legal, ethical, and discretionary responsibilities was used. The main findings are: (a) contrary to what has been presumed in the literature, the discretionary dimension includes two factors: CC (...) toward employees and toward community; (b) perceptions of CC explain 35% of unique variance of affective commitment; (c) the best predictors are perceptions of economic and legal CC and, mainly, perceptions of discretionary CC toward employees; (d) the perceptions of discretionary CC toward employees are significantly better predictors of affective commitment than are perceptions of economic, ethical, and discretionary CC toward the community; (e) perceived inconsistency of the several CC dimensions is detrimental to employees' affective commitment. The study questions the four-dimensional model of the CC construct as operationalized by Maignan et al., suggests that culture should be included as a moderating variable in future research, and stresses that affective commitment may decrease when employees perceive that their organizations act upon the several areas of CC inconsistently. (shrink)
UnoTal como lo destaca Antonio Elizalde en la presentación del libro “Ampliando el Arco Iris”, escrito por varias manos, mentes y corazones, el Arco Iris ya parece una serie o una saga, para usar una palabra con más historia y más fina, acorde con la riqueza editorial de una obra que ya llega a la tercera versión. El primer libro, publicado en 1988, hubo de llamarse La Fuerza del Arco Iris, muy a tono con un Chile que en esos años (...) desplegaba una acción social que quería apurar el alba luego d.. (shrink)
La emancipación de las colonias latinoamericanas fue un proceso que tuvo la influencia directa del liberalismo europeo, cuyo contenido ideológico formó parte primordial de la base que sirvió para organizar los Estados, los regímenes políticos y la construcción civil de estas jóvenes naciones. Sin embargo, este pensamiento se desarrolló de manera diferente y tuvo adaptaciones diversas en cada una de ellas, debido a que poseían necesidades y realidades diferentes.Pues bien, este tema correspond..
Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)
Deep learning is increasingly being used as a component of geoscience workflows for processing and interpreting seismic data. Training a supervised deep learning network is a data-hungry task: Lots of data examples are needed and they must include labels. The data examples and their labels must have consistent patterns for the deep learning network to learn. Too few examples and/or poor-quality labels can lead to poor deep learning training results. One method to provide large quantities of training examples with high-quality (...) labels is to create synthetic data. We discuss our techniques and experiences with our ongoing use of synthetic seismic data. We share our techniques as an open-source project concurrent with this paper at https://github.com/tpmerrifield/synthoseis. We hope that the geoscience community will share our enthusiasm for developing deep learning geoscience tools and for including synthetic seismic data in supervised deep learning training. We invite contributions from the geoscience community using the open-source model to collectively reduce the realism gap between synthetic data and field seismic data. (shrink)
Enseñan los estudiosos del Talmud que los Profetas no profetizan en contra de algo que acontecerá de modo inexorable. Por el contrario lo hacen en contra de algo que sucederá si no somos capaces de rectificar el rumbo de nuestras vidas. Rectificar el rumbo mientras sea posible, recuperar la realidad, recuperar la vida de todos como condición indispensable de posibilidad y racionalidad de cualquier forma de existencia social, es el llamado secularmente profético que formula Franz Hinkelammert ..
Customer orientation (CO) and the development of long-term relationships with customers are known conditions for growth and profit sustainability. Businesses use special treatments, inducements, and personal gestures to show their appreciation to customers. However, there are concerns about whether these inducements really create the right perceptions in customer's mind. This study suggests that when customers believe that the firm is ethical, the inducements and special treatments received are seen in a positive light and can help develop loyalty. The hypotheses were (...) tested with responses from 299 customers of financial institutions in Chile. Results support the hypotheses that firm's ethical reputation helps in retaining customers. Managerial implications are provided. (shrink)
O artigo se propõe apresentar alguns elementos da cosmovisão umbandista para que possamos entender de que maneira esta legitima e ressignifica os espaços de inclusão social de parte da população brasileira. Esta cosmovisão recria e dá sentido às vidas e identidades das pessoas e, ao mesmo tempo, evidencia as exclusões sofridas ao longo das décadas. O texto busca uma compreensão dessas dinâmicas antropológicas e sociológicas baseado em algumas teorias que se debruçaram sobre a umbanda. Desde cedo afrodescendentes transitam entre universos (...) simbólicos distintos e lançam mão de sua espiritualidade para reelaborarem suas tradições criando possibilidades de jogar com papéis e identidades diversas. A Umbanda, por ser constitutivamente plural, é, muitas vezes, julgada por não ter identidade própria. Por isso alguns elementos que compõem o arranjo da cosmovisão umbandista foram levantados na expectativa de apresentar um eixo compreensivo dessa identidade religiosa. Entretanto, faz-se necessário apontar traços marcantes da Umbanda justamente para que seu caráter identitário não fique à margem de outras denominações religiosas afro-brasileiras. Palavras-chave : Umbanda. Espiritualidade. InclusãoThis article presents some elements of Umbanda worldview to a better understanding of how this religion legitimizes and reframes the spaces of social inclusion of a portion of the Brazilian population. This worldview recreates and gives meaning to the lives and identities of people and at the same time, highlights the exclusions suffered by this people over the decades. Since their early years, Brazilian Afrodescendants move between different symbolic universes and use their spirituality to redesign their traditions, creating possibilities to play with different roles and identities. Umbanda, being constitutively plural, is often judged not to have its own identity. Thus, some elements that comprise Umbanda worldview were raised with the purpose of presenting an axis understanding of this religious identity. However, it is necessary to point out some relevant features of Umbanda, so that their identity features do not stay on the sidelines of other african Brazilian religious denominations.Finally, it seeks an understanding of these anthropological and sociological dynamics, based on some theoretical currents that investigate the Umbanda. Keywords : Umbanda. Spirituality. Inclusion. (shrink)
El presente libro constituye una interesante propuesta para enfrentar el estudio del pasado de una manera distinta a la historiografía tradicional, a la cual se la ha criticado muchas veces por su escritura compleja y por la escasa empatía que las investigaciones generan con el lector que no es especialista en este tipo de conocimientos. Es por esto que, y al igual que lo realizado en XIX Historias del siglo diecinueve chileno, los autores del texto presentan una serie de artículos (...) en los que.. (shrink)
Para un historiador, el contar, escribir o investigar le implica un viaje por el tiempo hacia el pasado, para el cual utiliza como medios de transporte diversos tipos de fuentes que le ayudan a aproximarse a diversos episodios de épocas pretéritas. Aunque esto se lea como algo bastante obvio, una buena parte de ellos optan por privilegiar los documentos para su travesía, siendo pocos los que acuden a la memoria y a las experiencias personales de otras personas con la idea (...) de recurrir al testi.. (shrink)