This is the formal YACC BNF specification for Minimal Type Theory (MTT). MTT was created by augmenting the syntax of First Order Logic (FOL) to specify Higher Order Logic (HOL) expressions using FOL syntax. Syntax is provided to enable quantifiers to specify type. FOL is a subset of MTT. The ASSIGN_ALIAS operator := enables FOL expressions to be chained together to form HOL expressions.

Political legitimacy is best understood as one type of a broader notion, which I call institutional legitimacy. An institution is legitimate in my sense when it has the right to function. The right to function correlates to a duty of non-interference. Understanding legitimacy in this way favorably contrasts with legitimacy understood in the traditional way, as the right to rule correlating to a duty of obedience. It helps unify our discourses of legitimacy across a wider range of practices, especially (...) including the many evaluations we increasingly make of international institutions of various sorts, but also including domestic institutions. (shrink)

A woman and a man desire to come together stirred by the primal fire of Kama and the man deposits his egg in the womb of the woman. This egg develops into a human undergoing nine or ten months of evolution. This process is the microscopic replication of the method evolved by God to create the universe. Rigveda (10.121) mentions Hiranyagarbha, the Golden Egg as the source of the creation of the universe. It is said that God, wishing to create (...) the world, produced an egg as big as the cosmos. God meditated for a thousand years sitting inside the egg and when the egg burst, the Lord himself was born out of the egg as the Progenitor of the universe (“He made Himself by Himself.”, Taitiriya Upanishad: 2.7.1). The Rishis called the Egg Brahmanda (the Cosmic Egg), and the Progenitor Manu. Scientists have discovered that the universe has an oval shape. Like the nine months of the evolution of the human egg, the Cosmic Egg also undergoes nine stages of evolution before it gets dissolved during what we call ‘Maha Pralaya’. The Puranas mention that Brahmanda has 14 biospheres, seven nether and seven upper inhabited by different types of souls. If we count from the human world, there are ten dimensions of consciousness. Rishis called these astral biospheres Mandalas/Lokas with different wavelengths and colours. Sri Karunakara Guru referred to them as Avasthas, or spiritual stages. The Buddhists and Hindu esoteric sects such as the Theosophical Society explain these levels of the Absolute in terms of Physical plane, Astral plane, Mental plane, Buddhic plane, Atmic plane, Anupadaka plane, Adi plane and Shiv and Shakti. These Avasthas are related to the expanding consciousness reaching up to the core of the Cosmic Egg, the Paramatma. Like a spider which creates a web around it sitting in the centre, and withdraws it in the end, Paramatma creates and withdraws webbed multi-dimensional universes. Nobody can say when it started and when it will end as it is a beginningless and endless process. (shrink)

Christy Mag Uidhir has recently argued (a) that there is no in principle aesthetic difference between a live performance and a recording of that performance, and (b) that the proper aesthetic object is a type which is instantiated by the performance and potentially repeatable when recordings are played back. This paper considers several objections to (a) and finds them lacking. I then consider improvised music, a subject that Mag Uidhir explicitly brackets in his discussion. Improvisation reveals problems with (b), (...) because the performance-event and the performance-type are distinct but equally proper aesthetic objects. (shrink)

Stanford’s argument against scientific realism focuses on theories, just as many earlier arguments from inconceivability have. However, there are possible arguments against scientific realism involving unconceived (or inconceivable) entities of different types: observations, models, predictions, explanations, methods, instruments, experiments, and values. This paper charts such arguments. In combination, they present the strongest challenge yet to scientific realism.

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of (...) categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

I advance a type of conceptualist argument for substance dualism – minimally, the view that we are spiritual substances that have bodies – based on the understandability of what it would be for something to be a spirit, e.g. what it would be for God to be a spirit. After presenting the argument formally, I clarify and defend its various premises with a special focus on what I take to be the most controversial one, namely, if thinking matter is (...) metaphysically possible, it is not the case that we have a distinct positive concept of God's being a divine spirit. (shrink)

A woman and a man desire to come together stirred by the primal fire of Kama and the man deposits his egg in the womb of the woman. This egg develops into a human undergoing nine or ten months of evolution. This process is the microscopic replication of the method evolved by God to create the universe. Rigveda (10.121) mentions Hiranyagarbha, the Golden Egg as the source of the creation of the universe. It is said that God, wishing to create (...) the world, produced an egg as big as the cosmos. God meditated for a thousand years sitting inside the egg and when the egg burst, the Lord himself was born out of the egg as the Progenitor of the universe (“He made Himself by Himself.”, Taitiriya Upanishad: 2.7.1). The Rishis called the Egg Brahmanda (the Cosmic Egg), and the Progenitor Manu. Scientists have discovered that the universe has an oval shape. Like the nine months of the evolution of the human egg, the Cosmic Egg also undergoes nine stages of evolution before it gets dissolved during what we call ‘Maha Pralaya’. The Puranas mention that Brahmanda has 14 biospheres, seven nether and seven upper inhabited by different types of souls. If we count from the human world, there are ten dimensions of consciousness. Rishis called these astral biospheres Mandalas/Lokas with different wavelengths and colours. Sri Karunakara Guru referred to them as Avasthas, or spiritual stages. The Buddhists and Hindu esoteric sects such as the Theosophical Society explain these levels of the Absolute in terms of Physical plane, Astral plane, Mental plane, Buddhic plane, Atmic plane, Anupadaka plane, Adi plane and Shiv and Shakti. These Avasthas are related to the expanding consciousness reaching up to the core of the Cosmic Egg, the Paramatma. Like a spider which creates a web around it sitting in the centre, and withdraws it in the end, Paramatma creates and withdraws webbed multi-dimensional universes. Nobody can say when it started and when it will end as it is a beginningless and endless process. (shrink)

