Investigation into Combinatory Systems with Dual Combinators

Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (, ), led to the introduction of dual combinators in Dunn & Meyer 1997. Dual combinators are "mirror images" of the usual combinators and as such do not constitute an interesting subject of investigation by themselves. However, when combined with the usual combinators (e.g., in order to recover associativity in a sequent calculus), the whole system exhibits new features. A dual combinatory system with weak equality typically lacks the Church-Rosser property, and in general it is inconsistent. In many subsystems terms "unexpectedly" turn out to be weakly equivalent. The paper is a preliminary attempt to investigate some of these issues, as well as, briefly compare function application in symmetric -calculus (cf. Barbanera & Berardi 1996) and dual combinatory logic.     

Some Properties of Orthologics

In this paper, we present three main results on orthologics. Firstly, we give a sufficient condition for an orthologic to have variable separation property and show that the orthomodular logic has this property. Secondly, we show that the class of modular orthologics has an infinite descending chain. Finally we show that there exists a continuum of orthologics.     

The growing complexity of international policy in intellectual property

Intellectual property has historically been a self-contained policy at the international level. With the introduction of the TRIPs Agreement in 1994 and developments since the conclusion of the TRIPs Agreement, the relationship between intellectual property policy and other areas of public policy has become much more complex and interactive. This shift reflects the centrality of intellectual property in the knowledge economy, the rapid development of enabling technologies, notably the Internet and biotechnology, and the advent of the networked society. The consequences of this shift are manifold and herald the increased sophistication and complexity that may be expected of intellectual property regimes in the knowledge economy. An earlier version of this paper was presented at an international conference, “The Ethics of Intellectual Property Rights and Patents,” held in Warsaw, Poland on 23–24 April, 2004.     

The gap between law and ethics in human embryonic stem cell research: Overcoming the effect of U.S. Federal policy on research advances and public benefit

Key ethical issues arise in association with the conduct of stem cell research by research institutions in the United States. These ethical issues, summarized in detail, receive no adequate translation into federal laws or regulations, also described in this article. U.S. Federal policy takes a passive approach to these ethical issues, translating them simply into limitations on taxpayer funding, and foregoes scientific and ethical leadership while protecting intellectual property interests through a laissez faire approach to stem cell patents and licenses. Those patents and licenses, far from being scientifically and ethically neutral in effect, virtually prohibit commercially sponsored research that could otherwise be a realistic alternative to the federal funding gap. The lack of federal funding and related data-sharing principles, combined with the effect of U.S. patent policy, the lack of key agency guidance, and the proliferation of divergent state laws arising from the lack of Federal leadership, significantly impede ethical stem cell research in the United States, without coherently supporting any consensus ethical vision. Research institutions must themselves implement steps, described in the article, to integrate addressing ethical review with the many legal compliance issues U.S. federal and state laws create. The opinions expressed in this article are the author’s own, and are not necessarily the opinions of others, including Children’s Hospital Boston. Portions of earlier versions of this article were previously published by the American Bar Association and the New York State Bar Association.     

Ethical Assumptions in Economic Theory: Some Lessons from the History of Credit and Bankruptcy

This paper evaluates the economic assumptions of economic theory via an examination of the capitalist transformation of creditor–debtor relations in the 18th century. This transformation enabled masses of people to obtain credit without moral opprobrium or social subordination. Classical 18th century economics had the ethical concepts to appreciate these facts. Ironically, contemporary economic theory cannot. I trace this fault to its abstract representations of freedom, efficiency, and markets. The virtues of capitalism lie in the concrete social relations and social meanings through which capital and commodities are exchanged. Contrary to laissez faire capitalism, the conditions for sustaining these concrete capitalist formations require limits on freedom of contract and the scope of private property rights.     

Categorical Abstract Algebraic Logic Metalogical Properties

Metalogical properties that have traditionally been studied in the deductive system context (see, e.g., [21]) and transferred later to the institution context [33], are here formulated in the -institution context. Preservation under deductive equivalence of -institutions is investigated. If a property is known to hold in all algebraic -institutions and is preserved under deductive equivalence, then it follows that it holds in all algebraizable -institutions in the sense of [36].     

Shackling the shoulders of giants

This paper informally summarizes a two-day symposium held at the U.S. National Academy of Sciences in Washington, D.C., September 5–6, 2002. The issue was to what extent the progress of science and societal capacity for continued technological innovation are threatened by excessive protection of intellectual property. Excessive protection creates disadvantages not only for scientists and inventors but also for educators/students and for librarians/clientele. Speakers from a variety of disciplines and institutions agreed unanimously that scientific and technological progress is, indeed, under serious threat. Various opinions were expressed about the degree of threat, currently and prospectively, as well as what counter-measures are best suited to resist undue restrictions on creative uses of scientific and technical data and information. This summary is based entirely on the author’s notes from the symposium, and the commentary offered is his alone. My apologies to the speakers if this paper does not accurately reflect the primary intent of their presentations. The “Suggested Readings” offered at the end are not specific to the speakers’ statements but rather are offered as a general resource to aid further research. The definitive record of the symposium is planned to be available from the National Academies Press as a Proceedings publication in the summer of 2003. John Gardenier is an independent researcher, ethicist and science writer.     

Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.     

What kind of kind is intelligence?

The model of human intelligence that is most widely adopted derives from psychometrics and behavioral genetics. This standard approach conceives intelligence as a general cognitive ability that is genetically highly heritable and describable using quantitative traits analysis. The paper analyzes intelligence within the debate on natural kinds and contends that the general intelligence conceptualization does not carve psychological nature at its joints. Moreover, I argue that this model assumes an essentialist perspective. As an alternative, I consider an HPC theory of intelligence and evaluate how it deals with essentialism and with intuitions coming from cognitive science. Finally, I highlight some concerns about the HPC model as well, and conclude by suggesting that it is unnecessary to treat intelligence as a kind in any sense.