This paper presents four state-of-art methods for the finite-state automaton inference based on a sample of labeled strings. The first algorithm is Exbar, and the next three are mathematical models based on ASP, SAT and SMT theories. The potentiality of using multiprocessor computers in the context of automata inference was our research’s primary goal. In a series of experiments, we showed that our parallelization of the exbar algorithm is the best choice when a multiprocessor system is available. Furthermore, we obtained (...) a superlinear speedup for some of the prepared datasets, achieving almost a 5-fold speedup on the median, using 12 and 24 processes. (shrink)

Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)

This paper presents a literature review on the ethics of self-tracking technologies which are utilized by users to monitor parameters related to their activity and bodily parameters. By examining a total of 65 works extracted through a systematic database search and backwards snowballing, the authors of this review discuss three categories of opportunities and ten categories of concerns currently associated with self-tracking. The former include empowerment and well-being, contribution to health goals, and solidarity. The latter are social harms, privacy and (...) surveillance, ownership control and commodification of data, autonomy, data-facilitated harm, datafication and interpretability of data, negative impact on relation to self and others, shortcomings of design, negative impact on health perception, and regulation and enforcement of rules. The review concludes with a critical analysis of the existing literature and an overview of a future research agenda that could complement the current work on ethics of self-tracking. (shrink)

In this paper, I discuss the formation of habits with the help of self-tracking technologies. Although devices like Fitbit smart bands come with promises of empowerment through the means of increased control over users’ habits, existing literature does not provide conclusive findings about the validity of such claims. I contribute to the ongoing debate by relying on John Dewey’s pragmatist philosophy and its notion of intelligent habit. I demonstrate that from a pragmatist standpoint, habits that are the most likely to (...) accomplish users’ goals contribute to their flourishing need to be reflective (accompanied by adequate deliberation) and flexible (adaptable to the changing circumstances). On this basis I highlight some ethical-epistemic issues surrounding self-tracking technologies that inhibit the formation of habits desirable from a Deweyan standpoint. These include a lack of reflection on the part of the developers, difficulties for users to deliberate and consciously shape the habits developed by their devices, and dependence upon self-tracking tools that makes it difficult to adapt habits to individual needs and circumstances. I conclude the paper by discussing self-tracking’s general impact on flourishing, as well as placing my arguments in the context of the diversity of self-tracking practices and identifying how users attempt to alleviate the shortcomings of the technology and make it more suitable to their goals and needs. (shrink)

Mobile health (mHealth) technologies for self-monitoring health-relevant parameters such as heart frequency, sleeping patterns or exercise regimes aim at fostering healthy behavior change and increasing the individual users to promote and maintain their health. We argue that this aspect of mHealth supports healthism, the increasing shift from institutional responsibility for public health toward individual engagement in maintaining health as well as mitigating health risks. Moreover, this healthist paradigm leads to a shift from understanding health as the absence of illness to (...) regarding health as the performance of certain rituals in order to project healthiness. By drawing from the analogy between healthiness and traditional virtues, we evaluate the promises made by proponents of mHealth technologies for self-monitoring. We argue that the implementation and use of mHealth risk entrenching existing inequalities and, more particularly, tend to exclude populations situated at the losing end of those inequalities from participating in the quasi-virtue of healthiness. Consequently, the implementation and use of mHealth technologies not only present challenges for social justice but also undermine their primary societal goal—to promote public health. Finally, we offer several suggestions on how to realize the potential benefit of mHealth. (shrink)

This paper discusses how John Dewey’s notion of intelligent habit could contribute to technology ethics. For Dewey, intelligent (i.e., desirable) habits are reflective – arising from inquiry into the appropriate courses of action in each situation – and flexible – easily adaptable to the changing circumstances. We should strive to develop intelligent habits as they are the best tools for the achievement of our goals and are necessary for individual and societal flourishing. I argue that Dewey’s notion of intelligent habit (...) makes it possible to identify the impact of technology on users’ identity and self-determination, advocate for the extension of user choice and malleability of technologies, and analyse the connections between the epistemic dimension of technology and users’ ability to flourish. (shrink)

