This paper addresses the problem of ‘ignorance’ in philosophy and science, particularly with respect to the conceptualization, study and solution of environmental problems. We begin by distinguishing between ‘risk’, ‘uncertainty’ and ‘ignorance’. We then offer a categorization of ignorance, and use these categories to assess the role of science as a means of reducing ignorance. We note that to proceed with science, several 'acts of faith' are necessary. We conclude with a discussion of the importance of an attitude of openness (...) in science and philosophy, especially regarding environmental problems. Throughout, we illustrate our discussion of ignorance, and the problems involved in its reduction, by reference to environmental issues. (shrink)

What cognitive mechanisms do people use to represent other people's mental states? Do children who have difficulty processing other people's higher-level mental states such as beliefs also have difficulty processing higher-level non-mental representations such as meta-photographs? See the preprint here or find the final version in print or on the journal website.

Could groups ever be an understanding subject (an epistemic agent ascribed with understanding) or should we keep our focus exclusively on the individuals that make up the group? The way this paper will shape an answer to this question is by starting from a case we are most willing to accept as group understanding, then mark out the crucial differences with an unconvincing case, and, ultimately, explain why these differences matter. In order to concoct the cases, however, we need to (...) elucidate what it means to be attributed with understanding and what makes up an epistemic agent. I shall argue that it is abilities, above all, that guide our attributions of understanding. While it is true that understanding must go beyond single acts, this is not going beyond as in going behind them (to private occurrences which are impossible to discern and don’t themselves contribute anything of value), but beyond as in considering what people could and would do: their discernable and valuable abilities. To conceptualize whom the abilities belong to, I will specify what it means to be an epistemic agent. I shall argue that it is being a successful target of the epistemic stance. The epistemic stance (heavily inspired by Dennett’s intentional stance) forms an instrumental abstraction by attributing epistemic properties (i.e., beliefs, epistemic aims, problem-solving tactics) to an entity to explain or predict its behavior. Macro-systematicity (a higher-level pattern which a theory can exploit) is what makes the epistemic stance’s abstraction an explanatory powerful one (regardless of how that macro-systematicity is realized) and emergence (the lack of a straightforward mapping-relation between the micro and the macro) is what makes its power unique to a particular level of explanation. To end, I suggest two kinds of mapping-relations and walk through the shift from reducibility to emergence. (shrink)

In the paper some applications of Gödel's incompleteness theorems to discussions of problems of computer science are presented. In particular the problem of relations between the mind and machine (arguments by J.J.C. Smart and J.R. Lucas) is discussed. Next Gödel's opinion on this issue is studied. Finally some interpretations of Gödel's incompleteness theorems from the point of view of the information theory are presented.

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The result (...) is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (shrink)

Habermas’ theory of communicative action is explored as an orientation to the question of understanding which negotiates a pathway between two opposing (and complementary) theoretical frameworks—namely, hermeneutical-relational and empirical-analytical frameworks. His perspective grounds speech, action and understanding in the ethics of human relations. In his approach, understanding is fixed by particular events or situations about which intersubjective agreement must be achieved through the offer and acceptance of reasons that simultaneously orient actors to three worlds: the objective, the social and the (...) personal worlds. This approach raises the question as to whether the process of abstracting from the particular event to the general form, through such rational discourse, might create systems of understanding which silence individual expression and naming, particularly if such expression involves an identity that is not shared with others in the group. In other words, is the origin of an event or situation necessarily a null point for all actors? As this question is explored, metaphor comes to the fore as a complementary process of showing that which cannot be grounded in the dominant system of understanding. The pivot role of naming in the formal structure of Godel’s First Incompleteness Theorem for Number Theory demonstrates the challenge to Habermas’ theory. (shrink)

"[..] flowing with the waters, halting with the mountains. In the images of light and wind the ephemeral is inscribed. Time is part of space. The scene performs." -/- The essay "Chinese Landscape Aesthetics: the exchange and nurturing of emotions" by Claudia Westermann included in "New Horizons: Eight Perspectives on Chinese Landscape Architecture Today" introduces ideas of landscape in traditional Chinese thought. Following the etymology of the Chinese terms for landscape and recognizing that their conceptual focus is on the exchange (...) and nurturing of emotions, which is not captured by the English term 'landscape,' one may gain a new understanding of contemporary works of Chinese landscape architecture. (shrink)

