This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource (...) models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

We study the complexity of proving the Pigeon Hole Principle in a monotone variant of the Gentzen Calculus, also known as Geometric Logic. We prove a size-depth trade-off upper bound for monotone proofs of the standard encoding of the PHP as a monotone sequent. At one extreme of the trade-off we get quasipolynomia -size monotone proofs, and at the other extreme we get subexponential-size bounded-depth monotone proofs. This result is a consequence of deriving the basic properties of certain monotone (...) formulas computing the Boolean threshold functions. We also consider the monotone sequent expressing the Clique-Coclique Principle defined by Bonet, Pitassi and Raz [9]. We show that monotone proofs for this sequent can be easily reduced to monotone proofs of the one-to-one and onto PHP, and so CLIQUE also has quasipolynomia -size monotone proofs. As a consequence of our results, Resolution, Cutting Planes with polynomially bounded coefficients, and Bounded-Depth Frege are exponentially separated from the monotone Gentzen Calculus. Finally, a simple simulation argument implies that these results extend to the Intuitionistic Gentzen Calculus. Our results partially answer some questions left open by P. Pudlák. (shrink)

. The paper presents a method for transforming a given sound and complete n-sequent proof system into an equivalent sound and complete system of ordinary sequents. The method is applicable to a large, central class of (generalized) finite-valued logics with the language satisfying a certain minimal expressiveness condition. The expressiveness condition decrees that the truth-value of any formula φ must be identifiable by determining whether certain formulas uniformly constructed from φ have designated values or not. The transformation preserves the (...) general structure of proofs in the original calculus in a way ensuring preservation of the weak cut elimination theorem under the transformation. The described transformation metod is illustrated on several concrete examples of many-valued logics, including a new application to information sources logics. (shrink)

In this age of DNA computers and artificial intelligence, information is becoming disembodied even as the "bodies" that once carried it vanish into virtuality. While some marvel at these changes, envisioning consciousness downloaded into a computer or humans "beamed" _Star Trek_-style, others view them with horror, seeing monsters brooding in the machines. In _How We Became Posthuman,_ N. Katherine Hayles separates hype from fact, investigating the fate of embodiment in an information age. Hayles relates three interwoven stories: how information lost (...) its body, that is, how it came to be conceptualized as an entity separate from the material forms that carry it; the cultural and technological construction of the cyborg; and the dismantling of the liberal humanist "subject" in cybernetic discourse, along with the emergence of the "posthuman." Ranging widely across the history of technology, cultural studies, and literary criticism, Hayles shows what had to be erased, forgotten, and elided to conceive of information as a disembodied entity. Thus she moves from the post-World War II Macy Conferences on cybernetics to the 1952 novel _Limbo_ by cybernetics aficionado Bernard Wolfe; from the concept of self-making to Philip K. Dick's literary explorations of hallucination and reality; and from artificial life to postmodern novels exploring the implications of seeing humans as cybernetic systems. Although becoming posthuman can be nightmarish, Hayles shows how it can also be liberating. From the birth of cybernetics to artificial life, _How We Became Posthuman_ provides an indispensable account of how we arrived in our virtual age, and of where we might go from here. (shrink)

The first thorough study in English of the multi-faceted system of Mou Zongsan, this book examines key influences on the New Confucian thinker and introduces his Kantian- and Mahāyāna Fo-inflected moral metaphysical reading of the Lu-Wang Learning of the Mind.

As we move around in our environment, and interact with it, many of the most important problems we face involve the processing of spatial information. We have to be able to navigate by perceiving and remembering the locations and orientations of the objects around us relative to ourself; we have to sense and act upon these objects; and we need to move through space to position ourselves in favourable locations or to avoid dangerous ones. While this appears so simple that (...) we don't even think about it, the difficulty of solving these problems has been shown in the repeated failure of artificial systems to perform these kinds of tasks efficiently. In contrast, humans and other animals routinely overcome these problems every single day. This book examines some of the neural substrates and mechanisms that support these remarkable abilities. The hippocampus and the parietal cortex have been implicated in various core spatial behaviours, such as the ability to localise an object and navigate to it. Damage to these areas in humans and animals leads to impairment of these spatial functions. This collection of papers, written by internationally recognized experts in the field, reviews the evidence that each area is involved in spatial cognition, examines the mechanisms underlying the generation of spatial behaviours, and considers the relative roles of the parietal and hippocampal areas, including how each interacts with the other. The papers integrate a wide range of theoretical and experimental approaches, and touch on broader issues relating to memory and imagery. As such, this book represents the state of the art of current research into the neural basis of spatial cognition. It should be of interest to anyone - researchers or graduate students - working in the areas of cognitive neuroscience, neuroanatomy, neuropsychology, and cognition generally. (shrink)

