The logic of single-conclusion proofs () is introduced. It combines the verification property of proofs with the single valuedness of proof predicate and describes the operations on proofs induced by modus ponens rule and proof checking. It is proved that is decidable, sound and complete with respect to arithmetical proof interpretations based on single-valued proof predicates. The application to arithmetical inference rules specification and -admissibility testing is considered. We show that the provability in gives the complete admissibility test for the (...) rules which can be specified by schemes in -language. The test is supplied with the ground proof extraction algorithm which eliminates the admissible rules from a -proof by utilizing the information from the corresponding -proofs. (shrink)

We study Artemov’s Reflective Combinatory Logic . We provide the explicit definition of types for and prove that every well-formed term has a unique type. We establish that the typability testing and detailed type restoration can be done in polynomial time and that the derivability relation for is decidable and PSPACE-complete. These results also formalize the intended semantics of the type t:F in . Terms store the complete information about the judgment “t is a term of type F”, and this (...) information can be extracted by the type restoration algorithm. (shrink)

We introduce reference structures — a basic mathematical model of a data organization capable of storing and utilizing information about its addresses. A propositional labeled modal language is used as a specification and programming language for reference structures; the satisfiability algorithm for modal language gives a method of building and optimizing reference structures satisfying a given formula. Corresponding labeled modal logics are presented, supplied with cut free axiomatizations, completeness and decidability theorems are proved. Initialization of typed variables in some programming (...) languages is presented as an example of a reference structure building. (shrink)

The article is devoted to the memory of Vyacheslav Semenovich Stepin and Nikita Nikolaevich Moiseev, whose multifaceted work was integrally focused on philosophical, interdisciplinary and transdisciplinary research of the key ideas and principles of universal human-dimensional evolutionism. Other remarkable Russian scientists V.I. Vernadsky, S.P. Kurdyumov, S.P. Kapitsa, D.S. Chernavsky worked in the same tradition of universal evolutionism. While V.I. Vernadsky and N.N. Moiseev had been the originators of that scientific approach, V.S. Stepin provided philosophical foundations for the ideas of those (...) remarkable scientists and thinkers. The scientific legacy of V.S. Stepin and N.N. Moiseev maintained the formation of a new quality of research into the philosophy of science and technology as well as into the philosophy of culture. This new quality is multidimensional and it is difficult to define unambiguously, but we presume the formation of those areas of philosophical knowledge as constructively oriented languages of interdisciplinary and transdisciplinary co-participation of philosophy in the convergent-evolutionary development of scientific knowledge in general. In this regard, attention is paid to V.S. Stepin’s affirmations about non-classical nature of modern social and humanitarian knowledge. Quantum mechanics teaches us that the reality revealed through it is a hybrid construct, or symbiosis, of both mean and object of cognition. Therefore, the very act of cognitive observation constructs quantum reality. Thus, it is very close to the process of cognition in modern sociology and psychology. V.S. Stepin insisted that these principles are applicable to all complex selfdeveloping systems, and such are all “human-dimensional” objects of modern humanities. In all the phases of homeostasis changes, or crises, there is necessarily a share of chaos, instability, uncertainty in the selection process of future development scenarios, which is ineliminably affected by our observation. Therefore, a cognitive observer in the humanities should be considered as a concept of post-non-classical rationality, that is as an observer of complexity. (shrink)

I can’t help but like a book that calls Wittgenstein the greatest philosopher since Kant and then proceeds to show how On Certainty, a manifestly brilliant but understudied book, sheds light on matters under current debate. It is pleasant to see a highly skilled contemporary put texts from the later philosophy under close scrutiny and mine them for insight, and that outside the bounds of familiar Wittgenstein scholarship.

