The study of some real reasonings (observed in the Humanities) reveals the very heterogeneous nature of the arguments used in the building of scientific knowledge and the complexity of their overall architecture. The building of a formal theory of the trace of these mental processes on the classical grounds of logic seems quite impossible. Instead, we propose a flexible methodology based on some local formal models, integrated in a global strategy. This strategy allows an empirical, but systematic, description of (...) the process of reasoning as a whole.The local models can be very different, from plausible inference to conditional transitivity. Their integration is based on some argumentative markers or structures (topoï). We propose a procedural semantics for some of them.This paper is based on the AVEROES Project, a study of the sea-borne trade in the Occidental Mediterranean Sea during the Roman Empire. (shrink)

There are at least two reasons for the wide spread of CAI: 1. that the student is able to control his own process of learning due to immediate evaluation of his work and progress and 2. that evaluation is homogeneous, i.e. independent of subjective fac- tors, which compensates for possible lack of depth. Also, the psychology of man is such that he is less ashamed to be reprimanded for his errors by a machine than by another human being. It is (...) a specic feature of computer aided instruction of logic, particulary the art of proving, that such a system cannot be made other than open. Fortunately, in the case of logic its language makes such a creation possible. An open system is a system that permits arbitrary proof of theorems as long as the former conform to the requirement of a given formal language. The discussed system, Mizar-MSE, evolved, roughly speaking, the above line of thought. It is a natural deduction system practically applied to student instruction. Here I would like to present some of more specic features. (shrink)

Sometimes in the course of image-making, images are asked to represent unusual things. Around 1960, scientists and engineers working on the Computer-Aided Design Project at MIT began imagining that computers could be “active partners” to human designers. They began talking about a future of “human-computer symbiosis.” And they created a new type of image—the screenshot—that represented this new possibility. This paper describes early CAD research as a site for the emergence of the ideal of the interactive (...) class='Hi'>computer and how this ideal was described and distributed through screenshots.Though we now routinely associate computers with interactivity, interactivity was beyond the average user’s experience in 1960.... (shrink)

Part I of this paper outlined the three standard approaches to the teaching of critical thinking: the normative (or philosophical), cognitive psychology, and educational taxonomy approaches. The paper contrasted these with the visualisation approach; in particular, computer-aided argument mapping (CAAM), and presented a detailed account of the CAAM methodology and a theoretical justification for its use. This part develops further support for CAAM. A case is made that CAAM improves critical thinking because it minimises the cognitive burden of (...) prose and the demands that arguments in prose typically place on memory. CAAM also has greater usability, complements the imperfect human cognitive system, and adopts a logic of semi-formality which is both natural and intuitive. The paper claims that CAAM is an important advance given that traditional stand-alone critical thinking courses do not teach critical thinking as well as they as they are assumed to do. It is also important given that tertiary education fails to deliver improvements in critical thinking gains for too many students. The paper outlines results from a number of empirical studies that demonstrate that CAAM yields robust gains in critical thinking as measured by independent tests. Students themselves also believe CAAM to be beneficial as noted in coded responses to surveys. I conclude the paper by comparing the traditional approaches to the teaching of critical thinking to the visualisation approach. I argue that CAAM should taken seriously in the context of contemporary educational practices. (shrink)

Profound changes in world markets are resulting in conflict between traditional structures of production and new market requirements. The right answers to this challenge are heavily disputed. One option is to replace human work still further by artificially intelligent technology without changing basic structures of production. In contrast to this strategy, alternative production concepts seek to combine the unique human capabilities of perception, evaluation and decision making in unstructured situations with appropriately designed computer systems. Empirical evidence from the use (...) of NC technology indicates that sensual experience and practical knowledge are necessary ingredients rather than disappearing residuals of efficient production. By far their tacit dimension does not allow complete transformation into objectified, scientific knowledge. In the field of metal cutting it is the skilled workers themselves who constitute the primary source of productivity. In order to overcome their traditionally problematic and uncomfortable working situation, shop-floor programming methods have been developed that are adapted to their concrete and graphic mode of thinking and acting. These allow workers to make their own efficient NC programs, thus maintaining their practical competence. This paper illustrates a necessary new perspective in system design: away from developing computer programs for imitating and replacing human expertise and towards designing computers as a useful tool for human experts. (shrink)

The aim of this study was to test whether an online video game can be used to investigate planning ability and whether fluid intelligence, objective numeracy, and subjective numeracy are predictive of game performance. Our results demonstrate that fluid intelligence is particularly important, which is in line with previous non-game-based studies that show a relationship between classical planning tests and fluid intelligence. Video games have been previously used for research into cognitive processes and taking them online facilitates data collection on (...) a larger scale. Online video games also afford data collection without the expense and stress of a laboratory environment. For these reasons, using online video games to investigate human cognition is a promising alternative to the classic cognitive paradigms used in laboratories. (shrink)

The acceptance or rejection of computer aids to clinical reasoning is determined not only by the preferences and prejudices of potential users, but also by whether the output generated by the computer aid represents sound clinical judgment. This paper deals with the issue of the appropriate criteria for evaluating the clinical ‘reasoning’ of computer aids. Evaluation of a computer aid should include an assessment of the accuracy or appropriateness of its conclusions and an assessment (...) of the scope of its considerations. In order to use a conclusion generated by a computer aid as a basis for clinical action, information must be available on the alternative conclusions that might have been drawn, the degree of confidence in each conclusion, and the consequences that may result from acting upon the wrong conclusion. If this information is not generated as part of the output of a computer aid, it may be obtained through the use of its explanation and display capabilities, if the aid has such capabilities. Explanation and display capabilities permit the examination of the operations of the computer aid. Examination of a computer's operations is also the most feasible means to evaluate the soundness of its ‘reasoning’. (shrink)

Seventeen television journalists from Indianapolis and Terre Haute responded to a computer simulation of a situation involving privacy of an AIDS testing site. Seven different forms of reasoning were used to deal with elements of the situation. It was found, using a 3D scale for analysis, that consequentialist forms of reasoning were dominant for respondents in this sample. Noncosequentialist thinking was also demonstrated and the nature of ethical reasoning was highly individualized.

