The declared goal of this paper is to fill this gap: “... cognitive systems research needs questions or challenges that define progress. The challenges are not (yet more) predictions of the future, but a guideline to what are the aims and what would constitute progress.” – the quotation being from the project description of EUCogII, the project for the European Network for Cognitive Systems within which this formulation of the ‘challenges’ was originally developed (http://www.eucognition.org). So, we stick out our neck (...) and formulate the challenges for artificial cognitive systems. These challenges are articulated in terms of a definition of what a cognitive system is: a system that learns from experience and uses its acquired knowledge (both declarative and practical) in a flexible manner to achieve its own goals. (shrink)

Russell famously argued that causation should be dispensed with. He gave two explicit arguments for this conclusion, both of which can be defused if we loosen the ties between causation and determinism. I show that we can define a concept of causation which meets Russell’s conditions but does not reduce to triviality. Unfortunately, a further serious problem is implicit beneath the details of Russell’s arguments, which I call the causal exclusion problem. Meeting this problem involves deploying a minimalist pragmatic account (...) of the nature and function of modal language. Russell’s scruples about causation can be accommodated, even as we partially legitimise the pervasive causal explanations in folk and scientific practice. (shrink)

Like many 19th c. thinkers, Kierkegaard embraces a cognitivist view of art. He thinks works of art matter because they can teach us in important ways. This chapter defends two striking features of Kierkegaard’s version of this theory. First, works of art do not teach “directly” by telling us truths and offering us evidence. Instead, they educate us “indirect-ly” by helping us make our own discoveries. Second, the fact that art does not teach in a straightforward manner is no defect. (...) On the contrary, it is precisely because art teaches indirectly that it teaches better than philosophy and science do. (shrink)

A ‘might’ counterfactual is a sentence of the form ‘If it had been the case that A, it might have been the case that C’. Recently, John Hawthorne has argued that the truth of many ‘might’ counterfactuals precludes the truth of most ‘would’ counterfactuals. I examine the semantics of ‘might’ counterfactuals, with one eye towards defusing this argument, but mostly with the aim of understanding this interesting class of sentences better.

The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)

Invited papers from PT-AI 2011. - Vincent C. Müller: Introduction: Theory and Philosophy of Artificial Intelligence - Nick Bostrom: The Superintelligent Will: Motivation and Instrumental Rationality in Advanced Artificial Agents - Hubert L. Dreyfus: A History of First Step Fallacies - Antoni Gomila, David Travieso and Lorena Lobo: Wherein is Human Cognition Systematic - J. Kevin O'Regan: How to Build a Robot that Is Conscious and Feels - Oron Shagrir: Computation, Implementation, Cognition.

The central focus of this article is to provide a new “Love Argument” for the necessary truth of the Latin “model” of the doctrine of the Trinity—termed “Latin Trinitarianism”—from an a priori standpoint. This new argument, called the Agápēic Argument, will be formulated in light of the metaphysical notions of a “trope,” introduced by D. C. Williams, and “multiple location,” posited by Antony Eagle, and the ethical concept of agápē, proposed by Alexander Pruss. Doing this will provide a specific argument (...) that provides strong grounds for affirming the necessary truth of the Trinity, without, however, being subject to the primary objections that have been often raised against the existing versions of the argument. (shrink)

I sketch a new constraint on chance, which connects chance ascriptions closely with ascriptions of ability, and more specifically with 'CAN'-claims. This connection between chance and ability has some claim to be a platitude; moreover, it exposes the debate over deterministic chance to the extensive literature on (in)compatibilism about free will. The upshot is that a prima facie case for the tenability of deterministic chance can be made. But the main thrust of the paper is to draw attention to the (...) connection between the truth conditions of sentences involving 'CAN' and 'CHANCE', and argue for the context sensitivity of each term. Awareness of this context sensitivity has consequences for the evaluation of particular philosophical arguments for (in) compatibilism when they are presented in particular contexts. (shrink)

This paper provides an account of Kierkegaard’s central criticism of the Danish Hegelians. Contrary to recent scholarship, it is argued that this criticism has a substantive theoretical basis and is not merely personal or ad hominem in nature. In particular, Kierkegaard is seen as criticizing the Hegelians for endorsing an unacceptable form of intellectual elitism, one that gives them pride of place in the realm of religion by dint of their philosophical knowledge. A problem arises, however, because this criticism threatens (...) to apply to Kierkegaard himself. It is shown that Kierkegaard manages to escape this problem by virtue of the humorous aspect of his work. (shrink)

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...) are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