This paper discusses the interpersonal dimension of self-tracking technologies from the standpoint of Dewey’s pragmatist ethics. Users of self-tracking routinely exchange data with others, interact through social features embedded in their tools, and form communities focused on the sharing and discussion of data. I employ Dewey’s notion of transaction to discuss how self-quantification impacts users’ perception of others and how it mediates interpersonal relations. In Dewey’s ethics engagement with others is a fundamental part of moral life and individual flourishing can (...) only be achieved in social contexts and through the extension of care towards other people. The ethical ideals and epistemic concepts present in pragmatism allow me to argue that despite claims that self-tracking technologies lead to the formation of communities, pro-social instincts exist prior to the adoption of the devices and self-tracking actually inhibits the formation of mutually uplifting social bonds. In my discussion, I focus on the degree of epistemic distance that makes genuine engagement with others difficult, limits to transactional agency that prohibits users from deciding how they are perceived by others, and the reductive and instrumental nature of interactions embedded in the social features of self-tracking technologies. Moreover, I also analyse some political aspects of community-formation in the context of self-quantification and criticise the ownership structures of data and infrastructure that limit communities’ political agency. (shrink)

Józef Tischner, a Polish philosopher and a seasoned commentator on the political transformations associated with the decline of communism and the building of a new democratic order in the final decades of the twentieth century, was, and still is, a controversial figure. Some see him as a profound philosopher, others as a moral authority, while others see him as a political opponent. I discuss the question concerning where Józef Tischner drew the line between political engagement sensu stricto and metapolitics, which (...) is philosophically and programmatically grounded and neutral to the differences in world views. I inquire whether it is legitimate to attribute to Tischner political views and sympathies sometimes referred to as left-wing Christian liberalism and whether these views influenced the structure and the main theses of Tischner’s metapolitical thought. I attempt a reconstruction of Tischner’s position and indicate its basis in the assumptions of Christian personalism, the philosophy of dialogue, and the ethics of solidarity. (shrink)

Mindfulness-based training programs are highly established in competitive and recreational sports. One of the best-known approaches is the Mindfulness-Acceptance-Commitment Approach by Gardner and Moore), which integrates mindfulness aspects of awareness, non-judgmental attitude, and focus. Based on these aspects, Thienot and colleagues developed and validated an English language sport-specific questionnaire, the so-called Mindfulness Inventory for Sport, for the assessment of mindfulness skills in athletes. The aim of this study is to psychometrically test a German language version of the MIS. To assess (...) the psychometric properties, the MIS-D was examined in an online survey with an integrated test–retest design for reliability, validity, and measurement invariance. The present results support the psychometric quality of the German language version of the MIS. Necessary replications should among others focus on checking the measurement invariance for further relevant subgroups. (shrink)

In the article we are trying to answer the question why people make mistakes in their reasoning. According to the theory proposed by P. N. Johnson-Laird, reasoning is a semantic process based on mental models. Reasoners build models of the situations described in premises and then check which conclusion holds in all the models. Unfortunately, our working memory has a limited processing capacity, and so we often fail to represent all possibilities necessary to draw a valid conclusion. The more models (...) we have to build, the higher the chance of making a mistake. Due to limitations of our working memory, we tend to represent in the models only what is true, but not what is false. One of the consequences of this fact is the occurrence of certain illusions: inferences that are compelling but invalid. The existence of such illusionary inferences have been corroborated by numerous experiments. (shrink)

Der folgende Aufsatz zielt darauf ab, Heideggers späte Sprachphänomenologie als eine Situationsontologie anzuerkennen. Es wird gezeigt, dass dieser Ansatz durch ein bisher unbeachtetes Relevanzproblem motiviert ist, das über das traditionelle Rahmenproblem hinausgeht. Das Relevanzproblem wird eingeführt und als ein neuartiger Schlüssel zum Verständnis von Heideggers Konzept der Sprache als „Zeigen“ eines involvierenden Kontexts vorgestellt. Es wird dabei dargelegt, wie sowohl repräsentationale als auch pragmatisch-enaktivistische Modelle der Sprache zu diesem Problem führen. Schließlich wird Heideggers radikal situative Konzeption von Sprache und Dinglichkeit (...) als eine Variante des Realismus klassifiziert, die als "Involvierender Realismus" bezeichnet werden kann und anderen zeitgenössischen Formen des Realismus wie dem Enaktiven Realismus oder dem Neuen Realismus kritisch gegenübergestellt wird. (shrink)

