There are several approaches implementing reasoning based on conditional knowledge bases, one of the most popular being System Z (Pearl, Proceedings of the 3rd conference on theoretical aspects of reasoning about knowledge, TARK ’90, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 121–135, 1990). We look at ranking functions (Spohn, The Laws of Belief: Ranking Theory and Its Philosophical Applications, Oxford University Press, Oxford, 2012) in general, conditional structures and c-representations (Kern-Isberner, Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering (...) Conditionals as Agents, vol. 2087 of LNCS, Springer, Berlin, 2001) in order to examine the reasoning strength of the different approaches by learning which of the known calculi of nonmonotonic reasoning (System P and R) and Direct Inference are applicable to these inference relations. Furthermore we use the recently proposed Enforcement-postulate (Kern-Isberner and Krümpelmann, Proceedings of the 22nd international joint conference on artificial intelligence, vol. 2, IJCAI’11, AAAI Press, pp. 937–942, 2011) to show dependencies between these approaches. (shrink)

The desire to see a sign phenomenon in different ways always has a reason to interpret it in an unbiased, panoramic way, and in some places - even allowing for contradictions in its understanding by different participants in the interpretative process. For modern humanities, this disposition is quite understandable, since it follows from its very postmodern nature, thereby defining the semantic semantic fields of the leading humanities. True, it is not so wide-spread, but instead, it is evident that Ukrainian religious (...) thinkers of the Middle Ages and Baroque have interpreted the iconic phenomena more deeply. In the story of Petro Mohyla "On the Wonderful Elder Grigory Mezhyhirsky" the metropolitan Mohyla clearly expresses the need to build before the thinking gaze of the reader his own, immanently religious-philosophical conception of the Divine, which every time would present him not just as an act of manifestation, otherwise he appears before the person, while remaining alone. The contemporary study of this issue in order to integrate its leading concepts in the religious-philosophical and general cultural discourse of the postmodern era has largely determined the relevance of the proposed article. The study of the phenomenon of "leaving" by itself in changing forms of the phenomenon of the Divine is also one of the key ones in the proposed studio, because it expresses the very meaning of the Divine as a religious, and therefore a cultural phenomenon. (shrink)

