This accessible book gives a new, detailed and elementary explanation of the Gödel incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no ...

The Jewish religious tradition summons its adherents to save life. For religious Jews preservation of life is the ultimate religious commandment. At the same time Jewish law recognizes that the agony of a moribund person may not be stretched. When the time to die has come this has to be respected. The process of dying should not needlessly be prolonged. We discuss the position of two prominent Orthodox Jewish authorities – the late Rabbi Moshe Feinstein and Rabbi J David Bleich (...) – towards the role of life-sustaining treatment in end-of-life care. From the review, the characteristic halachic and heterogeneous character of Jewish ethical reasoning appears. The specificity of Jewish dealing with ethical dilemmas in health care indicates the importance for contemporary healthcare professionals of providing care which is sensitive to a patient’s culture and worldview. (shrink)

This chapter suggests that the state of nature is a continuum notion that lies in a segment along a larger continuum of the scope of private judgment, as does the continuum notion of civil authority. Jean Hampton saw Thomas Hobbes's state of nature as a “presocietal” condition of “isolated asocial individuals,” “stripped of their social connections.” There is plentiful evidence against Hampton's interpretation of the state of nature as an “asocial” condition in Hobbes's insistence across all his political writings that (...) men care deeply about their relative social standing and reputations, and that this is a major source of conflict in a state of nature. A potentially more promising way of understanding the state of nature is as a lawless condition. Societies exhibiting a high degree of consensus among private judgments may be able to tolerate incomplete removal from the mere state of nature, without threat to their stability. (shrink)

A new history of liberalism which argues that liberalism has been predicated on definite morality and should be viewed as an attempt to encompass both fear and hope. Liberalism, argues Alan Kahan, is the search for a society in which people need not be afraid. Freedom from fear is the most basic freedom. If we are afraid, we are not free. These insights, found in Montesquieu and Judith Shklar, are the foundation of liberalism. What liberals fear has changed over time (...) (revolution, reaction, totalitarianism, religious fanaticism, poverty, and now populism) but the great majority of liberal thinkers have relied on three pillars to ward off their fears and to limit the concentrated power that causes fear: freedom, markets, and morals, or, to put it another way, politics, economics, and religion or morality. Most liberal thinkers emphasize one or two pillars more than another, but it is typical of liberalism down to the Second World War to rely on all three, although there were always minority voices who preferred to stand on only one leg. After WWII, "thin" procedural/market liberals, who wanted to strip any moral or religious basis or purpose from liberalism, dominated "thick" liberal moralists, who thought liberalism needed a moral basis and/or goal. It is the political contention of this book that liberalism is most convincing as program, language, and social analysis when it relies on all three pillars, and that the relative weakness of liberalism at the end of the twentieth century had much to do with neglect of the moral pillar of liberalism. Its historical contention is that for much of the past two centuries it did rely on all three pillars. But Kahan also argues that liberalism is not only a party of fear. It is also a party of hope, or the party of progress. Many of the contradictions typical of liberalism derive from the seemingly contradictory effort to encompass both hope and fear. If in case of conflict fear often trumps hope for liberals (loss aversion applies in politics as much as in economics), and utopia is subject to indefinite postponement, progress in personal autonomy and development has always been at the heart of liberalism. Liberals typically support their hopes on the same three pillars of freedom, markets, and morals which they use to ward off their fears. Nevertheless, in one respect those historians and political theorists who identify liberalism with laissez-faire economics are not wrong. It is characteristic of liberalism then that it bases its hopes not on the state but on civil society, which for liberals is the common source of a free politics, a free market, and of morals. Alan S. Kahan is Professor of History at the Université de Versailles. His previous books include Tocqueville, Democracy, and Religion: Checks and Balances for Democratic Souls (Oxford 2015), Alexis de Tocqueville (Continuum Books) and Mind vs Money: The War Between Intellectuals and Capitalism (Transaction Publishing, 2010). (shrink)

Merleau-Ponty's «Phenomenology of Perception» suggests perception to be the primary level of the giveness of the world. Perception appears as always an incomplete synthesis of the plural, bringing together bodily and material aspects. Such the simplest interpretation of perception as rendering a contact within the dyad «body-world» is a preliminary axiom for explaining the rest of the process of noematic sense formation. At the same time, Merleau-Ponty’s theoretical intuitions clearly presuppose more, and perception is also thought of as the final (...) point where sense is already given by some way. Thus, in Phenomenology, the second interpretation of perception presumes it to be sense-giving accompanied by the tacit cogito. Merleau-Ponty suggests that these interpretations are compatible with each other, but the transition between them seems really problematic. In the research author shos that the limit of the initial synthesis of perception - some sense of the perceived (exemplyfing meanings as «this horse», «the green density that rushed towards me») - is unattainable from within perception itself and by its means. Perception is itself mediated by other faculties, such as memory, reflection, and imagination. Argumentation for this thesis is carried out in several ways; the relations in the perception/imagination pair show us the most characteristic case, where Merleau-Ponty, judging by later works, himself comes close to recognizing the limitations of the hypothesis of «the world of perception», to the need for a phenomenological development of the topic of faculties. Based on the application of the phenomenological method and the analysis of the conceptual constructions of Merleau-Ponty, we can conclude the following: «the world of perception» does not exist, but the phenomenology of faculties is demanded. (shrink)

