In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...) accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator (...) ``in the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic , philosophy and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

We discuss central aspects of history of the concept of an affine differentiable manifold, as a proposal confirming the need for using some quantitative methods (drawn from elementary Model Theory) in Mathematical Historiography. In particular, we prove that this geometric structure is a syntactic rigid designator in the sense of Kripke-Putnam.

Some philosophers oppose recent arguments for the Knowledge Norm of Assertion by claiming that assertion, being an act much like any other, will be subject to norms governing acts generally, such as those articulated by Grice for the purpose of successful, cooperative endeavours. But in fact, Grice is a traitor to their cause; or rather, they are his dissenters, not his disciples. Drawing on Grice's unpublished papers, I show that he thought of asserting as a special linguistic act in need (...) of its own norm, and he tied his maxim of Quality to knowledge. I also develop a simple Gricean-inspired argument showing that the Quality maxim is not dependent on the Cooperative Principle. If it is not thus dependent, then the Cooperative Principle cannot be the explanation of, or source of normativity for, the Quality maxim. Thus, leveraging the insights informing the maxim of Quality actually provides the resources for a distinctive positive case that knowledge is the constitutive norm of assertion. (shrink)

The problem of evil is the most prominent argument against the existence of God. Skeptical theists contend that it is not a good argument. Their reasons for this contention vary widely, involving such notions as CORNEA, epistemic appearances, 'gratuitous' evils, 'levering' evidence, and the representativeness of goods. We aim to dispel some confusions about these notions, in particular by clarifying their roles within a probabilistic epistemology. In addition, we develop new responses to the problem of evil from both the phenomenal (...) conception of evidence and the knowledge-first view of evidence. (shrink)

If knowledge is sensitive to practical stakes, then whether one knows depends in part on the practical costs of being wrong. When considering religious belief, the practical costs of being wrong about theism may differ dramatically between the theist (if there is no God) and the atheist (if there is a God). This paper explores the prospects, on pragmatic encroachment, for knowledge of theism (even if true) and of atheism (even if true), given two types of practical costs: namely, by (...) holding a false belief, or by missing out on a true belief. These considerations set up a more general puzzle of epistemic preference when faced with the choice between two beliefs, only one of which could become knowledge. (shrink)

Hubert Dreyfus argues that explicit thought disrupts smooth coping at both the level of everyday tasks and of highly-refined skills. However, Barbara Montero criticises Dreyfus for extending what she calls the ‘principle of automaticity’ from our everyday actions to those of trained experts. In this paper, I defend Dreyfus’ account while refining his phenomenology. I examine the phenomenology of what I call ‘esoteric’ expertise to argue that the explicit thought Montero invokes belongs rather to ‘gaps’ between or above moments of (...) reflexive coping. However, I agree that the ‘principle of automaticity’ does not adequately capture the experience of performing such skills. Drawing on examples of expert performance in sport and improvised music and dance, I argue that esoteric action, at its best, is marked by a distinct state of non-conceptual awareness- an experience of spontaneity, flow and ‘owned-ness’- that distinguishes it from the automaticity of everyday actions. (shrink)

Epistemologists focus primarily on cases of knowledge, belief, or credence where the evidence which one possesses, or on which one is relying, plays a fundamental role in the epistemic or normative status of one's doxastic state. Recent work in epistemology goes beyond the evidence one possesses to consider the relevance for such statuses of evidence which one does not possess, particularly when there is a sense in which one should have had some evidence. I focus here on Sanford Goldberg's approach (...) ("Should Have Known," Synthese, forthcoming; and "On the Epistemic Significance of Evidence You Should Have Had," Episteme 2016, this issue); but the discussion will interest anyone working on epistemic defeat. (shrink)