I resolve an argument over “flat” versus “dimensioned” theories of realization. The theories concern, in part, whether realized and realizing properties are instantiated by the same individual (the flat theory) or different individuals in a part-whole relationship (the dimensioned theory). Carl Gillett has argued that the two views conflict, and that flat theories should be rejected on grounds that they fail to capture scientific cases involving a dimensioned relation between individuals and their constituent parts. I argue on the contrary that (...) the two types of theory complement one another, even on the same range of scientific cases. I illustrate the point with two popular functionalist versions of flat and dimensioned positions – causal-role functionalism and a functional analysis by decomposition – that combine into a larger picture I call “comprehensive functional realization.” I also respond to some possible objections to this synthesis of functionalist views. (shrink)

The majority of our linguistic exchanges, such as everyday conversations, are divided into turns; one party usually talks at a time, with only relatively rare occurrences of brief overlaps in which there are two simultaneous speakers. Moreover, conversational turn-taking tends to be very fast. We typically start producing our responses before the previous turn has finished, i.e., before we are confronted with the full content of our interlocutor’s utterance. This raises interesting questions about the nature of linguistic understanding. Philosophical theories (...) typically focus on linguistic understanding characterized either as an ability to grasp the contents of utterances in a given language or as outputs of this ability—mental states of one type or another. In this paper, I supplement these theories by developing an account of the process of understanding. I argue that it enables us to capture the dynamic and temporal aspect of understanding and reconcile philosophical investigations with empirical research on language comprehension. (shrink)

Philosophers of science have offered different accounts of what it means for one scientific theory to reduce to another. I propose a more or less friendly amendment to Kenneth Schaffner’s “General Reduction-Replacement” model of scientific unification. Schaffner interprets scientific unification broadly in terms of a continuum from theory reduction to theory replacement. As such, his account leaves no place on its continuum for type irreducible and irreplaceable theories. The same is true for other accounts that incorporate Schaffner's continuum, for (...) example, those developed by Paul Churchland, Clifford Hooker, and John Bickle. Yet I believe a more general account of scientific unification should include type irreducible and irreplaceable theories in an account of their partial reduction, specifically, when there is a reduction of their tokens. Thus I propose a “Reduction-Reception-Replacement” model wherein type irreducible and irreplaceable theories are accepted or received for the purpose of unifying domains of particulars. I also suggest a link between this kind of token reduction and mechanistic explanation. (shrink)

In light of the phenomenon of multiple realizability, many philosophers wanted to preserve the mind-brain identity theory by resorting to a “narrow reductive strategy” whereby one (a) finds mental properties which are (b) sufficiently narrow to avoid the phenomenon of multiple realization, while being (c) explanatorily adequate to the demands of psychological theorizing. That is, one replaces the conception of a mental property as more general feature of cognitive systems with many less general properties, for example, replacing the conception of (...) pain as a general property across different species with a number of species-specific kinds of pain. Many critics focused on (c), arguing that species-specific properties are not explanatorily adequate because they do not capture what is common in pain across species. In this paper I focused on (b). I argued that if one carries the narrow reductive strategy out in such a way to avoid all multiple realizability that occurs within a species, for example, accommodating individual differences by postulating a more narrow pain-relative-to-an-individual-at-a-time, then the result is for all intents and purposes a claim about tokens and not types or properties at all (the position is now about individuals having properties at times, a structured token event). I also added an important point about explanation, viz., that properties-relative-to-individuals-at-times would not serve the explanatory goals of science by failing to generalize to other individuals. (shrink)

I introduce "nomic-role nonreductionism" as an alternative to traditional causal-role functionalism in the philosophy of mind. Rather than identify mental properties by a theory that describes their intra-level causal roles via types of inputs, internal states, and outputs, I suggest that one identify mental properties by a more comprehensive theory that also describes inter-level realization roles via types of lower-level engineering, internal mental states, and still higher-level states generated by them. I defend this position on grounds that mental properties should (...) be understood by our best scientific theories, which at present include informatioin about mental engineering. I further defend this claim by a "parity of reasons" argument. Causal-role functionalists are justified to include sensory stimuli in their theory of mind as opposed to, say, the remote causes of sensory stimuli because the former but not the latter are items of direct mental production. But ditto for the system's physical realizations. They too directly produce mental states, only not by "causing" them but by "realizing" them. Engineering realizations and their input triggering conditions work in tandem. In addition, I tell a related but more general metaphysical story about property identity, namely, that the traditional causal theory should be replaced by a more comprehensive nomic theory that individuates properties by their intra-level causal powers as well as their inter-level realization capacities. (shrink)

Objective: To examine the current ethical review process of ethics committees in a non-pharmacological trial from the perspective of a clinical investigator.Design: Prospective collection of data at the Study Centre of the German Surgical Society on the duration, costs and administrative effort of the ERP of a randomised controlled multicentre surgical INSECT Trial between November 2003 and May 2005.Setting: Germany.Participants: 18 ethics committees, including the ethics committee handling the primary approval, responsible overall for 32 clinical sites throughout Germany. 8 ethics (...) committees were located at university medical schools and 10 at medical chambers. Duration was measured as days between submission and receipt of final approval, costs in euros and administrative effort by calculation of the product of the total number of different types of documents and the mean number of copies required .Results: The duration of the ERP ranged from 1 to 176 days. The median duration was 26 days at MSUs compared with 34 days at medical chambers. The total cost was €2947. 1 of 8 ethics committees at universities and 8 of 10 at medical chambers charged a median fee of €162 . The administrative effort for primary approval was 30. Four ethics committees required a higher administrative effort for secondary approval .Conclusion: The ERP for non-pharmacological multicentre trials in Germany needs improvement. The administrative process has to be standardised: the application forms and the number and content of the documents required should be identical or at least similar. The fees charged vary considerably and are obviously too high for committees located at medical chambers. However, the duration of the ERP was, with some exceptions, excellent. A centralised ethics committee in Germany for multicentre trials such as the INSECT Trial can simplify the ERP for clinical investigators in and outside the country. (shrink)

