In this article we show that it is possible to completely classify the degrees of r.e. bases of r.e. vector spaces in terms of weak truth table degrees. The ideas extend to classify the degrees of complements and splittings. Several ramifications of the classification are discussed, together with an analysis of the structure of the degrees of pairs of r.e. summands of r.e. spaces.

In [6], Metakides and Nerode introduced the study of the lattice of recursively enumerable substructures of a recursively presented model as a means to understand the recursive content of certain algebraic constructions. For example, the lattice of recursively enumerable subspaces,, of a recursively presented vector spaceV∞has been studied by Kalantari, Metakides and Nerode, Retzlaff, Remmel and Shore. Similar studies have been done by Remmel [12], [13] for Boolean algebras and by Metakides and Nerode [9] for algebraically closed fields. (...) In all of these models, the algebraic closure of a set is nontrivial., is given in §1, however in vector spaces, cl is just the subspace generated byS, in Boolean algebras, cl is just the subalgebra generated byS, and in algebraically closed fields, cl is just the algebraically closed subfield generated byS.)In this paper, we give a general model theoretic setting in which we are able to give constructions which generalize many of the constructions of classical recursion theory. One of the main features of the modelswhich we study is that the algebraic closure of setis just itself, i.e., cl = S. Examples of such models include the natural numbers under equality 〈N, = 〉, the rational numbers under the usual ordering 〈Q, ≤〉, and a large class ofn-dimensional partial orderings. (shrink)

In [5], Metakides and Nerode introduced the study of recursively enumerable substructures of a recursively presented structure. The main line of study presented in [5] is to examine the effective content of certain algebraic structures. In [6], Metakides and Nerode studied the lattice of r.e. subspaces of a recursively presented vector space. This lattice was later studied by Kalantari, Remmel, Retzlaff and Shore. Similar studies have been done by Metakides and Nerode [7] for algebraically closed fields, by Remmel (...) [10] for Boolean algebras and by Metakides and Remmel [8] and [9] for orderings. Kalantari and Retzlaff [4] introduced and studied the lattice of r.e. subsets of a recursively presented topological space. Kalantari and Retzlaff consideredX, a topological space with ⊿, a countable basis. This basis is coded into integers and with the help of this coding, r.e. subsets ofωgive rise to r.e. subsets ofX. The notion of “recursiveness” of a topological space is the natural next step which gives rise to the question of what should be the “degree” of an r.e. open subset ofX? It turns out that any r.e. open set partitions ⊿; into four sets whose Turing degrees become central in answering the question raised above.In this paper we show that the degrees of the elements of the partition of ⊿ imposed by an r.e. open set can be “controlled independently” in a sense to be made precise in the body of the paper. In [4], Kalantari and Retzlaff showed that givenAany r.e. set andany r.e. open subset ofX, there exists an r.e. open set ℋ which is a subset ofand is dense in and in whichAis coded. This shows that modulo a nowhere dense set, an r.e. open set can become as complicated as desired. After giving the general technical and notational machinery in §1, and giving the particulars of our needs in §2, in §3 we prove that the set ℋ described above could be made to be precisely of degree ofA. We then go on and establish various results on the mentioned partitioning of ⊿. One of the surprising results is that there are r.e. open sets such that every element of partitioning of ⊿ is of a different degree. Since the exact wording of the results uses the technical definitions of these partitioning elements, we do not summarize the results here and ask the reader to examine §3 after browsing through §§1 and 2. (shrink)

A universal Horn sentence in the language of polynomial-time computable combinatorial functions of natural numbers is true for the natural numbers if, and only if, it is true for PETs of p-time p-isolated sets with functions induced by fully p-time combinatorial operators.

In this paper, we study the lower semilattice of NP-subspaces of both the standard polynomial time representation and the tally polynomial time representation of a countably infinite dimensional vector space V∞ over a finite field F. We show that for both the standard and tally representation of V∞, there exists polynomial time subspaces U and W such that U + V is not recursive. We also study the NP analogues of simple and maximal subspaces. We show that the existence of (...) P-simple and NP-maximal subspaces is oracle dependent in both the tally and standard representations of V∞. This contrasts with the case of sets, where the existence of NP-simple sets is oracle dependent but NP-maximal sets do not exist. We also extend many results of Nerode and Remmel concerning the relationship of P bases and NP-subspaces in the tally representation of V∞ to the standard representation of V∞. (shrink)

