We study the class of ω-categorical structures with n-degenerate algebraic closure for some n ε ω, which includes ω-categorical structures with distributive lattice of algebraically closed subsets , and in particular those with degenerate algebraic closure. We focus on the models of ω-categorical universal theories, absolutely ubiquitous structures, and ω-categorical structures generated by an indiscernible set. The assumption of n-degeneracy implies total categoricity for the first class, stability for the second, and ω-stability for the third.

The weak non-finite cover property (wnfcp) was introduced in [1] in connection with "axiomatizability" of lovely pairs of models of a simple theory. We find a combinatorial condition on a simple theory equivalent to the wnfcp, yielding a direct proof that the non-finite cover property implies the wnfcp, and that the wnfcp is preserved under reducts. We also study the question whether the wnfcp is preserved when passing from a simple theory T to the theory TP of lovely pairs of (...) models of T (true in the stable case). While the question remains open, we show, among other things, that if (for a T with the wnfcp) TP is low, then TP has the wnfcp. To study this question, we describe "double lovely pairs", and, along the way, we develop the notion of a "lovely n-tuple" of models of a simple theory, which is an analogue of the notion of a beautiful tuple of models of stable theories [2]. (shrink)

For a supersimple SU-rank 1 theory T we introduce the notion of a generic elementary pair of models of T . We show that the theory T* of all generic T-pairs is complete and supersimple. In the strongly minimal case, T* coincides with the theory of infinite dimensional pairs, which was used in 1184–1194) to study the geometric properties of T. In our SU-rank 1 setting, we use T* for the same purpose. In particular, we obtain a characterization of linearity (...) for SU-rank 1 structures by giving several equivalent conditions on T*, find a “weak” version of local modularity which is equivalent to linearity, show that linearity coincides with 1-basedness, and use the generic pairs to “recover” projective geometries over division rings from non-trivial linear SU-rank 1 structures. (shrink)

We continue the study of the connection between the “geometric” properties of SU -rank 1 structures and the properties of “generic” pairs of such structures, started in [8]. In particular, we show that the SU-rank of the theory of generic pairs of models of an SU -rank 1 theory T can only take values 1 , 2 or ω, generalizing the corresponding results for a strongly minimal T in [3]. We also use pairs to derive the implication from pseudolinearity to (...) linearity for ω -categorical SU -rank 1 structures, established in [7], from the conjecture that an ω -categorical supersimple theory has finite SU -rank, and find a condition on generic pairs, equivalent to pseudolinearity in the general case. (shrink)

We study expansions of an algebraically closed field K or a real closed field R with a linearly independent subgroup G of the multiplicative group of the field or the unit circle group \\), satisfying a density/codensity condition. Since the set G is neither algebraically closed nor algebraically independent, the expansion can be viewed as “intermediate” between the two other types of dense/codense expansions of geometric theories: lovely pairs and H-structures. We show that in both the algebraically closed field and (...) real closed field cases, the resulting theory is near model complete and the expansion preserves many nice model theoretic conditions related to the complexity of definable sets such as stability and NIP. (shrink)

Given a lovely pair P ≺ M of models of a simple theory T, we study the structure whose universe is P and whose relations are the traces on P of definable (in ℒ with parameters from M) sets in M. We give a necessary and sufficient condition on T (which we call weak lowness) for this structure to have quantifier-elimination. We give an example of a non-weakly-low simple theory.

We study the theory of the structure induced by parameter free formulas on a “dense” algebraically independent subset of a model of a geometric theory T. We show that while being a trivial geometric theory, inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, the NIP and the NTP2. In particular, we show that T is strongly minimal, supersimple of SU‐rank 1, has the NIP or the NTP2 exactly when has these properties. We show that (...) if T is superrosy of thorn rank 1, then so is, and that the converse holds if T satisfies acl = dcl. (shrink)

We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We use the pairs to isolate a class of geometric structures called weakly locally modular which generalizes the class of linear structures in the settings of SU-rank one theories and o-minimal theories. For o-minimal theories, we use the Peterzil–Starchenko trichotomy theorem to characterize for a sufficiently general point, the local geometry around it in terms of the thorn U-rank of its type inside a lovely pair.

We study definable groups in dense/codense expansions of geometric theories with a new predicate P such as lovely pairs and expansions of fields by groups with the Mann property. We show that in such expansions, large definable subgroups of groups definable in the original language \ are also \-definable, and definably amenable \-definable groups remain amenable in the expansion. We also show that if the underlying geometric theory is NIP, and G is a group definable in a model of T, (...) then the connected component \ of G in the expansion agrees with the connected component \ in the original language. We prove similar preservation results for \^n\), the P-part of G in a lovely pair, and for subgroups of G in pairs where R is a real closed field and G is a subgroup of \ or the unit circle \\) with the Mann property. (shrink)

