One of the most influential views in privacy scholarship is that privacy protects individual autonomy. On the early liberal view, the exercise of autonomy requires detachment from social and political life and privacy facilitates it. This view of privacy still informs current legal and political practice. As this view of privacy presupposes a tension between privacy and society, it is responsible for the underrating of privacy in legal and political practice. Over the last decades, liberal reflection on autonomy has shifted (...) from the early liberal understanding of autonomy as calling for detachment from social life to the idea of autonomy as socially embedded. This development has brought about a corresponding adjustment in the liberal concept of privacy: privacy has come to be seen as a social rather than merely an individual interest. The social turn in thinking about privacy has gone a long way to change the problematic image of privacy in legal and political practice. It has not gone far enough, however, to draw conclusions regarding the political relevance of privacy. I argue that we should understand autonomy as politically embedded. Revised along these lines, privacy has a political value: when we claim privacy, we do not make a claim to withdraw from political life, but rather make a claim to protect certain forms of political engagement. (shrink)
The paper presents the theological and philosophical category of Deus absconditus and shows it in the perspective of Nicholas of Cusa’s ideas contained in his dialogue De Deo Abscondito. The hidden God is the totally transcendent God that is beyond creation both ontologically and logically. Deus absconditus is God that cannot be the object of rational cognition and positive knowledge, hence the only way to acquire any knowledge of him is the method of negative theology. Therefore, the hidden God is (...) the subject of mystical epistemology. Cusanus’s Deus absconditus is also called Truth and as such he is not only incomprehensible, but also incommunicable. God’s transcendence, rational unintelligibility and inexpressibility are the aspects which the considerations presented in this paper build on. (shrink)
This article provides an insight into the expression of reportative evidentiality in Spanish scientific articles published between 1799 and 1920. Central to the discussion is the presence and specificity of sources in reportative constructions. While contemporary scientific discourse prioritizes the use of specific, reportative-quotative evidentials, this is not a constant feature of articles analyzed in this study. In order to trace this historical variation, we established a classification of reportative constructions according to the specificity of the evidence they convey and (...) we conducted both qualitative and quantitative analyses. According to our results, different specificity patterns were prominent in different temporal stages of the period under review. We argue that this can be interpreted in light of the growth and changing practices of the scientific community. (shrink)
We investigate a generalization of discrete-time integrator. Proposed linear discrete-time integrator is characterised by the variable, fractional order of integration/summation. Graphical illustrations of an analysis of particular vector matrices are presented. In numerical examples, we show relations between the order functions and element responses.
The article engages with the video installation Madame B by Mieke Bal and Michelle Williams Gamaker. The work was premiered in the city of Łódź in Poland. The author makes use of the exhibition brochure by two artists published by the Museum of Modern Art, and the recording of a seminar held by Bal and Williams Gamaker after launching their work. The article focuses on the innovative audiovisual interpretation of Flaubert’s famous novel. Basing the argument on the concept of framing (...) created by Bal, the author applies it to Bal and Williams Gamaker’s exhibition by relating it to the history and culture of the Polish location where it was first shown. Above all, however, the article discusses the importance of quotation and indistinction in Madame B, where the artists quote from : Louise Bourgeois, Maya Deren, Artemisia Gentileschi, Charlotte Perkins Gilman, William Kentridge and Sol LeWitt. (shrink)
Much of the debate concerning political obligation deals with the question of which, if any, moral principles could make obedience to the directives of the government a matter of obligation. What makes political obligation political has not received attention in the literature on the topic. In this article I argue that the lack of systematic reflection on what makes political obligation political is responsible for the failure of a number of influential theories of political obligation. I demonstrate this failure using (...) the consent theory of political obligation as my major example. I conclude my analysis by formulating some positive conditions that a successful principle of political obligation should satisfy. (shrink)
Written by a select international group of leading privacy scholars, Social Dimensions of Privacy endorses and develops an innovative approach to privacy. By debating topical privacy cases in their specific research areas, the contributors explore the new privacy-sensitive areas: legal scholars and political theorists discuss the European and American approaches to privacy regulation; sociologists explore new forms of surveillance and privacy on social network sites; and philosophers revisit feminist critiques of privacy, discuss markets in personal data, issues of privacy in (...) health care and democratic politics. The broad interdisciplinary character of the volume will be of interest to readers from a variety of scientific disciplines who are concerned with privacy and data protection issues. (shrink)
Artykuł stanowi próbę syntetycznego spojrzenia na polityczną teorię troski. Porządkując sposoby rozumienia i opisywania tego nurtu filozofii polityki, autorka skupia się na prezentacji proponowanych w jego ramach definicji troski, uzasadnień jej moralnego obowiązku i wizji integracji troski ze sferą publiczną. Omawia także historyczny rozwój etyki troski oraz jej rolę w polityce.
In the paper I try to sketch the pragmatic centrality of the three Aristotle’s properties for bridging the gap between the obscurity and comprehensibility of metaphors.
Quality in clinical research may be defined as compliance with requirements together with credibility and reliability of the data obtained. Sponsors usually apply Quality Management Systems (QMS) to ensure, control, maintain, and improve quality. These systems encompass several preventive measures, tools, and controls. Standard QMS applied by clinical research sponsors may be based on ISO 9000.
Principal Component Analysis is one of the data mining methods that can be used to analyze multidimensional datasets. The main objective of this method is a reduction of the number of studied variables with the mainte- nance of as much information as possible, uncovering the structure of the data, its visualization as well as classification of the objects within the space defined by the newly created components. PCA is very often used as a preliminary step in data preparation through the (...) creation of independent components for further analysis. We used the PCA method as a first step in analyzing data from IVF. The next step and main purpose of the analysis was to create models that predict pregnancy. Therefore, 805 different types of IVF cy- cles were analyzed and pregnancy was correctly classified in 61-80% of cases for different analyzed groups in obtained models. (shrink)
Intrauterine insemination is one of many treatments provided to infertility patients. Many factors such as, but not limited to, quality of semen, the age of a woman, and reproductive hormone levels contribute to infertility. Therefore, the aim of our study is to establish a statistical probability concerning the prediction of which groups of patients have a very good or poor prognosis for pregnancy after IUI insemination. For that purpose, we compare the results of two analyses: Cluster Analysis and Kohonen Neural (...) Networks. The k-means algorithm from the clustering methods was the best to use for selecting patients with a good prognosis but the Kohonen Neural Networks was better for selecting groups of patients with the lowest chances for pregnancy. (shrink)
The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. (...) Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction. (shrink)
Inferential erotetic logic and inquisitive semantics give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question raising, characterized in IEL by means of the concepts of question evocation and erotetic implication. We consider the basic system InqB of INQ, remain at the propositional level and show, inter alia, that: a disjunction of all the direct answers to an evoked question is always inquisitive; a (...) formula is inquisitive if, and only if it evokes a yes–no question whose affirmative answer expresses a possibility for the formula; inquisitive formulas evoke questions whose direct answers express all the possibilities for the formulas, and each question erotetically implies a question whose direct answers express the possibilities for the direct answers to the implying question. (shrink)
Our aim is to model the behaviour of a cognitive agent trying to solve a complex problem by dividing it into sub-problems, but failing to solve some of these sub-problems. We use the powerful framework of erotetic search scenarios combined with Kleene’s strong three-valued logic. ESS, defined on the grounds of Inferential Erotetic Logic, has appeared to be a useful logical tool for modelling cognitive goal-directed processes. Using the logical tools of ESS and the three-valued logic, we will show how (...) an agent could solve the initial problem despite the fact that the sub-problems remain unsolved. Thus our model not only indicates missing information but also specifies the contexts in which the problem-solving process may end in success despite the lack of information. We will also show that this model of problem solving may find use in an analysis of natural language dialogues. (shrink)
Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only branching rule is the rule of cut. The calculi pertain to classical propositional logic and any of its fragments that may be obtained from adding a set of rules characterizing a two-argument Boolean function to the negation fragment of classical propositional logic. The properties of soundness and completeness (...) of the calculi are demonstrated. The proof of completeness is conducted by Kalmár's method. Most of the presented sequent-calculus rules have been obtained automatically, by a rule-generating algorithm implemented in Python. Correctness of the algorithm is demonstrated. This automated approach allowed us to analyse thousands of possible rules' schemes, hundreds of rules corresponding to Boolean functions, and to nd dozens of those invertible. Interestingly, the analysis revealed that the presented proof-theoretic framework provides a syntactic characteristics of such an important semantic property as functional completeness. (shrink)
The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic calculi which constitute the method of Socratic proofs by Andrzej Wiśniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and Tamminga's technique for designing proof systems. (...) In this paper it is used to consider sequent calculi with non-branching, invertible rules for the negation fragment of classical propositional logic and its extensions by binary Boolean functions. (shrink)
The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5.
Traditionally, most of the research on occupational burnout has focused on organizational stressors, such as workload and time pressure, and has overlooked the emotional nature of customer service work and its effect on burnout. This study was designed to examine the effects of individuals’ affective traits and affective states on burnout. The main hypothesis of this study was that emotional intelligence acts as a moderator in the relationship between negative emotions felt by employees during their interactions with clients and emotional (...) exhaustion. A total of 137 service sector employees rated the extent to which they felt four positive emotions and four negative emotions while interacting with clients. The results indicated that negative affectivity was significantly associated with higher levels of emotional exhaustion, whereas high positive affectivity showed the reverse pattern. It was also observed that employees who declared greater intensity of negative emotions reported more symptoms of emotional exhaustion. However, as predicted, this effect was observed only among employees who were low in the trait of emotional intelligence. Negative emotions and emotional exhaustion were unrelated among employees who were high in trait emotional intelligence. (shrink)
The concept of cooperative question-responses as an extension of cooperative behaviours used by interfaces for databases and information systems is proposed. A procedure to generate question-responses based on question dependency and erotetic search scenarios is presented. The procedure is implemented in Prolog.
An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic. In this paper, a new erotetic calculus for Classical Propositional Logic, dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic $${\mathsf{CLuN}}$$ CLuN and its extensions $${\mathsf{CLuNs}}$$ CLuNs and $${\mathsf{mbC}}$$ mbC. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to (...) the authors knowledge, this is the first account of resolution for $${\mathsf{mbC}}$$ mbC. Last but not least, as the method is grounded in $${\mathsf{IEL}}$$ IEL, it constitutes an important tool for the so-called question-processing. (shrink)
An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic ). In this paper, a new erotetic calculus for Classical Propositional Logic ), dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic \ and its extensions \ and \. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to the (...) authors knowledge, this is the first account of resolution for \. Last but not least, as the method is grounded in \, it constitutes an important tool for the so-called question-processing. (shrink)
Infertility is a huge problem nowadays, not only from the medical but also from the social point of view. A key step to improve treatment outcomes is the possibility of effective prediction of treatment result. In a situation when a phenomenon with more than 2 states needs to be explained, e.g. pregnancy, miscarriage, non-pregnancy, the use of multinomial logistic regression is a good solution. The aim of this paper is to select those features that have a significant impact on achieving (...) clinical pregnancy as well as those that determine the occurrence of spontaneous miscarriage. Two multi-factor models were obtained, used in predicting infertility treatment outcomes. One of the models enabled to conclude that the number of follicles and the percentage of retrieved mature oocytes have a significant impact when prediction of treatment outcome is made on the basis of information about oocytes. The other model, built on the basis of information about embryos, showed the significance of the number of fertilized oocytes, the percentage of at least 7-cell embryos on day 3, the percentage of blasts on day 5, and the day of transfer. (shrink)
Author: Angutek Dorota Title: ON THE ROLE OF JERZY KMITA’S SEMIOTIC CONCEPTS IN DESCRIPTION OF NONVERBAL COMMUNICATION (O wykorzystaniu pojęć semiotycznych Jerzego Kmity w opisie komunikowania niewerbalnego) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 329-346 Keywords: SEMIOTICS, SIGN, NONVERBAL COMMUNICATION, HAPTIC COMMUNICATION, CULTURE, CONVENTION Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The author discusses various approaches to nonverbal communication and tries to provide a general descriptive account of the problem in (...) order to confront it with Jerzy Kmita’s theory of culture, signs, and symbolic communication. On the base of semiotic conception of Kmita, the author sketches theoretical background which opens the possibility of conventional interpretation of nonverbal communicates and presupposes their social and cultural relativization. (shrink)
The number of people suffering from type 2 diabetes has been growing recently. This chronic disease is connected with lower perceived quality of life and experiencing a lot of stressful situations. Some of these situations can be anticipated. Thus, it is possible to prepare oneself for future difficult situations by using proactive coping strategies. The aim of this research was to verify the level of satisfaction with various areas of life, the frequency of use of proactive coping strategies in the (...) case of type 2 diabetes patients and healthy individuals, as well as mediation role of these strategies in the relationship between positive emotionality, cognitive curiosity and perceived quality of life. One hundred and seventy four persons took part in the research: 85 persons with diabetes and 89 healthy individuals. We used instruments with recognized psychometric properties: The Proactive Coping Inventory, The World Health Organization Quality of Life Instrument-BREF, PANAS Questionnaire and State-Trait Personality Inventory. The analysis of the results showed, among other things, that people suffering from type 2 diabetes are the least satisfied with their health, and the most with their treatment and knowledge about the disease. Healthy individuals are the most satisfied with the physical domain and one’s present life, whereas the least satisfied with the environmental domain. Both groups differ in terms of using proactive coping strategies. People with diabetes most often adopt a preventive strategy, whereas healthy individuals a reflective one. Two strategies turned out to be able to mediate in the relationship of positive emotionality and life satisfaction in the diabetes group. It was a strictly proactive and preventive coping strategy. No mediation effect was found in the group of healthy people. The results show that in the face of anticipated difficulties, people with type 2 diabetes try to protect their current resources by resorting to their existing knowledge, the level of which they are most satisfied with. The higher the positive emotionality/cognitive curiosity among people with type 2 diabetes, the higher their satisfaction with life, which is due to the fact, that they more frequently use proactive or preventive strategies to cope with stress. (shrink)
The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.
The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.
Recenzja książki Ryana Patricka McLaughlina, Christian Theology and the Status of Animals: The Dominant Tradition and Its Alternatives, New York, Palgrave Macmillan 2014, s. 202.