This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. The 34 papers were carefully reviewed and selected from a total of 127 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures.

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)

Autor prostredníctvom skúmania literárnych diel Charlesa Dickensa, Williama Makepeaca Thackeryho, George Eliotovej a Thomasa Hardyho vytvára mozaiku viktoriánskej morálky Anglicka 19. storočia. Dospel k záveru, že uvedená doba vôbec nebola taká puritánska, ako si ju zvykneme predstavovať a morálne problémy, ktoré ľudstvo rieši v priebehu svojho vývoja sú vo svojej podstate univerzálne, hoci nie totožné. Líšia sa vo svojich individuálnych podobách, v akých sa s nimi stretávame v jednotlivých obdobiach dejín ľudstva.

_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 the 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._ According to Husserl, the structure of human time-consciousness is instantiated in three spheres of passivity: prerefleсtive cogito, embodiment, and intersubjectivity. Within the framework of the problem of phase differentiation of phenomenological time, an analysis of the potencies of consciousness in constituting the phases of time-consciousness, namely protentional and retentional potencies, has been proposed. In the context of the reconstruction of the concept of anthropic time, several aspects of Husserl’s model of time-consciousness have been interpreted, including the paradoxical reconciliation of two quasi-incompatible ideas: the idea of the vagueness of the boundaries between temporal modes and the thesis of the formal capacity of preserving temporal units within their respective temporal phases. The property of multilevel complexity in the system of human temporality accounts for the diversity in the relationship of unique temporal units based on formal and content-related criteria ('temporal matryoshka'). (shrink)

The Monk Andronik, in secular life Aleksei Fedorovich Losev, was born on September 23, 1893, and was named in honor of one of the Kiev-Pecherskii reverend fathers, Aleksii . He died on the memorial day of the Apostles Bartholomew and Barnabas on May 24, 1988.