"Ever Since This World Began" from Love Dog (Penny-Ante Editions, 2013) by Masha Tupitsyn continent. The audio-essay you've recorded yourself reading for continent. , “Ever Since the World Began,” is a compelling entrance into your new multi-media book, Love Dog (Success and Failure) , because it speaks to the very form of the book itself: vacillating and finding the long way around the question of love by using different genres and media. In your discussion of the face, one of the (...) themes of Love Dog , I think there is something to be said about the surfaces media create and how you constantly manipulate them in your work. This seems important for thinking also about your book LACONIA: 1,200 Tweets on Film ; a book on film written in tweets, interposing already three sets of expectations and pushing the boundaries of each medium's faciality, it's surface tension. In Love Dog , is there another kind of facial interaction? Perhaps the discursive faces of approaching love as topic and love as method? If so, how did/do these intersect for you, do/did they drive the creation of this book? MASHA TUPITSYN With LACONIA and Love Dog , I wanted to pay homage to the work modernism has done on subjective time and chronological time by carrying that experiment over into the digital economy. Because LACONIA is a time-based work of cultural criticism that employs the aphorism to look at 21 st century American culture, it is also an archival work of cultural mourning and memory. And in Love Dog , which is also a work about mourning as it relates to love, I wanted to think with all my senses, and to reflect that in the writing itself by using a multi-media form. LACONIA tackled the sound bite and the promotional image--the everyday language of consumer culture--which often wants to communicate ideological agendas through the repetition of a single image or reductive phrase. I had always been interested in the approaches of artists like Barbara Kruger and Jenny Holzer and essayistic, typographical filmmakers, like Chris Marker and Godard. In both cases, I felt it was important to try to compose a book in which deep—critical—thinking happens in so-called immediate, informal, and disposable contexts. That is, in places where you are either not supposed to be serious or are not required to take things seriously. To me the most intervention is needed in every day instances of culture and representation. In order to do that, I had to utilize and interrogate the very structures I was critiquing. In other words, the writing had to materialize in that live, digital, public space. It couldn’t simply happen at home on a piece of paper or in a word document on my computer that no one could see until it was finished. It had to unfold in real time, amidst everything else. And it had to literally be surrounded by the cultural landscape I wanted to assess. In both LACONIA and Love Dog , I wanted to know how and if we can get away from what we cannot get away from? From which there is no respite. Given this, I don’t think hypertexts can really be called hypertexts anymore. Hypertexts are simply the world today. This is not only the way we read the world now. It is the way the world reads. Likewise, interfaciality, as you put it, works on a number of levels for me, both on and off the page. There is my relation to epistemological and phenomenological surfaces—the screen, the body, the face, the voice, gender; the official story. Then there is the way this dovetails formally, and to which the digital adds yet another dimension. It’s also where sound comes into Love Dog (giving the book a sound; giving tonality to the book’s ideas and feelings). As Anne Carson pointed out in her essay “The Gender of Sound,” the two are connected, and of course so are love and gender. In “Ever Since This World Began,” I wanted to think about the phenomenology of the voice, which is why I visualize the sonic in the book and why in my writing about faces, I look at the tonal aspects (the things a face voices and a voice faces) of a face. This was standard to do when images and faces were “silent” in the silent era. Those images/faces were extraordinarily audible. The greatest screen face, to me, is still Falconetti’s in Dreyer’s The Passion of Joan of Arc . We can hear her face—even though there is no actual sound on screen of her speaking. The internet is a similarly “silent” space where actual voices are lacking. So intertextuality goes with interfaciality. I’ve also talked a lot about how categorization worked when it came to the reception of my first book, Beauty Talk & Monsters . How despite the fact that Beauty Talk is a text that crisscrosses form and content in a variety of ways, not pinpointing its exact genre—choosing one genre over another—only made things worse. Fiction was the category people were most adverse to me using, even though of course there is a lot of fiction in the book. Part of how fiction works in Beauty Talk is in the reader not knowing exactly where the fiction resides. In Godard’s 1967 film, Weekend , for example, everything matters. Everything is political, whether it’s real or imaginary, film or reality. In Weekend , life is not a game and neither is the game a game. The game is really life. Either everything is important or nothing is. But many people want clear answers and demarcations so that they can decide what is important and what is not important. My use of the “I,” subjective criticism, made everything “real” in Beauty Talk . But fiction is in the construction. It is in the blending. This is why I perforate the movie screen and connect the onscreen and the offscreen; the official story and the backstory. Although I don’t think there is a difference between onscreen and offscreen anymore. Nor is there a dialectic. It’s all screen all the time now. Non-fiction, on the other hand, was more tolerated as a moniker. Unlike Love Dog , Beauty Talk wasn’t explicitly or tangibly (what is tangible is a question in all these books) working with digital forms or within this digital economy, so some people resisted the book’s hypertextuality or intertextuality because they couldn’t see its other forms, if that makes sense. It was a problem of invisibility; of how to make something appear (this is where Nietzsche, big presence in Love Dog , comes in—the nature of appearances). Something people don’t necessarily want to see. Some readers couldn’t see the way forms were interfacing in that book. On the surface, Beauty Talk was simply a text about media culture—the domination of entertainment as a mode of being and knowing—and most readers could only see that one side of the book. But as Godard puts it in Wim Wenders’ documentary about the future of cinema, Room 666 , “Films are made, images are made, when there’s no one looking. That’s what the invisible is, that which we don’t see. That’s what the incredible is, that which we don’t see. And cinema shows you that which we don’t see, the incredible.” We are living in the aftermath of narrative and temporal collapse, which means we don’t read or feel in the same way. I began to use digital forms in my writing because I don’t see us as traditional book people anymore. I would add that power also resides in the invisible, in the things we make invisible by making them visible. Or it did for a long time. The new face of power is quickly becoming so-called transparency, which is even more corrupt because even though we now live in a behind-the-scenes culture, and see and know how the mechanisms of power and corruption operate, we still don't change. The world still doesn't change. Finally, another important thing that Godard says in Room 666 that relates to Love Dog is: “I’m here in front of the camera, and yet in my body and in my head, I’m behind it. My world is the imaginary and the imaginary is a journey between forwards and backwards.” This idea of visible/invisible, foresight and hindsight , backwards and forwards is an important dialectic in relation to time and the idea of the destinal. This is why I wanted Love Dog to travel, literally, figuratively, and discursively. You have to be open to not knowing. To epistemological, geographical, chronological, and emotional aporias. In Love Dog my story is both visible and invisible to me. Sometimes I could see where I was going. Other times I was completely in the dark existentially. Truth procedure, which love is, as bell hooks and Badiou tell us, requires expedition and openness to possibility. Unless you want a story you already know, but that is not truth procedure. So I tried to create this backwards and forwards journey in the book—this sense of travel and motion, hope and doubt—by jumping between forms, media, time; traveling to different places, texts, and emotional registers. The book’s “Time-Jump series,” which mostly takes the form of music—songs—but also a series of “green” videos that I shot, is the most obvious tribute to this idea of subjective and chronological time. continent. Your work aligns with writers that play with the form of their language, or have assumed the role of performance artist at some point: Kathy Acker, Chris Kraus, Avital Ronell, and Anne Carson to name a few representing varied approaches that show up in Love Dog . At the risk of ossifying the work, or missing the point—as these experimental modes of writing stack-up in piles of published works, do they approach a genre? MASHA As I noted in my book Life As We Show It , in Chelsea Girls the poet Eileen Myles points out, “You can’t get money without a category.” More importantly, you can’t get a category—or respect, rank—without a clear genre. This makes genre and gender an obvious pair. The two words are even linked etymologically and both genre and gender concern taxonomies of legitimacy—of sorting through what and who is valuable. So the words share common prejudices. The things one does not want to read is often synonymous with who one doesn't want to read about. Therefore a break-up of or with genre is maybe the genre or anti-genre that could be said to link these writers. Avital Ronell breaks up with philosophical tradition and modes of inquiry. Like Nietzsche, she revaluates methods of evaluation, testing out things you are not supposed to use philosophy to test (and, by the same token, testing philosophy in ways it’s not supposed to be tested), like drugs and stupidity—where philosophy fails and we fail philosophy. And Chris Kraus does something similar in her experimental fiction, using different forms to put female subjectivity “to the test,” so to speak. All these female writers and thinkers have tried to destabilize the systems that have been set up in (and against) writing. Thus missing the mark with genre, even intentionally, means that we have missed the point in some sense as writers and thinkers. And that to me is a good thing, however difficult. We’ve started at the wrong point and gone somewhere else instead. We’ve acknowledged that writing and thinking are also about failure, and that failure is always embedded in the act of writing and in our reasons for writing. So that missing the point is also the point. Derrida insisted: “We must invent a name for those ‘critical’ inventions which belong to literature while deforming its limits.” But how can you give something that resists and deforms, a name? Wouldn’t the name also be deformed? Isn't this why the aforementioned writers get hyphenated descriptors like ficto-criticism? Do we need a proper name to be able to read something carefully? I don’t think so. I don’t need it as a reader. I’ve always taken a work on its own terms. But for most people, if you don’t have an address, people don’t know how to find you. A lot of time, they won’t even know how to look. And in some cases, they’ll think you’re not even worth finding. You are not on the map because you have to literally make the map in order to exist. In her essay, “The Gender of Sound” Carson asks, “Why is female sound bad to hear?” I think for the same reason something uncategorizable (pedagogically, creatively, racially, and sexually)—Other—is hard to read. *For an audio recording of Florida , read by Masha Tupitsyn click here . continent. : We're also curious to hear know how you see the significance of 'performance' (and why the label sticks to the shoes of these authors like toilet paper) in describing this kind of writing work? MASHA I think I responded to the parenthetical portion of this question in my previous answer. As far as how performance relates to Love Dog , in Acker’s Don Quixote , which is another big presence in the book, she writes, “there is no other reality than anthropomorphism.” In Don Quixote , the dog is human and the human is dog. Which brings us to the title of Love Dog and the totemic function of the dog in the book: giving human things animal characteristics and animal things human characteristics. Rather than investing all our human love ideals into dogs, which we do constantly as a culture of dog lovers, I wanted to put the dog into love. It is the difference between the consumption of love as a patriarchal institution or status position and the essence of a type of radical and liberatory relation that would benefit humans in their bonds with other humans. So the dog in Love Dog is not simply the book’s cover or performative affect, so to speak. Love has always needed the dog, which is why the dog is the very embodiment of belief in love . Recall Argos The Great Dog and Odysseus. Argos is the only one who remembers and recognizes the ragged and old Odysseus even after his 20-year absence. So love is the high ideal and the dog, both common and dependable, is the bridge between the sacred and the profane. The dog is the house of love. And because Love Dog is a digital project, it seemed impossible to think about the post-human, technology, the virtual, or difference (which Badiou says is essential to love in In Praise of Love ) without thinking about animal-being and being-animal. Instead of simply “performing” these ideas and characteristics as literary affects, I’m interested in being-becoming. Which means the book’s tropes, leitmotifs, series, and even its titles are in service of that truth procedure. In other words, I actually want to live this way, not just write this way. And, more importantly, I want to live this way not just think this way. So Love Dog became both my totem animal and my autobiographical animal. This made the book organic, anthropomorphic—beyond literary. See the trailer to Masha Tupitsyn's new book available now from Penny Ante Editions. (shrink)