Automated Software Testing (AST) using Model Checking is in this article epistemologically analysed in order to argue in favour of a model-based reasoning paradigm in computer science. Preliminarily, it is shown how both deductive and inductive reasoning are insufficient to determine whether a given piece of software is correct with respect to specified behavioural properties. Models algorithmically checked in Model Checking to select executions to be observed in Software Testing are acknowledged as analogical models which establish isomorphic relations with the (...) target system’s data set. Analogical models developed in AST are presented as abductive models providing hypothetical explanations to observed executions. The model assumption—algorithmic check—software testing process is understood as the abduction—deduction—induction process defining the selective abduction and turned to isolate a set of model-based hypotheses concerning the target system behaviours. A manipulative abduction process is finally recognized in the practice of adapting, abstracting and refining models that do not provide successful predictions. (shrink)

One of the five pillars of the Islam, zakat (alms) was made necessary after the hijra. Although Zakat was one of the most important resources of Islamic state treasury for many years, it was excluded from the state authority in the period of Omar bin Abdul-Aziz. In recent years, it has been seen that some Muslim-majority states have made significant attempts to manage zakat under the control of the state. For example; Indonesia, Pakistan, Bangladesh, Sudan, and Nigeria are very important (...) states in terms of zakat application in İslamic world and Malaysia, a Southeast Asian country, comes first among those. Especially after 1990, Malaysia activated a new zakat management. This study deals with the Malaysian zakat system in the context of the state administration of zakat. The aim of the study is to examine the Malaysian zakat system in a comprehensive way. In the study, the history of zakat system in Malaysia, the current zakat models applied in there and the areas to which zakat is distributed are investigated. As a qualitative research method, document analysis was employed in the study. In this context, many international studies were examined which are directly related to the subject, and twenty-five Malaysian websites belonging to the institutions which collect and distribute the funds were also scanned. It has been found that Malaysian zakat system consists of public model, semi-public model and private model and seen that the states are divided into three regions and different zakat models are applied in each region. (shrink)

The paper considers the intellectual computer mathematics system InparSolver, which is designed to automatically explore and solve basic classes of computational mathematics problems on multi-core computers with graphics accelerators. The problems of results reliability of solving problems with approximate input data are outlined. The features of the use of existing computer mathematics systems are analyzed, their weaknesses are found. The functionality of InparSolver, some innovative approaches to the implementation of effective solutions to problems in a hybrid architecture are described. (...) Examples of applied usage of InparSolver for processes mathematical modeling in various subject areas are given. Nowadays, new more complex objects and phenomena in many subject areas are constantly emerging, which are subject to mathematical research on a computer. This encourages the development of new numerical methods and technologies of mathematical modeling, as well as the creation of more powerful computers for their implementation. With the advent and constant development of supercomputers of various architectures, the problems of their effective use, expansion of tasks range should be solved, ensuring the reliability of computer results and increasing the level of intellectual information support for users ‒ specialists in various fields. Today, the issues of solving these problems are given special attention by many specialists in the fields of information technology and parallel programming. The world's leadingscientists in the field of computer technology see the solution to the problems of efficient usage of modern supercomputers in algorithmic software creation that easily adapts to different computer architectures with different types of memory and coprocessors, supports efficient parallelism on millions of cores etc. In addition, improving the efficiency of high-performance computing on modern supercomputers is provided by their intellectualization, transferring to the computer to perform a significant part of the functions. The industry of development and usage of intelligent computer technologies is one of the main directions of science and technology development in modern society. (shrink)