Cet article présente les solutions utilisées pour le Corpus électronique des textes polonais des 17e et 18e siècles afin d’adapter son jeu de balises grammaticales à l’évolution du système morphologique qui a eu lieu au cours de la période. Les 17e et 18e siècles ont été marqués en effet par la formation d’une nouvelle catégorie grammaticale, appelée « masculine-personality » (Pl. *męskoosobowość*). Cette époque marque une transition de l’état ancien à l’état moderne et se caractérise par une variation significative des (...) terminaisons des formes plurielles N, A et V des noms masculins animés à cette époque. Par conséquent, le jeu de balises utilisé pour annoter le corpus, qui a été créé à l’origine pour le polonais moderne, a dû être légèrement modifié à cet égard. La deuxième partie de l’article décrit les recherches menées à l’aide de ce système d’annotation, qui ont montré que la différenciation des terminaisons flexionnelles des noms masculins personnels et impersonnels en polonais était déjà avancée au 17e siècle et presque achevée à la fin du 18e siècle. (shrink)

"And I Quote": Direct and Indirect Point-of-View Switches in Clusivity-Oriented Discourse The aim of this paper is to approach the notion of speech/thought representation from a pragma-cognitive perspective. The use of direct and indirect representation in political discourse allows the speaker to construe the speech situation from a perspective other than her/his own. The speaker normally occupies the focal position in relation to other discourse entities in a particular speech situation, and thus presents discourse events from her/his point of view, (...) however, on some occasions she/he allows other "voices." It is the distinction between the Speaker and the Sayer that provides means of capturing the phenomenon in question: the Speaker construes the actual/present speech situation presenting events from her/his own perspective, while in the represented speech situation the Speaker represents the words of the Sayer, i.e. the original speaker of the represented speech situation. Assuming the existence of the Sayer's consciousness separate from the Speaker's consciousness, it is clear that the Sayer's perspective is independent of the Speaker's perspective. The Speaker may employ a series of shifts occurring in spatio-temporal and axiological dimensions of the actual speech situation leading either to a full switch or to an apparent switch to the Sayer's perspective. In both cases, the distance between the Speaker and a particular discourse entity may be reduced or increased to indicate its inclusionary or exclusionary status, as well as to include the entity in or exclude it from the "us" group. The data analysed and samples used for illustrative purposes have been selected from a corpus of 35 speeches delivered by Barack Obama between 10th February 2007, i.e. the announcement of his candidacy for the presidency of the USA, and 4th November 2008, i.e. the day of the election. The transcripts of the speeches have been downloaded from the official Obama's website "Organizing for America". (shrink)

The paper defines dialogic rationality and shows a rational path and understanding from the individual point of view. A separate discipline or discourse should coordinate the urgent need of deeper emotional transformation (metanoia) and explore the appearance of inner spiritual connectedness. This will establish the importance of every unique creature in the universe. Consequently in postmodernism, epistemology can no longer be accomplished by a “clear” cognitive theory, separated from ontological and anthropological elements. Cognition can no longer progress to an unchangeable, (...) non-falsifiable knowledge, because of changes within the object’s inner ontological level. Thus an observer can only interpret the phenomena but can never say “the last word”. Human cognition is based on time-coordinates when an observer tries to make a projection before the future has come. Yet existing now, it also contains the step back to the past as a shore of memory, experience, and knowledge. In this view history is considered to be non-linear—it is a complicated forward process, still continuously going back to the origin of human correlations with nature. A dialogic approach does not reject the importance of self-organizing processes, but tries to compose a sphere of acknowledgeable co-existence with the other to save the whole specter of human physical and mental, existential and creational features. Facing rational or mystical, but still radical, transformation, we get a sense of self-existence and can actively work and challenge ourselves to realize this in every-day life and in communication with the other. (shrink)

