Since the English translation first appeared in 1923, Rudolf Otto's volume has established itself as a classic in the field of religious philosophy. It offers an in-depth inquiry into the non-rational factor in the idea of the divine and its relation to the rational.

There is considerable evidence that the hippocampal system contributes both to (1) the temporary maintenance of memories and to (2) the processing of a particular type of memory representation. The findings on amnesia suggest that these two distinguishing features of hippocampal memory processing are orthogonal. Together with anatomical and physiological data, the neuropsychological findings support a model of cortico-hippocampal interactions in which the temporal and representational properties of hippocampal memory processing are mediated separately. We propose that neocortical association areas maintain (...) shortterm memories for specific items and events prior to hippocampal processing as well as providing the final repositories of long-term memory. The parahippocampal region supports intermediate-term storage of individual items, and the hippocampal formation itself mediates an organization of memories according to relevant relationships among items. Hippocampal-cortical interactions produce (i) strong and persistent memories for events, including their constituent elements and the relationships among them, and (ii) a capacity to express memories flexibly across a wide range of circumstances. (shrink)

Detailed annotation clarifies this translation of a key document in early German Romanticism, which had a significant impact on nineteenth century religious thought after its publication in 1799.

We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem’s theorem, which says that a first-order formula is invariant under bisimulation if, and only if, it is equivalent to a formula of basic modal logic. The present investigation primarily concerns ramifications for specific classes of structures. We study in particular model classes defined through conditions on the underlying frames, with a focus on frame classes (...) that play a major role in modal correspondence theory and often correspond to typical application domains of modal logics. Classical model theoretic arguments do not apply to many of the most interesting classes–for instance, rooted frames, finite rooted frames, finite transitive frames, well-founded transitive frames, finite equivalence frames–as these are not elementary. Instead we develop and extend the game-based analysis over such classes and provide bisimulation preserving model constructions within these classes. Over most of the classes considered, we obtain finite model theory analogues of the classically expected characterisations, with new proofs also for the classical setting. The class of transitive frames is a notable exception, with a marked difference between the classical and the finite model theory of bisimulation invariant first-order properties. Over the class of all finite transitive frames in particular, we find that monadic second-order logic is no more expressive than first-order as far as bisimulation invariant properties are concerned — though both are more expressive here than basic modal logic. We obtain ramifications of the de Jongh–Sambin theorem and a new and specific analogue of the Janin–Walukiewicz characterisation of bisimulation invariant monadic second-order for finite transitive frames. (shrink)

Recent research illustrates substantial gaps between entrepreneurial intentions and behavior. This is a challenge for entrepreneurship promotion interventions that have primarily focused on stimulating entrepreneurial intentions. However, extant literature suggests that implementation intentions enhance the likelihood of acting congruently to the behavioral intention. Furthermore, theory also suggests the condition effects of situations and the perceived control over them. We therefore hypothesized that implementation intentions mediate the relationship between entrepreneurial intention and action, while perceived family support moderates the movement from implementation (...) intention to entrepreneurial action. Using two-wave survey data from a sample of students at an African university, we measured two psychological attributes as important precursors of entrepreneurship and entrepreneurial intentions present before undertaking an innovations and entrepreneurship course. Implementation intentions regarding entrepreneurship, entrepreneurial actions, and perceived parental support for entrepreneurial activities were also measured 2 weeks after completion of the course. Our results demonstrate support for the proposed moderated double mediation model in which the effects of the two psychological attributes on entrepreneurial actions are explained via entrepreneurial intentions and implementation intentions. We further find moderation effects of perceived family support indicating that implementation intentions more likely predicted entrepreneurial actions in cases of higher family support. (shrink)

Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate (...) the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information states, and characterise inquisitive modal logic as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures. (shrink)

Entrepreneurship education is increasingly becoming a focal strategy for promoting entrepreneurship, particularly to foster entrepreneurial intentions and startups. However, learning and support are equally important after startup for novice entrepreneurs to gain a good level of confidence to manage their business and achieve the desired outcomes. Using a sample of 189 young self-employed individuals in Uganda, this study examines the differential impact of mentoring and self-efficacy on the achievement of intangible outcomes of entrepreneurship including satisfaction of need for autonomy, work (...) satisfaction and the intention to stay in self-employment. We found self-efficacy to mediate the effects of mentoring on these intangible outcomes. In addition, the results showed substantial gender differences. Whereas women’s satisfaction of the need for autonomy and intention to stay in self-employment were strongly associated with the direct effects of mentoring, their male counterparts seemed to benefit more if mentoring resulted in increased self-efficacy. Overall, our findings suggest that whereas mentoring improves the competence of small business owners and consequently achievement of superior outcomes, mentoring should also focus on boosting self-efficacy which in turn is essential for the application of the entrepreneurial competencies. (shrink)