Disertační práce se zabývá problematikou připisování myšlení jiným entitám, a to pomocí imitační hry navržené v roce 1950 britským filosofem Alanem Turingem. Jeho kritérium, známé v dějinách filosofie jako Turingův test, je podrobeno detailní analýze. Práce popisuje nejen původní námitky samotného Turinga, ale především pozdější diskuse v druhé polovině 20. století. Největší pozornost je věnována těmto kritikám: Lucasova matematická námitka využívající Gödelovu větu o neúplnosti, Searlův argument čínského pokoje konstatující nedostatečnost syntaxe pro sémantiku, Blockův návrh na použití brutální síly pro (...) řešení imitační hry, Frenchova teorie subkognitivních informací a Michieho skepticismus ohledně možnosti umělého vědomí. Závěr práce zachycuje současný stav recepce Turingova testu a představuje pokusy o jeho praktickou realizaci, například v každoroční soutěži o Loebnerovu cenu. Autor práce zastává názor, že ani po více než šedesáti letech od uveřejnění Turingova paradigmatického eseje stále neexistují žádné vážné důvody pro zamítnutí jeho tvrzení. Tradiční komputační funkcionalismus možná není ideální teorií vysvětlující činnost myslí a jako slibnější se může jevit vývoj v neurálních vědách, ale Turingův test je přesto užitečným a snad i jediným nástrojem pro detekci inteligence u lidmi vytvořených strojů. (shrink)

Nietzsche is absent from today’s growing debate on slavery past and present. In this article I argue that his views on the subject add a pertinent, if challenging, dimension to this wide-ranging discussion. Nietzsche’s analysis is capable of contributing to our understanding of this multifaceted phenomenon in a number of respects. I look at Nietzsche’s use of the controversial notions of slavery, understood both historically and in the context of modern society, to explore such central concerns of political anthropology as (...) the nature and role of leadership, and the questions of development and inequality. The key focus of Nietzsche’s examination concerns slavery as an enduring facet of human existence. He sees it becoming an important hallmark of the industrial culture as a barometer of modern society’s physiological well-being, as well as acting as the repository for its externalities. Nietzsche’s genealogical inquiry leads him to explore the psychological content of slavery and to conceptualise it in terms of human vulnerability, which increases susceptibility to exploitation. In these respects, Nietzsche’s views resonate with pertinence today and deserve closer critical attention and scrutiny – something Nietzsche would undoubtedly welcome. (shrink)

This is a bibliography of books and articles on consciousness in philosophy, cognitive science, and neuroscience over the last 30 years. There are three main sections, devoted to monographs, edited collections of papers, and articles. The first two of these sections are each divided into three subsections containing books in each of the main areas of research. The third section is divided into 12 subsections, with 10 subject headings for philosophical articles along with two additional subsections for articles in cognitive (...) science and neuroscience. Of course the division is somewhat arbitrary, but I hope that it makes the bibliography easier to use. This bibliography has first been compiled by Thomas Metzinger and David Chalmers to appear in print in two philosophical anthologies on conscious experience . From 1995 onwards it has been continuously updated by Thomas Metzinger, and now is freely available as a PDF-, RTF-, or HTML-file. This bibliography mainly attempts to cover the Anglo-Saxon and German debates, in a non-annotated, fully formatted way that makes it easy to "cut and paste" from the original file. To a certain degree this bibliography also contains items in other languages than English and German - all submissions in other languages are welcome. Last update of current version: July 13th, 2001. (shrink)