El artículo aborda la Teoría de la Constitución de Carl Schmitt, atendiendo a su doble acepción de teoría general de la constitución moderna y cuerpo de doctrina acerca de la constitución de Weimar. El primer apartado presenta la sistemática de la teoría positiva de la constitución moderna, reponiendo sus dos elementos estructurantes: la forma política resultante de la aplicación de los principios político-formales de identidad y representación, y las formas de legislación y gobierno propias del Estado de derecho burgués. La (...) segunda parte se centra en el cuerpo de doctrina acerca de la constitución de Weimar que Schmitt desarrolla apelando a las categorías presentadas en la primera parte. En especial, se analizan sus implicancias para comprender la posición de Schmitt respecto a los principales desafíos doctrinarios de la época, contrastando sus posiciones con las de otros grandes juristas contemporáneos. Finalmente, se recapitulan las conexiones de sentido entre los criterios que informan la teoría general de la constitución moderna y la doctrina de la constitución de Weimar, destacando las peculiaridades del esfuerzo de Schmitt por subrayar la integridad de la constitución frente a los diversos modos de relativización que atribuye tanto al positivismo jurídico como a ciertas posiciones políticas de su época. (shrink)

1. Einleitung. 1.1. Auf der Suche nach Befriffen und Bezeichnungen ; 1.2. Die Wechselbeziehung von "Drinnen"- und "Draussen"- Bezeichnungen -- 2. Forschungsstand -- 3. Der ápistos-Begriff in der Umwelt des frühen Christentums -- 4. Die ápistoi und die pisteúontes in den Paulusbriefen -- 5. Ápistoi und ádikoi -- 1 Kor 6,1-11. 5.1. Analyse ; 5.2. Drinnen und draussen in 1 Kor 5 ; 5.3. Ein Bruder sucht sein Recht mit einem Bruder ; 5.4. ...vor ápistoi und ádikoi ; 5.5. Und (...) dies waren einige von euch : Drinnen-Draussen und Einst-Jetzt -- 6. Nicht gläubig und doch gehiligt -- 1 Kor 7,12-16. 6.1. Analyse ; 6.2. Ehe mit einem "Draussen" ; 6.3. Eine Frage der heiligkeit ; 6.4. Keine Gewissheit auf Rettung -- 7. Eingeladen bei einem ápistos -- 1 Kor 10,27. 7.1. Analyse ; 7.2. Essen und Zugehörigkeit ; 7.3. Essen oder nicht essen bei einem ápistos? -- Ápistoi in der Versammlung -- 1 Kor 14,20-25. 8.1. Analyse ; 8.2. Erbauung und Verständlichkeit der Verkündigung ; 8.3. Glossolalie als Zeichen für die Nichtgläubigen ; 8.4. Das Hineinkommen der "Draussen" als Argument -- 9. Wer nich glaubt, ist verloren -- 2 Kor 4,1-6. 9.1. Analyse ; 9.2. Das Evangelium ist entscheidend! ; 9.3. Am Evangelium entscheidet sich Verloren- und Gerettet-Sein ; 9.4. Ápistoi und ápollúmenoi ; 9.5. Das "Verblendet-Sein" des Verstandes durch den Gott dieses Äons ; 9.6. "Verblendet-Sein" als Merkmal der "Draussen" -- 10. Unvereinbarer Umgang mit ápistoi -- 2 Kor 6,14-7,1. 10.1. Analyse ; 10.2. Keine Gemeinschaft mit ápistoi ; 10.3. Abgrenzende Sprache ; 10.4. Die ápistoi und die abgrenzende Sprache innerhalb der paulinischen Ekklesiologie -- 11. Die anderen "Draussen"-Bezeichnungen. 11.1. "Draussen"-Bezeichnungen in den Paulusbriefen ; 11.2. Die anderen "Draussen" und die ápistoi -- 12. Zusammenfassung. (shrink)