Researchers typically attempt to fulfill disclosure and informed consent requirements by having participants read and sign consent forms. The present study evaluated the reading levels of informed consent forms used in psychology research and other fields (medical research; social science and education research; and health, physical education, and recreation research). Two standardized measures of readability were employed to analyze a randomly selected sample (N = 108) of informed consent forms used in Institutional Review Board-approved research projects at a midwestern university (...) during the 1987-1988 academic year. Results indicate that informed consent forms are typically written at a higher reading level than is appropriate for the intended population and that there are no consistently significant differences in readability among areas of research or between college student and noncollege student participants. Due to the unacceptably high reading level of the consent forms, one must question whether participants can comprehend the information contained in the consent forms. (shrink)

We explore the finite model theory of the characterisation theorems for modal and guarded fragments of first-order logic over transition systems and relational structures of width two. A new construction of locally acyclic bisimilar covers provides a useful analogue of the well known tree-like unravellings that can be used for the purposes of finite model theory. Together with various other finitary bisimulation respecting model transformations, and Ehrenfeucht–Fraïssé game arguments, these covers allow us to upgrade finite approximations for full bisimulation equivalence (...) towards approximations for elementary equivalence. These techniques are used to prove several ramifications of the van Benthem–Rosen characterisation theorem of basic modal logic for refinements of ordinary bisimulation equivalence, both in the sense of classical and of finite model theory. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

It is a classical result of Mortimer that $L^2$ , first-order logic with two variables, is decidable for satisfiability. We show that going beyond $L^2$ by adding any one of the following leads to an undecidable logic:– very weak forms of recursion, viz.¶(i) transitive closure operations¶(ii) (restricted) monadic fixed-point operations¶– weak access to cardinalities, through the Härtig (or equicardinality) quantifier¶– a choice construct known as Hilbert's $\epsilon$ -operator.In fact all these extensions of $L^2$ prove to be undecidable both for satisfiability, (...) and for satisfiability in finite structures. Moreover most of them are hard for $\Sigma^1_1$ , the first level of the analytical hierachy, and thus have a much higher degree of undecidability than first-order logic. (shrink)

We provide a canonical construction of conformal covers for finite hypergraphs and present two immediate applications to the finite model theory of relational structures. In the setting of relational structures, conformal covers serve to construct guarded bisimilar companion structures that avoid all incidental Gaifman cliques-thus serving as a partial analogue in finite model theory for the usually infinite guarded unravellings. In hypergraph theoretic terms, we show that every finite hypergraph admits a bisimilar cover by a finite conformal hypergraph. In terms (...) of relational structures, we show that every finite relational structure admits a guarded bisimilar cover by a finite structure whose Gaifman cliques are guarded. One of our applications answers an open question about a clique constrained strengthening of the extension property for partial automorphisms (EPPA) of Hrushovski, Herwig and Lascar. A second application provides an alternative proof of the finite model property (FMP) for the clique guarded fragment of first-order logic CGF, by reducing (finite) satisfiability in CGF to (finite) satisfiability in the guarded fragment, GF. (shrink)

This conversation between two scholars of international law focuses on the contemporary realities of feminist analysis of international law and on current and future spaces of resistance. It notes that feminism has moved from the margin towards the centre, but that this has also come at a cost. As the language of women’s rights and gender equality has travelled into the international policy worlds of crisis management and peace and security, feminist scholars need to become more careful in their analysis (...) and find new ways of resistance. While noting that we live in dangerous times, this is also a hopeful discussion. (shrink)

How can we prove that some fragment of a given logic has the power to define precisely all structural properties that satisfy some characteristic semantic preservation condition? This issue is a fundamental one for classical model theory and applications in non-classical settings alike. While methods differ greatly, and while the classical methods can usually not be matched for instance in the setting of finite model theory, this note surveys some interesting commonality revolving around the use and availability of tractable representatives (...) in the relevant model classes. The construction of models in which simple invariants like partial types based on some weak fragment control all the relevant structural properties, may be seen at the heart of such questions. We highlight some constructions involving degrees of acyclicity and saturation that can be achieved in finite model constructions, and discuss their uses towards expressive completeness w.r.t. bisimulation based equivalences in hypergraphs and relational structures. The emphasis is on the combinatorial challenges in such more constructive approaches that work in non-classical settings and especially in finite model theory. One new result concerns expressive completeness w.r.t. guarded negation bisimulation, a back-and-forth equivalence involving local homomorphisms. (shrink)