Contrary to the widely accepted consensus, Christopher Heath Wellman argues that there are no pre-institutional judicial procedural rights. Thus commonly affirmed rights like the right to a fair trial cannot be assumed in the literature on punishment and legal philosophy as they usually are. Wellman canvasses and rejects a variety of grounds proposed for such rights. I answer his skepticism by proposing two novel grounds for procedural rights. First, a general right against unreasonable risk of punishment grounds rights to an (...) institutionalized system of punishment. Second, to complement and extend the first ground, I more controversially propose a right to provision of the robust good of security. People have a right to others' protecting for avoiding wrongfully harming them: when I take an action that is reasonably expected to threaten the protected interests of others, I must take appropriate care to avoid setting back those interests. Inflicting punishment on someone--intentionally harming them in response to a violation--is prima facie wrongful, so I can only count as taking appropriate care in punishing when I follow familiar procedures that reliably and redundantly test whether they are liable to such punishment, i.e. whether they have forfeited their right against punishment through a culpable act. (shrink)

Today's medical students are being confronted with ethical situations of far greater complexity than were their predecessors and yet the medical education system does little to prepare students for the ethical dilemmas which they inevitably face when entering the hospital environment. The following article addresses the issues surrounding a case where a patient has told a student in confidence of his plans to commit suicide. What should the student do? The only way for the student to prevent death is by (...) breaking confidentiality because the student has insufficient clinical experience to provide adequate guidance. However, this requires ignoring the patient's right to autonomy, a right enshrined in both case law and medical ethics. Clearly the student's ethical, moral and legal position must be carefully evaluated. (shrink)

Philosophers of mind, both in the conceptual analysis tradition and in the empirical informed school, have been implicitly neglecting the potential conceptual role of the Peripheral Nervous System (PNS) in understanding sensory and perceptual states. Instead, the philosophical as well as the neuroscientific literature has been assuming that it is the Central Nervous System (CNS) alone, and more exactly the brain, that should prima facie be taken as conceptually and empirically crucial for a philosophical analysis of such states This is (...) the first monograph that focuses on the PNS and its constitutive role in sensory states, including pain, mechanoception, proprioception, tactile perception, and so forth. -/- The author argues that the brain-centeredness of current philosophy of mind is a prejudice, and proposes a series of original ways in which classic puzzles in the philosophy of mind can be solved once the hypothesis that PNS is a constitutive element of mental states is taken seriously. The author calls this “the Peripheral Mind Hypothesis”, and employs it in a vast range of issues, such as functionalism, physicalism, mental content, embodiment, as well as some issues in neuroethics. -/- Making equal use of conceptual analysis, empirical data from neuroscience, first-person phenomenological data, and philosophical speculation, this work offers a fresh look at, and novel solutions to many philosophical problems. (shrink)

Disturbing international inequalities in health abound. Life expectancy in Swaziland is half that in Japan. A child unfortunate enough to be born in Angola has 73 times as great a chance of dying before age 5 as a child born in Norway. A mother giving birth in southern sub-Saharan Africa has 100 times as great a chance of dying from her labor as one birthing in an industrialized country. For every mile one travels outward toward the Maryland suburbs from downtown (...) Washington, DC on its underground rail system, life expectancy rises by a year – reflecting the race and class inequities in American health. Are the glaring, even larger, international health inequalities also unjust? -/- All of us no doubt think they are grossly unfortunate. Many of us think they are unfair or unjust. Why should some people be at such a health disadvantage through no fault of their own, losers in a natural and social lottery assigning them birth in an unhealthy place? Others of us are troubled by the absence of the kinds of human relationships that ordinarily give rise to the claims of egalitarian justice that we make on each other – for example, being fellow citizens or even interacting in a cooperative scheme. Who has obligations of justice to reduce these international inequalities? And do those obligations hold regardless of how the inequalities came about? What institutions are accountable for addressing them? (shrink)

Work on Sankhya system in Hindu philosophy; includes commentaries.