Different approaches to the definition of organizational culture are considered; its types, essential elements and functions in the organization are characterized. Author's point of view on organizational culture in a broad and narrow sense is formulated. Some peculiarities of employees’ perception of organizational culture in Ukrainian enterprises are analyzed.

Charles Perrow used the term normal accidents to characterize a type of catastrophic failure that resulted when complex, tightly coupled production systems encountered a certain kind of anomalous event. These were events in which systems failures interacted with one another in a way that could not be anticipated, and could not be easily understood and corrected. Systems of the production of expert knowledge are increasingly becoming tightly coupled. Unlike classical science, which operated with a long time horizon, many current (...) forms of expert knowledge are directed at immediate solutions to complex problems. These are prone to breakdowns like the kind discussed by Perrow. The example of the Homestake mine experiment shows that even in modern physics complex systems can produce knowledge failures that last for decades. The concept of knowledge risk is introduced, and used to characterize the risk of failure in such systems of knowledge production. (shrink)

The most serious challenge to Frankfurt-type counterexamples to the Principle of Alternate Possibilities (PAP) comes in the form of a dilemma: either the counterexample presupposes determinism, in which case it begs the question; or it does not presuppose determinism, in which case it fails to deliver on its promise to eliminate all alternatives that might plausibly be thought to satisfy PAP. I respond to this challenge with a counterexample in which considering an alternative course of action is a necessary (...) condition for deciding to act otherwise, and the agent does not in fact consider the alternative. I call this a “buffer case,” because the morally relevant alternative is “buffered” by the requirement that the agent first consider the alternative. Suppose further that the agent’s considering an alternative action—entering the buffer zone—is what would trigger the counterfactual intervener. Then it would appear that PAP-relevant alternatives are out of reach. I defend this counterexample to PAP against three objections: that considering an alternative is itself a morally relevant alternative; that buffer cases can be shown to contain other alternatives that arguably satisfy PAP; and that even if the agent’s present access to PAP-relevant alternatives were eliminated, PAP could still be satisfied in virtue of earlier alternatives. I conclude that alternative possibilities are a normal symptom, but not an essential constituent, of moral agency. (shrink)

Does a political conception of human rights dictate a particular view of corporate human rights obligations? The U.N. “Protect, Respect, and Remedy” Framework and Guiding Principles on Business and Human Rights hold that corporations have only a responsibility to respect human rights. Some critics have argued that corporations should be responsible for a wider range of human rights obligations, beyond merely an obligation to respect such rights. Furthermore, it has been argued that the Framework relied on a political conception of (...) human rights, and this is what led to limiting corporate obligations to mere respect for human rights. In this paper, I explore and critically assess this general claim about political conceptions of human rights. This involves distinguishing different types of political conceptions of human rights, as well as specifying what makes a theory of human rights a “political conception.” In light of this clarificatory discussion, I argue that the general thesis is false; the mere fact that a theory offers a political conception of human rights does not necessarily entail any certain range of corporate human rights obligations. Finally, I identify some of the other aspects of a theory of human rights that do affect the range of corporate obligations it will prescribe. (shrink)

The study area was a small lowland river valley within a range of 4750 m length and approx. 150 m width (about 62 ha), situated in the south-east of Poland, in the middle of Sandomierz Basin (Fig. 1). Flora and the chosen most valuable plant communities of the river bed with adjacent ecotone zone were investigated in 2007. During the study 291 species of vascular plants were found. Among them 10 are protected: Batrachium peltatum, Convallaria majalis, Dactylorhiza majalis, Daphne mezereum, (...) Frangula alnus, Hedera helix, Lycopodium annotium, Nuphar lutea, Utricularia vulgaris, and Viburnum opulus. Other species were considered to be value-raising, e.g. Achillea ptarmica, Batrachium circinatum, Calla palustris, Crepis paludosa, Hottonia palustris, Hypochoeris glabra, Senecio ovatus or Valeriana dioica. The number of antropophytes with the amount of 10% is relatively low. Most valuable plant communities represent 3 types of Nature 2000 habitats: natural eutrophic lakes with Magnopotamion or Hydrocharition – code 3150, transition and quaking bogs – code 7140-1, and alluvial forests with Alnus glutinosa and Fraxinus excelsior – code 91E0-3. Human activities brought about the emergence of 3 different areas within the valley: channeled river site (K), natural river bed site (N) and agricultural field site (P). Those areas differ significantly in terms of the composition of flora, vegetation and biological diversity. Most valuable is (P) and the least is (K). The greatest potential source of danger for biodiversity is the wrong forester’s management, especially interference in the natural processes (the planned building of the extra pond) and preventing wooden biomass accumulation. (shrink)