As philosophers of mind we seem to hold in common no very clear view about the relevance that work in psychology or the neurosciences may or may not have to our own favourite questions—even if we call the subject ‘philosophical psychology’. For example, in the literature we find articles on pain some of which do, some of which don't, rely more or less heavily on, for example, the work of Melzack and Wall; the puzzle cases used so extensively in discussions (...) of personal identity are drawn sometimes from the pleasant exercise of scientific fantasy, at times from surprising reports of scientific fact; and there are those who deny, as well as those who affirm, the importance of the discovery of rapid-eye-movement sleep to the philosophical treatment of dreaming. A general account of the relation between scientific, and philosophical, psychology is long overdue and of the first importance. Here I shall limit myself to just one area where the two seem to connect, discussing one type of neuropsychological research and its relevance to questions in the philosophy of mind and the philosophy of psychology. (shrink)

Saul Kripke, among others, reads Wittgenstein’s private-language argument as an inference from the idea of rule following: The concept of a private language is inconsistent, because using language entails following rules, and following rules entails being a member of a community. Kripke expresses the key exegetical claim underlying that reading as follows.

This book completes the Clarendon Aristotle Series edition of the Politics. One might assume that, since David Keyt’s contribution is the last of the four on the Politics, when Aristotle scholars agreed to write these volumes, he was fourth in line and so got stuck with Politics V–VI. Surely, one might think, few would choose Politics V–VI over Politics I–II, with its fascinating discussions of the fundamental nature of the polis, the infamous chapters on slavery, and the critique of the (...) communism of Plato’s Republic; or over Politics VII–VIII, which contains Aristotle’s presentation of the best political system; or even over Politics III–IV, with its important classification and discussion of the different types of political systems. But in fact, Keyt had been thinking about writing a commentary on Politics V–VI for some time: “The idea of writing a commentary on Aristotle’s study of faction and constitutional change was formed in the late 1960s during the period of political unrest in the United States connected with the Vietnam War. In the summer of 1971 I discussed the possibility of doing this volume in the Clarendon Aristotle Series with John Ackrill”. We can be happy that Keyt and Ackrill returned, over two decades later, to the idea of such a commentary, because the result is an excellent addition to the Clarendon Aristotle Series. (shrink)

Is it possible to invoke the use of moral responsibility as part of the selection criteria in the allocation of livers for transplant? Criticism has been applied to the difficulties inherent in including such a criterion and also the effect that employing such a judgement might have upon the relationship between the physician and patient. However, these criticisms rely on speculation and conjecture and do not relate to all the arguments put forward in favour of applying moral responsibility. None of (...) the present arguments against using moral responsibility in the allocation of livers for transplant are good enough to warrant its dismissal. (shrink)

The ethics of providing health care in resource-poor environments is a complex topic. It implies two related questions: What can we do with the resources on hand? Of all the things we can do, which ones should we do? “Resource-poor” environments are situations in which clinicians, organizations, or healthcare systems have the knowledge and skills, but not the means, to carry out highly effective and beneficial interventions. Determinants of a population’s health often rely less on disease and injury management than (...) on recognizing and meeting their basic needs. Many of the world’s people with the greatest health problems live in fragile contexts and remote areas. Their access to food, safe water, personal safety, improved sanitation facilities, and health care remains elusive, with availability often based on socioeconomic status, gender, ethnicity, or geography. Of course, ethical international healthcare work also requires an understanding of the illnesses and injuries that most frequently plague the population. To function ethically and to know both what can and what should be done with available resources, individuals and organizations involved in international healthcare must be experienced, adaptable, culturally sensitive, inspired, situationally aware, beneficent, courageous, honest, and fair. (shrink)

Although Galileo's venture into theology, as discussed by McMullin, is limited to Galileo's exegesis of Scripture, it can be seen as an important element in a broader role in theology, namely in ecclesiology and in the development of doctrine. From the Council of Trent, the Reformation Council, until today there has been a development in the Church concerning the manner in which Sacred Scripture should be interpreted and as to whether it can be said to be in conflict with our (...) scientific knowledge of nature. Galileo made a significant contribution to this development. With his telescopic observations he was, in fact, undermining the prevailing Aristotelian natural philosophy of his day and was defending the birth of modern science against a mistaken view of Scripture. The Church of his time was not prepared to accept his contribution to this theological development. What does this history have to contribute to the challenges we face today in the interactions between science and religious belief? (shrink)

