In the 80's Pierangelo Miglioli, starting from motivations in the framework of Abstract Data Types and Program Synthesis, introduced semiconstructive theories, a family of large subsystems of classical theories that guarantee the computability of functions and predicates represented by suitable formulas. In general, the above computability results are guaranteed by algorithms based on a recursive enumeration of the theorems of the whole system. In this paper we present a family of semiconstructive systems, we call uniformly semiconstructive, that provide computational procedures (...) only involving formulas with bounded complexity. We present several examples of uniformly semiconstructive systems containing Harrop theories, induction principles and some well-known predicate intermediate principles. Among these, we give an account of semiconstructive and uniformly semiconstructive systems which lie between Intuitionistic and Classical Arithmetic and we discuss their constructive incompatibility. (shrink)

Since 1993, when Hudelmaier developed an O(n log n)-space decision procedure for propositional Intuitionistic Logic, a lot of work has been done to improve the efficiency of the related proof-search algorithms. In this paper a tableau calculus using the signs T, F and Fc with a new set of rules to treat signed formulas of the kind T((A → B) → C) is provided. The main feature of the calculus is the reduction of both the non-determinism in proof-search and the (...) width of proofs with respect to Hudelmaier's one. These improvements have a significant influence on the performances of the implementation. (shrink)

In this paper we propose a Kripke-style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics.

In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly ω-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, ω-canonicity and strong ω-completeness is given.

We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.

Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary reasoning as well as in mathematics, the sciences, and the law. In all these spheres, we tend to believe that there aredeterminate facts about the validity of arguments. Despite its evident appeal, however, logical monism must meet two challenges. The first is the challenge from logical pluralism, according to which (...) there is more than one correct logic. The second challenge is to determine which form of logicalmonism is the correct one. One True Logic is the first monograph to explicitly articulate a version of logical monism and defend it against the first challenge. It provides a critical overview of the monism vs pluralism debate and argues for the former. It also responds to the second challenge by defending a particularmonism, based on a highly infinitary logic. It breaks new ground on a number of fronts and unifies disparate discussions in the philosophical and logical literature. In particular, it generalises the Tarski-Sher criterion of logicality, provides a novel defence of this generalisation, offers a clearnew argument for the logicality of infinitary logic and replies to recent pluralist arguments. (shrink)

Bourbaki suggest that their definition of the number 1 runs to some tens of thousands of symbols. We show that that is a considerable under-estimate, the true number of symbols being that in the title, not counting 1 179 618 517 981 links between symbols that are needed to disambiguate the whole expression.

No discussion of academic freedom, research integrity, and patient safety could begin with a more disquieting pair of case studies than those of Nancy Olivieri and David Healy. The cumulative impact of the Olivieri and Healy affairs has caused serious self examination within the biomedical research community. The first part of the essay analyses these recent academic scandals. The two case studies are then placed in their historical context—that context being the transformation of the norms of science through increasingly close (...) ties between research universities and the corporate world. After a literature survey of the ways in which corporate sponsorship has biased the results of clinical drug trials, two different strategies to mitigate this problem are identified and assessed: a regulatory approach, which focuses on managing risks associated with industry funding of university research, and a more radical approach, the sequestration thesis, which counsels the outright elimination of corporate sponsorship. The reformist approach is criticised and the radical approach defended. (shrink)

The proto-code of ethics and conduct for European nurse directors was developed as a strategic and dynamic document for nurse managers in Europe. It invites critical dialogue, reflective thinking about different situations, and the development of specific codes of ethics and conduct by nursing associations in different countries. The term proto-code is used for this document so that specifically country-orientated or organization-based and practical codes can be developed from it to guide professionals in more particular or situation-explicit reflection and values. (...) The proto-code of ethics and conduct for European nurse directors was designed and developed by the European Nurse Directors Association’s (ENDA) advisory team. This article gives short explanations of the code’ s preamble and two main parts: Nurse directors' ethical basis, and Principles of professional practice, which is divided into six specific points: competence, care, safety, staff, life-long learning and multi-sectorial working. (shrink)

David Lewis has offered a reply to the standard argument for the claim that the truth of determinism is incompatible with anyone’s being able to do otherwise than she in fact does. Helen Beebee has argued that Lewis’s compatibilist strategy is untenable. In this paper I show that one recent attempt to defend Lewis’s view against this argument fails and then go on to offer my own defense of Lewis’s view.

This paper presents a qualitative study investigating the application of physiotherapists’ professional ethics in practice with respect to touch, intimacy, and corporeality during therapy, based on the experiences of elderly patients. As the relationship in a physiotherapy session is multidimensional, the study considered three levels: physical contact, verbal contact, and the conditions in which the therapy took place. The aim of this study was to find out what values are of importance to older people during a physiotherapy session, with emphasis (...) on the categories of touch, corporeality, and intimacy. The studied group consisted of sixteen male and female physiotherapy patients aged between sixty-six and ninety-two years. The study was conducted according to the grounded theory methodology. The research material consisted of transcriptions of free targeted interviews, which were subjected to a process of coding and analysis. As a result of data analyses, three superior categories have been identified—safety, anxiety, interpersonal relationship—and three a priori categories stemming from the characteristic features of the study area—touch, corporeality, and intimacy. The a priori categories did not appear independently in statements made by the respondents, but instead seemed to be components of superior categories. The most important values indicated by the respondents concerned the interpersonal relationship with their physiotherapist and the feeling of safety and care. In terms of touch, corporeality, and intimacy, the respondents indicated, among others, the importance of predictability, a sense of security, privacy, and acceptance of the body. (shrink)

