We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test (...) operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra interaction axioms. (shrink)

This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no (...) learning and persistence of knowledge after actions). The deductive systems are proved sound and complete with respect to a Kripke-style semantics. Each of the considered logics is shown to have the small model property and therefore decidable. (shrink)

Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable (...) for any advanced student and researcher in pure and applied modal logic. (shrink)

ABSTRACT This paper reports on an empirical performance analysis of four modal theorem provers on benchmark suites of randomly generated formulae. The theorem provers tested are the Davis-Putnam-based procedure KSAT, the tableaux-based system KRZIS, the sequent-based Logics Workbench, and a translation approach combined with the first-order theorem prover SPASS. Our benchmark suites are sets of multi-modal formulae in a certain normal form randomly generated according to the scheme of Giunchiglia and Sebastiani [GS 96a, GS 96b]. We investigate the quality of (...) the random modal formulae and show that the scheme has some shortcomings, which may lead to mistaken conclusions. We propose improvements to the evaluation method and show that the translation approach provides a viable alternative to the other approaches. (shrink)

Die zentrale Rolle des Gedächtnisses in der Entwicklung von Lebewesen wurde von Biologen wie Ernst Haeckel, Ewald Hering und Jakob von Uexküll erkannt, wobei zwischen einem Artgedächtnis und einem individuellen Gedächtnis unterschieden wird. Ersteres ist für die Aufrechterhaltung und Weiterentwicklung einer artspezifischen Erscheinungsform verantwortlich, letzteres gestaltet die Erinnerung an individuelle Erfahrungen. Im vorliegenden Band werden die Vorstellungen dieser Biologen mit Ideen der Philosophen G.W.F. Hegel, Alfred N. Whitehead, John Dewey, Ernst Cassirer, Henri Bergson und Reto L. Fetz in einer kohärenten (...) Theorie der Organismen, die auch den Menschen und seine Geschichte umfasst, aufeinander abgestimmt. (shrink)

This project tested a two-way model of communication between lay groups and experts about genetic medicine in Perth, Western Australia. Focus group discussion with community group participants was followed by a communication workshop between community group participants and experts. Four groups of concerns or themes emerged from discussion: clinical considerations; legislative concerns; research priorities, and ethical and wider considerations. Community group concerns are not always met by the actions of "experts". This is, in part, because of the differing life-worlds of (...) each group. However, the communication workshop showed the potential of two-way communication for both lay and expert members in understanding the others' viewpoint. Further, the approach developed here offers one possible way for community groups to participate in a substantial way in policy formulation processes. (shrink)

Recent developments around the sharing economy bring to the fore questions of governability and broader societal benefit—and subsequently the need to explore effective means of public governance, from nurturing, on the one hand, to restriction, on the other. As sharing is a predominately urban phenomenon in modern societies, cities around the globe have become both locus of action and central actor in the debates over the nature and organization of the sharing economy. However, cities vary substantially in the interpretation of (...) potential opportunities and challenges, as well as in their governance responses. Building on a qualitative comparative analysis of 16 leading global cities, our findings reveal four framings of the sharing economy: ‘societal endangerment,’ ‘societal enhancement,’ ‘market disruption,’ and ‘ecological transition.’ Such framings go hand in hand with patterned governance responses: although there is considerable heterogeneity in the combination of public governance strategies, we find specific configurations of framings and public governance strategies. Our work reflects the political and ethical debates on various economic, social, and moral issues related to the sharing economy, and contributes to a better understanding of the field-level institutional arrangements—a prerequisite for examining moral behavior of sharing economy organizations. (shrink)

mechanism" is frequently encountered in the social science literature, but there is considerable confusion about the exact meaning of the term. The article begins by addressing the main conceptual issues. Use of this term is the hallmark of an approach that is critical of the explanatory deficits of correlational analysis and of the covering-law model, advocating instead the causal reconstruction of the processes that account for given macro-phenomena. The term "social mechanisms" should be used to refer to recurrent processes generating (...) a specific kind of outcome. Explanation of social macro-phenomena by mechanisms typically involves causal regression to lower-level elements, as stipulated by methodological individualism. While there exist a good many mechanism models to explain emergent effects of collective behavior, we lack a similarly systematic treatment of generative mechanisms in which institutions and specific kinds of structural configurations play the decisive role. Key Words: causal regression • correlational analysis • emergent effects • micro-macro processes • social mechanisms • structural determinants. (shrink)