Expert testimony figures in recent debates over how best to understand the norm of assertion and the domain-specific epistemic expectations placed on testifiers. Cases of experts asserting with only isolated second-hand knowledge (Lackey 2011, 2013) have been used to shed light on whether knowledge is sufficient for epistemically permissible assertion. I argue that relying on such cases of expert testimony introduces several problems concerning how we understand expert knowledge, and the sharing of such knowledge through testimony. Refinements are needed to (...) clarify exactly what principles are being tested by such cases; but once refined, such cases raise more questions than they answer. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according to (...) the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

Several prominent theorists have recently advocated reconceptualizing rape as “nonconsensual sex,” omitting the traditional “force” element of the crime. I argue that such a conceptualization fails to capture what is distinctively problematic about rape for women and why rape is pivotal in supporting women’s gender oppression. I argue that conceptualizing rape as coerced sex can replace both the force and nonconsent elements and thereby remedies some of the main difficulties with extant definitions, especially in recognizing “acquaintance” rape as such. I (...) argue that this approach helps explain its distinctive badness both for the individual victims and for women as a group. (shrink)

Abstract: Online book review platforms generate vast user data, making accurate rating prediction crucial for personalized recommendations. This research explores neural networks as simple models for predicting book ratings without complex algorithms. Our novel approach uses neural networks to predict ratings solely from user-book interactions, eliminating manual feature engineering. The model processes data, learns patterns, and predicts ratings. We discuss data preprocessing, neural network design, and training techniques. Real-world data experiments show the model's effectiveness, surpassing traditional methods. This research can (...) enhance user experience, book catalog organization, and aid publishers, simplifying recommendation processes and providing tailored suggestions based on user preferences. (shrink)

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske develops an (...) analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

Abstract: This study aims to identify the level of creativity in the University of Palestine from the point of view of the employees, as the researchers used the descriptive and analytical method, through a questionnaire distributed to a sample of employees at the University of Palestine, where the size of the study population is (234) employees, and the size of the sample (117) employees, of which (90) employees responded. The study reached a set of results, the most important of which (...) are: A high degree of creativity from the employees 'point of view, and the study confirmed that there were no differences in the level of creativity at the University of Palestine from the Employees point of view, according to demographic variables. The study presented a set of recommendations, the most important of which are: The need for universities to enhance creativity. (shrink)

It is a commonsense thesis that unactualized possibilities are not parts of actuality. To keep his modal realism in line with this thesis, David Lewis employed his indexical account of the term “actual.” I argue that the addition of counterpart theory to Lewis’s modal realism undermines his strategy for respecting the commonsense thesis. The case made here also reveals a problem for Lewis’s attempt to avoid haecceitism.

Epistemologists have shown increased interest in the epistemic significance of disagreement, and in particular, in whether there is a rational requirement concerning belief revision in the face of peer disagreement. This article examines some of the general issues discussed by epistemologists, and then considers how they may or may not apply to the case of religious disagreement, both within religious traditions and between religious (and non-religious) views.

The representation of propositional attitudes (beliefs, desires, etc.) and the analysis of natural-language, propositional-attitude reports presents difficult problems for cognitive science and artificial intelligence. In particular, various representational approaches to attitudes involve the incorrect “imputation,” to cognitive agents, of the use of artificial theory-laden notions. Interesting cases of this problem are shown to occur in several approaches to attitudes. The imputation problem is shown to arise from the way that representational approaches explicate properties and relationships, and in particular from the (...) way they explicate propositional attitudes themselves. Another factor contributing to imputation is the compositional nature of typical semantic approaches to propositional-attitude reports. Some strategies for avoiding undesirable imputation are examined. One of the main conclusions is that the importance of imputations that arise in a representation scheme depends strongly on the use to which the scheme is put -- on whether, for instance, the scheme is used as part of a formal, objective account of natural language, or is used rather as a representational tool within an agent. (shrink)

