The aim of this work is to develop a declarative semantics for N-Prolog with negation as failure. N-Prolog is an extension of Prolog proposed by Gabbay and Reyle, which allows for occurrences of nested implications in both goals and clauses. Our starting point is an operational semantics of the language defined by means of top-down derivation trees. Negation as finite failure can be naturally introduced in this context. A goal-G may be inferred from a database if every top-down derivation of (...) G from the database finitely fails, i.e., contains a failure node at finite height.Our purpose is to give a logical interpretation of the underlying operational semantics. In the present work we take into consideration only the basic problems of determining such an interpretation, so that our analysis will concentrate on the propositional case. Nevertheless we give an intuitive account of how to extend our results to a first order language. A full treatment of N-Prolog with quantifiers will be deferred to the second part of this work. (shrink)

The title of this collection of studies alludes to the revolt against formalism in modern art, as opposed to the various kinds of formalized analysis to which art is today subjected, both by the critic and by the aesthetician. Although the names of the contributors—Alquié, Zolla, Brun, Dufrenne, Giorgi, Olivetti—are all remembered in connection with outstanding materials in this field, the contributions to this volume are unequal in value. Those of Dufrenne and Giorgi make the book required reading for (...) anyone attempting to go beyond the more heavy-handed formalism of much of the Aristotelian, Kantian and even pragmatist literature on aesthetics. Dufrenne's chapter deals with the a priori of the imagination, which for him is realistic, thanks to the affinity between the expressive power of the cosmic and the semantic core of the word. This affinity crystallizes in what he calls ontological qualities. Four of these latter qualities are studied, viz., elementariness or naturality, potency, depth and purity. Giorgi defends the thesis of the linguistic character of artistic expression. She is well aware of the ambiguity factor in symbols, but this is overcome by the relationality of the latter, a relationality that allows them to act as interpretants of objects in a representative role. In the study of the process of recognition of semantic value in artistic structures, Giorgi shows a resourceful command of suggestions from information theory, linguistics, visual arts and mythical thought. The flexibility acquired through these means of analysis justifies perhaps a critical attitude towards the more formalistic conceptions of metaphor and of artistic categories.—A. M. (shrink)

Background Journal editors are responsible for what they publish and therefore have a duty to correct the record if published work is found to be unreliable. One method for such correction is retraction of an article. Anecdotal evidence suggested a lack of consistency in journal policies and practices regarding retraction. In order to develop guidelines, we reviewed retractions in Medline to discover how and why articles were retracted. Methods We retrieved all available Medline retractions from 2005 to 2008 and a (...) one-in-three random selection of those from 1988 to 2004. This yielded 312 retractions (from a total of 870). Details of the retraction including the reason for retraction were recorded by two investigators. Results Medline retractions have increased sharply since 1980 and currently represent 0.02% of included articles. Retractions were issued by authors (63%), editors (21%), journals (6%), publishers (2%) and institutions (1%). Reasons for retraction included honest error or non-replicable findings (40%), research misconduct (28%), redundant publication (17%) and unstated/unclear (5%). Some of the stated reasons might have been addressed by corrections. Conclusions Journals' retraction practices are not uniform. Some retractions fail to state the reason, and therefore fail to distinguish error from misconduct. We have used our findings to inform guidelines on retractions. (shrink)

Background: Breaches of publication ethics such as plagiarism, data fabrication and redundant publication are recognised as forms of research misconduct that can undermine the scientific literature. We surveyed journal editors to determine their views about a range of publication ethics issues. Methods: Questionnaire sent to 524 editors-in-chief of Wiley-Blackwell science journals asking about the severity and frequency of 16 ethical issues at their journals, their confidence in handling such issues, and their awareness and use of guidelines. Results: Responses were obtained (...) from 231 editors (44%), of whom 48% edited healthcare journals. The general level of concern about the 16 issues was low, with mean severity scores of <1 (on a scale of 0–3) for all but one. The issue of greatest concern (mean score 1.19) was redundant publication. Most editors felt confident in handling the issues, with <15% feeling “not at all confident” for all but one of the issues (gift authorship, 22% not confident). Most editors believed such problems occurred less than once a year and >20% of the editors stated that 12 of the 16 items never occurred at their journal. However, 13%–47% did not know the frequency of the problems. Awareness and use of guidelines was generally low. Most editors were unaware of all except other journals’ instructions. Conclusions: Most editors of science journals seem not very concerned about publication ethics and believe that misconduct occurs only rarely in their journals. Many editors are unfamiliar with available guidelines but would welcome more guidance or training. (shrink)