"The Emperor's New Mind" by Roger Penrose has received a great deal of both praise and criticism. This review discusses philosophical aspects of the book that form an attack on the "strong" AI thesis. Eight different versions of this thesis are distinguished, and sources of ambiguity diagnosed, including different requirements for relationships between program and behaviour. Excessively strong versions attacked by Penrose (and Searle) are not worth defending or attacking, whereas weaker versions remain problematic. Penrose (like Searle) regards the notion (...) of an algorithm as central to AI, whereas it is argued here that for the purpose of explaining mental capabilities the architecture of an intelligent system is more important than the concept of an algorithm, using the premise that what makes something intelligent is not what it does but how it does it. What needs to be explained is also unclear: Penrose thinks we all know what consciousness is and claims that the ability to judge Go "del's formula to be true depends on it. He also suggests that quantum phenomena underly consciousness. This is rebutted by arguing that our existing concept of "consciousness" is too vague and muddled to be of use in science. This and related concepts will gradually be replaced by a more powerful theory-based taxonomy of types of mental states and processes. The central argument offered by Penrose against the strong AI thesis depends on a tempting but unjustified interpretation of Goedel's incompleteness theorem. Some critics are shown to have missed the point of his argument. A stronger criticism is mounted, and the relevance of mathematical Platonism analysed. Architectural requirements for intelligence are discussed and differences between serial and parallel implementations analysed. (shrink)

This chapter concentrates on the edges of the lived body, which act to mediate between the outermost and innermost edges. The prospects for construing bodily edges are explored. Bodily edges realise the paradigm of definitive but incomplete self-knowledge in a very particular way: namely, that such edges are parts of parts. The internal and external edges of bodily parts are not only glimpsed in the course of ongoing experience but also offer a grip for hands. Inside/outside is an especially significant (...) binary edge structure, and is altogether central to edges that inhere in bodies. Bodily edges act as the mediatrix between the edges of the perceived earth and those of the inner psyche, and also provide the conjunctures for many things in experienced life-worlds. (shrink)

This is a critical analysis of the first part of Go¨del’s 1951 Gibbs lecture on certain philosophical consequences of the incompleteness theorems. Go¨del’s discussion is framed in terms of a distinction between objective mathematics and subjective mathematics, according to which the former consists of the truths of mathematics in an absolute sense, and the latter consists of all humanly demonstrable truths. The question is whether these coincide; if they do, no formal axiomatic system (or Turing machine) can comprehend the (...) mathematizing potentialities of human thought, and, if not, there are absolutely unsolvable mathematical problems of diophantine form. (shrink)

In “Minds, Machines, and Gödel”, J. R. Lucas claims that Goedel's incompleteness theorem constitutes a proof “that Mechanism is false, that is, that minds cannot be explained as machines”. He claims further that “if the proof of the falsity of mechanism is valid, it is of the greatest consequence for the whole of philosophy”. It seems to me that both of these claims are exaggerated. It is true that no minds can be explained as machines. But it is not (...) true that Goedel's theorem proves this. At most, Goedel's theorem proves that not all minds can be explained as machines. Since this is so, Goedel's theorem cannot be expected to throw much light on why minds are different from machines. Lucas overestimates the importance of Goedel's theorem for the topic of mechanism, I believe, because he presumes falsely that being unable to follow any but mechanical procedures in mathematics makes something a machine. (shrink)

Following F. William Lawvere, we show that many self-referential paradoxes, incompleteness theorems and fixed point theorems fall out of the same simple scheme. We demonstrate these similarities by showing how this simple scheme encompasses the semantic paradoxes, and how they arise as diagonal arguments and fixed point theorems in logic, computability theory, complexity theory and formal language theory.