The purpose of the study is to identify a common theoretical basis for the study of human life as capital and unconditional higher value. Theoretical basis is based on the value-laden and revised structural constructivism, provided by the French philosopher and sociologist Pierre Bourdieu, critical analysis of the concepts of capital as the embodiment of social expectations, the biological concept of the value of human life, as well as the concepts of its sanctity. Originality. It is proved that one should (...) not consider the value of human life as capital only but instead takes into account its different value interpretations, especially when forming the social identity of a person. Moreover, in each of the value systems, the value of human life can be recognized as unconditional, which does not prevent the coexistence of such different value interpretations within the framework of one social identity, which then inevitably becomes a multiple social identity. Conclusions. Human life cannot be considered as a result of integrating economic expectations into the concept of "advertising" capital: first, expectations may well be inadequate; second, expectations by themselves are not directly related to capital; third, expectations do not necessarily lead to development; fourth, one should clearly distinguish between the spontaneous "expectations" and the values that express people’s strong motivation as members of social communities. The multiplicity of possible cultural conditions that affirm the unconditional value of life indicates that this unconditionality is always relevant rather than absolute. The multiple social identities could be used to add value to the protection of human life, the affirmation of multiple social identities is a means of affirming the unconditional value of human life – it is unconditional in several alternative ways. (shrink)

Any consistent and sufficiently strong system of first-order formal arithmetic fails to decide some independent Gödel sentence. We examine consistent first-order extensions of such systems. Our purpose is to discover what is minimally required by way of such extension in order to be able to prove the Gödel sentence in a non-trivial fashion. The extended methods of formal proof must capture the essentials of the so-called 'semantical argument' for the truth of the Gödel sentence. We are concerned to show (...) that the deflationist has at his disposal such extended methods-methods which make no use or mention of a truth-predicate. This consideration leads us to reassess arguments recently advanced-one by Shapiro and another by Ketland-against the deflationist's account of truth. Their main point of agreement is this: they both adduce the Gödel phenomena as motivating a 'thick' notion of truth, rather than the deflationist's 'thin' notion. But the so-called 'semantical argument', which appears to involve a 'thick' notion of truth, does not really have to be semantical at all. It is, rather, a reflective argument. And the reflections upon a system that are contained therein are deflationarily licit, expressible without explicit use or mention of a truth-predicate. Thus it would appear that this anti-deflationist objection fails to establish that there has to be more to truth than mere conformity to the disquotational T-schema. (shrink)

The capacity to be creative, to produce new concepts, ideas, inventions, objects or art, is perhaps the most important attribute of the human brain. We know very little, however, about the nature of creativity or its neural basis. Some important questions include how should we define creativity? How is it related (or unrelated) to high intelligence? What psychological processes or environmental circumstance cause creative insights to occur? How is it related to conscious and unconscious processes? What is happening at the (...) neural level during moments of creativity? How is it related to health or illness, and especially mental illness? This paper will review introspective accounts from highly creative individuals. These accounts suggest that unconscious processes play an important role in achieving creative insights. Neuroimaging studies of the brain during "REST" (random episodic silent thought, also referred to as the default state) suggest that the association cortices are the primary areas that are active during this state and that the brain is spontaneously reorganising and acting as a self-organising system. Neuroimaging studies also suggest that highly creative individuals have more intense activity in association cortices when performing tasks that challenge them to "make associations." Studies of creative individuals also indicate that they have a higher rate of mental illness than a noncreative comparison group, as well as a higher rate of both creativity and mental illness in their first-degree relatives. This raises interesting questions about the relationship between the nature of the unconscious, the unconscious and the predisposition to both creativity and mental illness. (shrink)

The truth of every human being is the end his life with death, and this leads to leaving assets and funds for those after him and can lead to hate between the heirs, it has made a point of Islamic law on all aspects of life, including the subject of the inheritance of the deceased. The main problem is how to get the knowledge of the basics of inheritance. This paper reviews work done in the use of expert system software (...) to calculate inheritance in Islam. A proposed expert system was designed and developed using CLIPS language to calculate the inheritance in Islam. (shrink)

The theory of dynamical systems allows one to describe the change in a system' 's macroscopic behavior as a bifurcation in the underlying dynamics. We show here, from the example of depressive syndrome, the existence of a correspondence between clinical and electro-physiological dimensions and the association between clinical remission and brain dynamics reorganization. On the basis of this experimental study, we discuss the interest of such results concerning the question of normality versus pathology in psychiatry and the relationship between (...) mind and brain. (shrink)