Commonsense reasoning is one of the main open problems in the field of Artificial Intelligence (AI) while, on the other hand, seems to be a very intuitive and default reasoning mode in humans and other animals. In this talk, we discuss the different paradigms that have been developed in AI and Computational Cognitive Science to deal with this problem (ranging from logic-based methods, to diagrammatic-based ones). In particular, we discuss - via two different case studies concerning commonsense categorization (...) and knowledge invention tasks - how cognitively inspired heuristics can help (both in terms of efficiency and efficacy) in the realization of intelligent artificial systems able to reason in a human-like fashion, with results comparable to human-level performances. (shrink)

Macroergonomic compatibility refers to the extent to which macroergonomic factors and elements interact positively with humans. It is one of the most complex constructs to measure in work systems and in ergonomics. The goal of this paper is to determine the levels of MC in a manufacturing system. As methods, we use the macroergonomic compatibility index and the Macroergonomic Compatibility Questionnaire. The MCQ was administered in its three versions to collect data about the macroergonomic practices implemented in the manufacturing company. (...) Regarding results, all the macroergonomic factors and most of the macroergonomic elements showed a low level of MC; that is, MCI < 0.7. Only macroergonomic elements Education, Knowledge, and Skills reached a medium level; namely, MCI = 0.709. The factor with the highest level of MC was the Person factor. Similarly, the whole manufacturing system showed a low level of MC. In conclusion, the studied manufacturing company requires urgent macroergonomic interventions. Also, we found that the MCI can effectively measure the level of MC of MFEs and can guide the implementation of macroergonomic practices and explain the MC construct. (shrink)

In this paper, I will focus on two sections of otherwise extensively studied Humean texts that have received little or no attention in the scholarly literature. A substantial part of Part 12 of the Dialogues Concerning Natural Religion and Section XI of An Enquiry Concerning Human Understanding—also written in dialogue form—are concerned with similar doctrines: that the prospect of a future state, or afterlife, acts as the motivating influence on our earthly moral behaviour.

How did life come into existence on Earth? Although many scientific theories and hypotheses have been drawn, we have not yet been able to provide a detailed answer to this fundamental question. What if intelligent computers would someday be in a condition to postulate their own evolution theory which would explain how they came into the world, how would this theory look like? And how would it stand in comparison to the humans’ theory? Let us suppose that a thousand years (...) from now, intelligent and self-aware computers who, for any reason whatsoever, had lost all contacts with humans, and had continued to self-develop and improve by themselves, slowly began to wonder about how they came into the world? These intelligent computers may eventually develop a coherent theory of evolution, which would seemingly explain their existence. How would their theory stand in comparison to our theory of evolution? Would it be less comprehensive or viable? Taking into consideration the inorganic nature of computers, their relative simplicity compared to the human body, and the closeness of their components to the surrounding inorganic environment, it would not be a surprise if their theory would be more plausible than that of the humans. So, what would this signify and mean to our scientific theories in general? (shrink)

How can an individual’s Moral Compass address the question of whether or not to help a patient to shorten and end his or her life? Moral Compass has been defined as that set of values and experiences that guides each individual’s decisions and conduct in relation to others and to society. Can a robot be programmed to have a moral compass? If we were only considering rules of conduct, then perhaps yes, that would be possible. We could establish a series (...) of rules and sanctions that a computer assisted robot could rigorously apply for any violation. The state and many religions already do that, and many individuals are quite comfortable with rigorous, unbendable rules. Most rules, however, have exceptions, so perhaps the robots of the future can be designed to be flexible, that is, human. (shrink)