“Love hurts”—as the saying goes—and a certain amount of pain and difficulty in intimate relationships is unavoidable. Sometimes it may even be beneficial, since adversity can lead to personal growth, self-discovery, and a range of other components of a life well-lived. But other times, love can be downright dangerous. It may bind a spouse to her domestic abuser, draw an unscrupulous adult toward sexual involvement with a child, put someone under the insidious spell of a cult leader, and even inspire (...) jealousy-fueled homicide. How might these perilous devotions be diminished? The ancients thought that treatments such as phlebotomy, exercise, or bloodletting could “cure” an individual of love. But modern neuroscience and emerging developments in psychopharmacology open up a range of possible interventions that might actually work. These developments raise profound moral questions about the potential uses—and misuses—of such anti-love biotechnology. In this article, we describe a number of prospective love-diminishing interventions, and offer a preliminary ethical framework for dealing with them responsibly should they arise. (shrink)

Linda Zagzebski's "Epistemic Authority" (Oxford University Press, 2012) brings together issues in social epistemology with topics in moral and political philosophy as well as philosophy of religion. In this paper I criticize her discussion of self-trust and rationality, which sets up the main argument of the book; I consider how her view of authority relates to some issues of epistemic authority in testimony; and I raise some concerns about her treatment of religious epistemology and religious authority in particular.

The lottery and preface paradoxes pose puzzles in epistemology concerning how to think about the norms of reasonable or permissible belief. Contextualists in epistemology have focused on knowledge ascriptions, attempting to capture a set of judgments about knowledge ascriptions and denials in a variety of contexts (including those involving lottery beliefs and the principles of closure). This article surveys some contextualist approaches to handling issues raised by the lottery and preface, while also considering some of the difficulties encountered by those (...) approaches. (shrink)

In his recent book, The Universe As We Find It, John Heil offers an updated account of his two-category ontology. One of his major goals is to avoid including relations in his basic ontology. While there can still be true claims positing relations, such as those of the form “x is taller than y” and “x causes y,” they will be true in virtue of substances and their monadic, non-relational properties. That is, Heil’s two-category ontology is deployed to provide non-relational (...) truthmakers for relational truths. This paper challenges the success of Heil’s project with respect to causation. The arguments here are not entirely negative, however. An option is made available to Heil’s ontology so that it might, at least to some extent, regain non-relational causings. (shrink)

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

The notion of Simulative Reasoning in the study of propositional attitudes within Artificial Intelligence (AI) is strongly related to the Simulation Theory of mental ascription in Philosophy. Roughly speaking, when an AI system engages in Simulative Reasoning about a target agent, it reasons with that agent’s beliefs as temporary hypotheses of its own, thereby coming to conclusions about what the agent might conclude or might have concluded. The contrast is with non-simulative meta-reasoning, where the AI system reasons within a detailed (...) theory about the agent’s (conjectured) reasoning acts. The motive within AI for preferring Simulative Reasoning is that it is more convenient and efficient, because of a simplification of the representations and reasoning processes. The chapter discusses this advantage in detail. It also sketches the use of Simulative Reasoning in an AI natural language processing system, ATT-Meta, that is currently being implemented. This system is directed at the understanding of propositional attitude reports. In ATT-Meta, Simulative Reasoning is yoked to a somewhat independent set of ideas about how attitude reports should be treated. Central here are the claims that (a) speakers often employ commonsense (and largely metaphorical) models of mind in describing agents’ attitudes, (b) the listener accordingly needs often to reason within the terms of such models, rather than on the basis of any objectively justifiable characterization of the mind, and (c) the commonsense models filter the suggestions that Simulative Reasoning comes up with concerning target agents’ reasoning conclusions. There is a yet tighter connection between the commonsense models and the Simulative Reasoning. It turns out that Simulative Reasoning can be rationally reconstructed in terms of a more general type of reasoning about the possibly-counterfactual “world” that the target agent believes in, together with an assumption that that agent has a faithful representation of the world. In the ATT-Meta approach, the reasoner adopts that assumption when it views the target agent through a particular commonsense model (called IDEAS-AS-MODELS). (shrink)

