The state of computing science and, particularly, software engineering and knowledge engineering is generally considered immature. The best starting point for achieving a mature engineering discipline is a solid scientific theory, and the primary reason behind the immaturity in these fields is precisely that computing science still has no such agreed upon underlying theory. As theories in other fields of science do, this paper formally establishes the fundamental elements and postulates making up a first attempt at a theory in this (...) field, considering the features and peculiarities of computing science. The fundamental elements of this approach are informons and holons, and it is a general and comprehensive theory of software engineering and knowledge engineering that related disciplines (e.g., information systems) can particularise and/or extend to take benefit from it (Lakatos’ concepts of core theory and protective belt theories). (shrink)

Turing was an exceptional mathematician with a peculiar and fascinating personality and yet he remains largely unknown. In fact, he might be considered the father of the von Neumann architecture computer and the pioneer of Artificial Intelligence. And all thanks to his machines; both those that Church called “Turing machines” and the a-, c-, o-, unorganized- and p-machines, which gave rise to evolutionary computations and genetic programming as well as connectionism and learning. This paper looks at all of these and (...) at why he is such an often overlooked and misunderstood figure. (shrink)

In the centenary year of Turing’s birth, a lot of good things are sure to be written about him. But it is hard to find something new to write about Turing. This is the biggest merit of this article: it shows how von Neumann’s architecture of the modern computer is a serendipitous consequence of the universal Turing machine, built to solve a logical problem.

From religion to philosophy to science, all human systems of definition are formed by human brains. The nature and limits of the human brain are the nature and limits of those systems. This essay shows how the human brain works normally then unusually, and what this reveals about the limits of human knowledge. There are many conditions and instances where the brain processes information unusually, including mental disorders, physical events, and drug use. This essay focuses on the neurological events called (...) mystical experiences. (shrink)

This short peer-reviewed text is a concise look at the psychology of how human beings make decisions, including how they form their worldviews and make arguments.

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

Part of the appeal of the biological approach to personal identity is that it does not have to countenance spatially coincident entities. But if the termination thesis is correct and the organism ceases to exist at death, then it appears that the corpse is a dead body that earlier was a living body and distinct from but spatially coincident with the organism. If the organism is identified with the body, then the unwelcome spatial coincidence could perhaps be avoided. It is (...) argued that such an identification would be a mistake. A living organism has a different part/whole relationship and persistence conditions than the alleged body. A case will be made that the concept ‘human body’ is a conceptual mess, vague in an unprincipled manner, and that an eliminativist stance towards dead bodies is the appropriate response. CiteULike Connotea Del.icio.us What's this? (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

Oxford Philosophical Texts Series Editor: John Cottingham The Oxford Philosophical Texts series consists of authoritative teaching editions of canonical texts in the history of philosophy from the ancient world down to modern times. Each volume provides a clear, well laid out text together with a comprehensive introduction by a leading specialist, giving the student detailed critical guidance on the intellectual context of the work and the structure and philosophical importance of the main arguments. Endnotes are supplied which provide further commentary (...) on the arguments and explain unfamiliar references and terminology, and a full bibliography and index are also included. The series aims to build up a definitive corpus of key texts in the Western philosophical tradition, which will form a reliable and enduring resource for students and teachers alike. David Hume's aim in writing An Enquiry concerning Human Understanding was to introduce his philosophy to a European culture in which many educated people read original works of philosophy. He gives an elegant and accessible presentation of strikingly original and challenging views about the limited powers of human understanding, the attractions of scepticism, the compatibility of free will and determinism, and weaknesses in the foundations of religion. Hume's philosophy was highly controversial in the eighteenth century and remains so today. The text printed in this edition is that of the Clarendon critical edition of Hume's works. A substantial introduction by the editor explains the intellectual background to the work and surveys its main themes. The volume also includes detailed explanatory notes on the text, a glossary of terms, a full list of references, and a section of supplementary readings. (shrink)

As a continuation of the work of the third author in [5], we make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired by Serre’s algebraic twisting) to describe arbitrary fibres in cohomology sequences—yielding a useful “finiteness” result on cohomology sets. Applied to the special case (...) of differential fields and Kolchin’s constrained cohomology, we complete results from [3] by proving that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable. (shrink)