What are human rights? According to one longstanding account, the Naturalistic Conception of human rights, human rights are those that we have simply in virtue of being human. In recent years, however, a new and purportedly alternative conception of human rights has become increasingly popular. This is the so-called Political Conception of human rights, the proponents of which include John Rawls, Charles Beitz, and Joseph Raz. In this paper we argue for three claims. First, we demonstrate that Naturalistic Conceptions of (...) human rights can accommodate two of the most salient concerns that proponents of the Political Conception have raised about them. Second, we argue that the theoretical distance between Naturalistic and Political Conceptions is not as great as it has been made out to be. Finally, we argue that a Political Conception of human rights, on its own, lacks the resources necessary to determine the substantive content of human rights. If we are right, not only should the Naturalistic Conception not be rejected, the Political Conception is in fact incomplete without the theoretical resources that a Naturalistic Conception characteristically provides. These three claims, in tandem, provide a fresh and largely conciliatory perspective on the ongoing debate between proponents of Political and Naturalistic Conceptions of human rights. (shrink)

By constructing a maximal incomplete d.r.e. degree, the nondensity of the partial order of the d.r.e. degrees is established. An easy modification yields the nondensity of the n-r.e. degrees and of the ω-r.e. degrees.

_Purpose._ The paper seeks to prove the thesis of the significance and importance of the theories and methodological approaches of historical anthropology, which are aimed at understanding the meanings, essence and value systems of human existence in the past for philosophical anthropology. The study of this problem is relevant for understanding the evolution of human identity with philosophical and anthropological concepts, understanding the essence of one’s own existence and attitude to the world. _Theoretical basis._ The author conducts research in the (...) analysis of the reflexive field of philosophical anthropology and related disciplines, in particular historical anthropology, implemented in the philosophical literature of recent centuries, that is, in the space of non-classical and modern philosophical thought. _Originality._ I raise and substantiate the theoretical question of the scientific significance of the analysis of human existence in the past thanks to the involvement of theoretical approaches and concepts formed in the reflexive field of modern historical and anthropological research. This forms the prerequisites for understanding complex and interdisciplinary explorations of the essence and cultural and spiritual values of human existence. I analyse the problems of the work in the context of the concept of the incompleteness of the project of philosophical anthropology without its involvement in the theoretical achievements of historical-anthropological investigations. _Conclusions._ In my opinion, modern historical and anthropological studies of the essence and meanings of being a person of the past form an extensive theoretical system. It is realized through such theoretical aspects of comprehension of human existence by historical and anthropological studies as "history of mentalities", "microhistory", "history of women", "new cultural history", "history of identity", "history of memory", history of mental aspects of political processes. Methodological approaches and concepts of modern historical anthropology form the basis of mental reconstruction and understanding of the mental and cultural causes and factors of human existence, thanks to the analysis of the evolution of the worldview, behaviour, outlook, various forms of individual and social activity of the individual. (shrink)

In spite of the labours of Sedlmayer,1 Ehwald2 and Palmer,3 it cannot be said that there exists a completely satisfactory edition of Ovid's Heroides. One or all of these editors sometimes leave a corrupted text, sometimes adhere too closely to a manuscript reading, and sometimes introduce untenable emendations. A new edition is called for, with revised collati ons of the known manuscripts, and an augmented apparatus criticus, exhibiting the large class of what I may term the ‘Vulgate’ manuscripts, which represents (...) a tradition different from, and probably later than that of our chief authority, the excellent but unfortunately incomplete eleventh-century Parisinus , which, like all primary manuscripts of this type, contains many readings or corruptions which should not on account of its mere authority be accepted slavishly. Light is often thrown on the text from less important sources, and the truth may be recovered from manuscripts of the ‘Vulgate’ family, where our better authority fails. In this connexion the study of my own manuscript has led me to some conclusions in certain passages which I venture to set forth as suggestions towards an improved constitution of the text of the Heroides. Though it is clear from the preceding investigation into its nature that O is no primary manuscript, but belongs rather to that large class which has passed through various stages of reproduction involving alterations due either to carelessness of copyists or, more rarely, to deliberate alteration, it presents at the same time a phenomenon not unusual with such manuscripts, inasmuch as it often supports the best tradition, and in some cases preserves a reading which yields the truth, or from which the truth can be elucidated. I have used the following symbols: P = Parisinus 8242 s. xi. E = Etonensis s. xi. G = Gueferbytanus s. xii. V = Schedae Vindobonenses s xii. O = my manuscript s. xiv. D = Dresdensis s. xiii. ω = all or the majonly of the ‘Vulgate’ manuscripts. ζ = some of these manuscripts. (shrink)