A number of nonmonotonic reasoning formalisms have been introduced to model the set of beliefs of an agent. These include the extensions of a default logic, the stable models of a general logic program, and the extensions of a truth maintenance system among others. In [13] and [16], the authors introduced nonmonotomic rule systems as a nonlogical generalization of all essential features of such formulisms so that theorems applying to all could be proven once and for all. In this paper, (...) we extend Rieter's normal default theories, which have a number of the nice properties which make them a desirable context for belief revision, to the setting of nonmonotonic rule systems. Reiter defined a default theory to be normal if all the rules of the default theory satisfied a simple syntatic condition. However, this simple syntatic condition has no obvious analogue in the setting of nonmonotonic rule systems. Nevertheless, an analysis of the proofs of the main results on normal default theories reveals that the proofs do not rely on the particular syntactic form of the rules but rather on the fact that all rules have a certain consistency property. This led us to extend the notion of normal default theories with respect to a general consistency property. This extended notion of normal default theories, which we call Forward Chaining normal , is easily lifted to nonmonotomic rule systems and hence applies to general logic programs and truth maintenance. (shrink)

Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics but is otherwise self-contained, collecting together the key results on the subject, and formalising within a unified framework the main contemporary approaches and assumptions. The author has concentrated on giving clear mathematical formulations, analyses, justifications and consequences of the (...) main theories about uncertain reasoning, so the book can serve as a textbook for beginners or as a starting point for further basic research into the subject. It will be welcomed by graduate students and research workers in logic, philosophy, and computer science as a textbook for beginners, a starting point for further basic research into the subject, and not least, an account of how mathematics and artificial intelligence can complement and enrich each other. (shrink)

This book has been considered by academicians and scholars of great significance and value to literature. This forms a part of the knowledge base for future generations. So that the book is never forgotten we have represented this book in a print format as the same form as it was originally first published. Hence any marks or annotations seen are left intentionally to preserve its true nature.

J. B. Schneewind's "The Invention of Autonomy" has been hailed as a major interpretation of modern moral thought. Schneewind's narrative, however, elides several serious interpretive issues, particularly in the transition from late medieval to early modern thought. This results in potentially distorted accounts of Thomas Aquinas, Hugo Grotius, and G. W. Leibniz. Since these thinkers play a crucial role in Schneewind's argument, uncertainty over their work calls into question at least some of Schneewind's larger agenda for the history of ethics.

"The Laws", Plato's most lengthy dialogue, has longbeen regarded as the most comprehensive explanation of the possible consequences of a practical application of his philosophy.We might expect the first question Plato ponders to be "What is Law?" Instead, the question posed is "Who is given the credit for laying down your laws?"We are privy to an interaction between a powerfulstatesman and an Athenian philosopher on theisland of Crete. We watch as a plan for a new political order is worked out (...) that embodiesmany of the issues that we still struggle withtoday, such as the status of women, the statusof homosexuals, the family, criminal law, andthe role of religion in a healthy society.We at Timeless Classic Books hope that you enjoy this ancient thought-provoking story that may change the way you think about modern day issues.(Timeless Classic Books). (shrink)

A splendid edition. Schneewind's illuminating introduction succinctly situates the _Enquiry_ in its historical context, clarifying its relationship to Calvinism, to Newtonian science, and to earlier moral philosophers, and providing a persuasive account of Hume's ethical naturalism. --Martha C. Nussbaum, Brown University.

This anthology contains excerpts from some thirty-two important seventeenth- and eighteenth-century moral philosophers. Including a substantial introduction and extensive bibliographies, the anthology facilitates the study and teaching of early modern moral philosophy in its crucial formative period. As well as well-known thinkers such as Hobbes, Hume, and Kant, there are excerpts from a wide range of philosophers never previously assembled in one text, such as Grotius, Pufendorf, Nicole, Clarke, Leibniz, Malebranche, Holbach and Paley. Originally issued as a two-volume edition in (...) 1990, the anthology is now re-issued with a new foreword by Professor Schneewind, as a one-volume anthology to serve as a companion to his highly successful history of modern ethics, The Invention of Autonomy. The anthology provides many of the sources discussed in The Invention of Autonomy and taken together the two volumes will be an invaluable resource for the teaching of the history of modern moral philosophy. (shrink)