This article aims to discuss conceptual levels of narrative representations of utterances based on reported speech frames employed in presidential speeches. It adopts some assumptions from Chilton’s Deictic Space Theory and Cap’s Proximisation Theory, both primarily used to indicate exclusive reference, a clash of interests and threat-oriented conceptualisation of events. This article, however, extends their scope to include strategies for inclusion and positive image construction and makes a distinction between primary, secondary and tertiary embedding as discursive means that contribute to (...) presentation of self and legitimisation. Data for this research comprise a corpus of 125 presidential speeches divided into three subcorpora: JKC – John Kennedy Corpus, BCC – Bill Clinton Corpus, and BOC – Barrack Obama Corpus. A total of 1251 instances of narrative reports have been analysed to investigate primary and multilevel embedding, which constitute the basis for this study. (shrink)

The study aimed at comparison of two standpoints in the contemporary analitical philosophy: antirealism and contextualism. Three characteristics of the antirealist views will be taken into consideration.

Legitimisation and Proximisation Values in the Discourse of Historic Change This methodological-critical paper belongs to the field of pragmaticcognitive discourse analysis. It develops Cap's STA model of legitimisation and investigates various mechanisms legitimising the speaker's actions in political discourse of historic change. Proximisation as the salient feature of the model adds significantly to effectiveness of the speaker's continual attempt to convince the addressee of the rightness of political steps taken. It is a powerful and coercive tool "alerting the addressee [to] (...) the proximity or imminence of phenomena which can be a ‘threat’ to the addressee" located in the deictic centre of a given event or a chain of events. The STA model accounts for the application of a three-dimensional pattern of the phenomenon in question, i.e. spatial, temporal, and axiological proximisation. However, the division does not exhaust the notion's potential, since properties of the dimensions mentioned enable us to classify them according to an extended taxonomic system in which they possess positive, negative, and neutral values. Thus, the aim of this paper is to analyse the interplay between a number of legitimisation strategies, present the positive/negative/neutral classification of proximisation, and comment on the nature of the interaction between and potency of the three dimensions and values. These can coexist within the body of one text, as well as within the body of one paragraph and their complementary character strengthens the overall goal of legitimisation providing various stimuli for the addressee to accept the speaker's stance, his decisions and actions, to comply with them, and to undertake actions intended by the speaker. (shrink)

The aim of this article is to propose a taxonomy of speakers from a socio-pragmatic perspective by taking an original approach to the study of single-turn political discourse, that is, political speeches, rather than debates, interviews or press conferences. This limitation on the scope of the study stems from the fact that the categorisation advanced is not concerned with turn-taking, but concentrates on the speaker’s use of other voices in his/her representation of reality. Thus, a clear distinction is made between (...) the speaker and the sayer, namely the original speaker whose words are reported, or rather creatively reconstructed, by the current speaker ‘here and now’. The taxomony comprises a number of categories employed strategically by the current speaker in the service of different objectives. The speaker categories are inherently limited due to a single principle of categorisation: the form of the report. The singular speaker is the default type which enables the speaker to present himself/herself as an individual as well as his/her attitudes, values and beliefs, while the collective speaker enhances the speaker’s belonging to a group and allows him/her to speak on behalf of its members. The sayer categories, by contrast, are more varied due to three independent principles of categorisation: the form of the report, the genuineness of the sayer’s utterance and the number of accounts embedded in the narrating event. The approach taken to the analysis of the narrative passages that involve the proposed speaker types owes much to Chilton’s Discourse Space Theory and is concerned with conceptualisation of the speaker’s representation of events from chosen perspective. The corpus of speeches selected to investigate and illustrate individual categories consists of over 80 political speeches delivered by three Democratic American Presidents: John Kennedy, William Clinton and Barack Obama. (shrink)

The empirical slippery slope arguments are arguments of the following form: if we take a first step A, as a result of a sequence of events, step N will necessarily or very likely follow; N is clearly not acceptable; therefore we must not take step A. Such arguments are often used in the discussions concerning abortion, assisted suicide, human gene therapy, free speech, decriminalizing marijuana, gun control and other ethical or social issues. In this article, I am trying to argue (...) that although slippery slope arguments are not deductive, they need not to be considered as fallacies. There are some mechanisms that make the realization of the scenarios sketched in the slippery slope arguments much more probable than one could think. I analyze three different examples of such mechanisms. The first one originates in the psychological phenomenon of cognitive dissonance. The second is connected with the use of precedents. The third mechanism depends on so-called multi-peaked preferences which some people might have when they make their decisions. (shrink)