We study the class of weakly locally modular geometric theories introduced in [4], a common generalization of the classes of linear SU-rank 1 and linear o-minimal theories. We find new conditions equivalent to weak local modularity: "weak one-basedness", absence of type definable "almost quasidesigns", and "generic linearity". Among other things, we show that weak one-basedness is closed under reducts. We also show that the lovely pair expansion of a non-trivial weakly one-based ω-categorical geometric theory interprets an infinite vector space over (...) a finite field. (shrink)

We introduce the notion of a lovely pair of models of a simple theory T, generalizing Poizat's “belles paires” of models of a stable theory and the third author's “generic pairs” of models of an SU-rank 1 theory. We characterize when a saturated model of the theory TP of lovely pairs is a lovely pair , finding an analog of the nonfinite cover property for simple theories. We show that, under these hypotheses, TP is also simple, and we study forking (...) and canonical bases in TP. We also prove that assuming only that T is low, the existentially universal models of the universal part of a natural expansion TP+ of TP, are lovely pairs, and “simple Robinson universal domains”. (shrink)

Based on the work done in [][] in the o‐minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking‐independent elements that is dense inside a partial type, which we call H‐structures. We show that any two such expansions have the same theory and that under some technical conditions, the saturated models of this common theory are again H‐structures. We prove that under these assumptions the expansion is supersimple and (...) characterize forking and canonical bases of types in the expansion. We also analyze the effect these expansions have on one‐basedness and CM‐triviality. In the one‐based case, when T has SU‐rank and the SU‐rank is continuous, we take to be the type of elements of SU‐rank and we describe a natural “geometry of generics modulo H” associated with such expansions and show it is modular. (shrink)

Although research into the biosemiotic mechanisms underlying the purposeful behavior of brainless living systems is extensive, researchers have not adequately described biosemiosis among neurons. As the conscious use of signs is well-covered by the various fields of semiotics, we focus on subconscious sign action. Subconscious semiotic habits, both functional and dysfunctional, may be created and reinforced in the brain not necessarily in a logical manner and not necessarily through repeated reinforcement. We review literature that suggests hypnosis may be effective in (...) changing subconscious dysfunctional habits, and we offer a biosemiotic framework for understanding these results. If it has been difficult to evaluate any psychological approach, including hypnosis, this may be because contemporary neuroscience lacks a theory of the sign. We argue that understanding the fluid nature of representation in biological organisms is prerequisite to understanding the nature of the subconscious and may lead to more effective of treatments for dysfunctional habits developed through personal experience or culture. (shrink)

In this book, the extend to which we can equip artificial agents with moral reasoning capacity is investigated. Attempting to create artificial agents with moral reasoning capabilities challenges our understanding of morality and moral reasoning to its utmost. It also helps philosophers dealing with the inherent complexity of modern organizations. Modern society with large multi-national organizations and extensive information infrastructures provides a backdrop for moral theories that is hard to encompass through mere theorising. Computerized support for theorising is needed to (...) be able to fully grasp and address the inherent complexity. Using moral reasoning capacity will help us addressing the challenges that technological artefacts pose. They do not only contain information about us, they start to act on our behalves.With the increasing autonomy comes an increased need to ensure that their behaviour is in line with what we expect from them. To investigate and address these issues a laboratoy for philosophy is outlined: SophoLab. It consists of a methodology; a framework of modal logic, DEAL; and multi-agent software systems. SophoLab provides the basis for an experimental, computational philosophy. Its viability and usefulness are demonstrated through several experiments. (shrink)