Knowledge work increasingly takes place in collaborative events from different and changing workplaces due to mobility, multi-locational, and geographical distribution of team members. What are the key elements to create mutual understanding and make creative collaborative decisions in global business meetings? How can these key elements be designed as shikake nudges to build awareness of the individual and team conditions to help knowledge workers make better work environment choices and reach higher levels of engagement? We addressed this question as a (...) transformative journey from island of knowledge to mutual understanding in the context of collaborative decision making in creative global business meetings. We present a “Six Steps to Engagement” framework that offers three feedback loops as shikake triggers to improve the local and global collaboration context and behavior, and three choice-decision-commitment steps toward improving the work environment and increasing knowledge work productivity. To support this framework, we define the following: (1) mutual understanding metrics (MUM) and method for self-assessment and 360 team assessment that define different MUM stages in the journey from island of knowledge to mutual understanding; and (2) an engagement Matrix of Choices (eMoC) prototype to assist geographically distributed knowledge workers to make explicit choices with an understanding of the potential level of engagement and collaboration they can achieve and the respective enablers and hindrances. We argue that iterative and continuous MUM assessment and explicit eMoC choices are central to achieve mutual understanding, high-performance teamwork, and eliminate rework, coordination, and decision wait time. This iterative process (1) allows team members to build awareness of their local conditions and make their local conditions transparent and visible to the rest of the team; (2) provides a feedback mechanism that indicates the engagement potential of each team member and the team, as well as a trigger or nudge toward moving to higher levels of engagement; (3) leads to the alignment of expectations and synchronicity of potential engagement levels. (shrink)

How are the human rights pertaining to the freedom of conscience/religion, health, and distinct culture intersect in the context of a global pandemic in the Muslim-minority areas? How do Russia’s Muslims make sense of the challenges to those rights caused or exacerbated by the COVID-19 pandemic? In this paper, I focus on diverse Muslim Tatar communities, primarily of the Middle Volga region, who have recently witnessed numerous political and socioeconomic challenges infringing on their human rights. Attending on the period of (...) the COVID-19 pandemic, in this paper I gauge the nature of human rights in the areas of health and religion by interrogating how the general Muslim publics and elites understand, justify, and explain those challenges in an environment of creeping authoritarianism. I call for a conceptual shift from the elite-driven traditional security perspectives to those of human rights as quotidian/everyday experiences while considering these vital issues. I use the Tatar-language Internet forums for the empirical analysis, offering and delineating the discursive repertoires and categorizing the areas of public concern in the new pandemic world. (shrink)

The epistemological problems of unification of two distinct theories are discussed. An approach related to the work of Soviet authors (Stepin, Podgoretzky and Smorodinsky) is used and developed. The notion of ‘crossbred objects’—theoretical objects with contradictory properties which are part of the domain of application of two independent theories—is introduced which helps to describe the dynamics of revolutionary theory change. The occurrence of the cross-contradiction of two theories is reconstructed and the reductionistic and the synthetic means of its elimination are (...) proposed. The results of the methodological analysis are applied to the paradox of equivalence. (shrink)

This article discusses a range of recent major surveys of public attitudes toward biotechnology. The authors identify a number of problematic features of the surveys: the use of predominantly consumerist rather than civic conception of public discourse; the assumption of a unitary "general public," a "cognitive deficit" approach to public understanding of science; and the presumption of a politically neutral and instrumental ist model of science and technology. The authors then examine some alternative ap proaches to exploring perceptions of biotechnology (...) among a diversity of interested publics, including more focused dialogical surveys, consensus conferences, and parlia mentary inquiries. (shrink)