In spite of the labours of Sedlmayer,1 Ehwald2 and Palmer,3 it cannot be said that there exists a completely satisfactory edition of Ovid's Heroides. One or all of these editors sometimes leave a corrupted text, sometimes adhere too closely to a manuscript reading, and sometimes introduce untenable emendations. A new edition is called for, with revised collati ons of the known manuscripts, and an augmented apparatus criticus, exhibiting the large class of what I may term the ‘Vulgate’ manuscripts, which represents (...) a tradition different from, and probably later than that of our chief authority, the excellent but unfortunately incomplete eleventh-century Parisinus, which, like all primary manuscripts of this type, contains many readings or corruptions which should not on account of its mere authority be accepted slavishly. Light is often thrown on the text from less important sources, and the truth may be recovered from manuscripts of the ‘Vulgate’ family, where our better authority fails. In this connexion the study of my own manuscript has led me to some conclusions in certain passages which I venture to set forth as suggestions towards an improved constitution of the text of the Heroides. Though it is clear from the preceding investigation into its nature that O is no primary manuscript, but belongs rather to that large class which has passed through various stages of reproduction involving alterations due either to carelessness of copyists or, more rarely, to deliberate alteration, it presents at the same time a phenomenon not unusual with such manuscripts, inasmuch as it often supports the best tradition, and in some cases preserves a reading which yields the truth, or from which the truth can be elucidated. I have used the following symbols:P = Parisinus 8242 s. xi.E = Etonensis s. xi.G = Gueferbytanus s. xii.V = Schedae Vindobonenses s xii.O = my manuscript s. xiv.D = Dresdensis s. xiii.ω = all or the majonly of the ‘Vulgate’ manuscripts.ζ = some of these manuscripts. (shrink)

Gödel's Incompleteness Theorems have the same scientific status as Einstein's principle of relativity, Heisenberg's uncertainty principle, and Watson and Crick's double helix model of DNA. Our aim is to discuss some new faces of the incompleteness phenomenon unveiled by an information-theoretic approach to randomness and recent developments in quantum computing.

We prove the following three theorems on the enumeration degrees of ∑20 sets. Theorem A: There exists a nonzero noncuppable ∑20 enumeration degree. Theorem B: Every nonzero Δ20enumeration degree is cuppable to 0′e by an incomplete total enumeration degree. Theorem C: There exists a nonzero low Δ20 enumeration degree with the anticupping property.

Drawing on various historical documents, the article uses process tracing methods and analytic narratives to establish a relationship between historical contractual practices and state formation in nineteenth-century East Africa. I trace the process through which local political leaders historically sought to secure monopolistic deals over trade with foreign entrepreneurs through incomplete contracts for tangible economic goods and intangible political goods or services. By showcasing agents’ bargaining strategies in contractual agreements, the article sheds light on notions of sovereignty and independence articulated (...) through public contracting in Africa’s political development. Historical understandings of notions of independence and sovereignty by procurement practitioners in East Africa provide seeds for thought in controversial debates about government outsourcing today. Is outsourced sovereignty always threatening? Can we outsource sovereignty and remain independent? These are perhaps the most important conceptual queries that make East Africa’s historical contractual experience pertinent today as new public-private partnerships for development, including government outsourcing, increasingly call for the use of private means to solve public problems in the developing countries. (shrink)

ABSTRACT:The paper begins by surveying a range of possible views on the metaphysics of romantic love, organizing them as responses to a single question. It then outlines a position, constructionist functionalism, according to which romantic love is characterized by a functional role that is at least partly constituted by social matters, although this role may be realized by states that are not socially constructed.

Objective: To identify factors that predict physicians’ intent to comply with the American Medical Association’s ethical guidelines on gifts from the pharmaceutical industry.Methods: A survey was designed and mailed in June 2004 to a random sample of 850 physicians in Florida, USA, excluding physicians with inactive licences, incomplete addresses, addresses in other states and pretest participants. Factor analysis extracted six factors: attitude towards following the guidelines, subjective norms , facilitating conditions , profession-specific precedents , individual-specific precedents and intent. Multivariate regression (...) modelling was conducted.Results: Surveys were received from 213 physicians representing all specialties, with a net response rate of 25.5%. 62% of respondents were aware of the guidelines; 50% had read them. 48% thought that following the guidelines would increase physicians’ credibility and professional image; 68% agreed that it was important to do so. Intent to comply was positively associated with attitude, subjective norms, facilitators and sponsorship of continuing medical education events, while individual-specific precedents had a negative relationship with intent to comply. Predictors of intent were attitude, subjective norms, the interaction term , sponsorship of CME events and individual-specific precedents.Conclusions: Physicians are more likely to follow the AMA guidelines if they have positive attitudes towards the guidelines, greater subjective norms, fewer expectations of CME sponsorship and fewer individual-specific precedents. Physicians believing that important individuals or organisations expect them to comply with the guidelines are more likely to express intent, despite having fewer beliefs that positive outcomes would result through compliance. (shrink)