Este artículo distingue e interrelaciona dos concepciones de ciudadanía en relación con las colectividades soberanas o países: la jurídico-política y la ético-política. Para delimitar al ciudadano según la primera concepción, se divide a los habitantes en inmigrantes y nacionales, y a éstos en ciudadanos en sentido restringido y súbditos o nacionales sin derechos políticos (integrados por menores de edad y ciudadanos con los derechos políticos suspendidos). Respecto a la concepción ético-política, los habitantes son divididos en niños o inmaduros psicológicamente para (...) la participación política y ciudadanos en sentido amplio, los cuales se dividen en pasivos y activos. Estos últimos se dividen a su vez en gremiales e ideológicos, los cuales pueden ser autoritarios y democráticos. Estas clasificaciones, con las definiciones correspondientes, se elaboran a partir de comparar lo dicho sobre los conceptos de ciudadano, ciudadanía y civismo en tres diccionarios de la lengua y en ocho obras lexicográficas especializadas. (shrink)

Is brain structure related to function? Can one predict the other? These are questions that are still waiting to be answered definitively. In this paper we seek to investigate these questions, in particular, we are interested in the relation between brain structure and theory of mind. ToM is defined as the ability to attribute mental states to others. Previous studies have observed correlations between performance on ToM tasks, and gray-matter size/volume in dorsomedial prefrontal cortex, temporoparietal junction and precuneus. Despite these (...) findings, there are concerns about false positive results and replicability issues. In this study we used two different tasks to evaluate ToM, Reading the Mind in the Eyes Test, and the Short Story Task. Performance in these tasks was correlated to brain anatomy measures including voxel-based morphometry and cortical thickness analysis, from ninety-one neurotypical participants. High-resolution structural brain images were acquired, and whole-brain and region of interest analyses were implemented. The analyses did not show statistically significant associations between ToM performance and brain structural measures after correction. Significant associations between performance on ToM tests and a widespread array of regions loosely associated with ToM were observed only for whole brain uncorrected analysis. These results do not replicate a previous study with neurotypical participants. We tested two different ToM tests, two different softwares for VBM and CT, and we used two samples, one with 91 and a sub-sample with 69 participants. Neither of these conditions made a difference in the results obtained. Consequently, these results suggest that if the population is neurotypical and homogenous, it is unlikely that a reliable association between brain anatomy measures and ToM performance, as measured with these tasks, may be found. (shrink)

In the Garden of Eden, we had unmediated contact with the world. We were directly acquainted with objects in the world and with their properties. Objects were simply presented to us without causal mediation, and properties were revealed to us in their true intrinsic glory.

What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I.J. Good in his 1965 article “Speculations Concerning the First Ultraintelligent Machine”: Let an ultraintelligent machine be defined as a machine that can far (...) surpass all the intellectual activities of any man however clever. Since the design of machines is one of these intellectual activities, an ultraintelligent machine could design even better machines; there would then unquestionably be an “intelligence explosion”, and the intelligence of man would be left far behind. Thus the first ultraintelligent machine is the last invention that man need ever make. The key idea is that a machine that is more intelligent than humans will be better than humans at designing machines. So it will be capable of designing a machine more intelligent than the most intelligent machine that humans can design. So if it is itself designed by humans, it will be capable of designing a machine more intelligent than itself. By similar reasoning, this next machine will also be capable of designing a machine more intelligent than itself. If every machine in turn does what it is capable of, we should expect a sequence of ever more intelligent machines. This intelligence explosion is sometimes combined with another idea, which we might call the “speed explosion”. The argument for a speed explosion starts from the familiar observation that computer processing speed doubles at regular intervals. Suppose that speed doubles every two years and will do so indefinitely. Now suppose that we have human-level artificial intelligence 1 designing new processors. Then faster processing will lead to faster designers and an ever-faster design cycle, leading to a limit point soon afterwards. The argument for a speed explosion was set out by the artificial intelligence researcher Ray Solomonoff in his 1985 article “The Time Scale of Artificial Intelligence”.1 Eliezer Yudkowsky gives a succinct version of the argument in his 1996 article “Staring at the Singularity”: “Computing speed doubles every two subjective years of work.. (shrink)

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

Gottfried Wilhelm Leibniz is the self-proclaimed inventor of the binary system and is considered as such by most historians of mathematics and/or mathematicians. Really though, we owe the groundwork of today’s computing not to Leibniz but to the Englishman Thomas Harriot and the Spaniard Juan Caramuel de Lobkowitz, whom Leibniz plagiarized. This plagiarism has been identified on the basis of several facts: Caramuel’s work on the binary system is earlier than Leibniz’s, Leibniz was acquainted—both directly and indirectly—with Caramuel’s work and (...) Leibniz had a natural tendency to plagiarize scientific works. (shrink)

This volume is devoted to Lewis's work in metaphysics and epistemology. Topics covered include properties, ontology, possibility, truthmaking, probability, the mind-body problem, vision, belief, and knowledge. The purpose of this collection, and the volumes that precede and follow it, is to disseminate more widely the work of an eminent and influential contemporary philosopher. The volume will serve as a useful work of reference for teachers and students of philosophy.