We discuss at some length evidence from the cognitive science suggesting that the representations of objects based on spatiotemporal information and featural information retrieved bottomup from a visual scene precede representations of objects that include conceptual information. We argue that a distinction can be drawn between representations with conceptual and nonconceptual content. The distinction is based on perceptual mechanisms that retrieve information in conceptually unmediated ways. The representational contents of the states induced by these mechanisms that are available to a (...) type of awareness called phenomenal awareness constitute the phenomenal content of experience. The phenomenal content of perception contains the existence of objects as separate things that persist in time and time, spatiotemporal information, and information regarding relative spatial relations, motion, surface properties, shape, size, orientation, color, and their functional properties. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

A previously unrecognised argument against deterministic chance is introduced. The argument rests on the twin ideas that determined outcomes are settled, while chancy outcomes are unsettled, thus making cases of determined but chancy outcomes impossible. Closer attention to tacit assumptions about settledness makes available some principled lines of resistance to the argument for compatibilists about chance and determinism. Yet the costs of maintaining compatibilism may be higher with respect to this argument than with respect to existing incompatibilist arguments.

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary —hence any object—the result of a fiat articulation reflecting our cognitive biases and our so-cial practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

Recently, many philosophers have been interested in using locative relations to clarify and pursue debates in the metaphysics of material objects. Most begin with the relation of exact location. But what if we begin instead with the relation known as weak location – the relation an object x bears to any region not completely bereft of x? I explore some of the consequences of pursuing this route for issues including coincidence, extended simples, and endurance, with an eye to evaluating the (...) prospects for taking weak location as our fundamental locative relation. (shrink)

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

Wall, G. Locke's attack on innate knowledge.--Harris, J. Leibniz and Locke on innate ideas.--Greenlee, D. Locke's idea of idea.--Aspelin, G. Idea and perception in Locke's essay.--Greenlee, D. Idea and object in the essay.--Mathews, H. E. Locke, Malebranche and the representative theory.--Alexander, P. Boyle and Locke on primary and secondary qualities.--Ayers, M. R. The ideas of power and substance in Locke's philosophy.--Allison, H. E. Locke's theory of personal identity.--Kretzmann, N. The main thesis of Locke's semantic theory.--Woozley, A. D. Some remarks on (...) Locke's account of knowledge.--Laudan, L. The nature and sources of Locke's views on hypotheses. (shrink)

Causation appears to present us with an interpretative difficulty. While arguably a redundant relation given fundamental physics, it is nevertheless apparently pragmatically indispensable. This chapter revisits certain arguments made previously by the author for these claims with the benefit of hindsight, starting with the role of causal models in the human sciences, and attempting to explain why it is not possible to straightforwardly ground such models in fundamental physics. This suggests that further constraints, going beyond physics, are needed to legitimate (...) such models. These supplementary constraints could be reified, but that would seem to conflict with the completeness of physics. A response is to emphasize the practical role of causal talk, and the author suggests that a fictionalist approach might be worth exploring. After clarifying fictionalism as a general approach, they carry out in some detail the project of clarifying what a fictionalist attitude to causation would involve. (shrink)

ABSTRACT: Virtue, the centerpiece of ancient ethics, has come under attack by virtue skeptics impressed by results of psychology experiments including Milgram's obedience studies. The virtue skeptic argues that experimental findings suggest that character structures are so fragile vis-å-vis situational factors as to be explanatorily superfluous: virtues and robust character traits are a myth, and should be replaced by situation-specific "narrow dispositions" (Gilbert Harman) or "local traits" (John Doris). This paper argues that the virtue skeptics' sweeping claims are ill-founded. First, (...) blending Aristotelian and contemporary insights about virtue, I reach a decision about a reasonable, non-straw definition of "virtue" and of "character trait." Next, I argue that explanations give by Lee Ross and Richard Nisbett for the Milgram findings covertly invoke character traits. Reflection reveals that more robust, cross-situationally consistent traits are needed for explanation of subject behavior, and that it is reasonable to suppose that such traits were in place. (shrink)

This paper defends an account of forgiveness that is sensitive to recent work on anger. Like others, we claim anger involves an appraisal, namely that someone has done something wrong. But, we add, anger has two further functions. First, anger communicates to the wrongdoer that her act has been appraised as wrong and demands she feel guilty. This function enables us to explain why apologies make it reasonable to forgo anger and forgive. Second, anger sanctions the wrongdoer for what she (...) has done. This function allows us to explore the moral status of forgiveness, including why forgiveness is typically elective. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