We have surveyed various recent European opinions on Germ-Line engineering. The majority express more or less severe reservations about any interventions on the human Germ-Line, including therapeutic ones. However, they are divided over the pragmatic, or categorical-ethical nature of the relevant arguments. This split reflects two competing views of technology. The ‘pessimistic’ one is deeply concerned by the slippery slope leading from bona fide therapeutic applications of genetic engineering to eugenic practices. It insists that, if anything can defend us against (...) these evils, it must be a set of strong, ethically-based prohibitions. The other, ‘optimist’ view is more confident in the discriminating powers of societal regulation. We argue for the latter view and suggest that the pragmatic arguments brought to this debate are less problematic than the ethical ones. (shrink)

Near the beginning of In Toga Candida, Cicero informed his audience of a private meeting between his two most serious competitors for the consulate and the managers of their campaigning funds. This meeting took place at the house of a nobleman whom Cicero did not name but to whom he attributed a signal notoriety in the practice of electoral corruption. Asconius offers a solution without hesitation: it was at the house of either Caesar or Crassus. He explains his choice: these (...) two men were Cicero's most committed and influential opponents in his campaign for the consulate, and he has excellent evidence for their opposition: Cicero's own Expositio consiliorum suorum, no longer extant. The credibility or otherwise of this controversial work must be dismissed from any enquiry into the identity of the mysterious figure, however. Asconius, in naming the two alternative possibilities, discloses himself to be without authoritative evidence on the point. Nothing can have been said in De consiliis suis to identify the house, the meeting, or the notorious nobleman. Asconius' words reveal that his attempt at an identification is based on Cicero's assertion therein of an overt hostility to him on the part of both Crassus and Caesar during the campaign. His attribution of a covert ‘dirty tricks’ operation to one of them is no more than speculation. (shrink)

The man who is isolated over against God is as such rejected by God. But to be this man can only be the choice of the Godless man himself. The witness of the Community of God to every individual man points in this direction: that this choice of the Godless is null and void, that he belongs to Jesus Christ from eternity and thus is not rejected, but rather chosen by God in Jesus Christ, that the reprobation which he deserves (...) on the basis of his wrong choice is borne and removed by Jesus Christ; that on the basis of the true, the Divine choice he is chosen for eternal life with God. The promise of his election will determine him as a member of the Church to become himself a carrier of its witness to the whole world. And the revelation of his rejection can determine him only to believe in Jesus Christ as Him by whom it is borne and removed. (Fourth of Karl Barth's "main theses" on God's Election of Grace in his Dogmatic II/2). (shrink)

We present the opinion of some authors who believe there is no force between a stationary charge and a stationary resistive wire carrying a constant current. We show that this force is different from zero and present its main components: the force due to the charges induced in the wire by the test charge and a force proportional to the current in the resistive wire. We also discuss briefly a component of the force proportional to the square of the current (...) which should exist according to some models and another component due to the acceleration of the conduction electrons in a curved wire carrying a dc current (centripetal acceleration). Finally, we analyze experiments showing the existence of the electric field proportional to the current in resistive wires. (shrink)

Few people would care to deny, whether within India or without, that Buddha is the greatest Indian of all times. Whether from the standpoint of the purity of his life, the daring originality and novelty of his thought, or the extent of his influence in shaping the culture of the world, it would be hard to beat the record of Buddha. Even making every allowance for the common idea that no man is a prophet in his own land, it is (...) difficult to believe that for the last thousand years Buddha has been practically an exile from the land of his birth. It is nothing short of an irony of history, and nothing short of a tragedy for India, that the great unifying force that he represented in his time and does represent even to-day has been allowed to run waste and the great moral stamina that he sought to supply failed in its historic mission. (shrink)

Open peer commentary on the article “Developing a Dialogical Platform for Disseminating Research through Design” by Abigail C. Durrant, John Vines, Jayne Wallace & Joyce Yee. Upshot: The experimental conference format described by Durrant et al. is intended to create an open platform for dissemination and knowledge creation. The field of open design, in which designers create structures to support creative action by others, offers relevant insights and alternative approaches. For example: while it is logical to see openness as open (...) choice, it can be productive to instead think of openness as constructed through a balance of structure and choice. (shrink)

Articles on the life and works of Āraja Ālī Mātubbara, 1901-1986, Muslim philosopher and author from Bangladesh.

So far his weapons of defence are taken from a common armoury; but in the next verses he develops the argumentum ad hominem which was foreshadowed in ‘eques’ and ‘intra fortunam qui cupis esse tuam.’ Such promptings, says he, come strangely from Maecenas, whose own discreetness and self-repression will be famous in history, and whom he is resolved, so far as in him lies, to imitate.

The fundamental question I consider is the following: What is it that makes one thing a person and another thing not? I do not provide a complete answer; rather I begin to develop a framework for answering the question. In this essay I do the following: (1) distinguish between the powers possessed by persons and the constitutions of persons, and propose some metaphysical conjectures concerning the relationship between persons' powers and their constitutions; (2) propose for Christians, as well as for (...) others, an hylomorphic soul-body alternative to Cartesianism; (3) highlight some prominent differences between the nature of human persons and the natures of brute animals; and (4) apply this framework for understanding human persons to problems in biomedical ethics concerning the ontological and moral status of human embryos and of the comatose. (shrink)

We derive the schemes of from certain weak forms of the same.

Первое российское энциклопедическое издание, посвященное философии буддизма, является самым полным в отечественной литературе сводом знаний о буддийской философии. Его главная цель - описать философское кредо буддизма в контексте разнообразия школ.

v. 1. Indii︠a︡ -- v. 2. Blizhniĭ i Sredniĭ Vostok -- v. 3. Kitaĭ.