We use Concurrent Game Models (CGM) in which simple conditional promises are assigned the role of negotiation steps aiming to represent the formation of temporary coalitions and their agendas. By transforming these extended CGMs into equivalent CGMs with incomplete information, established methods for rational synthesis become enabled. The interpretation of promises is compatible with that of announcements as in dynamic epistemic logics. To accommodate requirements on plays that are written wrt the runs of the original model, we use temporal projection (...) that hides negotiation steps. (shrink)

We present a variant of ATL with incomplete information which includes the distributed knowledge operators corresponding to synchronous action and perfect recall. The cooperation modalities assume the use the distributed knowledge of coalitions and accordingly refer to perfect recall incomplete information strategies. We propose a model-checking algorithm for the logic. It is based on techniques for games with imperfect information and partially observable objectives, and involves deciding emptiness for automata on infinite trees. We also propose an axiomatic system and prove (...) its completeness for a rather expressive subset. As for the constructs left outside this completely axiomatised subset, we present axioms by which they can be defined in the subset on the class of models in which every state has finitely many successors and give a complete axiomatisation for a “flat” subset of the logic with these constructs included. (shrink)

This paper presents an w-completeness theorem for a new propositional probabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (DQP), which has been introduced by the author as a dynamic extension of the logic of qualitative probabilities (Q P) introduced by Segerberg.

We generalise an interval-related interpolation theorem about abstract-time Interval Temporal Logic, which was first obtained in [GUE 01]. The generalisation is based on the abstract-time variant of a projection operator in the Duration Calculus, which was introduced in [DAN 99] and later studied extensively in [GUE 02]. We propose a way to understand interpolation in the context of formal verification. We give an example showing that, unlike abstract-time ITL, DC does not have the Craig interpolation property in general, and establish (...) a special form of Craig interpolation for abstract-time DC. Explicit definability after Beth is known to be strongly related to Craig interpolation in general. We show a limitation of a different kind to the scope of Beth definability in ITL by a counterexample too. We call the generalisation of interval-related interpolation that we present projection-related interpolation. The DC-specific restrictions apply to it too. We show that both Craig and projection-related interpolation hold about the ⌈P⌉-subset of DC without such restrictions. Our proofs of these theorems for the ⌈P⌉-subset entail algorithms for the construction of the interpolants. (shrink)

We present a complete axiomatisation of the operator of projection onto state in the Duration Calculus relative to validity in DC without extending constructs. Projection onto state was introduced and studied extensively in our earlier works. We first establish the completeness of a system of axioms and proof rules for the operator relative to validity in the extension of DC by neighbourhood formulas, which express the neighbourhood values of boolean DC state expressions. By establishing a relatively complete axiomatisation for the (...) neighbourhood formulas in DC, we then achieve completeness of our system relative to basic DC. (shrink)

Gabbay's separation theorem about linear temporal logic with past has proved to be one of the most useful theoretical results in temporal logic. In this paper, we establish an analogous statement a...

This paper presents a new kind of interpolation theorems about Neighbourhood Logic and Interval Temporal Logic . Unlike Craig interpolation, which holds for these logics too, the new theorems treat the existence of interpolants which specify properties of selected intervals in the models of NL and ITL.

In the article, I outline the main layers that are fundamental to the construction of Bulgarian political culture. At the beginning of the text, I clarify the concept of political culture. The examined layers are four: geographical, Balkan, Orthodox, and national. These layers, in particular, have a determining influence on the character of Bulgarian political culture in the modern history of Bulgaria.

Review on Vaclav Nemec, Marius Victorinus: The Consubstantiality of The Trinity OIKOYMENH, Prague, 2006.

This article presents results from simulations studying the hypothesis that mechanisms for landmark-based navigation could have served as preadaptations for compositional language. It is argued that sharing directions would significantly have helped bridge the gap between general and language-specific cognitive faculties. A number of different levels of navigational and communicative abilities are considered, resulting in a range of possible evolutionary paths. The selective pressures for, resp. against, increased complexity in either faculty are then evaluated for a range of environments. The (...) study aims specifically to identify whether there is a viable evolutionary path leading to compositional language, and if so, under what circumstances. The results show that environmental conditions can render a step towards more complex communication either desirable or harmul, and suggest that very specific initial conditions and changes in the environment, resp. the ecological niche occupied, would have been needed to select for compositional language. Subject to these conditions, a (proto)language using order, but no hierarchical structure could evolve. This represents a middle ground, which brings closer hypotheses about syntax that have so far appeared difficult to reconcile. (shrink)