We estimate that 208,000 deep brain stimulation (DBS) devices have been implanted to address neurological and neuropsychiatric disorders worldwide. DBS Think Tank presenters pooled data and determined that DBS expanded in its scope and has been applied to multiple brain disorders in an effort to modulate neural circuitry. The DBS Think Tank was founded in 2012 providing a space where clinicians, engineers, researchers from industry and academia discuss current and emerging DBS technologies and logistical and ethical issues facing the field. (...) The emphasis is on cutting edge research and collaboration aimed to advance the DBS field. The Eighth Annual DBS Think Tank was held virtually on September 1 and 2, 2020 (Zoom Video Communications) due to restrictions related to the COVID-19 pandemic. The meeting focused on advances in: (1) optogenetics as a tool for comprehending neurobiology of diseases and on optogenetically-inspired DBS, (2) cutting edge of emerging DBS technologies, (3) ethical issues affecting DBS research and access to care, (4) neuromodulatory approaches for depression, (5) advancing novel hardware, software and imaging methodologies, (6) use of neurophysiological signals in adaptive neurostimulation, and (7) use of more advanced technologies to improve DBS clinical outcomes. There were 178 attendees who participated in a DBS Think Tank survey, which revealed the expansion of DBS into several indications such as obesity, post-traumatic stress disorder, addiction and Alzheimer’s disease. This proceedings summarizes the advances discussed at the Eighth Annual DBS Think Tank. (shrink)

Sexual eukaryotic organisms are characterized by an alternation between haploid and diploid phases. In vascular plants and animals, somatic growth and development occur primarily in the diploid phase, with the haploid phase reduced to the gametic cells. In many other eukaryotes, however, growth and development occur in both phases, with substantial variability among organisms in the length of each phase of the life cycle. A number of theoretical models and experimental studies have shed light on factors that may influence life (...) cycle evolution, yet we remain far from a complete understanding of the diversity of life cycles observed in nature. In this paper we review the current state of knowledge in this field, and touch upon the many questions that remain unanswered. BioEssays 20:453–462, 1998. © 1998 John Wiley & Sons, Inc. (shrink)

Despite the growing interest in perfectionism and its many facets, there is a lack of research on this phenomenon in the context of leadership. Attending to this deficit, the present study is the first to investigate the relationship between the three facets of perfectionism and three types of self-rated leadership behavior. In Study 1, leaders’ perfectionism and its association to their organizational, goal-oriented leadership behavior—self-rated as transactional and transformational leadership—is explored. In Study 2, the relationship of leaders’ perfectionism to their (...) servant leadership as a people-centered leadership behavior is investigated. In line with the perfectionism social disconnection model, we assume other-oriented and socially prescribed perfectionism to be positively related to management by exception and negatively related to transformational and servant leadership, whereas the opposite pattern is primarily predicted for self-oriented perfectionism. Our findings in Study 1 reveal a negative relationship between leaders’ self-oriented perfectionism as well as positive relationships to their other-oriented and socially prescribed perfectionism in management by exception, while no substantial correlations with transformational leadership have emerged. In Study 2, a negative association between other-oriented perfectionism and the forgiveness dimension of servant leadership is revealed, indicating a possible barrier to building interpersonal relationships of acceptance and trust. Additionally, self-oriented perfectionism has been proven to be a rather favorable trait in servant leadership. (shrink)

Abstract2 Enoch 58–59 provides an esoteric and somewhat eccentric delineation of attitudes toward the mistreatment of animals within some sect of Egyptian Judaism, in all probability. Three attitudes, having to do with the mistreatment of animals in failing to feed them properly, the wrongful binding of animals for sacrifice, and possible secret sexual exploitation of animals, are delineated along with warnings regarding the effects of such treatment on the human soul at the great judgment. This linking of how humans treat (...) animals with how humans will be judged in “the great age” is unique in the literature of this period and demonstrates a deep concern for animal welfare that has been largely dormant in many facets of religion until more recent times. (shrink)

We study first-order logic with two variables FO² and establish a small substructure property. Similar to the small model property for FO² we obtain an exponential size bound on embedded substructures, relative to a fixed surrounding structure that may be infinite. We apply this technique to analyse the satisfiability problem for FO² under constraints that require several binary relations to be interpreted as equivalence relations. With a single equivalence relation, FO² has the finite model property and is complete for non-deterministic (...) exponential time, just as for plain FO² With two equivalence relations, FO² does not have the finite model property, but is shown to be decidable via a construction of regular models that admit finite descriptions even though they may necessarily be infinite. For three or more equivalence relations, FO² is undecidable. (shrink)