Aristotle regarded highly the concept of friendship. For him, friendship—being one of the virtues just like truth, justice, courage, etc.—is something that affects not just human behavior but even the state’s as well . However, the English language has set a limit to its use and thus diminished its meaning. While the Greek for friendship, which is φιλια can be translated as love, when using the English language one cannot say that as A and B are friends, it must be (...) that A and B are lovers. But for the Greeks, A and B are friends, if and only if, A and B are lovers. In fact, φιλια is where half of the word philosophy comes from. Why is it that even when tracing the etymology of philosophy, one uses “love of wisdom” instead of “friend of wisdom?” This is not the case for Aristotle. Aside from just regarding highly friendship by considering it as affecting the individual and the collective’s behavior toward others, Aristotle goes further by claiming that friendship is a necessary ingredient, not just to have an orderly life and state, but in order to have a eudaimon life, i.e., a happy life. Thus, for Aristotle, without friendship, a person cannot be happy. (shrink)

This paper is a commentary on the target article by Lokendra Shastri & Venkat Ajjanagadde [S&A]: “From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony” in same issue of the journal, pp.417–451. -/- It puts S&A's temporal-synchrony binding method in a broader context, comments on notions of pointing and other ways of associating information - in both computers and connectionist systems - and mentions types of reasoning that are a challenge to (...) S&A's system (amongst many other connectionist systems, recognizing that S&A's is much more capable as regards reasoning than most other contemporary systems). (shrink)

The paper is a commentary on the target article by Christine A. Skarda & Walter J. Freeman, “How brains make chaos in order to make sense of the world”, in the same issue of the journal, pp.161–195. -/- I confine my comments largely to some philosophical claims that Skarda & Freeman make and to the relationship of their model to connectionism. Some of the comments hinge on what symbols are and how they might sit in neural systems.

The science of the mind, and of consciousness in particular, needs carefully to consider people's common-sense views of the mind, not just what the mind really is. Such views are themselves an aspect of the nature of (conscious) mind, and therefore part of the object of study for a science of mind. Also, since the common-sense views allow broadly successful social interaction, it is reasonable to look to the common-sense views for some rough guidance as to the real nature of (...) the mind. On the other hand, to the extent that common-sense views are inaccurate, and perhaps even in gross conflict with the true nature of the mind, one interesting scientific question is: why do we hold such views, given our access to our own minds? Why should introspection be limited in a way that allows inaccurate views to hold sway? Now, common-sense views of the mind are revealed in natural language discourse that describes mental states, and such descriptions are largely metaphorical. The metaphors are used within thinking about the mind as well as in language. Therefore the study of metaphor is central to the study of mind. The present article is a preliminary study of the importance of metaphor in the scientific study of consciousness. It concentrates on analysing the nature of a range of important metaphors of mind, briefly discussing the extent to which they can be used to describe or qualify states of consciousness, and pointing to important questions about the nature of consciousness that the study of the metaphors raises. The article further conjectures that the reason people use metaphors in describing themselves is often not (just) that they have intellectually worked out some structural analogy --- e.g., between interactions of physical objects in physical space and interactions of ideas in the mind --- but rather that they {\it feel} their own minds to be as described by the metaphor --- e.g., they feel that the ideas in their minds are interacting physical entities. This matter of how a mind feels to itself is an aspect of the central issue of consciousness, namely its phenomenal quality. -/- (NB: The archived file is a preprint. However, it is substantially the same as the published version.). (shrink)

One of the challenges in secondary schools today is infringements on students’ rights, in a tortious way that may also constitute breach of the Child’s Right Act of 2003 in Nigeria. These breach on rights usually come through the administration of corporal punishments on students, and mainly because the school heads see themselves as loco parentis of the students who can, therefore, enforce any form of punishment on them in the school. This study investigated knowledge, attitude, and infringement of tort (...) law among public secondary school heads on students in Osun State. All the students in Osun State public secondary schools and 723 heads constituted the population. A sample of 54 school heads and 180 students were selected using multi-stage sampling procedure. Two instruments were designed to elicit responses from the respondents. Descriptive and inferential statistics were used to answer the research questions raised for the study. The results showed that school heads do not have adequate knowledge of tort law and that both the school heads and students have poor attitude toward it tort law. The study recommends that short term training on student’s right, how they can be legally protected and tort law be organised for school heads. (shrink)

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

The study aimed to identify the delegation of authority for the performance of the medical staff and its relationship to improving the quality of health care in Al-Shifa Medical Complex in the southern Palestinian governorates. Administrators, and technicians) with a total of 2150 employees, and the questionnaire was distributed to a stratified random sample of 330 employees, and 302 questionnaires were retrieved, with a rate of 91.5%. One of the most important results of the study was the existence of a (...) statistically significant relationship between delegation of authority and the quality of health care. One of the most important recommendations of the study was to strengthen the direction of senior management towards excellence in patient service, because the patient represents a fundamental focus in health services. (shrink)