This article presents results from simulations studying the hypothesis that mechanisms for landmark-based navigation could have served as preadaptations for compositional language. It is argued that sharing directions would significantly have helped bridge the gap between general and language-specific cognitive faculties. A number of different levels of navigational and communicative abilities are considered, resulting in a range of possible evolutionary paths. The selective pressures for, resp. against, increased complexity in either faculty are then evaluated for a range of environments. The (...) study aims specifically to identify whether there is a viable evolutionary path leading to compositional language, and if so, under what circumstances. The results show that environmental conditions can render a step towards more complex communication either desirable or harmul, and suggest that very specific initial conditions and changes in the environment, resp. the ecological niche occupied, would have been needed to select for compositional language. Subject to these conditions, a language using order, but no hierarchical structure could evolve. This represents a middle ground, which brings closer hypotheses about syntax that have so far appeared difficult to reconcile. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 204 Seiten: 315-339.

The emphasis is on the research approach applied in the last monograph of Prof. Nikolay Milkov. It is about studying the early sources of analytical philosophy, and especially in German literature from the late nineteenth and early twentieth century, he dwells on the Bulgarian philosophers Dimitar Mihalchev and Tseko Torbov. Dimitar Mihalchev publishes in German a monograph “Philosophical Studies. A Contribution to the Critique of Modern Psychologism” (Leipzig, 1909), which J. Moore evaluated. Tseko Torbov is an assistant to (...) the neo-Kantian Leonard Nelson. Prof. Nikolay Milkov does not fail to mention these small presences of Bulgarian philosophers in the Western European intellectual panorama. (shrink)

The review is for a new study by Prof. Veselin Petrov, which is dedicated to the application of A. Whitehead's philosophical ideas in education and learning. For the Anglo-American thinker, this is an area that is very important for the development of civilization and therefore devotes dozens of studies on this topic.

Now in a third edition, Introduction to Philosophy: Classical and Contemporary Readings is a highly acclaimed, topically organized collection that covers five major areas of philosophy--theory of knowledge, philosophy of religion, philosophy of mind, freedom and determinism, and moral philosophy. Editor Louis P. Pojman enhances the text's topical organization by arranging the selections into a pro/con format to help students better understand opposing arguments. He also includes accessible introductions to each chapter, subsection, and individual reading, a unique feature for an (...) anthology of this depth. While the book focuses on a compelling sampling of classical material--including selections from Plato, Aristotle, Descartes, Locke, Berkeley, Hume, and Kant--it also incorporates some of philosophy's best twentieth-century and contemporary work, featuring articles by Bertrand Russell, Richard Taylor, John Searle, Thomas Nagel, and others. This third edition contains an expanded glossary, more extensive section introductions, and twelve new selections: Karl Popper: "Epistemology without a Knowing Subject" Richard Rorty: "Dismantling Truth: Solidarity Versus Objectivity" Daniel Dennett: "Postmodernism and Truth" Bruce Russell: "The Problem of Evil: Too Much Suffering" David Chalmers: "Against Materialism: Can Consciousness Be Reductively Explained?" Baron Paul Henri d'Holbach: "A Defense of Determinism" Michael Levin: "A Compatibilist Defense of Moral Responsibility" Plato: Socratic Morality: "Crito" Herodotus: "Custom Is King" J. L. Mackie: "The Subjectivity of Values" Louis P. Pojman: "A Critique of Mackie's Theory of Moral Subjectivism" Thomas Nagel: "Moral Luck". (shrink)