Castelli has again managed to bring together in Rome some of the greatest specialists of mythology, biblical exegesis, of the different branches of linguistics, with a generous sprinkling of philosophers, theologians, and historians. From the very large number of contributions, especially important are E. Benveniste: Blasphemy and euphemy; K. Kerényi: The language of theology and the theology of language; D. McKinnon: The problem of "the system of projection" in reference to the Christian theological affirmations; R. Panikkar: Silence and word, The (...) smile of the Buddha; B. Bäumer: The secret name in Hinduism; E. Levinas: The name of God after some rabbinical texts; S. Cotta: The name of God in juridical language; P. Ric£ur: Paternity: from the phantasm to the symbol; A. de Waelhens: Paternity and the Oedipus-complex in psychoanalysis; S. Breton: Religious language, theological language; J. Brun: The pseudonyms of God; H. Bouillard: The name of God in the Credo; G. Vahanian: Writing and history; I. Manchini: A nonreligious interpretation of God; X. Tilliette: Attempt at a transition from the God of the philosophers to the God of the Christians; M. Olivetti: The beginnings of Jacobi's philosophy of language.--M. J. V. (shrink)

We show that every infinite computable partial ordering has either an infinite Δ 0 2 chain or an infinite Π 0 2 antichain. Our main result is that this cannot be improved: We construct an infinite computable partial ordering that has neither an infinite Δ 0 2 chain nor an infinite Δ 0 2 antichain.

This paper assesses several prominent recent attacks on the view that epistemic justification is conceptually prior to knowledge. I argue that this view—call it the Received View (RV)—emerges from these attacks unscathed. I start with Timothy Williamson’s two strongest arguments for the claim that all evidence is knowledge (E>K), which impugns RV when combined with the claim that justification depends on evidence. One of Williamson’s arguments assumes a false epistemic closure principle; the other misses some alternative (to E>K) explanations of (...) a putative fact about the evidence a particular subject has. Next, I neutralize each of Jonathan Sutton’s three recent arguments to the conclusion that any justified belief constitutes knowledge. Finally, I consider a recent analysis of justification due to Alexander Bird, according to which justified belief is possible knowledge. I argue that Bird’s analysis delivers neither a sufficient nor (more importantly) a necessary condition for justification. [Word count: 149]. (shrink)

Studies examining the ways in which the training of engineers and scientists shapes their research strategies and scientific identities.

Institutional investors are increasingly becoming active owners through voting their shares and engaging in dialogue with investee companies to improve corporate environmental, social and corporate governance (ESG) performance. This article applies a model of stakeholder salience to the shareholder context, analysing the attributes of power, legitimacy and urgency, to determine the factors that are likely to enhance shareholder salience. It is found that a strong business case and the values of the managers of investee companies are likely to be the (...) most important contributors to shareholder salience. (shrink)

Clinical diagnostic medicine is an experimental science based on observation, hypothesis making, and testing. It is an use dynamic process that involves observation and summary, diagnostic conjectures, testing, review, observation and summary, new or revised conjectures, i.e. it is an iterative process. It can then be said that diagnostic hypotheses are also ‘observation-laden’. My aim is to enlarge on the strategies of medical diagnosis as these are meshed in training and clinical experience—that is, to describe the patterns of reasoning used (...) by experienced clinicians under different diagnostic circumstances and how these patterns of inquiry allow further insight into the evaluation and treatment of patients. I do not aim to present a theory and illustrate it with examples; I wish rather am to let a realistic example, similar to actual clinical scenarios, direct the exposition. To this end, I introduce an account of medical diagnosis—briefly comparing and contrasting it to other accounts—in order to focus on discussing the process of diagnosis through a detailed clinical case. (shrink)