To understand the work of economic theorists it is often helpful to situate it in the context of the rhetorical strategy they were pursuing. Two ontologically distinct rhetorical strategies of laissez-faire may be distinguished by the way they articulate the individual interest with the general interest. A reductionist approach, exemplified by Friedman and Lucas, suggests that the properties and behaviour of an entity can be understood in terms of the properties and behaviour of the constituent lower-level components, taken in isolation. (...) The contrary – holistic – stance, viewing the qualities of phenomena as products of the inter-relations between their component parts, is characteristic of Smith and Hayek. While the reductionist approach naturally issues in a laissez- faire policy prescription, the holistic account is more problematic. Reconciling a holistic ontology with a reductionist policy prescription requires the intercalation of a black box, such as an evolutionary process or the invisible hand of a deity. (shrink)

In its forty years of existence, Artificial Intelligence has suffered both from the exaggerated claims of those who saw it as the definitive solution of an ancestral dream — that of constructing an intelligent machine-and from its detractors, who described it as the latest fad worthy of quacks. Yet AI is still alive, well and blossoming, and has left a legacy of tools and applications almost unequalled by any other field-probably because, as the heir of Renaissance thought, it represents a (...) possible bridge between the humanities and the natural sciences, philosophy and neurophysiology, psychology and integrated circuits-including systems that today are taken for granted, such as the computer interface with mouse pointer and windows. This writing describes a few results of AI that have modified the scientific world, as well as the way a layman sees computers: thetechnology of programming languages, such asLISP-witness the unique excellence of academic departments that have contributed to them-thecomputing workstations-of which our modern PC is but a vulgarised descendant-theapplications to the educational field-e.g., the realisation of some ideas of genetic epistemology-and tointerdisciplinary philosophy-such as Hofstadter's associations between the arts and mathematics-and the use ofAI techniques in music and musicology. All this has led to a generalisation of AI towards Negrotti's overallTheory of the Artificial, which encompasses further specialisation such asartificial reality, artificial life, and applications ofneural networks among others. (shrink)

W&S correctly ask if groups can be like individuals in the harmony and cooperation of their parts, but in their answer, they ignore the importance of the difference between genetically related and unrelated components, and also misconstrue the import of the Hutterites.

Solving numeric, logic and language puzzles and paradoxes is common within a wide community of high school and university students, fact witnessed by the increasing number of books published by mathematicians such as Martin Gardner, Douglas Hofstadter [in one of the best popular science books on paradoxes ], inspired by Gödel’s incompleteness theorems), Patrick Hughes and George Brecht and Raymond M. Smullyan, inter alia. Books by Smullyan are, however, much more involved, since they introduce learning trajectories and strategies across several (...) subjects of mathematical logic, as difficult as combinatorial logic, computability theory, and proof theory. These books provide solutions to their suggested exercises. Both statements and their solutions are written in the natural language, introducing some informal algorithms. As an exercise in Mathematics we wonder if an easy proof system could be devised to solve the amusing equations proposed by Smullyan in his books. Moreover, university students of logic could well train themselves in constructing deductive systems to solve puzzles instead of a non-uniform treatment one by one. In this paper, addressing students, we introduce one such formal systems, a tableaux approach able to provide the solutions to the puzzles involving either propositional logic, first order logic, or aspect logic. Let the reader amuse herself or himself! (shrink)

People's vision of world phenomena is still based on the traditional mechanistic concept, which implies that process outcomes can be fully predicted and controlled. The new scientific concept that our world is characterized by complex, self-organizing processes, is so far acknowledged by few insiders. Mass media, advertising companies and information programmes tend to emphasize the success of technology, which significantly contributes to support and spread that mechanistic concept. This situation heavily impacts the management of the environment both in terms of (...) its technical–scientific approach and in terms of its stewardship. Instead of being solved, environmental problems are frequently shifted through time and space, and eventually magnified. Moreover, among the technicians involved in environmental assessments, as well as decision-makers and the general public, the connections regarding technical–scientific issues, ethical values and policy decisions are often not adequately considered. It's time for a public debate on an alternative vision of real-world phenomena and on its actual implications. The hope is that a valid dialogue between existing polarized views on science, technology and the environment may lead to more positive collaboration between science and environmental stewardship, where every single citizen feels committed. (shrink)