Forensic evidence often involves an evaluation of whether two impressions were made by the same source, such as whether a fingerprint from a crime scene has detail in agreement with an impression taken from a suspect. Human experts currently outperform computer-based comparison systems, but the strength of the evidence exemplified by the observed detail in agreement must be evaluated against the possibility that some other individual may have created the crime scene impression. Therefore, the strongest evidence comes from features in (...) agreement that are also not shared with other impressions from other individuals. We characterize the nature of human expertise by applying two extant metrics to the images used in a fingerprint recognition task and use eye gaze data from experts to both tune and validate the models. The Attention via Information Maximization model quantifies the rarity of regions in the fingerprints to determine diagnosticity for purposes of excluding alternative sources. The CoVar model captures relationships between low-level features, mimicking properties of the early visual system. Both models produced classification and generalization performance in the 75%–80% range when classifying where experts tend to look. A validation study using regions identified by the AIM model as diagnostic demonstrates that human experts perform better when given regions of high diagnosticity. The computational nature of the metrics may help guard against wrongful convictions, as well as provide a quantitative measure of the strength of evidence in casework. (shrink)

In ”Skepticism,” Peter Klein distinguishes between the “Academic Skeptic” who proposes that we cannot have knowledge of a certain set of propositions and the “Pyrrhonian Skeptic” who refrains from opining about whether we can have knowledge. Klein argues that Academic Skepticism is plausibly supported by a “Closure Principle‐style” argument based on the claim that if x entails y and S has justification for x, then S has justification for y. He turns to contextualism to see if it can contribute to (...) the discussion between one who claims that we can have knowledge about some epistemically interesting class of propositions and the Academic Skeptic. He outlines the background of Pyrrhonian Skepticism, pointing out that the Pyrrhonist withholds assent concerning our knowledge‐bearing status because reason cannot provide an adequate basis for assent. He assesses three possible patterns of reasoning, and concludes that the Pyrrhonist view, that reason cannot resolve matters concerning the nonevident, is vindicated. (shrink)

Environmental, social and ethical issues have become increasingly important for businesses due to changed customer expectations, more regulation and stakeholder pressure, amongst others. This led to the development of concepts such as sustainability management, corporate social responsibility, stakeholder management and business ethics. Though mostly developed in isolation, scholars have increasingly worked on their integration. This editorial sheds light on overlaps between these concepts. We find that sustainability management and CSR have become more integrated and are increasingly grounded in an “embedded (...) view“ in which business and society is part of the natural environment. In contrast, business ethics has not been integrated to the same extent, expect for the subfield of environmental ethics. After this general overview, we introduce the individual contributions to the special issue which are advancing the conceptual and empirical foundation of sustainability management, CSR, and business ethics. (shrink)

This paper advances the research on personalization of political communication by investigating whether this process of focusing on politicians instead of political issues plays a role on Twitter. Results of a content analysis of 5,530 tweets posted in the run-up to the German federal election provide evidence that Twitter communication refers more often to politicians than to issues. However, tweets containing personal characteristics about political leaders play only a marginal role. When distinguishing among different groups of actors on Twitter (journalists, (...) politicians, citizens), we find that citizens focus more on candidates than do journalists or politicians. Investigating the impact of a televised debate on Twitter communication, we observe that this person-centered event puts the focus on individual politicians instead of issues. (shrink)

Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

Differential scanning calorimetry (DSC) has been employed to investigate the glass transition activation energy E g, thermal stability and glass-forming ability (GFA) of Se90In10− x Sb x (x = 0, 2, 4, 6, 8, 10) chalcogenide glasses. DSC runs were performed at six different heating rates. Well-defined endothermic and exothermic peaks were obtained at glass transition and crystallization temperature. The dependence of glass transition temperature T g on heating rate (α), as well as composition of Sb, has been studied. From (...) the dependence of glass transition temperature on heating rate, the E g has been calculated on the basis of the Kissinger [Anal. Chem. 29 (1957) p.1702] and Moynihan [J. Phys. Chem. 78 (1974) p.267] models. Thermal stability has been monitored through the calculation of temperature differences T c–T g, the stability parameter S, and the enthalpy released during crystallization H c. The GFA has been investigated on the basis of the Hruby parameter H r, which is strong indicator of GFA. Results for GFA are in good agreement with fragility index F i calculations, indicating that Se90In6Sb4 is an excellent glass-former. (shrink)

