The theory of logical gates in quantum computation has inspired the development of new forms of quantum logic where the meaning of a formula is identified with a density operator and the logical connectives are interpreted as operations defined in terms of quantum gates. We show some relations between the Bertini gate and many valued connectives by probability values. On this basis, one can deal with quantum circuits as expressions in an algebraic environment such as product many valued algebra for (...) combinational circuits. As can be expected, we show that the compositional logic characterized by the qubit semantics is stronger than the compositional Łukasiewicz quantum computational logic by a counterexample. But, in the holistic case, we conjecture that they can characterize the same logic. (shrink)

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena (...) and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like “Alice knows that everybody knows that she is pretty”, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book. (shrink)

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

A record of the words and teachings of Confucius, _The Analects_ is considered the most reliable expression of Confucian thought. However, the original meaning of Confucius's teachings have been filtered and interpreted by the commentaries of Confucianists of later ages, particularly the Neo-Confucianists of the Song dynasty, not altogether without distortion.In this monumental translation by Professor D. C. Lau, an attempt has been made to interpret the sayings as they stand. The corpus of the sayings is taken as an organic (...) whole and the final test of the interpretation rests on the internal consistency it exhibits. In other words, _The Analects_ is read in the light of _The Analects._This results in a truer understanding of Confucius' thought than the traditional interpretation and paves the way for a re-assessment of its importance in the history of Chinese thought and its relevance to the present day world.This volume also contains an introduction to the life and teachings of Confucius, and three appendices on the events in the life of Confucius, on his disciples, and on the composition of _The Analects._. (shrink)

RésuméLa croyance que l'on est (ou pas) dans un état de douleur est singulière en ceci qu'elle semble pouvoir être qualifiée d'infaillibilité ou d'incorrigibilité logique, de même que le cogito. Mais comment se peut-il que l'existence d'une croyance (vraie) et l'existence du fait qui est l'objet de cette croyance puisssent constituer la même existence? Je propose ici une réponse à cette question. Parfois, une croyance peut être un désir.

We propose a kernel method for using combinations of features across example pairs in learning pairwise classifiers. Pairwise classifiers, which identify whether two examples belong to the same class or not, are important components in duplicate detection, entity matching, and other clustering applications. Existing methods for learning pairwise classifiers from labeled training data are based on string edit distance or common features between two examples. However, if two examples from the same class have few common features, these methods have difficulties (...) in finding these pairs and achieving high recall. One typical example is to check whether two abbreviated author names in different citations refer to the same person or not. Since similarities between examples from the same class become close to zero, classifiers fail to distinguish positive pairs from negative pairs. One approach to avoiding the problem of zero similarities is using conjunctions of different features across examples, but implementing this idea straightforwardly makes the computational cost prohibitive for practical problems. Using a kernel on pair instances, our method can use feature conjunctions across examples without actually doing feature mappings, which are computationally expensive. The kernel is a tensor product of two inner products on the original feature space. The corresponding feature mapping generates conjunctions of features only across the two different examples while that of the conventional polynomial kernel also generates conjunctions of features from the same example, which are irrelevant to pairwise classification and cause deterioration of accuracy. Our experiments on the author matching problem show that this method can give a precision 4 to 8 times higher than that of previous methods at medium recall levels. (shrink)

This is a study of a crucial and controversial topic in metaphysics and the philosophy of science: the status of the laws of nature. D. M. Armstrong works out clearly and in comprehensive detail a largely original view that laws are relations between properties or universals. The theory is continuous with the views on universals and more generally with the scientific realism that Professor Armstrong has advanced in earlier publications. He begins here by mounting an attack on the orthodox and (...) sceptical view deriving from Hume that laws assert no more than a regularity of coincidence between instances of properties. In doing so he presents what may become the definitive statement of the case against this position. Professor Armstrong then goes on to establish his own theory in a systematic manner defending it against the most likely objections, and extending both it and the related theory of universals to cover functional and statistical laws. This treatment of the subject is refreshingly concise and vivid: it will both stimulate vigorous professional debate and make an excellent student text. (shrink)