The 'no-supervenience' theorem (Reason, 2019; Reason and Shah, 2021) is a proof that no fully self-aware system can entirely supervene on any objectively observable system. I here present a simple, non-technical summary of the proof and demonstrate its implications for four separate theories of consciousness: the 'property dualism' theory of David Chalmers; the 'reflexive monism' of Max Velmans; Galen Strawson's 'realistic monism'; and the 'illusionism' of Keith Frankish. It is shown that all are ruled out in their current form by (...) the no-supervenience theorem, except for Chalmers' theory, which I show requires humans to behave irrationally. (shrink)

Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...) of mind needs to adopt an antimentalist stance to achieve this aim. Antimentalism not only definitively rejects the idea that mind is a substance separated from the body, it also denies that mental phenomena radically differ from physical phenomena by virtue of several unique features. Most problematically, mental phenomena have a conscious character (mental states are related to specific qualitative feelings) and are accessible only to the first-person (only the subject knows directly what s/he is experiencing inside his/her mind). Ryle takes a strong stance on antimentalism going so far as to maintain that an approach to mind which aims to meet the criteria of scientificity set by the natural sciences must avoid any reference to internal, unobservable mental states. In his view (which is considered a specifically philosophical version of psychological behaviorism and also addresses questions put forward in psychological research), mental states can be redescribed in terms of behavioral dispositions. In this chapter, we address the historical roots of the antimentalist view and analyze its relation to the later tradition of research on mind. We show that, compared to the antimentalist stance, functionalism and cognitivism take a step back when they maintain that direct reference to mental states is necessary since mental states cause and therefore explain human behavior. This step backwards is often interpreted as a return to mentalism. However, this is only partially true. Indeed, we suggest that these later traditions retain one important element of Ryle’s antimentalism, i.e. the idea that mental states must be uniquely identified using external and publicly observable criteria, while excluding any reference to introspection and those qualitative dimensions of a mental state, which are accessible only to the first-person. According to the perspective we put forward, this epistemological stance has continued to influence contemporary research on mind and current philosophical and psychological theories which both tend to exclude the subjective qualities of human experience from their accounts of how the mind works. The issue we raise here is whether this is legitimate or whether subjective qualities do play a role with respect to the way our mind works. The conclusion of this chapter anticipates the argument the book makes in in favor of this latter position, starting from a particular angle, i.e. the problem of how we categorize concepts related to our internal states. -/- Chapter 2 The Misleading Aspects of the Mind/Computer Analogy. The Grounding Problem and the Thorny Issue of Propriosensitive Information -/- Abstract. After the crisis of behaviorism, cognitivism and functionalism became the predominant models in the field of psychology and of philosophy, respectively. Their success is mainly due to the new key they use for interpreting mental processes: the mind/computer analogy. On the basis of this analogy, mental operations are seen as cognitive processes based on computations, i.e. on manipulations of abstract symbols which are in turn understood as informational unities (representations). This chapter identifies two main problems with this model. The first is how these symbols can relate to and communicate with perception and thus allow us to identify and classify what we perceive through the senses. Here we limit ourselves to presenting this issue in relation to the classical symbol grounding problem originally put forward by Harnad on the basis of Searle’s Chinese room argument. An attempt to address the problem raised here will be made in chap. 3. The second point we discuss in relation to the mind/computer analogy concerns the idea of information it fosters. Indeed, following this analogy, information is something available in the external world which can be captured by the senses and transmitted to the central system without being influenced or modified by the procedures of transmission. This perspective does not take into account that – unlike computers – in living beings information is acquired by means of the body. As Ulric Neisser has already pointed out, the body is itself an informational source that provides us with additional sensory experience that influences (modifies or complements) the information extracted from the external world by the senses. To develop this line of analysis and to determine exactly what information is provided by the body and how this might influence cognition, we examine Sherrington’s and Gibson’s positions. Moving on from their views, we qualify bodily information in terms of ‘proprioception’. We use ‘proprioception’ in a broad sense to describe any kind of experience we have of our internal states (including postural information as well as sensations related to the general state of the body and its parts). Following Damasio’s and Craig’s studies, we further elaborate this position, arguing that living beings are equipped with an internal propriosensitive monitoring system which maps all the changes that constantly occur in our body and that give us perceptual (‘proprioceptive’ or propriosensitive) information about what happens inside us. Moreover, relying on Goldie’s and Ratcliffe’s view, we show that emotional information can also be considered as a form of ‘proprioception’ which contributes to determining everything we perceive. This analysis leads us to the second main thesis of this book: ‘proprioception’ is a form of internal perception and it is an essential component of the sensory information we can access and use for all cognitive purposes. -/- Chapter 3 Semantic Competence from the Inside: Conceptual Architecture and Composition -/- Abstract. Concepts are essential constituents of thought: they are the instruments we use to categorize our experience, i.e. to classify things and group them together in homogeneous sets. Here we define concepts as the internal mental information (representations) that allows us, among other things, to master words in natural language. By analyzing the way in which individuals master word meanings we explore a number of hypotheses regarding the nature of concepts. Following Diego Marconi’s research, we differentiate between two kind of abilities that underpin lexical competence – so-called ‘referential’ and ‘inferential competence’ – and we suggest that, in order to support these abilities, concepts must also include two corresponding kinds of information, i.e. inferential and referential information. We point out that the most widely used and acknowledged theories of concepts do not make this distinction, instead broadly characterizing the information used for categorization in terms of propositionally described feature lists. However, we show that while feature lists can explain inferential competence, they do not account for referential competence. To address the issue of referential competence we examine Ray Jackendoff’s hypothesis that to account for the possibility of linking perceptual and conceptual information we need to assume the existence of a (visual) representation that encodes the geometric and topological properties of objects and bridges the gap between the percept and the concept. Furthermore, we analyze the extension of this work by Jesse Prinz who introduced the notion of a proxytype, a perceptual representation of a class of objects that incorporates structural and parametric information related to their appearance. However, as we point out, proxytypes can only explain the relationship between perception and concepts with respect to instances that can be perceived through the senses and that belong to the same class by virtue of their physical similarity. We suggest that this notion be extended to include larger conceptual classes. To accomplish this, we further develop Mark Johnson, George Lakoff and Jean Mandler’s idea of a schematic image and argue that conceptual representations include a perceptual schema. Perceptual schemata are non-linguistic, structured experiential gestalts (patterns or maps) that make use of information taken from all sensory modalities, including body perception. They accomplish a quasi-conceptual function: they allow us to recognize and to classify different instances. In this work, we hypothesize that perceptual schemata are an essential component of concepts, but not identical to them. Instead, we suggest that concepts include both perceptual and propositional information with perceptual schemata providing the ‘perceptual core concept’ that grounds related propositional information. -/- Chapter 4 In the Beginning There Were Categories. The Bodily Origin of Prelinguistic Categorical Organization: The Example of Folkbiological Taxonomies -/- Abstract. Studies of categorization in psychology and the cognitive sciences have made use of the notions of ‘category’ and ‘concept’ without precisely defining what is meant by either; in fact, often these terms have been used as synonyms, making it difficult to address specific issues related to conceptual development. This chapter begins by discussing the definitions of, as well as the distinctions between, ‘categories’ and ‘concepts’ in the classical philosophical tradition (Aristotle, Kant and Husserl). We introduce our view of categories with reference to Husserl. Categorization is defined as the way in which our experience is originally (pre-linguistically) organized in a passive and fully unconscious manner on the basis of universal structuring principles. Conceptualization is explained as a later process in which the earlier categorical macro-classes are further subdivided into more specific and detailed sets; this later process also relies on linguistic learning and exposure to culture. On the basis of Ray Jackendoff, Jean Mandler, George Lakoff and Mark Johnson’s work, we hypothesize that categorization is a two-step process that begins with the formation of homogeneous sets of entities partitioned into regions that describe the ontological boundaries of the objects that humans perceive (categories) and continues at a later stage with the development of more specific classifications (concepts). In this chapter, we mainly address three related issues: Why should we assume that there is categorical organization which precedes the development of a conceptual system? How do categories and concepts relate to each other? Shall we hypothesize that categories are innate or that they are formed before concepts on the basis of information and organizational structure available at a very early developmental stage? We show that categorical partitions are necessary for categorization and, following Mandler, that the general categories we form at an early age do not match our adult superordinate concepts. As for the third issue, we argue that there might be no need to assume that categories are innately present in the human mind, since their formation can be explained – at least in certain cases – by basic mechanisms that work on body (propriosensitive) information. This hypothesis will not be discussed in general, but in relation to a particularly relevant example of categorical partition, i.e. the folk-biological dichotomy between ANIMATE/INANIMATE. This is compared with other dichotomies that derive from it, but are not directly categorical such as LIVING/NON-LIVING and BIOLOGICAL/NON-BIOLOGICAL. -/- Chapter 5 Internal States: From Headache to Anger. Conceptualization and Semantic Mastery -/- Abstract. Here we ask if we can also apply the distinction between referential and inferential competence we introduced in Chapter 3 to words that do not refer to things that are perceived using the external senses, especially to words/concepts that denote bodily experiences (such as pain, thirst, hunger, etc.) or emotions. We introduce and discuss the hypothesis that – even though such words/concepts do not refer to intersubjectively identifiable entities in the external world – they do have a kind of referent that can be accessed via direct perception, more specifically ‘proprioception’, as we have defined it in terms of all propriosensitive information we can consciously access. In the first part of the chapter, we specifically consider terms denoting bodily experiences such as ‘pain’ or ‘hunger’ and argue that their referents are identified and classified from a first-personal point of view on the basis of four main characteristics: their specific intensity, their localization in the body, their co-occurrence with other signals and above all their specific qualitative sensations. Emotions are addressed in the second part of the chapter. We suggest that there is a continuity between bodily experiences and emotions. In particular, we argue for a perceptual theory of emotions in line with that proposed by James and Lange at the end of the 19th century and developed more recently by authors such as Damasio (see also chap. 2§5, §6). The hypothesis we put forward is that the referential information that supports the categorization of emotions and therefore also our mastery of terms referring to emotions consists in the perception (i.e. the ‘proprioception’) of those bodily states and changes in bodily states which constitute our emotional experience. In the context of this discussion we examine some objections to this line of reasoning that arise from a cognitivist perspective and following authors such as Oatley, Johnson-Laird and Frijda, we distinguish between basic emotions that can be identified and classified solely on the basis on how they feel and complex emotions whose identification and classification additionally depends on cognitive factors. To describe how emotions are identified and classified on the basis of how they feel, we rely on Marcel and Lambie’s distinction between an ‘emotion state’ and an ‘emotion experience’. Both notions indicate kinds of feelings that we consciously experience. However, they describe first-order and second order emotion awareness respectively. The emotion state is the feeling we have of the bodily states and changes that occur when we are experiencing an emotion, while the emotion experience is the fully developed and integrated emotion we both experience and are, with reflection, aware of experiencing. On the basis of this differentiation, we also show that the same characteristics that aid in the identification and classification of bodily experiences (specific qualitative sensations; somatic localization; specific intensity; presence/absence of specific concomitant sensations) can also be used for the identification and classification of emotions – at least basic emotions. In the last two sections of the chapter we present some clinical evidence on the semantic competence of people who suffer from Alexithymia and Autism Spectrum Disorder which supports the conclusions of our preceding analyses. -/- Chapter 6 The ‘Proprioceptive’ Component of Abstract Concepts -/- Abstract. In this chapter, we address the issue of whether the mastery of abstract words requires only inferential knowledge and thus, if the concepts that support the mastery of abstract words include only linguistic information. We start by differentiating the notions of ‘abstract’ and ‘general’ which are often erroneously confused. We then identify a strict definition of abstract, as contrasted with ‘concrete’, that applies to words or concepts whose referent cannot be experienced by the senses. We argue that abstract words/concepts would be better described as theoretical, because they are usually conceived as structured sets of inferential knowledge expressed linguistically; that is, as small theories. Pointing out parallels with Carnap’s analysis of this issue in philosophy of science, we hypothesize that words/concepts denoting non-observable entities are not all ‘equally theoretical’, because their link to sensory experience can be stronger or weaker. We revive the distinction, inspired by Quine, between theoretical and intertheoretical concepts/words. This distinction relies on the fact that the former – unlike the latter – retains a strong, although indirect, connection with perception. In Quine’s discussion, perception is understood uniquely in terms of observability, i.e. of external sensory experience. Here we argue, however, that bodily, ‘proprioceptive’ (i.e. propriosensitive) experience can also serve to referentially ground theoretical (i.e. abstract) concepts/words. We frame this issue using the example of the theoretical concept ‘freedom’ and Lakoff’s hypothesis that this concept is developed on the basis of bodily information. We contrast this with the example of ‘democracy’ which more closely resembles an intertheoretical concept/word. Furthermore, we show that one of the classical views put forward in psycholinguistic research to explain how abstract concepts are mentally represented – i.e. Paivio’s Dual Coding Theory – points in the same direction as our analysis. The same is true of Barsalou’s work suggesting that we use internal information to understand at least some abstract words. To sustain this position, we put forward two lines of evidence: the first comes from psycholinguistic studies while the second examines deficits of semantic competence exhibited by people with Autism Spectrum Disorder. On the basis of our analysis, we put forward a classification that distinguishes between different kinds of concreteness and different degrees of abstraction: concepts/words referring to body experiences and basic emotions are described as analogous to concrete concepts/words because they are grounded in perceptual (i.e. propriosensitive) experience, while abstract concepts/words are considered more or less abstract depending on whether they are intratheoretical (and rely entirely on inferential information) or theoretical (and are partially grounded in perceptual – or more often in propriosensitive perceptual – information). In the last section of the chapter we consider two scales that have been used in psycholinguistic research to measure the degree of concreteness vs. abstractness of words and we show that – used conjointly – they can provide a measure of the internal vs. external grounding of specific words. (shrink)