Richard Taylor was born in Charlotte, Michigan on 5 November 1919. He received his A. B. from the University of illinois in 1941, his M. A. from Oberlin College in 1947, and his Ph. D. from Brown University in 1951. He has been William H. P. Faunce Professor of Philosophy at Brown University, Professor of Philosophy (Graduate Faculties) at Columbia University, and Professor of Philosophy at the University of Rochester. He is the author of about fifty articles and of five (...) philosophical books. This volume consists of essays presented to Richard Taylor on the occa sion of his sixtieth birthday. Some of the contributors have been Taylor'S students; some have been his colleagues; and all have been, and continue to be, his admirers. I have made several attempts to articulate what it is I (I would not presume to speak for anyone else) admire about Richard Taylor: (1) There is a particular 'flavor' to Taylor's philosophical writing and con versation that is wholly delightful. Like any other flavor, it can be tasted and enjoyed and remembered but never adequately described. (If there should be someone who has picked up this book who does not know what I mean, I recommend that he read the chapter on 'God' in Taylor's Metaphysics. ) (2) Taylor is a masterful dialectician. (shrink)

‘To Gödel via Babel’, MIND, July 1966.In (1), the last clause should read: ‘then the GN of the resulting P-sentence is x100.y’ In (21), the expression in Roman numerals should read: ‘$$Y.\frac{\hbox{ L }Y}{\hbox{ XIX }}$$’ In (25) and (27), the expression in Roman numerals should read: ‘$${(\hbox{ C }}^{\hbox{ XVII }}.\hbox{ D })\hbox{ . }\frac{\hbox{ L }\left({\hbox{ C }}^{\hbox{ XVII }}.\hbox{ D }\right)}{\hbox{ XIX }}$$’.

Given a physical system, one knows that there is a logical duality between its properties and its states. In this paper, we choose its states as the undefined notions of our axiomatic construction. In fact, by means of well-motivated assumptions expressed in terms of a transition probability function defined on the set of all pure states of the system, we construct a system of elementary propositions, i.e., a complete orthomodular atomic lattice satisfying the covering law. We also study in this (...) framework the important notion of compatibility of propositions, and we define the superpositions and the mixtures of the states of the physical system. (shrink)

On his very first page Feldman ascribes to me a claim about the relation expressed by 'is identical with'. Feldman's way of speaking is, as Ryle might say, systematically misleading: for of course I deny that any one relation, even a relative relation, is the relation expressed by 'is identical with'. My whole thesis was that 'is identical with' expressed now one, now another, relation, according to the context of utterance.

This essay engages Mary Shelley’s Frankenstein or The Modern Prometheus as a salient intervention into modern political theory. I analyze the work as a cipher for the tensions inhabiting Euro-modernity’s stitched together fictions of racial determinism and racial dynamism legible in slavery, assimilationist projects and White fears reverberating throughout. Adapting the mythical ancient Prometheus as one who steals fire from the gods to create humans and civilization, Frankenstein dramatizes the risks and monstrous results of White imperial masculinity as a Euro-colonial (...) Promethean project of subject formation and race-making. Viewed through the prism of the Modern Prometheus, modernity in general and liberal humanism in particular are recast as monster-making projects. The European “discovery” of Indigenous peoples amplified Promethean aspirations to create subjects through civilizational processes of religious conversion, the infusion of Enlightenment rationality, and assimilation into whiteness. Politically, the Promethean capacity to engineer humans and proto-humans using Native peoples as raw material allowed progressives to argue against outright extermination in favor of cultural genocide. Seeking to create a subserviant species, Victor Frankenstein confronts a revolting insurrection of his own making—a Creature who refuses slavery, claims mastery over his creator and demands a female companion. Yet Frankenstein’s fear of creating “a race of devils” betrays a terror of what Whites know, but refuse to acknowledge, about themselves and racial others. (shrink)

We apply an online optimization process based on machine learning to the production of Bose-Einstein condensates. BEC is typically created with an exponential evaporation ramp that is optimal for ergodic dynamics with two-body s-wave interactions and no other loss rates, but likely sub-optimal for real experiments. Through repeated machine-controlled scientific experimentation and observations our ’learner’ discovers an optimal evaporation ramp for BEC production. In contrast to previous work, our learner uses a Gaussian process to develop a statistical model of the (...) relationship between the parameters it controls and the quality of the BEC produced. We demonstrate that the Gaussian process machine learner is able to discover a ramp that produces high quality BECs in 10 times fewer iterations than a previously used online optimization technique. Furthermore, we show the internal model developed can be used to determine which parameters are essential in BEC creation and which are unimportant, providing insight into the optimization process of the system. (shrink)

The article is concerned with the question of how legal institutions are structured with the use of constitutive, institutive, consequential, and terminative rules. To that end, the regulation of international treaties as laid down in the Vienna Convention on the Law of Treaties of 1969 is analysed. This leads to the discovery of two additional categories of rules: content rules and invalidating rules. Finally, the special status of unique legal institutions is investigated. Unique legal institutions – for example, heads of (...) state, parliaments, and supreme courts – enjoy validity in a legal system to the exclusion of the validity of any other legal institution of the same category in that system. (shrink)

In the Ukrainian reality of the twenty-first century. The search for the dominant spiritual and national identity is one of the leading places. The dialogue between Catholicism, which is represented by the spiritual phenomenon of the Vatican, and by Ukraine, one of the countries not only of the Greek Catholic, but also of the Orthodox tradition, with a distinct national-cultural specificity, is, in our opinion, the semiosphere where the answers to many challenges of the present and the future. But such (...) answers are difficult to find if the sine era et studio does not analyze the key trends in the development of the Ukrainian Orthodox Church by examining it, without looking back at the stereotypes of the identification of Ukrainian spiritual thinking and being with the imperially secular tradition. The most suitable method for this task is the comparative methodology, which examines the basic ideological characteristics of the ideological world of Orthodox thinkers - from Ivan Vyshensky and to thinkers and spiritual prophets of the Second Cathedral of the UAOC. (shrink)

Actuality of the usage of the food safety knowledge-based technologies is shown. The food safety stakeholders and information objects are presented. The set of ontologies and context areas which are described decision –making tasks and processes are shown. The basic ontology is presented as a means of conceptual representation of the field of food safety. The usage of decision-making is considered. Modern food processing technologies, food safety requirements, food safety requirements etc. are characterized by the need for complex and rational (...) solutions. It is necessary to consider different aspects of decision-making in food safety, which can be based not only on the knowledge of a particular subject area. The use of information and knowledge is a key task in any problem area related to the production and dissemination of knowledge, especially new types of unique content that are useful and accessible. The paper aim is to conceptually present an ontological system based on the use of context and ontologies and aimed at supporting decision making in the food safety management system. Food safety knowledge, which used in decision-making processes, is considered as the context knowledge and the knowledge that describes the content. The paper presents food safety stakeholders and provides information objects. The information and knowledge includes various aspects such as knowledge and information on the production and processing industry; and the food safety aspects. For this purpose, an interconnected set of ontologies is used, which is a multilevel associative structure: meta-ontology; basic ontology; context ontology; set of domain ontologies; realization ontology; user presentation and interaction ontology; model of inference machine. Implementation of food safety processes and integration of the components of decision-making is based on the presentation of the multi-level system of management and decision-making in it through a model of a context. The context framework takes into account different context domains, such as: purpose/result, actor, process/action, object, environment, facility, tools, presentation, location, and time. The ontology implementation builds an inter connected system of preparation and choice of solutions, both for the given problem and for interaction with other complexes of problems and tasks, allows to make decisions taking into account the consequences of their implementation. (shrink)

The role of emotions in ethics is often taken by philosophers and others as antithetical to rationality. On the most basic level (in undergraduate philosophy exams and elsewhere), stating an opinion in the form "I feel that p" can be a way of sidestepping the demand for reasons. But emotions can sometimes also be seen as supplying reasons for moral judgment to the extent that they involve evaluations--and a way of communicating them across different moral perspectives.