ABSTRACT In this wide-ranging interview Professor Douglas V. Porpora discusses a number of issues. First, how he became a Critical Realist through his early work on the concept of structure. Second, drawing on his Reconstructing Sociology, his take on the current state of American sociology. This leads to discussion of the broader range of his work as part of Margaret Archer’s various Centre for Social Ontology projects, and on moral-macro reasoning and the concept of truth in political discourse.

Saul Kripke, among others, reads Wittgenstein’s private-language argument as an inference from the idea of rule following: The concept of a private language is inconsistent, because using language entails following rules, and following rules entails being a member of a community. Kripke expresses the key exegetical claim underlying that reading as follows.

Wittgenstein's later philosophy and the doctrines of Mahayana Buddhism integral to Zen coincide in a fundamental aspect: for Wittgenstein language has, one might say, a mystical base; and this base is exactly the Buddhist ideal of acting with a mind empty of thought. My aim is to establish and explore this phenomenon. The result should be both a deeper understanding of Wittgenstein and the removal of a philosophical objection to Zen that has troubled some people.

Orr argues that the latest attack on evolution is cleverly argued, biologically informed — and wrong. This is his review of Behe's book, Darwin's Black Box: The Biochemical Challenge to Evolution.‘Just don't pull the knot tight before being certain that you have got hold of the right end.’ Wittgenstein.

This paper explores how current United States policies for funding nonreproductive cloning are justified and argues against that justification. I show that a common conceptual framework underlies the national prohibition on the use of public funds for cloning research, which I call the simple argument. This argument rests on two premises: that research harming human embryos is unethical and that embryos produced via fertilization are identical to those produced via cloning. In response to the simple argument, I challenge the latter (...) premise. I demonstrate there are important ontological differences between human embryos (produced via fertilization) and clone embryos (produced via cloning). After considering the implications my argument has for the morality of publicly funding cloning for potential therapeutic purposes and potential responses to my position, I conclude that such funding is not only ethically permissible, but also humane national policy. (shrink)

Presentación del número de la revista Ideas y Valores dedicado a la obra de W.V.O Quine con ocasión de su fallecimiento.

This paper seeks to define and delimit the scope of the social responsibilities of health professionals in reference to the concept of a social contract. While drawing on both historical data and current empirical information, this paper will primarily proceed analytically and examine the theoretical feasibility of deriving social responsibilities from the phenomenon of professionalism via the concept of a social contract.

Although evidence-based medicine has gained prominence in current medical practice and research, it has also had to deal with a number of problems and inconsistencies. For example, how do clinicians reconcile discordant results of randomized trials or how do they apply results of randomized trials to individual patients? In an attempt to examine such problems in a structured way, this essay describes EBM within a philosophical framework of science. Using this approach, some of the problems and challenges faced by EBM (...) can be explained at a more fundamental level. As well, by employing a similar description of the competing alternative research tradition of clinical medicine, this essay not only highlights the philosophical differences between these two modes of medical practice, but suggests that they, in fact, play a de facto complementary role in current clinical medicine. (shrink)