Censorship in the area of public health has become increasingly important in many parts of the world for a number of reasons. Groups with vested interest in public health policy are motivated to censor material. As governments, corporations, and organizations champion competing visions of public health issues, the more incentive there may be to censor. This is true in a number of circumstances: curtailing access to information regarding the health and welfare of soldiers in the Kuwait and Iraq wars, poor (...) health conditions in Aboriginal communities, downplaying epidemics to bolster economies, and so forth. This paper will look at the use of a computer worm (the benevolent health worm) to disseminate vital information in␣situations where public health is threatened by government censorship and where there is great risk for those who ‹speak out’. The discussion of the benevolent health worm is focused on the Peoples’ Republic of China (China) drawing on three public health crises: HIV/AIDS, SARS and Avian Influenza. Ethical issues are examined first in a general fashion and then in a specific manner which uses the duty-based moral philosophy of Confucianism and a Western human rights-based analysis. Technical, political and legal issues will also be examined to the extent that they better inform the ethical debate. (shrink)

Computational models can aid in the development of philosophical views concerning the structure and growth of scientific knowledge. In cognitive psychology, computational models have proved valuable for describing the structures and processes of thought and for testing these models by writing and running computer programs using the techniques of artificial intelligence. Similarly, in the philosophy of science models can be developed that shed light on the structure, discovery, and justification of scientific theories. This paper briefly describes a computational model (...) of problem solving and learning that has been used to simulate several kinds of scientific reasoning. (shrink)