_The purpose_ of the article is to comprehend the Husserlian model of constituting temporal modes through the ability of intentional "retentional-protentional" consciousness, as well as to clarify the possibility of interpreting its positions in the reconstruction of the concept of anthropic time. _Theoretical basis._ The theoretical framework of the research includes: 1) the interpretation of the phenomenological reflection of "time-consciousness" by E. Husserl in the context of solving the problem of phased-differentiation of this form of temporality; 2) the concept of (...) anthropic time (V. Khanzhy). _Originality._ For the first time in research literature, the possibilities of applying the ideas of Husserl to the reconstruction of the concept of anthropic time are considered through the interpretation of the phenomenological solution to the problem of temporality, proposed and specified in Husserl’s "time-consciousness" concept. _Conclusions._ The comprehension of the Husserlian model of intentionality of consciousness through the "grasping-from-now" and the constitution of phases of phenomenological time through the component of "exiting-from-now" showed that solving the problem of phased-differentiation of phenomenological time leads to the observation of the impossibility of isolating the modes of past, present, and future as self-sufficient and unconditional. More accurate indications, based on the constitutive intentionality of consciousness on the "grasping-from-now" phases of time (as conventional), are as follows: a) the abilities of retention and recollection are the foundation for the constitution of the past and its connections to the present; b) the perception establishes the basis for the phase of the present itself; c) the possibilities of protention and anticipation (as forms of imagination) constitute the future and its connections to the present. By the concept of retention, Husserl fixes a certain primary memory (the present "now" of a past interval), which enables retaining the past in the present. The category of recollection or secondary memory is used by the philosopher to refer to the self-sufficient reproduction of past experiences (without being joined to present perception). The fundamental difference between recollection and retention is that the former _re-_presents a temporal interval, grasping its content and reproducing it as it was in the past, while in the latter, the perceived duration is presented as a fragment of time that has just passed. According to the German philosopher, the "grasping" of the present phase is performed by perception. Through the constitutive intentionality of consciousness, perception synthesizes the results of primary-actual activity and retentional holding of duration. The second part of the article will present solutions to the following research tasks: 1) analysis of the possibilities of protention and anticipation in constituting the future and its connections with the present; 2) understanding the possibility of using interpreted forms of Husser’s ideas in reconstructing the concept of anthropic time. (shrink)

In an article which appeared a few years ago, entitled ‘God's Death’ , A.D. Smith launched one of the most interesting of recent attacks on the traditional doctrine of the Incarnation. Focusing on the death of Christ, he claimed to demonstrate the logical impossibility of Jesus having been both human and divine. Each of the premises of his argument was said to be a commitment of orthodox theology. He thus presented his reasoning as displaying an internal incoherence in that way (...) of thinking about divinity, humanity, and the person of Christ. The argument was basically quite simple: According to Christian theology and in concurrence with general thought on the matter, we must hold that human death involves the possibility of annihilation. As a man, Jesus of Nazareth faced and underwent a human death. He thus faced the possibility of annihilation. But orthodox theologians hold God to be of such an ontological status that no divine being could even possibly be annihilated. So no divine person could die a human death. From this follows the impossibility of the traditional claim that the Second Person of the divine Trinity became a man, lived a human life, and died a human death for us and our salvation. The qualitative difference between God and man is such as to render incarnational christology an incoherent theological stance. (shrink)

After learning about the concept of determinism, a natural tendency is to conclude that if anyone actually believed in the determinism of human nature, then all future human actions are "set out for us" or "cut and dried" and, in some sense, utterly unavoidable. Another way of referring to such inevitability is that human action appears to be..

The construct of “choking under pressure” is concerned with the phenomenon of unexpected, sudden, and significant declines in individual athletes’ performances in important situations and has received empirical attention in the field of sport psychology. Although a number of theories about the reasons for the occurrence of choking under pressure exist and several intervention approaches have been developed, underlying mechanisms of choking are still under debate and the effectiveness of existing interventions remains contested. These sudden performance declines also occur in (...) team sport. “Collective sport team collapse,” which describes the situation when an entire sport team underperforms significantly within an important competitive situation, has received less empirical attention, in comparison to individual choking research. While there are a few studies that have investigated causes of collective team collapse, understandably, there has been limited empirical investigation of preventative and intervention strategies. Although the two constructs appear to share several similar characteristics and mechanisms, research has not yet examined the conceptual, theoretical, empirical, and practical links between choking under pressure and collective sport team collapse. In this review article, we seek to examine these similarities and differences and identify new ways of thinking about future interventions. Furthermore, current empirical understandings in the field of choking under pressure and collective sport team collapse are presented and the most effective intervention approaches for both constructs are introduced. On the basis of this examination, we modestly make some initial recommendations for sport psychological practitioners and future research. (shrink)

Of course you know the movie, just by cultural assimilation if not by having seen it. There’s this young elephant, Dumbo, who has laughably big ears and has been pitiably separated from his mom. He’s aided by a friendly talking mouse[ii] into translating those otherwise hapless ears into the power of flight, which he eventually uses to rescue his mom and live happily ever after. The way the wily mouse gets Dumbo to believe that he could fly is to give (...) him a “magic feather” which, held in his trunk, demonstrably imparts the gift of flight. Naturally the mouse believes throughout all this that Dumbo can fly anyway, but he also knows that Dumbo needs the feather as a confidence-builder to do so. At the critical juncture of the tale Dumbo loses the feather after being pushed off a precipice, and he thus plummets perilously towards earth—only to find at the last moment that he can indeed fly on his own. (shrink)