Abstract -/- “The Obvious Invisibility of the Relationship Between Technology and Social Values” -/- We all too often assume that technology is the product of objective scientific research. And, we assume that technology’s moral value lies in only the moral character of its user. Yet, in order to objectify technology in a manner that removes it from a moral realm, we rely on the assumption that technology is value neutral, i.e., it is independent of all contexts other than the context (...) in which it is used morally or immorally by someone. However, there is a power to technology. At the very least, technology should be seen as reflecting the values that it rises from: a developmental context. Consequently, we can make the invisible moral realm visible as we investigate the relationship between culture and technology. Pragmatically, we can trace how cultural values inform what counts as a scientific question. When we look at the 1980s epidemiological model for AIDS we see how the presuppositions within a culture frame the type of question asked, i.e. What population do we see AIDS occurring in? This question initially leads scientific research away from actual individual behaviors until a different question is asked that leads the question towards behavioral epidemiological models rather than population models. Secondly, we can make visible the circumstance that depicts that what constitutes a scientific problem has a direct relationship to the types of technologies that are developed. We can more clearly see this circular relationship between culture and technology by looking at clinical research and practice regarding heart disease. Men who were dying of diagnosed heart disease were showing symptoms of problems in large arteries of the heart. Women were also dying of heart disease, but since their large arteries were not overwhelmingly compromised they were not being properly diagnosed until recently. Different technologies and protocol were needed to “see” different symptoms in the smaller vessels of women. Thirdly, I show how the types of technology developed, in turn, can create new values or enhance preexisting values within a culture. DNA research can be used to investigate long, unanswered questions about qualitative dimensions of life in quantitative manners. Yet, long held unanswered questions about a biological basis of race or intelligence are themselves rarely challenged as uninteresting or misguided even when they are tied to prejudicial qualitative assumptions if the chance of a “scientific” answer is possible. When existing technologies or modifications of existing technologies can be used they seem to direct human reactions and behaviors in predictable ways. The technologies themselves may be said to direct culture in ethically valenced manners. (shrink)

The purpose of the paper is to consider genesis and approaches to forming a security culture of tourism and hospitality enterprises that are superstructures of economic, industrial, professional, household, ecological, psychological and social security. In the research, apart from general scientific methods, we used the collection and analysis of primary information obtained from the survey of 220 respondents. Three areas that have a decisive influence on the security of tourism and hospitality enterprises have been identified: organizational culture, decision-making responsibility, and (...) competitiveness. The decision-making methods for different leadership styles were identified. There were conceptualized connection and strength of correlation between types of strategic decisions, leadership styles and organizational culture of tourism and hospitality enterprises. It has been proposed the factors’ configuration relevant to the security of tourism and hospitality enterprises, which focuses on the economic security formation as a function of organizational culture, responsibility for decision making and competitiveness. The styles of leadership and decision-making styles have been revealed, which determine the effectiveness of economic security of tourism and hospitality enterprises. (shrink)

Research has probed the consequences of providing people with different types of information regarding why a person possesses a certain characteristic. However, this work has largely examined the consequences of different information subsets (e.g., information focusing on internal versus societal causes). Less work has compared several types of information within the same paradigm. Using the legal system as an example domain, we provided children (N=198 6- to 8-year-olds) with several types of information—including information highlighting internal moral character, internal biological factors, (...) behavioral factors, and societal factors—about why a specific outcome (incarceration) might occur. We examined how such language shaped children’s attitudes. In Study 1, children reported the most positivity toward people who were incarcerated for societal reasons and the least positivity toward people who were incarcerated for their internal moral character; attitudes linked with behavioral information fell between these extremes. Studies 2a-2b suggested that Study 1’s effects could not be fully explained by participants drawing different about individuals in Study 1. Study 3 replicated Study 1’s results and showed that information linking incarceration with internal biological factors led to more positivity than information linking incarceration with internal moral character. Finally, Study 4 suggested that the patterns found in Studies 1 and 3 generalize to non-punitive contexts. Moreover, Study 4 found that the effects in Studies 1 and 3 emerged regardless of whether information was communicated via explanations or descriptions. These results demonstrate that how we express our beliefs about social phenomena shape the realities in which others live. (shrink)

The purpose of this research is to determine the variables influencing college students' engagement in swimming activities, as well as the significant themes that often appear in these occurrences. A descriptive research design was used to identify the factors influencing college students' perception of participating in swimming activities. Descriptive research is a type of nonexperimental study that aims to describe the features of phenomena as it occurs. It was found out that participating in swimming activities provides various benefits, some (...) of these include helping build endurance, muscle strength, and cardiovascular fitness, enhanced swimming skills, and maintaining a healthy weight. As a result, the implementation of active recreational activities in schools must be reinforced, not simply for the purpose of participation, but also because students are driven to do so. And these activities must be carried out not just on school grounds, but also at home and in the community. (shrink)

This paper is an attempt to meta-subjective revision of contemporary “ecological” issues concerning glorification of science (called by the Author „science-centrism) present in paradigm and practice of nature protection. Assuming that science can be often treated as conditio sine qua non of effective pro-ecological activity, and that such approach isn’t in fact appropriate, the Author led diverse arguments supporting the thesis that the presence of science isn’t necessary in theoretical and applied protection of nature. Within the discourse he tried to (...) defend the possibilities of the wide spectrum of environmental-friendly approaches and appreciate alterscientific paradigms and tools of nature protection. The Author attempted to emphasize that science-based tools of nature protection aren’t of absolute type. He tried to present a relativized scientific approach (possibility against necessity) as an opportunity to create wiser and more rational vision of nature protection, not based on idolatry of science. (shrink)

There has been considerable debate in the literature as to whether work in experimental philosophy actually makes any significant contribution to philosophy. One stated view is that many X-Phi projects, notwithstanding their focus on topics relevant to philosophy, contribute little to philosophical thought. Instead, it has been claimed the contribution they make appears to be to cognitive science. In contrast to this view, here we argue that at least one approach to X-Phi makes a contribution which parallels, and also extends, (...) historically salient forms of philosophical analysis, especially contributions from Immanuel Kant, William James, Peter F. Strawson and Thomas Nagel. The framework elaborated here synthesizes philosophical theory with empirical evidence from psychology and neuroscience and applies it to three perennial philosophical problems. According to this account, the origin of these three problems can be illuminated by viewing them as arising from a tension between two distinct types of cognition, each of which is associated with anatomically independent and functionally inhibitory neural networks. If the parallel we draw, between an empirical project and historically highly influential examples of philosophical analysis, is viewed as convincing, it follows that work in the cognitive sciences can contribute directly to philosophy. Further, this conclusion holds whether the empirical details of the account are correct or not. (shrink)