Modern societies depend on a growing production of scientific knowledge, which is based on the functional differentiation of science into still more specialised scientific disciplines and subdisciplines. This is the basis for the paradox of scientific expertise: The growth of science leads to a fragmentation of scientific expertise. To resolve this paradox, the present paper investigates three hypotheses: 1) All scientific knowledge is perspectival. 2) The perspectival structure of science leads to specific forms of knowledge asymmetries. 3) Such perspectival knowledge (...) asymmetries must be handled through second order perspectives. We substantiate these hypotheses on the basis of a perspectivist philosophy of science grounded in Peircean semiotics and autopoietic systems theory. Perspectival knowledge asymmetries are an unavoidable and necessary part of the growth of scientific knowledge, and more awareness of this fact can help avoid blind and futile struggles between scientific perspectives, and direct efforts toward more appropriate ways of handling these fundamental knowledge asymmetries. Concretely, we show how different kinds of scientific knowledge, expertise, disagreement and learning can be correlated to the perspectival structure of science, and propose how polyocular communication based on observations of the observations made by specialised perspectives can be used to handle such perspectival knowledge asymmetries. This can help overcome the observed problems in carrying out cross-disciplinary research and in the collective use of different kinds of scientific expertise, and thereby make society better able to solve complex, real-world problems. (shrink)

I have stressed here and elsewhere that perspective cannot and need not claim to represent the world "as we see it." The perceptual constancies which make us underrate the degree of objective diminutions with distance, it turns out, constitute only one of the factors refuting this claim. The selectivity of vision can now be seen to be another. There are many ways of "seeing the world," but obviously the claim would have to relate to the "snapshot vision" of the stationary (...) single eye. To ask, as it has so often been asked, whether this eye sees the world in the form of a hollow sphere or of a projection plane makes little sense, for it sees neither. The one point in focus can hardly be said to be either curved or flat, and the remainder of the field of vision is too indistinct to permit a decision. True, we can shift the point of focus at will, but in doing so we lose the previous perception, and all that remains is its memory. Can we, and do we, compare the exact extension of these changing percepts in scanning a row of columns extended at right angles from the central line of vision—to mention the most recalcitrant of the posers of perspectival theory?1 I very much doubt it. The question refers to the convenient choice of projection planes, not to the experience of vision.· 1. I now prefer this formulation to my somewhat laboured discussion in Art and Illusion, chap. 8, sec. 4.E.H. Gombrich was director of the Warburg Institute and Professor of the History of the Classical Tradition at the University of London from 1959 to 1976. His many influential works include The Story of Art, Art and Illusion, Meditations on a Hobby Horse, The Sense of Order, and Ideals and Idols. An early version of "Standards of Truth" was presented at Swarthmore College in October 1976 at a symposium to mark the retirement of Professor Hans Wallach. His contributions to Critical Inquiry include "The Museum: Past, Present, and Future" , "Notes and Exchanges" , and, with Quentin Bell, "Canons and Values in the Visual Arts: A Correspondence". (shrink)

Louis Althusser remained until his death in 1990 the most controversial of the “master thinkers” who emerged from the turbulent Parisian intellectual scene of the 1960s. The publication of his bestselling posthumous “autobiography”, L'avenir dure longtemps, has now refueled some of these controversies. Hugely influential, whether lauded or vilified, Althusser occupies a unique place in contemporary philosophy. What is certain is that Althusserian themes and motifs continue to constitute a vital region in materialist thought. The Althusserian Legacy is the first (...) collective attempt to draw up a balance sheet, not on Althusser alone but on the questions that his work helped to bring to the forefront of Marxist theory. The volume brings together work in history, philosophy, economics, sociology, and literary criticism, all of it derived from or significantly inflected by Althusser. Taken together, the essays assess soberly, critically, but always generously, the full extent of his legacy. The volume contains a lengthy interview with Jacques Derrida, a long-time friend and colleague of Althusser at the Ecole Normale in Paris, and concludes with obituaries by Derrida and Gregory Elliott. Perhaps only now, more than a decade after his active intellectual life has come to a close, is it possible to render sound, just judgments on the meaning and significance of this much-debated body of work. The Althusserian Legacy is a rich beginning to that important task. (shrink)