Much research has been done on the economic effects of self-employment, environmental conditions for entrepreneurial success, as well as attributes if the person him-/herself fits to this career path. To successfully run a business, however, is contingent on the health of the entrepreneur. In particular, small business owners (being solo self-employed without personnel) face financial uncertainties, a high workload, long working hours, and are often unable to call in sick. This study aimed at exploring the working situation considering resources (e.g., (...) autonomy), strain (e.g., dependency on contracts with clients) and health and career outcomes of small business owners. This study used a qualitative approach to comprehensively mirror the working situation. Participants who were 29 small business owners from Germany gave permission for recording expert interviews in which they reported, for example, on health complaints, recovery opportunities, obstacles and resources while running their businesses. The interviews emphasize the meaning of active actions and own responsibility for creating working conditions and enabling autonomy. Small business owners yet have to be able to use the autonomy. Besides personal preferences regarding the career path as being pulled into self-employment and not pushed by situational circumstances also marketability and flexibility played a role and explained health and career issues. Our findings underline that the social network is of utmost importance to small business owners and that social support – even or despite of being solo self-employed – is a key to sustaining health and satisfaction. As voluntariness played an essential role for selecting this specific career path those being pulled into self-employment as no other jobs are available should receive particular support through career counseling. One shortcoming of prior research is that the concrete working situation of small business owners and its impact on health and career has not adequately been taken into account. Based on work-related stress models we developed a frame model specific for the situation of small business owners which allows concrete hypotheses for further quantitative research. (shrink)

The satisfiability problem for the two-variable fragment of first-order logic is investigated over finite and infinite linearly ordered, respectively wellordered domains, as well as over finite and infinite domains in which one or several designated binary predicates are interpreted as arbitrary wellfounded relations. It is shown that FO 2 over ordered, respectively wellordered, domains or in the presence of one well-founded relation, is decidable for satisfiability as well as for finite satisfiability. Actually the complexity of these decision problems is essentially (...) the same as for plain unconstrained FO 2 , namely non-deterministic exponential time. In contrast FO 2 becomes undecidable for satisfiability and for finite satisfiability, if a sufficiently large number of predicates are required to be interpreted as orderings, wellorderings, or as arbitrary wellfounded relations. This undecidability result also entails the undecidability of the natural common extension of FO 2 and computation tree logic CTL. (shrink)

We study the expressive power in the finite of the logic Fixed-Point+Counting, the extension of first-order logic which is obtained through adding both the fixed-point constructor and the ability to count. To this end an isomorphism preserving (`generic') model of computation is introduced whose PTime restriction exactly corresponds to this level of expressive power, while its PSpace restriction corresponds to While+Counting. From this model we obtain a normal form which shows a rather clear separation of the relational vs. the arithmetical (...) side of the algorithms involved. In parallel, we study the relations of Fixed-Point+Counting with the infinitary logics L r ∞ω (∃ ≥ m ) m∈ω and the corresponding pebble games. The main result, however, involves the concept of an arithmetical invariant. By this we mean a functor taking every finite relational structure to an expansion of (an initial segment of) the standard arithmetical structure. In particular its values are linearly ordered structures. We establish the existence of a family of arithmetical invariants (J r ) r≥ 1 with the following properties: $\bullet$ The invariants themselves can be evaluated in polynomial time. $\bullet$ A class of finite relational structures is definable in Fixed-Point+Counting if and only if membership can be decided in polynomial time on the basis of the values of one of the invariants. $\bullet$ The invariant J r classifies all finite relational structures exactly up to equivalence with respect to the logic L r ∞ω (∃ ≥ m ) m∈ω . We also give a characterization of Fixed-Point+Counting in terms of sequences of formulae in the L r ωω (∃ ≥ m ) m∈ω : It corresponds exactly to the polynomial time computable families (φ n ) n∈ω in these logics. Towards a positive assessment of the expressive power of Fixed-Point+Counting, it is shown that the natural extension of fixed-point logic by Lindström quantifiers, which capture all the PTime computable properties of cardinalities of definable predicates, is strictly weaker than what we get here. This implies in particular that every extension of fixed-point logic by means of monadic Lindstrom quantifiers, which stays within PTime, must be strictly contained in Fixed-Point+Counting. (shrink)

Lyndon's Interpolation Theorem asserts that for any valid implication between two purely relational sentences of first-order logic, there is an interpolant in which each relation symbol appears positively (negatively) only if it appears positively (negatively) in both the antecedent and the succedent of the given implication. We prove a similar, more general interpolation result with the additional requirement that, for some fixed tuple U of unary predicates U, all formulae under consideration have all quantifiers explicitly relativised to one of the (...) U. Under this stipulation, existential (universal) quantification over U contributes a positive (negative) occurrence of U. It is shown how this single new interpolation theorem, obtained by a canonical and rather elementary model theoretic proof, unifies a number of related results: the classical characterisation theorems concerning extensions (substructures) with those concerning monotonicity, as well as a many-sorted interpolation theorem focusing on positive vs. negative occurrences of predicates and on existentially vs. universally quantified sorts. (shrink)