Representation of quantum states by statistical ensembles on the quantum phase space in the Hamiltonian form of quantum mechanics is analyzed. Various mathematical properties and some physical interpretations of the equivalence classes of ensembles representing a mixed quantum state in the Hamiltonian formulation are examined. In particular, non-uniqueness of the quantum phase space probability density associated with the quantum mixed state, Liouville dynamics of the probability densities and the possibility to represent the reduced states of bipartite systems by marginal (...) distributions are discussed in detail. These considerations are used to study ensembles of hybrid quantum-classical systems. In particular, nonlinear evolution of a single hybrid system in a pure state and unequal evolutions of initially equivalent ensembles are discussed in the context of coupled hybrid systems. (shrink)

This paper answers the title question, “Yes,” on both counts. The first part of the paper argues that modern liberals are socialists, and the second part argues that they are also social democrats. The main idea behind the first argument is that the state has effectively taken control of the incidents of ownership through its taxation, spending, and regulatory policies. The main idea behind the second argument is that the institutions of social democracy are replicated by the institutions favored by (...) modern American liberalism. Specifically, the takeover of the American healthcare system, Social Security, employers' mandatory contributions to unemployment insurance, and workers' compensation insurance replicate the institutions of social democracy. (shrink)

In these days, there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that help students understand the basics of math and that helps a lot of students of all ages to understand the topic because it's important for students of adding and subtracting. Through which the student will be able to study the course and solve related problems. An (...) evaluation of the intelligent tutoring systems was carried out and the results were encouraging. (shrink)

Here, in our approximation of polaron theory, we examine the importance of introducing theT product, which turn out to be a very convenient theoretical approach for the calculation of thermodynamical averages.We focus attention on the investigation of the so-called linear polaron Hamiltonian and present in detail the calculation of the correlation function, spectral function, and Green function for such a linear system.It is shown that the linear polaron Hamiltonian provides an exactly solvable model of our system, and the result obtained (...) with this approach holds true for an arbitrary coupling constant which describes the strength of interaction between the electron and the lattice vibrations. Then, with the help of a variational technique, we show the possibility of reducing the real polaron Hamiltonian to a socalled trial or approximate linear model Hamiltonian.We also consider the exact calculation of free energy with a special technique that reduces calculations with the help of the T product, which, in our opinion, works much better and is easier than other analogous considerations, for example, the path-integral or Feynman-integral method.(1,2)Here we furthermore recall our own work,(4) where it was shown that the results of Refs. 7 and 8 concerning the impedance calculation in the polaron model may be obtained directly without the use of the path-integral method.The study of the polaron system's thermodynamics is carried out by us in the framework of the functional method. A calculation of the free energy and the momentum distribution function is proposed.Note also that the polaron systems with strong coupling(9) proved to be useful in different quantum field models in connection with the construction of dynamical models of composite particles. A rigorous solution of the special strong-coupling polaron problem, describing the interaction of a nonrelativistic particle with a quantum field, was given by Bogolubov.(3) The works of Tavkhelidze, Fedyanin, Khrustalev, and others(10–13) are dedicated to the further development and generalization of the Bogolubov method.Notice, too, that the electron-photon interaction effects play an important part in many problems of modern solid state theory (see, e.g., Refs. 7 and 14–19).The present paper summarizes a set of lectures delivered as a special course in the physics department of Moscow State University. (shrink)

An Intelligent Tutoring System (ITS) is a computer system that offers an instant, adapted instruction and customized feedback to students without human teacher interference. Reciting "Tajweed" the Holy Quran in the appropriate way is very important for all Muslims and is obligatory in Islamic devotions such as prayers. In this paper, the researchers introduce an intelligent tutoring system for teaching Reciting "Tajweed". Our "Tajweed" tutoring system is limited to "Tafkhim and Tarqiq in TAJWEED" the Holy Quran, Rewaya: Hafs from ‘Aasem. (...) The system was evaluated by reciting teachers and students, and the results were auspicious. (shrink)