Age of automation entails freedom from most of the common working roles. Signs are changes in employment, unemployment, professional structures, relevance of services, entertainment industry, working hours, and the nature of social relations. Warnings are suggested against voluntaristic interventions, neglect of social, historical relations. New approaches are required in the fields of lifelong education and in the education of socially disadvantaged people. The changes in evolutionary inherited motivations and life styles are critical challenges to mankind. Open society and lessons of (...) system control are recommended. (shrink)

Examples in the history of Automated Theorem Proving are given, in order to show that even a seemingly ‘mechanical’ activity, such as deductive inference drawing, involves special cultural features and tacit knowledge. Mechanisation of reasoning is thus regarded as a complex undertaking in ‘cultural pruning’ of human-oriented reasoning. Sociological counterparts of this passage from human- to machine-oriented reasoning are discussed, by focusing on problems of man-machine interaction in the area of computer-assisted proof processing.

Machine learning-based AI algorithms lack transparency. In this article, I offer an interpretation of AI’s explainability problem and highlight its ethical saliency. I try to make the case for the legal enforcement of a strong explainability requirement: human organizations which decide to automate decision-making should be legally obliged to demonstrate the capacity to explain and justify the algorithmic decisions that have an impact on the wellbeing, rights, and opportunities of those affected by the decisions. This legal duty can be derived (...) from the demands of Rawlsian public reason. In the second part of the paper, I try to show that the argument from the limitations of human cognition fails to get AI off the hook of public reason. Against a growing trend in AI ethics, my main argument is that the analogy between human minds and artificial neural networks fails because it suffers from an atomistic bias which makes it blind to the social and institutional dimension of human reasoning processes. I suggest that developing interpretive AI algorithms is not the only possible answer to the explainability problem; social and institutional answers are also available and in many cases more trustworthy than techno-scientific ones. (shrink)

In his classic article, Famine, Affluence, and Morality, pp. 229–243), Peter Singer claimed that affluent people in the developed world are morally obligated to transfer large amounts of resources to poor people in the developing world. For present purposes I will not call Singers argument into question. While people can reasonably disagree about exactly how demanding morality is with respect to duties to the desperate, there is little question in my mind that it is much more demanding than common sense (...) morality or our everyday behavior suggests. Even someone who disagrees with this might still find some interest in seeing what a demanding morality would imply for well-off residents of the rich countries of the world. I proceed in the following way. First, I survey humanitarian aid, development assistance, and intervention to protect human rights as ways of discharging duties to the desperate. I claim that we should be more cautious about such policies than is often thought. I go on to suggest two principles that should guide our actions, based on an appreciation of our roles, relationships, and the social and political context in which we find ourselves. (shrink)

Partial functions are ubiquitous in both mathematics and computer science. Therefore, it is imperative that the underlying logical formalism for a general-purpose mechanized mathematics system provide strong support for reasoning about partial functions. Unfortunately, the common logical formalisms — first-order logic, type theory, and set theory — are usually only adequate for reasoning about partial functionsin theory. However, the approach to partial functions traditionally employed by mathematicians is quite adequatein practice. This paper shows how the traditional approach (...) to partial functions can be formalized in a range of formalisms that includes first-order logic, simple type theory, and Von-Neumann—Bernays—Gödel set theory. It argues that these new formalisms allow one to directly reason about partial functions; are based on natural, well-understood, familiar principles; and can be effectively implemented in mechanized mathematics systems. (shrink)

Reason has very often been seen as the highest faculty of man and, therefore, a strong tendency to attempt to analyze man mainly in terms of the rational dimension exists. This tendency was strong in antiquity and was given renewed attention in the seventeenth century.

We don't yet have adequate theories of what the human mind is representing when it represents a social group. Worse still, many people think we do. This mistaken belief is a consequence of the state of play: Until now, researchers have relied on their own intuitions to link up the concept social group on the one hand and the results of particular studies or models on the other. While necessary, this reliance on intuition has been purchased at a considerable cost. (...) When looked at soberly, existing theories of social groups are either literal, but not remotely adequate, or simply metaphorical. Intuition is filling in the gaps of an explicit theory. This paper presents a computational theory of what, literally, a group representation is in the context of conflict: It is the assignment of agents to specific roles within a small number of triadic interaction types. This “mental definition” of a group paves the way for a computational theory of social groups – in that it provides a theory of what exactly the information-processing problem of representing and reasoning about a group is. For psychologists, this paper offers a different way to conceptualize and study groups, and suggests that a non-tautological definition of a social group is possible. For cognitive scientists, this paper provides a computational benchmark against which natural and artificial intelligences can be held. (shrink)

In this paper we summarize observations bridging the declared aspirations of pictorial semiotics and its real achievements. Pictorial semiotics is here understood as the general study of pictures as signs and it constituted a fundamental step beyond the art historical captivation with individual images. In the first part of our contribution we present a review of the most important methods that have been proposed as an answer to deal with several pictorial problems (multiple instances, segmentation, non-figurative meaning). In the second (...) part, we offer some positive and on-going implementations designed to remedy the shortcomings observed. What is suggested is the proof of concept that human researchers need the assistance of computing methodologies. However, computers can only do their job once an adequate phenomenology of human experience is fed into the process. (shrink)

This chapter contains sections titled: Reincarnation/Rebirth Karma Causality Problem of Evil Determinism, Freedom, and Moral Responsibility Karma and Release Transfer of Merit Recent Developments Works cited.

”Meaningful human control” is a term invented in the political and legal debate on autonomous weapons system, but it is nowadays also used in many other contexts. It is supposed to specify conditions under which an artificial system is under the right kind of control to avoid responsibility gaps: that is, situations in which no moral agent is responsible. Santoni de Sio and Van den Hoven have recently suggested a framework that can be used by system designers to operationalize this (...) kind of control. It is the purpose of this paper to facilitate further operationalization of ”meaningful human control”. -/- This paper consists of two parts. In the first part I resolve an ambiguity that plagues current operationalizations of MHC. One of the design conditions says that the system should track the reasons of the relevant agents. This condition is ambiguous between the kind of reasons involved. On one interpretation it says that a system should track motivating reasons, while it is concerned with normative reasons on the other. Current participants in the debate interpret the framework as being concerned with (something in the vicinity of) motivating reasons. I argue against this interpretation by showing that meaningful human control requires that a system tracks normative reasons. Moreover, I maintain that an operationalization of meaningful human control that fails to track the right kind of reasons is morally problematic.When this is properly understood, it can be shown that the framework of MHC is committed to the agent-relativity of reasons. More precisely, I argue in the second part of this paper that if the tracking condition of MHC plays an important role in responsibility attribution (as the proponents of the view maintain), then the framework is incompatible with first-order normative theories that hold that normative reasons are agent-neutral (such as many versions of consequentialism). In the final section I present three ways forward for the proponent of MHC as reason-responsiveness. (shrink)