The pregnancy rate among teenagers has increased overall in the past years in most industrial countries, especially in urban population. The aim of our study was to estimate the incidence of adolescent deliveries in Szczecin population and to analyze problems associated with maternity in teenagers (adolescent childbearing).The study population consists of 90 teenagers, the control group contains 2707 adult women delivered between Jan. 1, 2000 and Dec. 31, 2000 at two Obstetrics Clinics of Pomeranian Academy of Medicine and Municipal Hospital (...) in Szczecin. Data on outcomes for children of adolescents were obtained from hospital documentation and anonymous questionnaires. Findings show that newborns of adolescents suffer many negative complications and problems and that pregnancy in adolescents is a clear risk for abnormal outcomes. Special programs for pregnancy prevention and intervention in adolescents should be prepared. (shrink)

One of two primary aims of this article is to advance a pragma-cognitive approach to the analysis of narrative reports used as parts of short narratives which draws on two salient theories: the Cognitive Approach proposed by Chilton (2004, 2005, 2010, 2014) and Cap's (2006, 2010, 2013, 2017) Proximisation Theory. The other equally important objective is to propose a taxonomy of covert sayers, i.e. actors whose words are reported by the current speaker (cf. Vandelanotte 2006, 2008, 2009), whose identity is (...) concealed and may be retrieved via inferences drawn on the basis of shared values and common ground. This paper essentially concentrates on sayer's utterances rendered via reported speech frames and explains their role in maintaining the aura of belonging and inclusion, as well as of dissociation and exclusion. My research assumes that reported speech frames are selected strategically as rhetorical devices to foster (de)legitimisation and image construction. The research data comprises a corpus of texts of presidential public addresses written to be delivered rather than transcripts of spoken discourse, as its purpose is to investigate the process of speech construction. (shrink)

AI systems have often been found to contain gender biases. As a result of these gender biases, AI routinely fails to adequately recognize the needs, rights, and accomplishments of women. In this article, we use Axel Honneth’s theory of recognition to argue that AI’s gender biases are not only an ethical problem because they can lead to discrimination, but also because they resemble forms of misrecognition that can hurt women’s self-development and self-worth. Furthermore, we argue that Honneth’s theory of recognition (...) offers a fruitful framework for improving our understanding of the psychological and normative implications of gender bias in modern technologies. Moreover, our Honnethian analysis of gender bias in AI shows that the goal of responsible AI requires us to address these issues not only through technical interventions, but also through a change in how we grant and deny recognition to each other. (shrink)

In this article, we address the case of self-tracking as a practice in which two meaningful backgrounds (physical world and technological infrastructure) play an important role as the spatial dimension of human practices. Using a (post)phenomenological approach, we show how quantification multiplies backgrounds, while at the same time generating data about the user. As a result, we can no longer speak of a unified background of human activity, but of multiple dimensions of this background, which, additionally, is perceived as having (...) no pivotal role in the process, often being hidden, situated beyond human consciousness, or taken for granted. Consequently, the phenomenological experience of the background turns into a hermeneutic practice focused on the interpretation of representations and descriptions. By adopting a (post)phenomenological approach, we show the problems and limitations of quantification of human activities occurring in self-tracking and the theoretical problems associated with the scheme of human-technology relations. (shrink)

During the last half of the twentieth century, legal philosophy (or legal theory or jurisprudence) has grown significantly. It is no longer the domain of a few isolated scholars in law and philosophy. Hundreds of scholars from diverse fields attend international meetings on the subject. In some universities, large lecture courses of five hundred students or more study it. The primary aim of the Law and Philosophy Library is to present some of the best original work on legal philosophy from (...) both the Anglo-American and European traditions. Not only does it help make some of the best work avail able to an international audience, but it also encourages increased awareness of, and interaction between, the two major traditions. The primary focus is on full-length scholarly monographs, although some edited volumes of original papers are also included. The Library editors are assisted by an Editorial Advisory Board of internationally renowed scholars. Legal philosophy should not be considered a narrowly circumscribed field. (shrink)