In this paper I report a public discussion with E.P. Wigner that took place in 1987 at a conference on fundamental problems in Quantum Mechanics. In it Wigner clarified an idea that was widely attributed to him about consciousness playing a direct role in the quantum measurement process. He significantly revised that idea, and distanced himself from the earlier notion that consciousness plays a direct role.

We discuss the extent to which the visibility of the heavens was a necessary condition for the development of science, with particular reference to the measurement of time. Our conclusion is that while astronomy had significant importance, the growth of most areas of science was more heavily influenced by the accuracy of scientific instruments, and hence by current technology.

The function of Metaphysics is to furnish an intelligible and significant perspective. The tendency of recent speculation is to abstain from the attempt to give a total or absolute perspective of the world as a unit—there is some question as to whether we can think of the world as a whole—but rather to understand the objects about us, to bring values, formerly located in a transcendental realm, into life and conduct here and now, and to broaden our understanding and interests (...) to included related activities and other communities. To make our perspective within a single science intelligible it is necessary, as Professor Miller has demonstrated, to fill in the gaps between perceptual objects with inexperienceable “interphenomena” and to employ methodological concepts and principles derived by abstraction and inference. Then again, each of the special sciences selects certain aspects of the general perspective for intensive research leaving gaps between the sciences to be filled in by integrating concepts. Finally, values emerge at the various levels, and these need to be related to the conditions out of which they arise and to the fields of applied knowledge in which they function. (shrink)

We analyse the relationship between applicability and effectiveness of legal norms from a philosophical perspective. In particular, we distinguish between two concepts of applicability. The external applicability of norms refers to institutional duties; a norm N is externally applicable if and only if a judge is legally obliged to apply N to some case c. Internal applicability refers instead to the sphere of validity of legal norms. A norm N is internally applicable to actions regulated by its sphere of validity. (...) We also explore the consequences of a thesis which maintains that applicability restricts the concept of effectiveness, so that only applicable norms can be considered effective. Our analysis illustrates that a proper reconstruction of the concept of applicability is of great importance not only for understanding the concept of effectiveness but also for providing insight into the nature of law. (shrink)

The purpose of this work is to analyse the cognitive process of the domain theories in terms of the measurement theory to develop a computational machine learning approach for implementing it. As a result, the relational data mining approach, the authors proposed in the preceding books, was improved. We present the approach as an implementation of the cognitive process as the measurement theory perceived. We analyse the cognitive process in the first part of the paper and present the theory and (...) method of the logically most powerful empirical theory discovery in the second. The theory is based on the notion of law-like rules, which conform to all the properties of laws of nature, namely generality, simplicity, maximum refutability and minimum number of parameters. This notion is defined for deterministic and probabilistic cases. Based on the method, the discovery system is developed. The system was successfully applied to many practical tasks. (shrink)

Este ensaio pretende levantar as seguintes questões: 1. de que modo é possível reconstituir o sentido de moral segundo um amor-próprio cujo conteúdo é dado menos por um isolamento ou negaçáo do outro do que por um trabalho pessoal sobre si mesmo, em vista de um êthos , de uma ética? 2. em que medida o valor da moral hoje em dia pode ser deslocado da lei universal para uma atitude de diferença, da normalidade do comportamento para o cultivo de (...) si e, por fim, da verdade sobre o sujeito para uma subjetivaçáo ascética que náo exige a prerrogativa de uma identidade, mas a transformaçáo de si na relaçáo consigo e com os outros? Tais questões sáo levantadas a partir de Friedrich Nietzsche, Michel Foucault e Fernando Savater. Palavras-chave: Amor-próprio, Estética da existência, Ética, Identidade. (shrink)

[W]e know when a nation goes down and never comes back, when a society or a civilization perishes, one condition may always be found. They forgot where they came from. They lost sight of what brought them along. … They became satisfied with themselves. Unity and common understanding there had been, enough to overcome rot and dissolution, enough to break through their obstacles. But the mockers came. And the deniers were heard. And vision and hope faded. And the custom of (...) greeting became "What's the use?" And men whose forefathers would go anywhere, holding nothing impossible in the genius of man, joined the mockers and deniers. They forgot where they came from. They lost sight of what brought them along.Within the... (shrink)