Using a model of cognition as extended and enactive, we examine the role of materiality in making minds as exemplified by lithics and writing, forms associated with conceptual thought and meta-awareness of conceptual domains. We address ways in which brain functions may change in response to interactions with material forms, the attributes of material forms that may cause such change, and the spans of time required for neurofunctional reorganization. We also offer three hypotheses for investigating co-influence and change in cognition (...) and material culture. This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No. 785793. (shrink)

This study presented the policy of functional integration of the product planning team as a strategy for the development of the pharmaceutical industry in Palestine. The study population consists of all the workers in companies operating in the field of medicine in Palestine, which are (5) companies producing in the West Bank only for pharmaceuticals used by these companies, which are (296) employees, and was used a simple random sample to choose the sample and size (87) employees of the study (...) population, and to achieve the objectives of the study (87) questionnaires were distributed. The descriptive analytical method was used, and SPSS was used to answer and discuss the study's questions. The results showed that there is a significant relationship between the effectiveness of the policy of product development and the competitiveness of pharmaceutical companies in Palestine (West Bank), where the policy of product development efficiency accounts for 56.6% of the total change in the competitiveness of companies. The product quality component was most influential at all levels of product development effectiveness policy, followed by product identification, product cost reduction, packaging and product deletion. The weakest areas of strategic direction in pharmaceutical companies in Palestine (West Bank) are 67%. The weakest aspects of job integration are: non-regular meetings of representatives of different positions to participate in any project related to product development, to achieve spatial convergence of members of the product planning policy team in offices, laboratories and workplaces. (shrink)

The study aimed to identify training for the performance of the medical staff and its role in developing the quality of health care in Al-Shifa Medical Complex in the southern Palestinian governorates. , and technicians) of 2150 employees, a stratified random sample of 330 employees was selected, the questionnaire was distributed to them, and 302 questionnaires were retrieved, with a rate of 91.5%. One of the most important results of the study was the existence of a statistically significant effect of (...) training on the development of health care quality. One of the most important recommendations of the study was to provide more suitable opportunities to create a climate for the professional growth of employees, and pay more attention to the expansion of programs and training courses that are in line with the requirements of administrative empowerment. (shrink)

This paper is a study about Philadelphia’s comprehensive user engagement sites (CUESs) as the authors address and examine issues related to the upcoming implementation of a CUES while seeking solutions for its disputed questions and plans. Beginning with the federal drug schedules, the authors visit some of the medical and public health issues vis-à-vis safe injection facilities (SIFs). Insite, a successful Canadian SIF, has been thoroughly researched as it represents a paradigm for which a Philadelphia CUES can expand upon. Also, (...) the existing criticisms against SIFs are revisited while critically unpackaged and responded to in favor of the establishment. In the main section, the authors propose the layout and services of the upcoming CUES, much of which would be in congruent to Vancouver’s Insite. On the other hand, the CUES would be distinct from Insite, as the authors emphasize, in that it will offer an information center run by individuals in recovery and place additional emphasis on early education for young healthcare professionals by providing them a platform to work at the site. The paper will also briefly investigate the implementation of a CUES site under an ethical scope of the Harm Reduction Theory. Lastly, the authors recommend some strategic plans that the Philadelphia City government may consider employing at this crucial stage. (shrink)