It has been argued that the inherent risks of advance directives made by healthy people are disproportionate to the potential benefits, particularly if the directive is implementable in cases of reversible mental incapacity. This paper maintains that the evidence for such a position is lacking. Furthermore, respect for the principle of autonomy requires that individuals be permitted to make risky choices about their own lives as long as these do not impinge on others. Even though health professionals have an obligation (...) to try and ensure that patients have appropriate information about possible future treatment options, they cannot predict and describe every eventuality but nor can they disregard firm decisions knowingly made on the basis of incomplete information by competent adults. To attempt to do so would be to reinstate notions of medical paternalism which are contrary to current public expectations. (shrink)

We present an abstract framework in which we give simple proofs for Gödel’s First and Second Incompleteness Theorems and obtain, as consequences, Davis’, Chaitin’s and Kritchman-Raz’s Theorems.

In Dependent Rational Animals, Alasdair MacIntyre attempts to ground the virtues in a biological account of humans. Drawing from this attempt, he also tries to answer the question of why we should care for the severely disabled. MacIntyre’s difficulty in answering this question begins with the fact that his communities of practices do not naturally include the severely disabled within their membership and care. In response to this difficulty, he provides four reasons for why we should care for the severely (...) disabled. I argue that three of these reasons are inadequate, and that the fourth is incomplete although it does point in a promising direction. I conclude that a more satisfactory answer requires a further extension of the central development from After Virtue to Dependent Rational Animals, and I draw from Wendell Berry, whose work MacIntyre admires, to provide an illuminating illustration of what such an answer might look like. (shrink)

This short book has two main purposes. The first is to explain Kurt Gödel's first and second incompleteness theorems in informal terms accessible to a layperson, or at least a non-logician. The author claims that, to follow this part of the book, a reader need only be familiar with the mathematics taught in secondary school. I am not sure if this is sufficient. A grasp of the incompleteness theorems, even at the level of ‘the big picture’, might require (...) some experience with the rigor of mathematical proof. Moreover, since the incompleteness theorems concern formal deductive systems, it would help for a potential reader of this book to have some familiarity with at least elementary logic.There are, of course, a number of informal expositions of the incompleteness theorems. I do not see the need to engage in a comparative study. The second, and more important, goal of the present book is to discuss some alleged consequences of the incompleteness theorems and, in particular, to debunk thoroughly claims in philosophy, religion, and literary criticism that are supposed to be established, or at least bolstered, by incompleteness. The execution of this part of the book is masterly. The arguments are clear and compelling.The book has eight chapters, each between eight and twenty-eight pages. The opening chapter gives a very brief account of the incompleteness theorems and a sketch of Gödel's life and work. Chapter 2 gives the main overview of the incompleteness theorems, plus …. (shrink)

Quantum cognition is a new theoretical framework for constructing cognitive models based on the mathematical principles of quantum theory. Due to its increasing empirical success, one wonders what it tells us about the underlying process of cognition. Does it imply that we have quantum minds and there is some sort of quantum structure in the brain? In this paper, I address this important issue by using a new result in the research of quantum foundations. Based on the PBR theorem about (...) the reality of the wave function, I show, given certain assumptions, that the wave function assigned to a cognitive system such as our brain, which is used to calculate probabilities of thoughts/judgment outcomes in quantum cognition, is a real representation of the cognitive state of the system, not a mere representation of incomplete knowledge about the state of the system. This result supports a realist interpretation of quantum cognition, according to which the cognitive state of our brain and its dynamics are not classical but quantum in quantum cognition. In short, quantum cognition implies quantum minds. However, this result does not mean that we have quantum minds and our brain is a quantum computer, since quantum cognition by its standard formulation has not been fully confirmed by experiments. The hope is that more crucial experiments can be done in the near future to determine whether or not quantum cognition is real. (shrink)

The spatial organization of the genome is intimately linked to its biological function, yet our understanding of higher order genomic structure is coarse, fragmented and incomplete. In the nucleus of eukaryotic cells, interphase chromosomes occupy distinct.

Incompletely understood medical texts, like other kinds of technical writing, pose problems that require a multi-disciplinary approach. In addition, the etymological writings of ancient commentators hint at their own cultures priorities and limitations. Progress today, therefore, also depends partly upon how well we can harmonize our own thinking with the beliefs and practices of an alien culture, whose medicine may overlap with culinary and other social uses. A puzzling word may have been reshaped to reflect the supposed properties of the (...) entity denoted or the use made of it. Plant names, which figure strongly in such texts, are particularly liable to be passed from language to language as ‘culture borrowings’ and are thus especially vulnerable to this false rationalization process, commonly known as ‘folk etymology’. In a personal exploration I analyse some modern vocabulary and identify several varieties of the process and then illustrate its effects by means of toponyms and medicinal plant names from mediaeval Italy and ancient Mesopotamia, Anatolia, Greece and Italy. Since no known language seems immune from etymologizing, the generic points that emerge are offered as a contribution to the decipherers craft. (shrink)