The comparison made by Ada Lovelace in 1843 between the Analytical Engine and the Jacquard loom is one of the well-known analogies between looms and computation machines. Given the fact that weaving – and textile production in general – is one of the oldest cultural techniques in human history, the question arises whether this was the first time that such a parallel was drawn. As this paper will show, centuries before Lovelace’s analogy, such a comparison was made by Gottfried Wilhelm (...) Leibniz. During the 17th century, Leibniz compared his calculating machines with another textile machine, the stocking frame, a machine which mechanized knitting and which was invented in 1589. During the following centuries, this machine was considered as a technological wonder and as a creation of God, and, during the last decades of the 17th century, Leibniz emphasized the need to consider it and other textile machines mathematically. What, then, were the reasons for the parallel drawn between this machine and Leibniz’s automatic computation machines? And what were the consequences of this analogy concerning the artisanal knowledge embedded in manual textile practices? (shrink)

In this paper, I will focus on two sections of otherwise extensively studied Humean texts that have received little or no attention in the scholarly literature. A substantial part of Part 12 of the Dialogues Concerning Natural Religion and Section XI of An Enquiry Concerning Human Understanding—also written in dialogue form—are concerned with similar doctrines: that the prospect of a future state, or afterlife, acts as the motivating influence on our earthly moral behaviour.

We propose a critique of normativism, defined as the idea that human thinking reflects a normative system against which it should be measured and judged. We analyze the methodological problems associated with normativism, proposing that it invites the controversial “is-ought” inference, much contested in the philosophical literature. This problem is triggered when there are competing normative accounts (the arbitration problem), as empirical evidence can help arbitrate between descriptive theories, but not between normative systems. Drawing on linguistics as a model, we (...) propose that a clear distinction between normative systems and competence theories is essential, arguing that equating them invites an “is-ought” inference: to wit, supporting normative “ought” theories with empirical “is” evidence. We analyze in detail two research programmes with normativist features – Oaksford and Chater’s rational analysis and Stanovich and West’s individual differences approach – demonstrating how, in each case, equating norm and competence leads to an is-ought inference. Normativism triggers a host of research biases in the psychology of reasoning and decision making: focusing on untrained participants and novel problems, analyzing psychological processes in terms of their normative correlates, and neglecting philosophically significant paradigms when they do not supply clear standards for normative judgement. For example, in a dual-process framework, normativism can lead to a fallacious “ought-is” inference, in which normative responses are taken as diagnostic of analytic reasoning. We propose that little can be gained from normativism that cannot be achieved by descriptivist computational-level analysis, illustrating our position with Hypothetical Thinking Theory and the theory of the suppositional conditional. We conclude that descriptivism is a viable option, and that theories of higher mental processing would be better off freed from normative considerations. (shrink)

With their methodical attention to detail, their tirelessness, their immunity to boredom, and their very high speed, all coupled now with reasoning power and information, machines are beginning to produce knowledge, often faster and better — “smarter” — than the human who taught them. By promising to replace man, the computer is giving us a new definition of man, as an “information processor,” and of nature, as “information to be processed.” It is not that we cannot live without (...) computers, but that we will be different people because we live with them. (shrink)

We propose a critique ofnormativism, defined as the idea that human thinking reflects a normative system against which it should be measured and judged. We analyze the methodological problems associated with normativism, proposing that it invites the controversial “is-ought” inference, much contested in the philosophical literature. This problem is triggered when there are competing normative accounts (the arbitration problem), as empirical evidence can help arbitrate between descriptive theories, but not between normative systems. Drawing on linguistics as a model, we propose (...) that a clear distinction between normative systems and competence theories is essential, arguing that equating them invites an “is-ought” inference: to wit, supporting normative “ought” theories with empirical “is” evidence. We analyze in detail two research programmes with normativist features – Oaksford and Chater's rational analysis and Stanovich and West's individual differences approach – demonstrating how, in each case, equating norm and competence leads to an is-ought inference. Normativism triggers a host of research biases in the psychology of reasoning and decision making: focusing on untrained participants and novel problems, analyzing psychological processes in terms of their normative correlates, and neglecting philosophically significant paradigms when they do not supply clear standards for normative judgement. For example, in a dual-process framework, normativism can lead to a fallacious “ought-is” inference, in which normative responses are taken as diagnostic of analytic reasoning. We propose that little can be gained from normativism that cannot be achieved by descriptivist computational-level analysis, illustrating our position with Hypothetical Thinking Theory and the theory of the suppositional conditional. We conclude that descriptivism is a viable option, and that theories of higher mental processing would be better off freed from normative considerations. (shrink)

The new paradigm in the psychology of reasoning draws on Bayesian formal frameworks, and some advocates of the new paradigm think of these formal frameworks as providing a computational-level theory of rational human inference. I argue that Bayesian theories should not be seen as providing a computational-level theory of rational human inference, where by “Bayesian theories” I mean theories that claim that all rational credal states are probabilistically coherent and that rational adjustments of degrees of belief in the light (...) of new evidence must be in accordance with some sort of conditionalization. The problems with the view I am criticizing can best be seen when we look at chains of inferences, rather than single-step inferences. Chains of inferences have been neglected almost entirely within the new paradigm. (shrink)

This article is about ‘genogeographic’ maps produced by late-Soviet geneticists and published during post-Soviet time. It focuses on the visual and numerical techniques scientists used to project genetic data onto geographic space. Rather than discussing their representational character, I follow these visuals as ‘folded objects’, describing the layering and realigning of measurements and temporalities as well as the shifts in the practices and meanings of genetics. In the 1970s Soviet biological anthropologists transformed scattered data points by means of spatial statistics (...) into visually coherent maps for a ‘genogeographical atlas’, by interpolating data for the entire USSR territory. Computer-aided modelling rendered ‘populations’ as systemic entities and enacted specific cybernetic versions of population, evolution and difference. Tracing the history of their making helps one in understanding what these folded objects hold in store, in terms of data ranging from Russian imperial and colonial anthropology, through early Soviet traditions, to cold war technologies. Folded into those maps in intricate ways, they have co-shaped post-Soviet human genetics as an ever-active site for possible reinscriptions of difference. (shrink)

This book represents the first major attempt by any author to provide an integrated account of the evidence for bias in human reasoning across a wide range of disparate psychological literatures. The topics discussed involve both deductive and inductive reasoning as well as statistical judgement and inference. In addition, the author proposes a general theoretical approach to the explanations of bias and considers the practical implications for real world decision making. The theoretical stance of the book is based (...) on a distinction between preconscious heuristic processes which determine the mental representation of 'relevant' features of the problem content, and subsequent analytic reasoning processes which generate inferences and judgements. Phenomena discussed and interpreted within this framework include feature matching biases in propositional reasoning, confirmation bias, biasing and debiasing effects of knowledge on reasoning, and biases in statistical judgement normally attributed to 'availability' and 'representativeness' heuristics. In the final chapter, the practical consequences of bias for real life decision making are considered, together with various issues concerning the problem of 'debiasing'. The major approaches discussed are those involving education and training on the one hand, and the development of intelligent software and interactive decision aids on the other. (shrink)

In Logic, Watts address proper thinking under the four basic functions of the human mind: perception, judgment, reasoning, and disposition. In part one, Watts addresses human perception, the cultivation of ideas, and how we associate them with words. In part two, Watts treats human judgment and its ability to construct various kinds of propositions, while giving guidance for avoiding the formation of bad judgments. Part three covers our ability to reason, giving instruction on the use of syllogisms for constructing (...) a good argument. Part four discusses the mind's disposition as a method of arranging our thoughts for better understanding and memory. (shrink)