a translation of A. Schoot "Kivy and Langer on Expressivity in Music".

Having scandalous unethical research practices in the mid and late 20th century, study protocols of biomedical research reviewed by the Ethics Committee (EC) has become the accepted international standard. The Declaration of Helsinki uniformly requires that all biomedical research involving human participants, including research on identifiable human material or data, should be approved by the EC. Today, concerns over the quality of the EC functions worldwide. There are research globally in this regard but no data are available from Bangladesh. Hence, (...) we conducted a questionnaire based pilot study on knowledge and attitude of EC members on bioethics and structure & function of EC in Bangladesh. (shrink)

Two experiments are reported which demonstrated intransitivity in category judgments, thus challenging a widely held assumption that the relation between categorized sets is one of class inclusion. Subjects consistently accepted the truth of certain category statements, in spite of being aware of the existence of counterexamples. Implications for semantic memory theory are discussed.

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Wat betreft economische groei en ontwikkeling van de werkloosheid heeft de Nederlandse economie het sinds 1973 slechter gedaan dan andere OECD-landen. Op de vraag naar de oorzaken van die slechte prestatie zijn in het verleden uiteenlopende antwoorden gegeven door o.m. Bomhoff en Clavaux. Ook zijn er diverse wegen aangegeven om op te rukken naar een betere positie. In dit artikel presenteren de auteurs de resultaten van een internationale doorsnee-analyse om de verschillen in economisch succes tussen landen met behulp van een (...) eenvoudig neo-klassiek macro-economisch model te verklaren. Dit biedt de mogelijkheid om te traceren wat de rol van de exportgroei, de groei van de bevolking, de wisselkoers, de verhouding tussen de binnenlandse en de buitenlandse prijsontwikkeling en de investeringsquote voor verschillen in economische ontwikkeling is geweest. Vooral de uitvoer gecorrigeerd voor de omvang van de bevolking, de investeringsquote en de nominale wisselkoers komen als belangrijke verklarende variabelen naar voren. Op grond van hun analyse komen de auteurs tot de conclusie dat een beleid gericht op het verbeteren van de Nederlandse economische prestatie op lange termijn zich vooral zou moeten concentreren op het benutten van exportkansen en op een hoog investeringsniveau ter bevordering van technologische vernieuwing en daarmee verbetering van de concurrentiepositie. Daarbij moet worden voorkomen dat revaluatie van de gulden het exporteffect teniet doet. (shrink)

The Internet of Things (IoT) wireless LAN in healthcare has moved away from traditional methods that include hospital visits and continuous monitoring. The Internet of Things allows the use of certain means, including the detection, processing and transmission of physical and biomedical parameters. With powerful algorithms and intelligent systems, it will be available to provide unprecedented levels of critical data for real-time life that are collected and analyzed to guide people in research, management and emergency care. This chapter provides a (...) quick overview of IoT features and how they relate to wireless discovery and technology to deploy the medical applications you need. In the world, the revolution in any industry is to connect your products and devices to the Internet and make them independent and remotely connected, so that anyone can use and view them from anywhere and anytime. The Internet of Things provides us with a home automation system that uses smart devices to overcome this obstacle, allowing us to easily manage our appliances. A smart city is a vision to integrate a variety of information and communication solutions for residents with essential services, such as smart parking on all streets. The main motivation for using the Internet for parking objects is simply collecting data to get free parking. The IoT-based RTSSPS architecture is divided into three parts: a WSN-based smart street parking module, an IoT-based smart street parking module, and an IoT-based smart street parking module. IoT-based cloud with street parking algorithm, rating and future directions. (shrink)