Several recent papers dealing with Plato's position on the imperfection of the phenomenal world draw heavily on the differences between two kinds of predicates in order to show the following: In the middle dialogues, Plato posits Forms only as referents of what the writers call incomplete predicates. He does not posit Forms as referents for complete predicates. When interpreters ignore the differences between these kinds of predicates, they ascribe too radical a view regarding the imperfection of the phenomenal world to (...) the middle dialogues. The ontology of these dialogues includes sensible particulars which retain their identity over time even though they are continually changing in some respect or other. (shrink)

Several recent papers dealing with Plato's position on the imperfection of the phenomenal world draw heavily on the differences between two kinds of predicates in order to show the following: In the middle dialogues, Plato posits Forms only as referents of what the writers call incomplete predicates. He does not posit Forms as referents for complete predicates. When interpreters ignore the differences between these kinds of predicates, they ascribe too radical a view regarding the imperfection of the phenomenal world to (...) the middle dialogues. The ontology of these dialogues includes sensible particulars which retain their identity over time even though they are continually changing in some respect or other. (shrink)

Available from UMI in association with The British Library. ;This thesis investigates the application of the theory of Conceptual Structures to an Experience Base model, which is a question-answering system for a knowledge base of pseudo-natural language statements of everyday experience. This thesis progresses to extend the fundamental principles carried from the experience base, to develop a framework for Reasoning by Analogy. Both methodologies are implemented, and uncertainty in the models is handled using the theory of Support Logic. ;Incompleteness (...) of information, uncertainty of data and the need for a definite structure to the way in which rules and data interact, are aspects which must be dealt with if the experience base is to succeed. One more aspect is the knowledge representation which dictates the ease with which processing may be performed upon it. Conceptual graphs are used to store information used by an Experience Base. Control of the reasoning is effected by plausible inference reinforced by the theory of Support Logic for handling uncertainty. The knowledge base is a set of initially completely disparate islands of knowledge, which the system automatically clusters into coherent groups in an associative network. ;The principles evolved from research into experience bases lead to the conception, development and implementation of a computational framework for Analogical Reasoning. The reasoning is performed between domains of knowledge rather than within a single domain as in case-based reasoning, and operates on pseudo-natural language statements as for the experience base. It relies on relation-based structure mapping and includes a sophisticated mechanism for translating between the new problem and the analogue. The strong connection between this work and metaphor interpretation is also investigated, together with ideas on how to negotiate with the apparent multitude of types of analogical reasoning. (shrink)