Theoretical models for physician-patient communication in clinical practice are described in literature, but none of them seems adequate for solving the communication problem in clinical practice that emerges in case of factitious disorder. Theoretical models generally imply open communication and respect for the autonomy of the patient. In factitious disorder, the physician is confronted by lies and (self)destructive behaviour of the patient, who in one way or another tries to involve the physician in this behaviour. It is no longer controversial (...) that the physician should communicate his consideration of a factitious disorder without insistence that the patient accepts this diagnosis. However, the balance between patient autonomy and open communication on the one hand, and the preservation of the patient's health, physician integrity and of a constructive physician-patient relationship on the other is easily disrupted. In this article, an epistemological model is described to facilitate a positive outcome of confrontation in treatment of factitious disorder. Analysing the problem in terms of systems theory will help the physician to assess what information is appropriate to use in which phase of the patient's treatment, while preserving the physician-patient relationship. (shrink)

According to standard mathematical platonism, mathematical entities (numbers, sets, etc.) are abstract entities. As such, they lack causal powers and spatio-temporal location. Platonists owe us an account of how we acquire knowledge of this inaccessible mathematical realm. Some recent versions of mathematical platonism postulate a plenitude of mathematical entities, and Mark Balaguer has argued that, given the existence of such a plenitude, the attainment of mathematical knowledge is rendered non-problematic. I assess his epistemology for such a profligate platonism and find (...) it unsatisfactory because it lacks an adequate semantics, in particular, an adequate account of reference. (shrink)

This article shows that in two respects, Gödel's incompleteness theorem strongly supports the arguments of Edgar Morin's complexity paradigm. First, from the viewpoint of the content of Gödel's theorem, the latter justifies the basic view of complexity paradigm according to which knowledge is a dynamic, unfinished process, and develops by way of self-criticism and self-transcendence. Second, from the viewpoint of the proof procedure of Gödel's theorem, the latter confirms the complexity paradigm's circular line of inference through which is formed the (...) all-round knowledge of a concrete object. (shrink)

Causal reasoning is an aspect of learning, reasoning, and decision-making that involves the cognitive ability to discover relationships between causal relata, learn and understand these causal relationships, and make use of this causal knowledge in prediction, explanation, decision-making, and reasoning in terms of counterfactuals. Can we fully automate causal reasoning? One might feel inclined, on the basis of certain groundbreaking advances in causal epistemology, to reply in the affirmative. The aim of this paper is to demonstrate that one still has (...) good skeptical grounds for resisting any conclusions in favour of the automation of causal reasoning. If by causal reasoning is meant the entirety of the process through which we discover causal relationships and make use of this knowledge in prediction, explanation, decision-making, and reasoning in terms of counterfactuals, then one relies besides on tacit knowledge, as might be constituted by or derived from the epistemic faculty virtues and abilities of the causal reasoner, the value systems and character traits of the causal reasoner, the implicit knowledge base available to the causal reasoner, and the habits that sustain our causal reasoning practices. While certain aspects of causal reasoning may be axiomatized and formalized and algorithms may be implemented to approximate causal reasoning, one has to remain skeptical about whether causal reasoning may be fully automated. This demonstration will involve an engagement with Meno’s Paradox. (shrink)

Social interaction is both ubiquitous and central to understanding human behavior. Such interactions depend, we argue, on shared intentionality: the parties must form a common understanding of an ambiguous interaction. Yet how can shared intentionality arise? Many well-known accounts of social cognition, including those involving “mind-reading,” typically fall into circularity and/or regress. For example, A’s beliefs and behavior may depend on her prediction of B’s beliefs and behavior, but B’s beliefs and behavior depend in turn on her prediction of A’s (...) beliefs and behavior. One possibility is to embrace circularity and take shared intentionality as imposing consistency conditions on beliefs and behavior, but typically there are many possible solutions and no clear criteria for choosing between them. We argue that addressing these challenges requires some form of we-reasoning, but that this raises the puzzle of how the collective agent arises from the individual agents. This puzzle can be solved by proposing that the will of the collective agent arises from a simulated process of bargaining: agents must infer what they would agree, were they able to communicate. This model explains how, and which, shared intentions are formed. We also propose that such “virtual bargaining” may be fundamental to understanding social interactions. (shrink)