Purpose: To argue for the need to generate a third - order cybernetics to deal with the problematics of second- order cybernetics. Problem: The recent exponential increase in the use of the internet and other "media" to influence and shape dominant cultural experiences via "virtual reality" exploits a core facility of human psychology - that of being able to accept " substitutions " for the " Real Thing." In this paper, I want to raise some basic questions and dilemmas for (...) our living in the space of a third - order contextualisation that uses "virtuality" in an ever-increasing manner for the configuring and homogenisation of human experiences. In doing so, I also raise the question of the need for us to develop an adequate model of a " third - order cybernetics" for dealing with the ways in which human experience is contextualised and configured by phenomena that constitute the third - order system. Solution : Ernst von Glasersfeld's work makes it clear that psychologists and others enter into a great deal of confusion when they use terms like "self," "consciousness," "emotions," "memory," "the environment," and even "experience," because, as he points out, there is no convincing model for any of these commonly taken-for-granted phenomena of human living. His writings are taken as a unique source for the generation of an effective third - order cybernetics where the need for constant self-critical monitoring in regard to psychological praxis and third - order phenomena may take place. "Self-critical monitoring" means, in the first place, monitoring in a critical manner our tendencies to take for granted the notion of "self." One of the main problematics to deal with in second- order cybernetics is the way that "subjectivity" is taken for granted. Benefits: The temptation to collapse back down from a second- order cybernetics to first- order cybernetics will be resolved by creating an effective platform for third - order cybernetics that problematises the issue of "subjectivity" of the observer in the second- order cybernetics framework. This involves putting into question many of the common assumptions held about "who" it is that makes the observations at the second- order cybernetics. In other words, I attempt to highlight what is problematic regarding the observer 's subjectivity and how this analysis of what is taken for granted by the second- order cybernetics framework creates the basis of a framework for a third - order cybernetics. (shrink)

Quintessence for the first time collects Quine's classic essays (such as "Two Dogmas" and "On What There Is") in one volume—and thus offers readers a much ...

In the eleventh chapter of Matthew’s Gospel, Jesus says to the inhabitants of Bethsaida and Corozain: “If the miracles worked in you had taken place in Tyre and Sidon, they would have repented long ago in sackcloth and ashes”. Passages like this support a scriptural argument for God’s knowledge of counterfactuals about created individuals. In the sixteenth century, Jesuits and Dominicans vigorously debated about how to explain this knowledge. The Jesuits, notably Luis de Molina and Francisco Suarez, argued that the (...) basis for this knowledge lies primarily in the divine intellect: counterfactuals about free creatures are primitive truths known to God by virtue of the immensity of his intellectual power. Their Dominican opponents, notably Domingo Bañez and Diego Alvarez, held that this knowledge is simply God’s knowledge of his own decrees, by which he determines the truth value of all contingent propositions, including counterfactuals. (shrink)

Recenzio Kiraly V. Istvan Death and History c. konyverol.

In 2001, Betty Dukes, then a 54‐year‐old African American, filed suit against her employer, Wal‐Mart, alleging that she had been the victim of gender discrimination. Ms. Dukes alleged that Wal‐Mart, the nation's largest private employer, routinely paid women less than men for comparable work and arbitrarily favored men over women in promotion decisions. In 2004, a U.S. District Court entered an order granting class certification, potentially extending the retailer's financial liability to thousands of current and past Wal‐Mart employees. At that (...) time, the Wal‐Mart suit was the largest class action lawsuit ever approved in the United States. In 2011, the U.S. Supreme Court reversed the lower court's ruling. Writing for the majority, Justice Scalia cited Wal‐Mart's long‐standing explicit gender‐neutral employment policy and the decentralized manner in which local managers have discretion to adjust salaries and recommend applicants for promotion—factors that led the majority to question “the glue” binding the class together. Proponents of the Court's decision hailed the ruling as a victory for business and a step in the direction of needed legal reform. Critics viewed the decision as another in a series of defeats for minority interests by a pro‐business, ideologically divided Court. Did the Court get it right, or is this yet another example of might defeating right? (shrink)

This article reviews three basic ways in which the relationship between Abrahamic religion and science has been construed: as fundamentally antagonistic; as non-antagonistically incommensurable; and as complementary. Unfortunately, while each construal seems to offer benefits to the religious believer, none, as the article demonstrates, is without considerable cost.

Upshot: Fifteen years in the making, but recounting three and a half million years of biological drift, this book outlines important future choices for becoming more ‘human’, for reviving our fading matristic capabilities, and for avoiding too much ‘monkey-business’.