All right, first off I need to disappoint some people who despise reading the fine print on things or just plain love to speed-read only large fonts: this is not only not my last lecture, I m not even retiring anytime soon. So sorry to those of you poised to shout Good riddance to bad rubbish! at the end of this soliloquy. You re going to have to be patient a while longer.

Of course you know the movie, just by cultural assimilation if not by having seen it. There’s this young elephant, Dumbo, who has laughably big ears and has been pitiably separated from his mom. He’s aided by a friendly talking mouse2 into translating those otherwise hapless ears into the power of flight, which he eventually uses to rescue his mom and live happily ever after. The way the wily mouse gets Dumbo to believe that he could fly is to give (...) him a “magic feather” which, held in his trunk, demonstrably imparts the gift of flight. Naturally the mouse believes throughout all this that Dumbo can fly anyway, but he also knows that Dumbo needs the feather as a confidence-builder to do so. At the critical juncture of the tale Dumbo loses the feather after being pushed off a precipice, and he thus plummets perilously towards earth—only to find at the last moment that he can indeed fly on his own. (shrink)

“Men can never be free, because they’re weak, corrupt, worthless and restless. The people believe in authority; they’ve grown tired of waiting for miracle or mystery. Science is their religion; no greater explanation exists for them.” (Cigarette Smoking Man, "Talitha Cumi" The X-Files 3X24).

Harry Frankfurt's famous examples of overdetermined moral agents who are nevertheless responsible for their actions and omissions have long been hailed as proofs that the ability and/or opportunity to do otherwise is not a necessary condition for moral responsibility. In this paper I use recent clarifications of some of these examples by Frankfurt himself to show that their force relies in part on tacit ceteris paribus assumptions concealing a reliance on PAP that concerns matters of fairness in assessing moral responsibility.

Analysis shows that statements of ability are disguised conditionals. More exactly, the correct analysis of 'X could have done A' is 'If X h decided (chosen, willed ...) to do A, X would have done A'. Therefore having acted freely--having been able to act otherwise than one fact did--is compatible with determinism (with the causal determination of one's acts).

Hud Hudson has argued that with a few assumptions one can prove that superluminal objects exist. I argue that even if the assumptions are true that his argument, if sound, leads to a proliferation of movers packing given spaces. I further argue that his argument as it stands cannot in fact entail that objects moving at any speed exist.

The author examines the single topic approach to the construction of introductory philosophy courses. The author considers the single topic approach to be an alternative to more historically- and topically-based approaches. The traditional approach to philosophy is often broad and difficult for students to engage with in classroom discussion. A narrow and detailed treatment of a standard area or topic facilitates classroom discussion and allows students to transfer insights and skills in areas of their own disciplines. The author outlines a (...) methodology that treats philosophical texts in an interdisciplinary context, which emphasizes to students that philosophy is not a detached field of study. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about the (...) world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance. In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

This paper concerns modal logics of provability — Gödel-Löb systemGL and Solovay logicS — the smallest and the greatest representation of arithmetical theories in propositional logic respectively. We prove that the decision problem for admissibility of rules (with or without parameters) inGL andS is decidable. Then we get a positive solution to Friedman''s problem forGL andS. We also show that A. V. Kuznetsov''s problem of the existence of finite basis for admissible rules forGL andS has a negative solution. Afterwards we (...) give an algorithm deciding the solvability of logical equations inGL andS and constructing some solutions. (shrink)

© 2015 Elsevier Inc.Postnatal organogenesis occurs in an immune competent environment and is tightly controlled by interplay between positive and negative regulators. Innate immune cells have beneficial roles in postnatal tissue remodeling, but roles for the adaptive immune system are currently unexplored. Here we show that adaptive immune responses participate in the normal postnatal development of a non-lymphoid epithelial tissue. Since the mammary gland is the only organ developing predominantly after birth, we utilized it as a powerful system to study (...) adaptive immune regulation of organogenesis. We found that antigen-mediated interactions between mammary antigen-presenting cells and interferon-γ -producing CD4+ T helper 1 cells participate in MG postnatal organogenesis as negative regulators, locally orchestrating epithelial rearrangement. IFNγ then affects luminal lineage differentiation. This function of adaptive immune responses, regulating normal development, changes the paradigm for studying players of postnatal organogenesis and provides insights into immune surveillance and cancer transformation. Plaks et al. (shrink)