This book provides the first detailed account of Gramsci's work in the context of current critical and socio-cultural debates. Renate Holub argues that Gramsci was ahead of his time in offering a theory of art, politics and cultural production. Gramsci's achievement is discussed particularly in relation to the Frankfurt School (Adorno, Horkheimer, Benjamin, Bloch, Habermas), to Brecht's theoretical writings and to thinkers in the phenomenological tradition especially Merleau-Ponty. She argues for Gramsci's continuing relevance at a time of retreat from Marxist (...) positions on the postmodern left. Antonio Gramsci is distinguished by its range of philosophical grasp, its depth of specialized historical scholarship, and its keen sense of Gramsci's position as a crucial figure in the politics of contemporary cultural theory. (shrink)

Interesting observations and problems emerge as the author pursues a complete calculus of an adverbial logic. Author Bartsch establishes a total of 18 adverbial subcategories and proposes an equal number of logico-semantic basic constructions in a predicate logical notation to explain them. The logico-semantic basic constructions bring out certain aspects of adverbial semantics, insofar as they can be specified by predicate logical means. However, for a logical and linguistic analysis of adverbials to be complete, sentence semantic analysis - provided it (...) is carried out in a clear-cut manner with clear paraphrasing criteria, unambiguous notation and complete interpretation rules - must be supplemented by and combined with 'word semantics' and syntax in a more elaborate way. The topic of adverbial semantics is a complicated and rewarding field, and this book contains enough suggestions, challenging hypotheses and stimulating observations, so that anybody directly concerned with the study of adverbials will want to have a look. (shrink)

Patients' wishes regarding health care and dying must be taken into consideration by their physicians. Competent patients need to record directives about their care in advance of a crisis situation. The primary care physician, seeing the patient at the time of a routine office visit, is in a favorable position to explore and record attitudes. A patient's value system should be part of a medical history before hospital admission. Details in a Value History Questionnaire facilitate guiding an incompetent patient through (...) a terminal illness in accordance with wishes previously expressed.An instrument in the form of a questionnaire was designed to record the attitudes of 200 patients regarding health care and dying. Respondents ranged in age from 17 to 84 years, and all were members of one family practice. They reacted positively to the opportunity to record their values, opinions, and wishes about their health care and process of dying. They clearly indicated that, in the absence of prior directives, they would want their families consulted about crucial decisions. (shrink)

Klein, Renate The practice of surrogacy in Australia has been controversial since its beginning in the late 1980s. In 1988, the famous 'Kirkman case' in the state of Victoria put surrogacy on the national map. This was a two-sisters surrogacy - Linda and Maggie Kirkman and the resulting baby Alice - in which power differences between the two women were extraordinarily stark: Maggie was the glamorous and well spoken woman of the world; Linda who carried the baby, was the demure (...) school teacher in child-like frocks and pig tails. Their IVF doctor applauded altruistic surrogacy. He called it 'gestational surrogacy' and proclaimed that if the so-called surrogate mother didn't use her own eggs, thus wasn't the baby's 'genetic' mother, no attachment would ensue! This statement is haunting us to this day. It is patently absurd: as a baby grows in a woman's body over the nine months of the pregnancy, it is hard to see why the 24/7 presence of the baby inside her body, its growth, its interaction with her would be any different whether s/he has the mother's genes! (shrink)

Presented in this book is a theory of concept formation and understanding that does not make use of a notion of an innate mental language as a means of concept representation. Instead, experimental concepts are treated semantically as stabilising structuring of growing sets of data, which are sets of experienced satisfaction situations for expressions, and theoretical concepts are based on coherent sets of general sentences held true. There are two kinds of structures to be established: general concepts by means of (...) similarity sets under perspectives and historical concepts. This gives rise to a theory of understanding new situations and expressions by integrating new data into established sets of data salva stability, or by extending the conceptual structure in a metaphorical or metonymical way. The theory provides a way to understand what identity between propositional attitudes amounts to, especially how people can have more or less the same belief. (shrink)