:Something strange has happened to the concept of dignity in bioethics. After a long period in which U.S. pragmatist and U.K. consequentialist philosophers have argued that the concept is useless and vacuous, and in which they have been reasonably successful in expunging it from mainstream English-language academic bioethics, dignity has suddenly become popular again in debates about the legalization of physician-assisted dying. And, even stranger, it is deployed not by conservatives but by liberals. In the debates about PAD, liberal proponents (...) of legalization seem to accept without question that there is such a state or process as “death with dignity,” which is juxtaposed to “undignified dying.” It also seems to be accepted that both of these states can be fairly easily identified and that they carry great moral weight. This article provides an analysis of the current resurgence of “undignified” arguments and argues on the basis of that analysis that a proper understanding of the concept of dignity shows that the previous reductive arguments against dignity are partially incomplete and therefore partially misguided and that, despite dignity having meaning, the idea of an undignified death cannot carry the moral weight it is given by proponents of the legalization of PAD. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Notes and Fragments RAILING AGAINST REALISM: PHILOSOPHY AND TO THE LIGHTHOUSE by S. P. ROSENBAUM The argument of Graheim Parkes's "Imagining Reality in To the Lighthouse" is described by its author as "a railing against the realist position" (p. 35) as he understands it primarily in my article "The Philosophical Reedism ofVirginia Woolf." ' Apart from the question of whemer railing is a useful way of conducting an inquiry (...) into literature and philosophy, Parkes's discussion raises several important issues about these connections. The way diey are raised, however, involves various mistedces and muddles that make a brief reply to his eurticle difficult. To begin with a small reveeding example, Parkes asserts that I miss the irony in Virginia Woolfs use of die letters P, Q, and R to describe Mr. Ramsay's problems of diought (p. 41). Here is what I wrote: "By representing Mr. Ramsay 's thinking as proceeding in die very genered form of conventional logical symbols, Virginia Woolf is wittily extending the standard letters used to symbolize die conditional type of argument, If P men Cf (p. 339, with italics added this time). Parkes's misreading of my text does not inspire confidence when he turns to Virginia Woolfs fiction or G. E. Moore's philosophy. On a more significant issue, Parkes complains that I boggle his mind by saying diat philosophically, Moore influenced Virginia Woolf more man anyone else, whereas Platonic ideas abound in her books (p. 35). Of course they do, but not very much in her epistemology, which was the subject of my eurticle.2 What Peirkes does not mention is that Plato was also a profound influence on Moore's philosophy. One of die reasons Moore's influence on Bloomsbury was so strong is that he reinterpreted Plato for them. In her images and ideas Virginia Woolf was influenced direcdy dirough her reading of Plato etnd also indirectly through the work of Plotinus and Moore. These influences are not easily sepeurated, which is why studies of Platonic emd Neoplatonic influences in her work that ignore Moore's significance are so incomplete. 89 90Philosophy and Literature Peirkes claims mat die evidence of Moore's influence on Virginia Woolf is slight (p. 34), and then he concerns himself with the putative influences of German philosophers for whom mere is no evidence at all. In the fifteen years since I wrote my article, the biographical evidence for Moore's influence has continued to accumulate as Virginia Woolfs letters, memoirs, emd dieiries were published. From her first novel, in which Principia Etnica is quoted emd briefly discussed, down to die recently discovered revised version of her last memoir, in which she reaffirms her deep respect for Moore,3 the indications of Moore's significance for Virginia Woolf ought to convince any disinterested reader. It cannot be dismissed with a sneer about "the voguish fascination of the Bloomsbury Group..." (p. 34), especially from someone proposing to study yet again the depth psychology of her fiction via Nietzsche and Heidegger (P- 44). Nothing I say here, of course, will persuade Parkes of the value of philosophical realism for understanding To the Lighthouse because diat philosophy, as he conceives of it in his article, consists of straw. To tedce just one exeimple, Peirkes appeeurs to believe Moore's epistemology etrgues "diat things and persons are what they are independently of human consciousness" (p. 37). There is no space here to explain philosophical realism again to Parkes, odier than to note that it is not inconsistent with the veirious concerns (to use Peurkes's terminology) about "transpersonal imagination" or "participation in phenomena" that he finds so interesting in the novel. But what about die novel? For readers indifferent to whether Moore or Russell, Nietzsche or Heidegger are to be found in To the Lighthouse, the relevant question is what such philosophical interpretations medce of it. To them I ceui only say, reread the novel and then ask yourselves if an account of it diat says nothing about die value of art and almost nodiing about the value oflove bears much resemblance to your reading experience. Parkes thinks the portrait of Mr. Ramsay is unsympathetic because he is criticized emd mocked... (shrink)

Quantum mechanics is seen to be incomplete not because it cannot explain the correlations that characterize entanglement without invoking either non-locality or realism, both of which, despite special relativity or no-go theorems, are at least conceivable. Quantum mechanics is incomplete, in a perhaps broader than hidden variable sense, because it fails to address within its theoretical structure the question of how even a single particle, by being in a given quantum state, causes the frequency distribution of measurement values specified by (...) the state. This incompleteness of quantum mechanics as it is currently conceived is both fundamental and indefeasible. Failure to address the question of how the states of entangled particles are given effect to yield the correlations they specify is simply a particular albeit attention arresting instance of this incompleteness. But if that is so then quantum mechanics cannot be held to be inconsistent with locality. (shrink)

A new formulation involving fulfillment of all the Kolmogorov axioms is suggested for acomplete probability theory. This proves to be not a purely mathematical discipline. Probability theory deals with abstract objects—images of various classes of concrete objects—whereas experimental statistics deals with concrete objects alone. Both have to be taken into account. Quantum physics and classical statistical physics prove to be different aspects ofone probabilistic physics. The connection of quantum mechanics with classical statistical mechanics is examined and the origin of the (...) Schrödinger equation is elucidated. Attention is given to the true meaning of the wave-corpuscle duality, and the incompleteness of nonrelativistic quantum mechanics is explained. (shrink)

In Amartya Sen’s The Idea of Justice, democracy is necessary for the reconciliation of plural justice claims. Sen’s treatment of democracy is however incomplete and inadequate: democracy is under-specified, there are unrecognized difficulties in any context featuring deep moral disagreement or deep division and a conceptualization of public reason in the singular erodes his pluralism. These faults undermine Sen’s account of justice. Developments in the theory of deliberative democracy can be deployed to remedy these deficiencies. This deployment points to a (...) deliberative system encompassing those affected by collective decisions, with places for non-partisan forums and discursive representatives, conditionally open to multiple forms of communication, and geared to the production of workable agreements under normative and discursive meta-consensus. Democracy does not guarantee justice, but in a plural world it is essential to the pursuit of justice. (shrink)