Unpopular in its day, David Hume's sprawling, three-volume A Treatise of Human Nature (1739-40) has withstood the test of time and had enormous impact on subsequent philosophical thought. Hume's comprehensive effort to form an observationally grounded study of human nature employs John Locke's empiric principles to construct a theory of knowledge from which to evaluate metaphysical ideas. A key to modern studies of eighteenth-century Western philosophy, the Treatise considers numerous classic philosophical issues, including causation, existence, freedom and necessity, and (...) morality. Unabridged republication of the edition originally published by Oxford at the Clarendon Press, London, 1888. Index. Appendix. (shrink)

Religion, science, and naturalism -- Perception and religious experience -- Panexperientialism, freedom, and the mind-body relation -- Naturalistic, dipolar theism -- Natural theology based on naturalistic theism -- Evolution, evil, and eschatology -- The two ultimates and the religions -- Religion, morality, and civilization -- Religious language and truth -- Religious knowledge and common sense.

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

Conceptual engineering is the design, implementation, and evaluation of concepts. Conceptual engineering includes or should include de novo conceptual engineering (designing a new concept) as well as conceptual re-engineering (fixing an old concept). It should also include heteronymous (different-word) as well as homonymous (same-word) conceptual engineering. I discuss the importance and the difficulty of these sorts of conceptual engineering in philosophy and elsewhere.

"My work has had nothing to do with gay liberation," Michel Foucault reportedly told an admirer in 1975. And indeed there is scarcely more than a passing mention of homosexuality in Foucault's scholarly writings. So why has Foucault, who died of AIDS in 1984, become a powerful source of both personal and political inspiration to an entire generation of gay activists? And why have his political philosophy and his personal life recently come under such withering, normalizing scrutiny by commentators as (...) diverse as Camille Paglia, Richard Mohr, Bruce Bawer, Roger Kimball, and biographer James Miller? David M. Halperin's Saint Foucault is an uncompromising and impassioned defense of the late French philosopher and historian as a galvanizing thinker whose career as a theorist and activist will continue to serve as a model for other gay intellectuals, activists, and scholars. A close reading of both Foucault and the increasing attacks on his life and work, it explains why straight liberals so often find in Foucault only counsels of despair on the subject of politics, whereas gay activists look to him not only for intellectual inspiration but also for a compelling example of political resistance. Halperin rescues Foucault from the endless nature-versus-nurture debate over the origins of homosexuality ("On this question I have absolutely nothing to say," Foucault himself once remarked) and argues that Foucault's decision to treat sexuality not as a biological or psychological drive but as an effect of discourse, as the product of modern systems of knowledge and power, represents a crucial political breakthrough for lesbians and gay men. Halperin explains how Foucault's radical vision of homosexuality as a strategic opportunity for self-transformation anticipated the new anti-assimilationist, anti-essentialist brand of sexual identity politics practiced by contemporary direct-action groups such as ACT UP. Halperin also offers the first synthetic account of Foucault's thinking about gay sex and the future of the lesbian and gay movement, as well as an up-to-the-minute summary of the most recent work in queer theory. "Where there is power, there is resistance," Michel Foucault wrote in The History of Sexuality, Volume I. Erudite, biting, and surprisingly moving, Saint Foucault represents Halperin's own resistance to what he views as the blatant and systematic misrepresentation of a crucial intellectual figure, a misrepresentation he sees as dramatic evidence of the continuing personal, professional, and scholarly vulnerability of all gay activists and intellectuals in the age of AIDS. (shrink)

Confronted with the apparent explanatory gap between physical processes and consciousness, there are many possible reactions. Some deny that any explanatory gap exists at all. Some hold that there is an explanatory gap for now, but that it will eventually be closed. Some hold that the explanatory gap corresponds to an ontological gap in nature.

*[[This paper appears in _Toward a Science of Consciousness II: The Second Tucson Discussions and Debates_ (S. Hameroff, A. Kaszniak, and A.Scott, eds), published with MIT Press in 1998. It is a transcript of my talk at the second Tucson conference in April 1996, lightly edited to include the contents of overheads and to exclude some diversions with a consciousness meter. A more in-depth argument for some of the claims in this paper can be found in Chapter 6 of my (...) book _The Conscious Mind_ (Chalmers, 1996). ]]. (shrink)

