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)

First published in 1987. Routledge is an imprint of Taylor & Francis, an informa company.

First published in 1987. Routledge is an imprint of Taylor & Francis, an informa company.

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)

It has been over two decades since Miranda Fricker labeled epistemic injustice, in which an agent is wronged in their capacity as a knower. The philosophical literature has proliferated with variants and related concepts. By considering cases in popular music, we argue that it is worth distinguishing a parallel phenomenon of art-interpretive injustice, in which an agent is wronged in their creative capacity as a possible artist. In section 1, we consider the prosecutorial use of rap lyrics in court as (...) a central case of this injustice. In section 2, we distinguish art-interpretive injustice from other categories already discussed in recent literature. In section 3, we discuss the relationship between genre discourse and identity prejudice. The case for recognizing the category of art-interpretive injustice is that it allows one to recognize a class of harms as being importantly related in ways that one would otherwise overlook. (shrink)

By the time of his death in 2006, Sir Peter Strawson was regarded as one of the world's most distinguished philosophers. Unavailable for many years,_ Scepticism and Naturalism_ is a profound reflection on two classic philosophical problems by a philosopher at the pinnacle of his career. Based on his acclaimed Woodbridge lectures delivered at Columbia University in 1983, Strawson begins with a discussion of scepticism, which he defines as questioning the adequacy of our grounds for holding various beliefs. He then (...) draws deftly on Hume and Wittgenstein to argue that we must distinguish between 'hard', scientific naturalism; or 'soft', humanistic naturalism. In the remaining chapters the author takes up several issues in which sceptical doubts play an important role, in particular the nature of transcendental arguments and including the objectivity of moral philosophy, the mental and the physical, and the existence of abstract entities. _Scepticism and Naturalism_ is essential reading for those seeking an introduction to the work of one of the twentieth century’s most important and original philosophers. This reissue includes a substantial new foreword by Quassim Cassam and a fascinating intellectual autobiography by Strawson, which together form an excellent introduction to his life and work. (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)

Reflection Principles are commonly thought to produce only strong axioms of infinity consistent with V = L. It would be desirable to have some notion of strong reflection to remedy this, and we have proposed Global Reflection Principles based on a somewhat Cantorian view of the universe. Such principles justify the kind of cardinals needed for, inter alia , Woodin’s Ω-Logic.

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)

First published in 1987. Routledge is an imprint of Taylor & Francis, an informa company.

Contributed articles presented at a National seminar.