Sartre’s Critique of Dialectical Reason ranks with Being and Nothingness as a work of major philosophical significance, but it has been largely neglected. The first volume, published in 1960, was dismissed as a Marxist work at a time when structuralism was coming into vogue; the incomplete second volume has only recently been published in France. In this commentary on the first volume, Joseph S. Catalano restores the Critique to its deserved place among Sartre’s works and within philosophical discourse as a (...) whole. Sartre attempts one of the most needed tasks of our times, Catalano asserts—the delivery of history into the hands of the average person. Sartre’s concern in the Critique is with the historical significance of everyday life. Can we, he asks, as individuals or even collectively, direct the course of our history? A historical context for our lives is given to us at birth, but we sustain that context with even our most mundane actions—buying a newspaper, waiting in line, eating a meal. In looking at history, Sartre argues, reason can never separate the historical situation of the investigator from the investigation. Thus reason falls into a dialectic, always depending upon the past for guidance but always being reshaped by the present. Clearly showing the influence of Marx on Sartre’s thought, the Critique adds the historical dimension lacking in Being and Nothingness. In placing the Critique within the corpus of Sartre’s philosophical writings, Catalano argues that it represents a development rather than a break from Sartre’s existentialist phase. Catalano has organized his commentary to follow the Critique and has supplied clear examples and concrete expositions of the most difficult ideas. He explicates the dialogue between Marx and Sartre that is internal to the text, and he also discusses Sartre’s Search for Method, which is published separately from the Critique in English editions. (shrink)

The movements by national governments, funding agencies, universities, and research communities toward “open data” face many difficult challenges. In high-level visions of open data, researchers’ data and metadata practices are expected to be robust and structured. The integration of the internet into scientific institutions amplifies these expectations. When examined critically, however, the data and metadata practices of scholarly researchers often appear incomplete or deficient. The concepts of “accountability” and “transparency” provide insight in understanding these perceived gaps. Researchers’ primary accountabilities are (...) related to meeting the expectations of research competency, not to external standards of data deposition or metadata creation. Likewise, making data open in a transparent way can involve a significant investment of time and resources with no obvious benefits. This paper uses differing notions of accountability and transparency to conceptualize “open data” as the result of ongoing achievements, not one-time acts. (shrink)

This essay concerns Scott Shapiro's criticism that H.L.A. Hart's theory of law suffers from a Although other philosophers of law have summarily dismissed Shapiro's criticism, I argue that it identifies an important requirement for an adequate theory of law. Such a theory must explain why legal officials justify their actions by reference to abstract propositional entities, instead of pointing to the existence of social practices. A virtue of Shapiro's planning theory of law is that it can explain this phenomenon. Despite (...) these sympathies, however, I end with the suggestion that Shapiro's criticism of Hart, as it stands, is incomplete. Careful attention to Hart's notion of the internal point of view indicates that he was aware that legal justification ends with abstract objects, not practices, and that he offered his own explanation of this phenomenon. (shrink)

First-order logic. The origin of modern foundational studies. Frege's system and the paradoxes. The teory of types. Zermelo-Fraenkel set theory. Hilbert's program and Godel's incompleteness theorems. The foundational systems of W.V. Quine. Categorical algebra.

This article uses tagmemic theory as a semiotic framework to analyze symbolic logic. It attends particularly to the issue of context for meaning and the role of personal observer/participants. It focuses on formal languages, which employ no ordinary words and from one point of view have “no meaning.” Attention to the context and the theorists who deploy these languages shows that formal languages have meanings at a higher level, colored by the purposes of the analysts. In fact, there is an (...) indefinitely ascending hierarchy of theories of theories, each of which analyzes and evaluates the theories at a lower level. By analogy with Kurt Gödel’s incompleteness theory, no level of the hierarchy can capture within formalism everything in a sufficiently complex system. The personal analysts always have to make judgments about how a formalized system is analogous to the world outside the system. Arguments in analytic philosophy can be useful in clarification, but neither clarification of terms nor clarification of the structure of arguments can eliminate the need for personal judgment. (shrink)

This article details how patent law works to create discrete, immutable biological ‘objects’. This socio-legal maneuver is necessary to distinguish these artifacts from the unwieldy realm of the natural world. The creation of ‘objects’ also serves the interests of capital, where a stable, unchanging, immutable object goes hand in hand with commodification. Yet this stabilization is incomplete. Pointing to a variety of different examples, this article illustrates how biotech patents do not speak to specific, immutable things. Biotech patents, rather, are (...) better understood as ontologically fluid, which is to say their identity cannot be ‘fixed’ — or, at least, not without undermining the very existence of today’s biotechnology regime. The article concludes by speaking briefly about how this mutability is perpetuating certain inequalities, particularly between holders of various property forms. (shrink)