Problem-solving software that is not-necessarily infallible is central to AI. Such software whose correctness and incorrectness properties are deducible by agents is an issue at the foundations of AI. The Comprehensibility Theorem, which appeared in a journal for specialists in formal mathematical logic, might provide a limitation concerning this issue and might be applicable to any agents, regardless of whether the agents are artificial or natural. The present article, aimed at researchers interested in the foundations of AI, addresses many questions (...) related to that theorem, including differences between it and results of Gödel and Turing that have sometimes played key roles in Minds and Machines articles. This study also suggests that—if one is willing to assume a thesis due to Donald Knuth—the Comprehensibility Theorem is the first mathematical theorem implying the impossibility of any AI agent or natural agent—including a not-necessarily infallible human agent—satisfying a rigorous and deductive interpretation of the self-comprehensibility challenge. Some have pointed out the difficulty of self-comprehensibility, even according to presumably a less rigorous interpretation. This includes Socrates, who considered it to be among the most important of intellectual tasks. Self-comprehensibility in some form might be essential for a kind of self-reflection useful for self-improvement that might enable some agents to increase their success. We use the methods of applied mathematics, rather than philosophy, although some topics considered could be of interest to philosophers. (shrink)

In a very influential paper Rota stresses the relevance of mathematical beauty to mathematical research, and claims that a piece of mathematics is beautiful when it is enlightening. He stops short, however, of explaining what he means by ‘enlightening’. This paper proposes an alternative approach, according to which a mathematical demonstration or theorem is beautiful when it provides understanding. Mathematical beauty thus considered can have a role in mathematical discovery because it can guide the mathematician in selecting which hypothesis to (...) consider and which to disregard. Thus aesthetic factors can have an epistemic role qua aesthetic factors in mathematical research. (shrink)

In this article, the author describes some of his own experiences of becoming an organizational systems theorist. The article also presents overviews of various systems theories that influenced the learning process from subject exploration to mastery. These include system dynamics, management systems, General Systems Theory, self-organizing systems, and autognomics. Additionally, discussions of system failures, philosophical pragmatism, and knowledge management all relate to their influence on systems theories. The article culminates with an examination of the possible causes of system failures and (...) proposes various new ideas for intervening in several large-scale issues, such as sustainability. Finally, there is a review of a new type of organizational performance measurement system known as the adaptive scorecard. (shrink)

The term “Contemplative sciences” refers to an interdisciplinary approach to mind that aims at a better understanding of alternative states of consciousness, like those obtained trough deep concentration and meditation, mindfulness and other “superior” or “spiritual” mental states. There is, however, a key discipline missing: artificial intelligence. AI has forgotten its original aims to create intelligent machines that could help us to understand better what intelligence is and is more worried about pragmatical stuff, so almost nobody in the field seems (...) to be interested to join this new effort of contemplative science. In this paper, I would like to accomplish the following: (1) To give a brief description of the field of “contemplative sciences;” (2) To argue why AI should actively join this new paradigm on the study of the mind; and (3) To set up a research program on artificial wisdom: that is to design computational systems that can model at least some relevant aspects of human wisdom. (shrink)

The ArgumentTheorists of science and culture, seeking to explicate the implications of chaos theory, quantum mechanics, or special and general relativity, have drawn parallels to the constellation of intellectual and social phenomena collected in the concept of postmodernism. The notion thereby invoked of a postmodern physics is suggestive and worth exploring. But it remains ungrounded so long as the argument moves in the realm of parallels. Moreover, these discussions prove to be tacitly constrained by a preexisting genre of physicists' own (...) literary production, a genre whose argumentative structures have been taken over implicitly into the subsequent exchanges. Attending critically in this way to the intellectual interests of the discussants — asking who it is that wants to constitute a postmodern physics — should open up more productive ways of framing the debate. (shrink)