Renate Holub provides a critical introduction to the philosophical foundations of human rights as developed by the Italian philosopher Giambattista Vico [1668-1744]. She demonstrate the profoundly innovative principles he contributed to and his contemporary relevance for a global theory of justice. Leading twentieth century transatlantic intellectuals, like Joseph Schumpeter, Arthur Nussbaum, Robert Cox who, though for quite different ultimate purposes, were variably working at the intersections between sociology, economic analysis, and international legal thought, squarely recognized the gravitas of the unprecedented (...) conceptual reach of the principles governing Vico’s social science. What is central to Vico’s international philosophy is an understanding of civilizational history not marked by permanent violence between individuals or groups of people. Rather, it is an understanding which outlines a broad historical tendency towards the reduction of violence in the internal and external organizations of social relations of peoples in all global regions. Vico’s political thought developed significant elements for a global theory of justice based not on legitimations of violence, as ‘just war’ theories, but for structuring, however minimally, the conditions of ‘permanent just global peace.’. (shrink)

"This book addresses recent developments in the study of tense from a cross-paradigm and cross-linguistic point of view. Leading international scholars explore challenging ideas about tense at the interfaces between semantics and syntax as well as syntax and morphology. The book is divided into three main subsections: 1) Tense in tenseless languages; 2) Tense, mood, and modality, and 3) Descriptive approaches to some tense phenonema. Although time is a universal dimension of the human experience, some languages encode reference to time (...) without any grammatical tense morphology of the verb. Some of these exceptional "tenseless" languages are investigated in this volume: Kalaallisut, Paraguayan Guaraní and Movima. Modal verbs are polyfunctional in the sense that they express both tense and modality. In this volume, an untypical modal is analyzed, a modal analysis of imperatives is argued for, and sentential mood, which is closely related to modality, is analyzed. It is always interesting to look at the expression of tense in understudied languages, which is done here for Scottish Gaelic, Austronesian Rukai and German dialects. The volume can be used for graduate and undergraduate level teaching."--Publisher's website. (shrink)

This paper is concerned with ways to make our education system more inclusive, to stimulate a more tolerant and democratic attitude among students, and to equip them to deal with complex issues in our society. Trying to understand and master plural viewpoints is more effective than applying the mainstream western perspective to relate to a fast-globalizing, interactive world. In existing curricula, students and teachers are often confronted with underlying assumptions that can be traced back to the ubiquitous influence of the (...) Enlightenment. They mirror what has been denied, like the colonization of large parts of the world by European countries. This paper illustrates how philosophical divides can be crossed. I elaborate on a method suitable for crossing these divides: dialogue. Finally, I highlight the transformation that the discipline of philosophy and our education system need to go through to open to different forms of obtaining knowledge. (shrink)

INTERNATIONAL STUDIES IN THE PHILOSOPHY OF SCIENCE Vol. 5, number 1, Autumn 1991, pp. 79-87. R.M. Nugayev. -/- The fundamental laws of physics can tell the truth. -/- Abstract. Nancy Cartwright’s arguments in favour of phenomenological laws and against fundamental ones are discussed. Her criticisms of the standard cjvering-law account are extended using Vyacheslav Stepin’s analysis of the structure of fundamental theories. It is argued that Cartwright’s thesis 9that the laws of physics lie) is too radical to accept. A model (...) of theory change is proposed which demonstrates how the fundamental laws of physics can, in fact, be confronted with experience. -/- . (shrink)

There is a strong interconnection between the social and environmental spheres. The efforts of monitoring and forecasting of disastrous events can illustrate benefits and threats of technicization and science. In ecophilosophy the forecasting of hazards is today extremely needed. It is not about creating theoretical unified structures or practical return to holistic harmony of a primordial man with nature. It is about, as Félix Guattari once held it, the complexity of the relationship between humans and their natural environment. Though the (...) desired maintenance of the conflict between industrial society and natural systems now seems impossible, we still can start moving towards it: theoretically, by developing eco-philosophical ideas, and practically, monitoring and forecasting catastrophes and disasters, to protect human life and health and, as eco-philosophers would say, keep land usable for human purposes. The topic of the earthquakes forecast today is more in demand than ever. (shrink)