The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal (...) evidence from mathematics, physics, computer science, philosophy, linguistics, and biology, setting up their book around three central questions: What are the essential marks of human intelligence? What is it that researchers try to do when they attempt to achieve "artificial intelligence" (AI)? And why, after more than 50 years, are our most common interactions with AI, for example with our bank’s computers, still so unsatisfactory? Landgrebe and Smith show how a widespread fear about AI’s potential to bring about radical changes in the nature of human beings and in the human social order is founded on an error. There is still, as they demonstrate in a final chapter, a great deal that AI can achieve which will benefit humanity. But these benefits will be achieved without the aid of systems that are more powerful than humans, which are as impossible as AI systems that are intrinsically "evil" or able to "will" a takeover of human society. (shrink)

I begin with a representative example of a contemporary scientific activity, observations using the Hubble Space Telescope, and ask what approaches within the cognitive sciences seem most fruitful as aids in developing an overall account of this sort of scientific activity. After presenting the Hubble Space Telescope System and a recent result, I consider applying a standard computational paradigm to this system. I find difficulties in identifying an appropriate cognitive agent and in making a suitable place for the instrumentation that (...) constitutes such a large part of the whole system. I next consider applying the notion of distributed cognition as developed by Hutchins (1995), and then return to the question whether The Hubble System, understood as a distributed cognitive system, should be regarded as a computational system. I find a large computational component, but also an important part, the Hubble Telescope itself, that seems better characterized as a dynamic system than as a computational system. Moreover, the group of scientists interpreting the images produced by the system seem best thought of as a human/cultural system along the lines advocated by those developing a cognitive (Lakoff, 1987) or usage-based (Tomasello, 2003) approach to language acquisition and language use. I argue next that, while cognition may be theorized as distributed among both humans and instruments, there is no need to introduce into cognitive science a notion of distributed knowledge beyond simple collective knowledge. Even less is there any need to introduce notions of distributed mind or distributed consciousness. The result is that the agency involved in distributed cognitive systems remains simply human agency as ordinarily conceived. I conclude that distributed cognitive systems like The Hubble System are hybrid systems composed partly of dynamic physical systems, partly of computational systems, and partly of human cultural systems. (shrink)

This paper is concerned with scientific reasoning in the engineering sciences. Engineering sciences aim at explaining, predicting and describing physical phenomena occurring in technological devices. The focus of this paper is on mathematical description. These mathematical descriptions are important to computer-aided engineering or design programs (CAE and CAD). The first part of this paper explains why a traditional view, according to which scientific laws explain and predict phenomena and processes, is problematic. In the second part, the reasons (...) of these methodological difficulties are analyzed. Ludwig Prandtl’s method of integrating a theoretical and empirical approach is used as an example of good scientific practice. Based on this analysis, a distinction is made between different types of laws that play a role in constructing mathematical descriptions of phenomena. A central assumption in understanding research methodology is that, instead of scientific laws, knowledge of capacities and mechanisms are primary in the engineering sciences. Another important aspect in methodology of the engineering sciences is that in explaining a phenomenon or process spatial regions are distinguished in which distinct physical behaviour occur. The mechanisms in distinct spatial regions are represented in a so-called diagrammatic model. The construction of a mathematical description of the phenomenon or process is based on this diagrammatic model. (shrink)

Doctoral programs at U.S. universities play a critical role in the development of human resources both in the United States and abroad. This volume reports the results of an extensive study of U.S. research-doctorate programs in five broad fields: physical sciences and mathematics, engineering, social and behavioral sciences, biological sciences, and the humanities. Research-Doctorate Programs in the United States documents changes that have taken place in the size, structure, and quality of doctoral education since the widely used 1982 editions. (...) This update provides selected information on nearly 4,000 doctoral programs in 41 subdisciplines at 274 doctorate-granting institutions. This volume also reports the results of the National Survey of Graduate Faculty, which polled a sample of faculty for their views on the scholarly quality of program faculty and the effectiveness of doctoral programs in preparing research scholars/scientists. This much-anticipated update of such an essential reference will be useful to education administrators, university faculty, and students seeking authoritative information on doctoral programs. (shrink)

Acquired Immune Deficiency Syndrome (AIDS) is an emotive subject, particularly in southern Africa. Among those who have been directly affected by the disease, or who perceive themselves to be personally at risk, talking about AIDS inevitably arouses strong emotions - amongst them fear, distress, loss and anger. Conventionally, human geography research has avoided engagement with such emotions. Although the ideal of the detached observer has been roundly critiqued, the emphasis in methodological literature on 'doing no harm' has led even qualitative (...) researchers to avoid difficult emotional encounters. Nonetheless, research is inevitably shaped by emotions, not least those of the researchers themselves. In this paper, we examine the role of emotions in the research process through our experiences of researching the lives of young AIDS migrants in Malawi and Lesotho. We explore how the context of the research gave rise to the production of particular emotions, and how, in response, we shaped the research, presenting a research agenda focused more on migration than AIDS. This example reveals a tension between universalised ethics expressed through ethical research guidelines that demand informed consent, and ethics of care, sensitive to emotional context. It also demonstrates how dualistic distinctions between reason and emotion, justice and care, global and local are unhelpful in interpreting the ethics of research practice. (shrink)

Argument mapping is a way of diagramming the logical structure of an argument to explicitly and concisely represent reasoning. The use of argument mapping in critical thinking instruction has increased dramatically in recent decades. This paper overviews the innovation and provides a procedural approach for new teaches wanting to use argument mapping in the classroom. A brief history of argument mapping is provided at the end of this paper.

This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is the author of the next ones - those concerned with the 19th century and the modern inquiries into formalization, algebraization and mechanization of reasonings. Besides the authors there are other persons, as well as institutions, to whom the book owes its coming into being. The study which resulted in this volume was carried out in the Historical Section of (...) the research project _Logical Systems and Algorithms for Automatic Testing of Reasoning,_ 1986-1990, in which participated nine Polish universities; the project was coordinated by the Department of Logic, Methodology and Philosophy of Science of the Bia??l??ystok Branch of the University of Warsaw, and supported by the Ministry of Education 1987). The major part of the project was focussed on the software for computer-aided theorem proving called Mizar MSE ) due to Dr. Andrzej Trybulec. He and other colleagues deserve a grateful mention for a hands-on experience and theoretical stimulants owed to their collaboration. (shrink)

In many scientific fields, today’s practices of empirical enquiry rely heavily on the production of images that display the investigated phenomena. And while scientific images of phenomena have been important for a long time, what is striking now is that scientists have found ways to visualize such widely different types of phenomena. In the past twenty or thirty years, we have become accustomed to seeing images of galaxies, of cells, of the human brain but also of blood flow or of (...) turbulent fluids. This success in making images relies first on the set of imaging devices that have flourished in the twentieth century, instruments such as radio-telescopes, electronic microscopes, MRI and many more. Without these... (shrink)

Politics and Modernity provides a critical review of the key interface of contemporary political theory and social theory about the questions of modernity and postmodernity. Review essays offer a broad-ranging assessment of the issues at stake in current debates. Among the works reviewed are those of William Connolly, Anthony Giddens, J[um]urgen Habermas, Alasdair MacIntyre, Richard Rorty, Charles Taylor and Roy Bhaskar. As well as reviewing the contemporary literature, the contributors assess the historical roots of current problems in the works of (...) Nietzsche and Max Weber. (shrink)