The Arabic version of the Enneads is the earliest datable text in which appears the term "anniyya", that features in Avicenna’s metaphysics and lies in the background of the Latin definition of the Causa prima as esse tantum, typical of the Liber de Causis. This paper examines some examples of the use of "to be" in the Arabic translation of the Enneads. It also discusses the description of the First Cause as ‘pure Being’ or ‘first Being’ in the Arabic Plotinus, (...) and compares it with the Divine Names of the pseudo-Dionysius. icona . (shrink)

Engaging Polanyi’s embeddedness–disembeddedness framework, this study explored the work experiences of Bhil children employed in Indian Bt cottonseed GPNs. The innovative visual technique of drawings followed by interviews was used. Migrant children, working under debt bondage, underwent greater exploitation and perennial and severe depersonalized bullying, indicative of commodification of labour and disembeddedness. In contrast, children working in their home villages were not under debt bondage and underwent less exploitation and occasional and mild depersonalized bullying, indicative of how civil society organizations, (...) along with the state, attempt to re-embed economic activities in the social context. Polanyi’s double movement was evident. ‘Place’ emerged as the pivotal factor determining children’s experiences. A ‘protective alliance’ of community controls and social power, associated with in-group affiliations and cohesive ties, stemming from a common village and tribal identity, aided children working at home for Bhil farmers. ‘Asymmetric intergroup inequality’ due to pronounced social identity and class differences, coupled with locational constraints and developmental disadvantage, made migrant children vulnerable targets. Social embeddedness influences how child workers are treated because it forces employers to be ethical and not engage in bullying. However, by shifting production to children’s home villages, there is an attempt to obscure the difference between child labour and child work. Thus, the seeds of disembeddedness are sown through the very act of re-embeddeding, potentially hampering future interventions. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

The characteristic holistic features of the quantum theoretic formalism and the intriguing notion of entanglement can be applied to a field that is far from microphysics: logical semantics. Quantum computational logics are new forms of quantum logic that have been suggested by the theory of quantum logical gates in quantum computation. In the standard semantics of these logics, sentences denote quantum information quantities: systems of qubits (quregisters) or, more generally, mixtures of quregisters (qumixes), while logical connectives are interpreted as special (...) quantum logical gates (which have a characteristic reversible and dynamic behavior). In this framework, states of knowledge may be entangled, in such a way that our information about the whole determines our information about the parts; and the procedure cannot be, generally, inverted. In spite of its appealing properties, the standard version of the quantum computational semantics is strongly “Hilbert-space dependent”. This certainly represents a shortcoming for all applications, where real and complex numbers do not generally play any significant role (as happens, for instance, in the case of natural and of artistic languages). We propose an abstract version of quantum computational semantics, where abstract qumixes, quregisters and registers are identified with some special objects (not necessarily living in a Hilbert space), while gates are reversible functions that transform qumixes into qumixes. In this framework, one can give an abstract definition of the notions of superposition and of entangled pieces of information, quite independently of any numerical values. We investigate three different forms of abstract holistic quantum computational logic. (shrink)

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as the (...) most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

This is a study of the nature of time. In it, redeploying an argument first presented by McTaggart, the author argues that although time itself is real, tense is not. He accounts for the appearance of the reality of tense - our sense of the passage of time, and the fact that our experience occurs in the present - by showing how time is indispensable as a condition of action. Time itself is further analysed, and Dr Mellor gives answers to (...) most of the metaphysical questions it provokes, concerning the relation of time to space, the dissection of time, and its relation to change and causation. (shrink)

Une étude sur la virtualité toujours présente du mal politique. Pour comprendre le présent de ce mal, il faut rouvrir le passé, remonter notamment au mal radical selon Kant, ou aux liens entre le tragique et la capacité d'institution politique chez Aristote. Se dégage alors une longue tradition : celle d'une humanité dénuée de toute prétention à l'innocence, rendue au mal de sa liberté.