This book is an examination of the metaphysical systems of Margaret Cavendish and Anne Conway, who share many superficial similarities. By providing a detailed analysis of their views on substance, monism, self-motion, individuation, and identity over time, as well as causation, perception, and freedom, it demonstrates the interesting ways in which their accounts differ. Seeing their systems in tandem highlights the originality of each philosopher. In addition to providing the details of their metaphysical views, the book also shows how they (...) put these views to use: for Cavendish in grounding her natural philosophy and for Conway in developing her theodicy. The account of Cavendish is more naturalistic than current interpretations. It argues that God plays no substantive role in Cavendish’s philosophy. The book provides an account of Cavendish’s matter and her biological holism. It shows how sensitive and rational matter are expressed differently in different natural kinds. It provides the first account of Cavendish’s views on individuation and identity over time and a detailed account of her views on causation, arguing that nature is the only principal cause. The book also provides an account of Conway’s spiritual substance, arguing that it is a unique type of substance. It discusses Conway’s two types of motions and causation. In addition, a detailed account of her view of motion as a mode of body, and how it is transferred, is provided. Finally, the book concludes that Conway’s metaphysics and morality are inseparable and that she holds a type of perfectionism. (shrink)

The conflict in Gaza and Israel that ignited on October 7, 2023 signals a catastrophic breakdown in the possibility of ethical dialogue in the region. The actions on both sides have revealed a dissolution of ethical restraints, with unimaginably cruel attacks on civilians, murder of children, destruction of health facilities, and denial of basic needs such as water, food, and shelter. There is a need both to understand the nature of the ethical singularity represented by this conflict and what, if (...) any, options are available to allow the reconstruction of communication between the warring parties. This article seeks to address these tasks by analysing the conflict as inherently an ethical one, in the sense that it exposes a rupture in the fabric of communicative relationships that has evolved systematically out of the deep cultural structures from which all protagonists have emerged. Drawing on the work of Levinas, Habermas, Arendt, and others, and referring to the specific circumstances in the region, it examines the ethical sources of the crisis and tries to identify conditions for its resolution. The possibility of reconciliation—that is, of refiguring relationships to open up a space for dialogue to create pathways to heal the ruptures—is examined. The dark legacy of the Holocaust is identified as an abiding cultural vulnerability for both societies. It is concluded, however, that the rich history of partnerships and collaborations between Jews and Palestinians provides a robust infrastructure on the basis of which a sustainable peace might be built, providing a much-needed source of hope. (shrink)

Contributed articles presented at a National seminar.

Contributed articles presented at a National Seminar on "Teaching Philosophy in India: a Vision for the Twenty-First Century Education", held at Andhra University, during 9-11 March 1998 and sponsered by Indian Council of Philosophical Research, New Delhi.

This baseline study was conducted to find out the knowledge, attitudes and practices of medical ethics among the undergraduate medical interns who did not have structured ethics curriculum in their course. A descriptive, cross-sectional study was carried out using a self-administered structured questionnaire among the medical undergraduate interns of Maharajgunj Medical Campus, the pioneer medical college of Nepal which enrols 60 students in a year. A total of 46 interns participated in the study. The most common source of knowledge on (...) ethics was lectures/seminars (35.7%) followed by experience at work (24.5%), training (21.4%) and own reading (17.3%). The main contents of Hippocratic Oath were known to 98.8% while 60.9% knew the main contents of Nepal Medical Council (NMC) code of ethics. Great majority (91.3%) regard ethics as very important in medical profession. “Doctors know the best irrespective of patients’ opinion” was disagreed by only 39.1% indicating the paternalistic attitude. However, 78.3% were in favour of adhering to the patient’s wish. None of the participant agreed to abandon confidentiality. Only about one-fourth (26.1%) claim to encounter ethical dilemma every day while the highest number (43.5%) had once in a month. To deal with the situation of ethical dilemma, majority approached to immediate supervisor followed by head of the department and colleagues. Eighty-seven percent of participating interns were involved in research activities involving human subjects. Only one of the participants had encountered the ethical issue on end-of-life and it was do-not-resuscitate consent in a terminally ill patient. On implementation of the curriculum on medical ethics focus should be - principles of biomedical ethics, sensitive ethical dilemmas like end-of-life care and practical experiences with participation in deliberations of the ethics committee. (shrink)

The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...) the recursive extension of \sqema\ succeeds on the class of `recursive formulae'. We also show that a certain version of this algorithm guarantees the canonicity of the formulae on which it succeeds. (shrink)