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)

Inleidend overzicht van de wijsgerige ethiek.

We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games considered here are simple, those over the natural model of arithmetic being all within the arithmetical class of $\Sum_{3}^{0}$.

We characterise explicitly the decidable predicates on integers of Infinite Time Turing machines, in terms of admissibility theory and the constructible hierarchy. We do this by pinning down ζ, the least ordinal not the length of any eventual output of an Infinite Time Turing machine (halting or otherwise); using this the Infinite Time Turing Degrees are considered, and it is shown how the jump operator coincides with the production of mastercodes for the constructible hierarchy; further that the natural ordinals associated (...) with the jump operator satisfy a Spector criterion, and correspond to the L ζ -stables. It also implies that the machines devised are "Σ 2 Complete" amongst all such other possible machines. It is shown that least upper bounds of an "eventual jump" hierarchy exist on an initial segment. (shrink)

The issue of the emergence of formal axiomatic logical systems due to the emergence of logical antinomies in formal axiomatic systems, specifically the issue of developing formal logical axiomatics in the calculus of considerations was investigated in the considered research. At the same time, in order to determine the characteristics of the implementation of the logical-methodological principles and provisions of the deductive reasoning obviously, conceptual-logical foundations of the calculus of considerations was studied and the main propositions of the calculus of (...) considerations and the analysis of the initial logical operations on them were given in the study. The basic laws of logic and the expression of one logical act with another one were also explained in the research work by giving the concepst of proportional form and tautology in the calculus of considerations. At the same time, main properties and the procedure of setting of the formal deductive theory in the calculus of considerations were studied in the article. In order to provide an adequate characterization of the conceptual and methodological bases of the calculus of considerations in the research work, the basic logical laws of the calculus of considerations developed by the German mathematician and thinker P. Hilbert were also given. In addition, the main principles and methodological provisions of the deductive method were investigated, and the rules of deriving new conclusions from the axioms were interpreted. At the end of the reviewed article, the main principles and methods of the formal axiomatic mathematical systems built on a deductive basis, specifically the calculus of considerations, were studied and a logical-methodological analysis of the calculus of considerations was carried out on this basis. In this framework, the syntactic and semantic analysis of formalized language in formal axiomatic logical systems was carried out separately, the constituent parts of those systems, including the construction scheme, were given. (shrink)

The author clarifies the existential philosophy that is implicit in Kurt Goldstein's philosophy of organism (Goldstein, 1963; 1995). Situated in response to the growing trend that psychological phenomena are reducible to the nervous system, the author argues for the reverse: that the significance of nervous system activity can only be understood by viewing it as background to foreground performances. Like the organization of perception into meaningful figure-- ground Gestalts, the existential modes of embodiment, sociality, temporality, spatiality, and attunement are organized (...) together to accomplish foreground performances. It is only within this context that the activity of the nervous system may be understood as significant or insignificant. Speech is given as an example. The article concludes with a commentary on how the trend of reducing psychological phenomena to neurological phenomena has impaired our understanding of brain disorders and psychological disorders. (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)

In this essay I discuss an important but neglected controversy in which the Stoics sought to discredit Epicurus' teaching on justice by showing that the Epicurean wise man, if immune from detection or punishment, will commit injustice whenever he may profit from it. Under the influence of this criticism, tradition has developed a view of Epicurus' position that makes it so weak and vulnerable that it is difficult to see how Epicureans could have defended it over the course of several (...) centuries. There is decisive evidence, however, that Epicurus' critics seriously misrepresented his position, and that the tradition influenced by their polemic stands in need of fundamental revision.1 My purpose here is to prove that the Epicurean wise man will not commit injustice, secretly or openly, because it is in his self–interest to be just; to reconstruct Epicurus' arguments for this teaching; to show how he defends his position against natural right theorists; and to clarify the larger issues at stake in his controversy with the Stoics. I begin by sketching the Stoic criticisms and the Epicurean response. (shrink)

We follow [8] in asking when a set of ordinals $X \subseteq \alpha$ is a countable union of sets in K, the core model. We show that, analogously to L, and X closed under the canonical Σ 1 Skolem function for K α can be so decomposed provided K is such that no ω-closed filters are put on its measure sequence, but not otherwise. This proviso holds if there is no inner model of a weak Erdős-type property.

As family physicians, general practitioners play a key role in safeguarding children. Should they suspect child abuse or neglect they may experience a conflict between responding to the needs and interests of the child and those of an adult patient. English law insists on the paramountcy of the interests of the child, but in family practice many other interests may be at stake. The authors argue that uncritical adoption of the paramountcy principle is too simplistic and can lead, paradoxically, to (...) greater harm. They argue for a more subtle and nuanced view of interests and of conflicts of interest in safeguarding children. (shrink)

MY PAPER EXAMINES THE ’VIOLATION’ CONCEPT OF THE MIRACULOUS, INVOLVING THE OCCURRENCE OF AN EVENT RULED OUT BY A LAW OF NATURE. ANY BELIEF IN THE OCCURRENCE OF SUCH AN EVENT IS IRRATIONAL, IN THE SENSE IN WHICH IT WOULD BE IRRATIONAL FOR YOU TO BELIEVE AT THIS MOMENT THAT YOU WERE NOT READING THIS ABSTRACT BUT WERE HALLUCINATING. TO SHOW THAT IT IS NOT ALWAYS IRRATIONAL TO BELIEVE IN MIRACLES, ONE MUST ASSERT THAT TO KNOW WITH CERTAINTY THAT AN (...) EVENT IS PHYSICALLY IMPOSSIBLE, IS NOT TO KNOW WITH CERTAINTY THAT IT IS IMPOSSIBLE, ON GROUNDS THAT ITS OCCURRENCE DOES NOT INVOLVE A SELF-CONTRADICTION. BUT SUCH A PREMISE LEADS TO A FORM OF GENERAL SKEPTICISM WHICH WOULD MAKE IT IMPOSSIBLE EVER TO ESTABLISH THAT ANY EVENT HAD OCCURRED. (shrink)

El artículo muestra la complejidad y multidimensionalidad de la interculturalidad y realiza algunas consideraciones partiendo de las disciplinas de la ética, psicología, educación y política. Nos interesa subrayar la inserción como un modo de ser y de relacionarse y su papel en el plano de las relac..

(No abstract is available for this citation).