A growing body of research has examined how people judge the persistence of identity over time—that is, how they decide that a particular individual is the same entity from one time to the next. While a great deal of progress has been made in understanding the types of features that people typically consider when making such judgments, to date, existing work has not explored how these judgments may be shaped by normative considerations. The present studies demonstrate that normative beliefs do (...) appear to play an important role in people's beliefs about persistence. Specifically, people are more likely to judge that the identity of a given entity remains the same when its features improve than when its features deteriorate. Study 1 provides a basic demonstration of this effect. Study 2 shows that this effect is moderated by individual differences in normative beliefs. Study 3 examines the underlying mechanism, which is the belief that, in general, various entities are essentially good. Study 4 directly manipulates beliefs about essence to show that the positivity bias regarding essences is causally responsible for the effect. (shrink)

The purpose of the article was 1) to assess the relationship between the organizational culture (OC) type and business strategy (BS); 2) to prove that OC influences the survival strategy success/implementation; 3) to contribute to the expansion of organizational theory by analyzing the Boston Consulting Group (BCG) strategy palette as the basis for developing an effective company survival strategy during the crisis. To achieve the purpose, correlation analysis between OC types (authors' typology) and BS (Boston Consulting Group and Miles (...) & Snow Models) was used (561 employees of different industries participated in the survey; the data collected laid the foundation for the research). As a result, it was proved that 1) certain types of organizational culture correspond to certain types of strategies; 2) during the period when the company overcomes the recession, OC affects strategic innovation decisions; 3) building a sustainable business ecosystem enhances the positive impact. The main limitations of the study are 1) some elements of subjectivity assessment, 2) constant changes in OC and BS, 3) the probability of different subcultures coexistence. Implications for a Central European audience: The results confirmed that there is a need for managers to 1) take into account the organizational culture characteristics/features to implement chosen strategies successfully; 2) be ready to adapt the OC before the BS is approved; 3) adopt the idea that building an innovation ecosystem can be crucial to confront the crisis with confidence. (shrink)

This article suggests different approaches to the definition of the nature, types, and component elements of safety culture (SC) in the organization; given the possible method of evaluation; formulated the concept of professional safety culture by taking into account the features of the medical industry; suggested innovative ways to implement the SC and strengthen it to improve the efficiency of hospitals. -/- Запропоновано окремі підходи до трактування сутності, видів і складових елементів культури безпеки (КБ) в організації; надано можливий метод оцінки; (...) сформульовано поняття професійної культури безпеки з урахуванням особливостей медичної галузі; запропоновано інноваційні шляхи впровадження КБ і її зміцнення для підвищення ефективності діяльності медичного закладу. (shrink)

Coronavirus disease (Covid-19) is an infectious disease caused by the SARS-CoV-2 virus. Spreading rate of mutated corona virus (delta variant) during second wave was very fast. Most of the people infected with the COVID-19 virus experienced mild to moderate to severe respiratory illness. Although patients in the second wave were younger but the duration of hospitalization and case fatality rate were lower than those in the first wave. During first wave of Covid-19 it was observed that persons above 55 years (...) of age and those with underlying medical problems like cardiovascular disease, diabetes, chronic respiratory disease and cancer were more susceptible to develop serious illness but in second it was observed that person between 30 to 55 years along with old age and younger people suffering from hypertension, diabetes and respiratory diseases were more susceptible to this covid-19 virus. The most frequent signs and symptoms in both waves were fever, dyspnea, pneumonia, and cough, and the most relevant comorbidities were cardiovascular diseases, type 2 diabetes mellitus, and chronic neurological diseases. Every country has lost its human resources due to covid-19 virus which not only disturb the social life but economic conditions are also very badly affected. Now we use the resources so rapidly that may create economic imbalance in future. The psychological effect is an essential component of disaster management of infectious pandemics. (shrink)

У статті розкрито сутність і зміст індивідуального стилю професійної діяльності, його структуру й механізми формування. Установлено, що індивідуальний стиль професійної діяльності є комплексним особистісним утворенням, яке охоплює сталу систему методів і методик роботи та визначає певну стратегію поведінки в трудовій діяльності. Показано, що структуру індивідуального стилю можна уявити у вигляді змістового ядра й прибудови до нього, що формується внаслідок дії механізмів адаптації, компенсації й корекції під час опанування суб’єктом професійної діяльності. З’ясовано, що індивідуальний стиль професійної діяльності може бути охарактеризований через (...) своєрідність співвідношення в структурі орієнтовної, виконавчої та контрольної видів професійної діяльності та визначений як такий, що має процесуальність, особистісну своєрідність, продуктивність, розвивальнимй, коригувальний та адаптивний потенціал, умотивованість у виявленні й розвитку стилю. Акцентовано на тому, що стиль професійної діяльності є водночас фактором і наслідком індивідуального професійного розвитку індивіда, коли в процесі набуття професійного досвіду відбувається інтеграція вроджених властивостей нервової системи, набутих інтелектуальних, емоційних, поведінкових якостей та формуються відмітні риси й індивідуальні здібності людини, що забезпечують її ефективність і продуктивність у досягненні результатів. Виявлено та обґрунтовано педагогічні умови формування індивідуального стилю професійної діяльності майбутніх фахівців. Серед них: урахування індивідуально-психологічних особливостей майбутніх фахівців; запровадження засобів комплексної диференціації з метою розвитку адекватної самооцінки та настанов у виконанні трудових дій; цілеспрямоване формування системи раціональних трудових прийомів; створення на заняттях позитивного мікроклімату, атмосфери співтворчості та співпраці, що забезпечить закріплення оригінальних способів здійснення професійної діяльності. -/- The article studies the problem of the future specialist’s professional formation as a subject of professional activity, which is characterized by originality and peculiarity in the realization of labour functions. The aim of the article is to reveal the essence and content of the individual style of professional activity, its structure and formation mechanisms; determination of pedagogical terms that contribute to the shaping of the optimal individual style of future specialists’ professional activity during their professional preparation process. A complex of research methods has been used, namely: content analysis, generalization and specification in the provisions of the theory of activity and professional pedagogy regarding the essence of the individual style of activity, modelling of the structure of the individual style of professional activity, substantiating the pedagogical terms of its formation in future specialists during their professional preparation process. It has been established that the individual style of professional activity is a complex personal creation including a stable system of work methods and techniques, and determining a certain behaviour strategy in their labour activity. It has been shown that the structure of an individual style can be presented in the form of a content core and an extension to it; it is formed as a result of the action of mechanisms of adaptation, compensation and correction during the subject’s mastery of professional activity. It has been found that the individual style of professional activity can be characterized by means of the peculiarity of the ratio of the indicative, executive and control types of professional activity in its structure. It can be defined by way of procedural, personal originality, and productivity parameters, as well as one’s having the developmental, corrective and adaptive potential, and motivation in detecting and shaping the style. It has been emphasised that the style of professional activity, at the same time, is both a factor and a consequence of the person’s individual professional development. During the gaining professional experience process, the innate properties of the nervous system, and acquired intellectual, emotional, and behavioural qualities are integrated and a person’s distinctive features and individual abilities are formed ensuring their efficiency and productivity in achieving the results. It has been highlighted that such leading methodological approaches as systemic, personal-activity, axiological and acmeological ones are effective means to shape the future specialists’ individual style of professional activity. They make it possible to form not individual features or characteristics, but an integral dynamic psychological system of individual active adaptation to the conditions of the professional environment via involvement in the study and professional activities, taking into account personality traits and value attitudes and focusing on achieving the top of the professional mastery. Pedagogical terms for the formation of the future specialists’ individual style of professional activity have been identified and substantiated. They include taking into account the individual and psychological characteristics of future specialists, introducing means of complex differentiation to develop adequate self-assessment and attitudes in the performance of labour actions, purposeful formation of a system of rational labour methods, as well as creation of a positive microclimate and an atmosphere of co-creation and cooperation in classes, which will ensure the consolidation of original methods of carrying out professional activities. (shrink)

Paper type: Conceptual perspective. Background(s): Physics, biology, epistemology Perspectives: Theory of autopoietic systems, Popperian evolutionary epistemology and the biology of cognition. Context: This paper is a contribution to developing the theories of hierarchically complex living systems and the natures of knowledge in such systems. Problem: Dissonance between the literatures of knowledge management and organization theory and my observations of the living organization led to consideration of foundation questions: What does it mean to be alive? What is knowledge? How are (...) life and knowledge related? Method: The approach is synthetic and multidisciplinary. The concept of autopoiesis (as defined by Maturana) as a definition for life, and knowledge as a product of autopoiesis are developed from first principles regarding the behavior of dynamical systems in time. Results: Autopoiesis and the construction of knowledge are inseparable aspects of physical phenomena scalable to many levels of organization (e.g., cells, multicellular organisms, organizations, social systems, etc.). The result unifies theories of epistemology, physical dynamics, life, biological evolution, knowledge and social systems. Implications: Results highlight the importance to understand autopoiesis as first defined by Maturana and Varela – as a complex physical phenomenon persisting over time. Autopoietic “self-observation” is not paradoxical. As dynamic physical processes, any internal/external activities relating to “observations” are displaced in time. The worlds living systems act on are not those observed. “Circularly closed” systems are actually open spirals along the axis of time. (shrink)

Initial responses to questionnaires used to assess participants' understanding of informed consent for malaria vaccine trials conducted in the United States and Mali were tallied. Total scores were analyzed by age, sex, literacy (if known), and location. Ninety-two percent (92%) of answers by United States participants and 85% of answers by Malian participants were correct. Questions more likely to be answered incorrectly in Mali related to risk, and to the type of vaccine. For adult participants, independent predictors of higher (...) scores were younger age and female sex in the United States, and male sex in Mali. Scores in the United States were higher than in Mali (P = 0.005). Despite this difference participants at both sites were well informed overall. Although interpretation must be qualified because questionnaires were not intended as research tools and were not standardized among sites, these results do not support concerns about systematic low understanding among research participants in developing versus developed countries. (shrink)

The goal of this paper is twofold. First, we argue that the understanding one has of a proposition or a propositional content of a representational vehicle is a species of what contemporary epistemologists characterise as objectual understanding. Second, we demonstrate that even though this type of understanding differs from linguistic understanding, in many instances of successful communication, these two types of understanding jointly contribute to understanding a communicated thought.

Host-microbiome interactions (HMIs) are critical for the modulation of biological processes and are associated with several diseases, and extensive HMI studies have generated large amounts of data. We propose that the logical representation of the knowledge derived from these data and the standardized representation of experimental variables and processes can foster integration of data and reproducibility of experiments and thereby further HMI knowledge discovery. A community-based Ontology of Host-Microbiome Interactions (OHMI) was developed following the OBO Foundry principles. OHMI leverages established (...) ontologies to create logically structured representations of microbiomes, microbial taxonomy, host species, host anatomical entities, and HMIs under different conditions and associated study protocols and types of data analysis and experimental results. (shrink)

In one of the most unusual decisions in the history of legal publishing, Foundation Press is printing the 1958 "tentative edition" of Henry M. Hart, Jr. and Albert M. Sacks's teaching materials on The Legal Process: Basic Problems in the Making and Application of Law. Although The Legal Process remains unfinished to this day, it provided the agenda, much of the analytic structure, and even the name of the "legal process school" of the 1950s and the 1960s. One need not (...) embrace the proposition that The Legal Process is "the most influential book not produced in movable type since Gutenberg" to agree that these are unusually important teaching materials whose influence extends well beyond the students who studied them in a law school course. (shrink)

Abstract: A novel quadric-dentate demi-macrocycle of the type [C14H30N2O2] (ClO4)2¯ was synthesized by 1:2 condensation reaction at high dilution process. The desired demi-macrocycle was characterized by spectral methods such as UV-visible, IR, 1HNMR and elemental analysis. The results obtained were in close conformity with properties and proposed structure.

The inflation of Type I error rates is thought to be one of the causes of the replication crisis. Questionable research practices such as p-hacking are thought to inflate Type I error rates above their nominal level, leading to unexpectedly high levels of false positives in the literature and, consequently, unexpectedly low replication rates. In this article, I offer an alternative view. I argue that questionable and other research practices do not usually inflate relevant Type I error (...) rates. I begin with an introduction to Type I error rates that distinguishes them from theoretical errors. I then illustrate my argument with respect to model misspecification, multiple testing, selective inference, forking paths, exploratory analyses, p-hacking, optional stopping, double dipping, and HARKing. In each case, I demonstrate that relevant Type I error rates are not usually inflated above their nominal level, and in the rare cases that they are, the inflation is easily identified and resolved. I conclude that the replication crisis may be explained, at least in part, by researchers’ misinterpretation of statistical errors and their underestimation of theoretical errors. (shrink)

”It is often assumed that knowledge claims must be justified. But what kind of justification is required for knowledge ? . . . ” (*) -/- presupposition: the kind of epistemic justification depends on the type of the knowledge claim and its respective knowledge claim tradeoff ’vague vs. precise’. -/- procedere: in two - almost purely logical - case studies I account for this tradeoff and question in each case what (if any) were its general outcome wrt justification -/- (...) first for basic measurement statements of the form ′′ϕ(x) = r ∈ IR ± δ′′ (wrt ”measurement accuracy realism” debate) -/- and secondly predication statements of the form ′′x is ( a case of )P′′ (wrt ”epistemic vagueness” debate). (shrink)

In general, a system S (that may be a company, association, institution, society, country, etc.) is formed by sub-systems Si { or P(S), the powerset of S }, and each sub-system Si is formed by sub-sub-systems Sij { or P(P(S)) = P2(S) } and so on. That’s why the n-th PowerSet of a Set S { defined recursively and denoted by Pn(S) = P(Pn-1(S) } was introduced, to better describes the organization of people, beings, objects etc. in our real world. (...) The n-th PowerSet was used in defining the SuperHyperOperation, SuperHyperAxiom, and their corresponding Neutrosophic SuperHyperOperation, Neutrosophic SuperHyperAxiom in order to build the SuperHyperAlgebra and Neutrosophic SuperHyperAlgebra. In general, in any field of knowledge, one in fact encounters SuperHyperStructures. Also, six new types of topologies have been introduced in the last years (2019-2022), such as: Refined Neutrosophic Topology, Refined Neutrosophic Crisp Topology, NeutroTopology, AntiTopology, SuperHyperTopology, and Neutrosophic SuperHyperTopology. (shrink)

I discuss the foundations of predicate ontologies based on two model notions – elementary states of affairs and eventualities, i.e. ordered pairs of initial and end states of affairs. Vendlerian classifications are oriented towards elementary states and tense logic, while Davidsonian classifications deal with eventualities and event logic. There are two kinds of atemporal predicates - fact and properties. Facts are propositional arguments of second-order predicates which add a special meaning that the embedded proposition was verified. Properties are atemporal first-order (...) predicates that lack eventive interpretation and are not associated with factive frames. Davidsonian states are homogeneous durable spatiotemporal things distinct both from atemporal properties and spatiotemporal dynamic predicates. Davidsonian states are causally independent, while resultatives are causally determined as they reconstruct a preceding event that has caused the end state p. I discuss the contrast between external and internal Davidsonian states. The former lack a priority argument and can be quantified extensionally. The latter have a priority experiential argument and can only be quantified intensionally. External states can be observed, while internal states cannot. (shrink)

This paper deals with Gärdenfors’ theory of conceptual spaces. Let \({\mathcal {S}}\) be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes \(\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S}\) be given. Our main result is the construction of a classification algorithm. That is, given an element \({\tilde{A}}\in \mathcal {S},\) our algorithm classifies it into the conceptual field determined by one of the given prototypes \(\tilde{P}_i.\) The construction of our algorithm uses some physical (...) analogies and the Newton potential plays a significant role here. Importantly, the resulting conceptual fields are not convex in the Euclidean sense, which we believe is a reasonable departure from the assumptions of Gardenfors’ original definition of the conceptual space. A partitioning algorithm of the space \(\mathcal {S}\) is also considered in the paper. In the application section, we test our classification algorithm on real data and obtain very satisfactory results. Moreover, the example we consider is another argument against requiring convexity of conceptual fields. (shrink)

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction (...) of the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

Here, the author tries to build the structure of the Theory of computation based on considering time as a fuzzy concept. In fact, there are reasons to consider time as a fuzzy concept. In this article, the author doesn’t go to this side but note that Brower and Husserl views on the concept of time were similar [8]. Some reasons have been given for it in [3]. Throughout this article, the author presents the Theory of Computation with Fuzzy Time. Given (...) the classic definition of Turing Machine, the concept of Time is modified to Fuzzy time. This new term calls as Theory TC* [2] and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new theory, some of the major obstacles and unsolved problems have been solved [2]. It should be noted that in this article, the writer considers fuzzy number associated to instants of time as a symmetric one. The point about the symmetry is in the proof of Lemma 3, although it is generalizable. In particular, the new classes of complexity Theory, P*, NP*, BPP* in the TC* analogues to the definitions of P, NP, BPP defines as their natural alternative definition. Here, we will see P*≠ NP*, P*= BPP*. Finally, we have Theorem 4. (shrink)

Here, we try to build the structure of a Theory of computation based on considering time as a fuzzy concept. Actually, there are some reasons to consider time as a fuzzy concept. In this article, we don’t go to this side but we remind that Brower and Husserl ideas about the concept of time were similar [14]. Throughout this article, we present the Theory of Computation with Fuzzy Time. Considering the classical definition of Turing Machine we change and modify the (...) concept of Time to Fuzzy time. We call this new Theory TC* and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new Theory some of the major obstacles and unsolved problems are solved. It should be mentioned that in this article, we consider fuzzy number a symmetric one. The point about the symmetry is in the proof of Lemma 3, although we are able to generalize it. More specifically, we define the new classes of complexity Theory, P*, NP*, BPP* in TC* analogues to the definitions P, NP, BPP as their natural substituted definition. We show P*≠ NP*, P*= BPP*. Finally, we have Theorem 4, P≠NP . (shrink)

In this paper, I argue against the phenomenal concept strategy (henceforth PCS) and in favor of what Chalmers has called type-A materialism ([2006], [2010] p. 111). On her release, Mary makes no cognitive discovery at all, not even a thin, non-possibility-eliminating discovery, as Tye has recently claimed [2012]. When she is imprisoned, Mary already knows everything that is to be known about the phenomenal character of her experiences. What Mary acquires is a new non-cognitive and nonconceptual representation.

One of Moore’s paradoxical sentence types is ‘P, but I believe ~P’. Mooreans have assumed that all tokens of that sentence type are absurd in some way: epistemically, pragmatically, semantically, or assertively. And then they proceed to debate what the absurdity really is. I argue that if one has the appropriate philosophical views, then one can rationally assert tokens of that sentence type, and one can be epistemically reasonable in the corresponding compound belief as well.

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

Do the ethical features of an artwork bear on its aesthetic value? This movie endorses misogyny, that song is a civil rights anthem, the clay constituting this statue was extracted with underpaid labor—are facts like these the proper bases for aesthetic evaluation? I argue that this debate has suffered from a false presupposition: that if the answer is yes (for at least some such ethical features), such considerations feature as pro tanto contributions to an artwork's overall aesthetic value, i.e., as (...) merits or flaws which make something have more or less overall aesthetic value. As the case of ethically laden, aesthetic evaluation makes clear, however, good aesthetic judgement is irreducibly multi-dimensional, e.g., "the movie has an engaging soundtrack, tasteful camera work, and takes a misogynistically prurient perspective on its female lead.'' Such a "non-summative" judgement refuses to reduce those various dimensions of aesthetic value to a single aggregate aesthetic evaluation, like "it's a 6/10" or "it's a pretty good movie!" I defend both the modest claim that such non-summative evaluations are not mistaken and the extremist claim that summative (i.e., unidimensional) aesthetic evaluation is defective by considering other domains of normative assessment in which summing seems inappropriate, notably including evaluations of people's character. (shrink)

A critical note on Christopher Bartel and Jack M. C. Kwong, ‘Pluralism, Eliminativism, and the Definition of Art’, Estetika 58 (2021): 100–113. Art pluralism is the view that there is no single, correct account of what art is. Instead, art is understood through a plurality of art concepts and with considerations that are different for particular arts. Although avowed pluralists have retained the word ‘art’ in their discussions, it is natural to ask whether the considerations that motivate pluralism should lead (...) us to abandon art talk altogether; that is, should pluralism lead to eliminativism? This paper addresses arguments both for and against this move. We ultimately argue that pluralism allows one to retain the word ‘art’, if one wants it, but only in a loose, conversational sense. The upshot of pluralism is that talk of art in general cannot be asked to do theoretical and philosophical work. (shrink)

DOI: 10.1080/00031305.2018.1564697 When the editors of Basic and Applied Social Psychology effectively banned the use of null hypothesis significance testing (NHST) from articles published in their journal, it set off a fire-storm of discussions both supporting the decision and defending the utility of NHST in scientific research. At the heart of NHST is the p-value which is the probability of obtaining an effect equal to or more extreme than the one observed in the sample data, given the null hypothesis and (...) other model assumptions. Although this is conceptually different from the probability of the null hypothesis being true, given the sample, p-values nonetheless can provide evidential information, toward making an inference about a parameter. Applying a 10,000-case simulation described in this article, the authors found that p-values’ inferential signals to either reject or not reject a null hypothesis about the mean (α = 0.05) were consistent for almost 70% of the cases with the parameter’s true location for the sampled-from population. Success increases if a hybrid decision criterion, minimum effect size plus p-value (MESP), is used. Here, rejecting the null also requires the difference of the observed statistic from the exact null to be meaningfully large or practically significant, in the researcher’s judgment and experience. The simulation compares performances of several methods: from p-value and/or effect size-based, to confidence-interval based, under various conditions of true location of the mean, test power, and comparative sizes of the meaningful distance and population variability. For any inference procedure that outputs a binary indicator, like flagging whether a p-value is significant, the output of one single experiment is not sufficient evidence for a definitive conclusion. Yet, if a tool like MESP generates a relatively reliable signal and is used knowledgeably as part of a research process, it can provide useful information. (shrink)