The special theory of relativity (STR) is widely supposed to be in tension with A-theories of time, those giving special significance to the present moment. A-theories are diverse in the features they regard as distinctive of the present, but all agree that there is an absolute fact of the matter about which events have the feature of presentness. Famously, the standard notion of simultaneity operationalised within the theory of relativity is not absolute. If A-theorists accept relativistic physics, they must either (...) refine their A-theory and sever joint presentness from simultaneity (‘conciliatory’ responses to the problem), or supplement standard relativity by adding further spacetime structure that grounds a relation of absolute simultaneity (‘supplementing’ responses). This chapter considers the prospects for such approaches, concluding that while there is no knock-down argument from relativity against the A-theory, attempts to marry the A-theory with STR are more trouble than they are worth. (shrink)

In this review, we present some ethical imperatives observed in this pandemic from a data ethics perspective. Our exposition connects recurrent ethical problems in the discipline, such as, privacy, surveillance, transparency, accountability, and trust, to broader societal concerns about equality, discrimination, and justice. We acknowledge data ethics role as significant to develop technological, inclusive, and pluralist societies. - - - Resumen: En esta revisión, exponemos algunos de los imperativos éticos observados desde la ética de datos en esta pandemia. Nuestra exposición (...) busca conectar problemas éticos típicos dentro de esta disciplina, a saber, privacidad, vigilancia, transparencia, responsabilidad y confianza, con preocupaciones a nivel social relacionadas con la igualdad, discrimi nación y justicia. Consideramos que la ética de datos tiene un rol significativo para desarrollar sociedades tecnificadas, inclusivas y pluralistas. (shrink)

Proponents of human reproductive cloning do not dispute that cloning may lead to violations of clones' right to self-determination, or that these violations could cause psychological harms. But they proceed with their endorsement of human reproductive cloning by dismissing these psychological harms, mainly in two ways. The first tactic is to point out that to commit the genetic fallacy is indeed a mistake; the second is to invoke Parfit's non-identity problem. The argument of this paper is that neither approach succeeds (...) in removing our moral responsibility to consider and to prevent psychological harms to cloned individuals. In fact, the same commitment to personal liberty that generates the right to reproduce by means of cloning also creates the need to limit that right appropriately. Discussion of human reproductive cloning ought to involve a careful and balanced consideration of both the relevant aspects of personal liberty – the parents' right to reproductive freedom and the cloned child's right to self-determination. (shrink)

There have been some narratives in Hadith literature that the companions of the Prophet Muhammad reviled (sabb) each other. In order to understand the expression of sabb correctly, the reasons of what led companions to curse need to be investigated. In this study, firstly concepts such as sabb, shatam and other related words will be examined and then the reasons for the expressions of sabb among companions and the factors which affected this will be analyzed.

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

Moti Mizrahi argues that Gettier cases are unsuccessful counterexamples to the traditional analysis of knowledge (TAK) because such cases inadequately reveal epistemic failures of justified true belief (JTB); and because Gettier cases merely demonstrate semantic inadequacy, the apparent epistemic force of Gettier cases is misleading. Although Mizrahi claims to have deflated the epistemic force of Gettier cases, I will argue that the presence of semantic deficiency in Gettier cases neither requires nor indicates the denial of the epistemic force of those (...) cases. I will provide an extracted version of Mizrahi’s argument, which I believe to be most charitable to his motivation. Then I will offer a counterexample to a pivotal premise in Mizrahi’s argument, ultimately rendering the argument unsound. Finally, upon the examination of a plausible objection, I conclude that Gettier cases are epistemically sustained. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

A look at Mach's work on monocular stereoscopy with relation to Mach Bands and the sensation of space.

Many advocate practices of ‘local food’ or ‘locavorism’ as a partial solution to the injustices and unsustainability of contemporary food systems. I think that there is much to be said in favor of local food movements, but these virtues are insufficient to immunize locavorism from criticism. In particular, three duties of international ethics—beneficence, repair and fairness—may provide reasons for constraining the developed world’s permissible pursuit of local food. A complete account of why (and how) the fulfillment of these duties constrains (...) locavorism will require extensive empirical evidence about the relationship between agricultural demand-led industrialization, international trade (rules), and local food practices. In this paper I can only gesture at some of this evidence and, for that reason, my policy prescriptions are merely provisional. Instead, the upshot of this paper is that advocates of locavorism ought to be attentive to the empirical-dependence of the moral permissibility of their projects. As local food ‘scales up’—and comes to be embraced as a goal of political communities—these concerns should receive even greater attention. (shrink)

According to a popular line of reasoning, diachronic vagueness creates a problem for the endurantist conception of persistence. Some authors have replied that this line of reasoning is inconclusive, since the endurantist can subscribe to a principle of Diachronic Unrestricted Composition (DUC) that is perfectly parallel to the principle required by the perdurantist’s semantic account. I object that the endurantist should better avoid DUC. And I argue that even DUC, if accepted, would fail to provide the endurantist with the necessary (...) resources for explaining diachronic vagueness in familiar semantic terms. (shrink)