In this innovative study, Lea David critically investigates the relationship between human rights and memory, suggesting that, instead of understanding human rights in a normative fashion, human rights should be treated as an ideology. Conceptualizing human rights as an ideology gives us useful theoretical and methodological tools to recognize the real impact human rights has on the ground. David traces the rise of the global phenomenon that is the human rights memorialization agenda, termed 'Moral Remembrance', and explores what (...) happens once this agenda becomes implemented. Based on evidence from the Western Balkans and Israel/Palestine, she argues that the human rights memorialization agenda does not lead to a better appreciation of human rights but, contrary to what would be expected, it merely serves to strengthen national sentiments, divisions and animosities along ethnic lines, and leads to the new forms of societal inequalities that are closely connected to different forms of corruptions. (shrink)

Liberal thinkers of the eighteenth and nineteenth centuries were alert to the political costs and human cruelties involved in European colonialism, but they also thought that European expansion held out progressive possibilities. In Progress, Pluralism, and Politics David Williams examines the colonial and anti-colonial arguments of Adam Smith, Immanuel Kant, Jeremy Bentham, and L.T. Hobhouse. Williams locates their ambivalent attitude towards European conquest and colonial rule in a set of tensions between the impact of colonialism on European states, the (...) possibilities of progress in distant and diverse places, and the relationship between universalism and cultural pluralism. In so doing he reveals some of the central ambiguities that characterize the ways that liberal thought has dealt with the reality of an illiberal world. Of particular importance are appeals to various forms of universal history, attempts to mediate between the claims of identity and the reality of difference, and the different ways of thinking about the achievement of liberal goods in other places. Pointing to key elements in still ongoing debates within liberal states about how they should relate to illiberal places, Progress, Pluralism, and Politics enriches the discussion on political thought and the relationship between liberalism and colonialism. (shrink)

Thus, Meyers provides a valuable account, not only of current medical attitudes, but also of relevant case and statute law as it stands at present.

In Phenomenology and the Problem of History. David Carr examines the paradox involving Husserl's transcendental philosophy and his later historicist theory.

This Introduction introduces readers to the concepts of political philosophy: authority, democracy, freedom and its limits, justice, feminism, multiculturalism, and nationality. Accessibly written and assuming no previous knowledge of the subject, it encourages the reader to think clearly and critically about the leading political questions of our time. THe book first investigates how politcial philosophy tackles basic ethical questions such as 'how should we live together in society?' It furthermore looks at political authority, discusses the reasons society needs politics in (...) the first place, explores the limitations of politics, and asks if there are areas of life that shouldn't be governed by politics. Moreover, the book explores the connections between political authority and justice, a constant theme in political philosophy, and the ways in which social justice can be used to regulate rather than destroy a market economy. In his travels through this realm, Miller covers why nations ar the natural units of government and wonders if the rise of multiculturalism and transnational co-operation will change all this, and asks in the end if we will ever see the formation of a world government. (shrink)

Consciousness and Mind presents David Rosenthal's influential work on the nature of consciousness. Central to that work is Rosenthal's higher-order-thought theory of consciousness, according to which a sensation, thought, or other mental state is conscious if one has a higher-order thought that one is in that state. The first four essays develop various aspects of that theory. The next three essays present Rosenthal's homomorphism theory of mental qualities and qualitative consciousness, and show how that theory fits with and helps (...) sustain the HOT theory. A crucial feature of homomorphism theory is that it individuates and taxonomizes mental qualities independently of the way we're conscious of them, and indeed independently of our being conscious of them at all. So the theory accommodates the qualitative character not only of conscious sensations and perceptions, but also of those which fall outside our stream of consciousness. Rosenthal argues that, because this account of mental qualities makes no appeal to consciousness, it enables us to dispel such traditional quandaries as the alleged conceivability of undetectable quality inversion, and to disarm various apparent obstacles to explaining qualitative consciousness and understanding its nature. Six further essays build on the HOT theory to explain various important features of consciousness, among them the complex connections that hold in humans between consciousness and speech, the self-interpretative aspect of consciousness, and the compelling sense we have that consciousness is unified. Two of the essays, one an extended treatment of homomorphism theory, appear here for the first time. There is also a substantive introduction, which draws out the connections between the essays and highlights their implications. (shrink)

In this classic work David Bohm, writing clearly and without technical jargon, develops a theory of quantum physics which treats the totality of existence as an unbroken whole.

Recent objections to epistemic permissivism have a metaepistemic flavor. Impermissivists argue that their view best accounts for connections between rationality, planning and deference. Impermissivism is also taken to best explain the value of rational belief and normative assessment. These objections pose a series of metaepistemic explanatory challenges for permissivism. In this paper, I illustrate how permissivists might meet their explanatory burdens by developing two permissivist metaepistemic views which fare well against the explanatory challenges.

How do we know that God exists? One of Britain's greatest 18th-century philosophers addresses the age-old question in this timeless dialogue. Equally captivating as a philosophical argument and as a work of literature, this classic is particularly relevant in terms of its criticism of the reasoning behind Intelligent Design.