Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas (...) in the brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

Scientists depend on complex computational systems that are often ineliminably opaque, to the detriment of our ability to give scientific explanations and detect artifacts. Some philosophers have s...

Wegner, Giuliano, and Hertel (1985) defined the notion of a transactive memory system (TMS) as a group level memory system that “involves the operation of the memory systems of the individuals and the processes of communication that occur within the group (p. 191). Those processes are the collaborative procedures (“transactions”) by which groups encode, store, and retrieve information that is distributed among their members. Over the past 25+ years, the conception of a TMS has progressively garnered an increased interest (...) among social and organizational psychologists, communication scholars, and management theorists (Ren & Argote 2011). But there remains considerable disagreement about how exactly Wegner’s appeal to group memory should be understood. My goal in this paper is contribute to this debate, by articulating more clearly the value of conceptualizing groups as TMSs. This value, I argue, consists in providing us with a blueprint for how to explain group memory in terms of collective information-processing mechanisms. Collective information-processing mechanisms are dependent on, and interact with, the brain-bound information-processing of individuals, but cannot be reduced to the latter. In my analysis, I lean on extant accounts of mechanistic explanation in the philosophy of science (Bechtel & Richardson 1993; Machamer, Darden, & Craver 2000; Wimsatt 2007) that have been used to analyze the explanatory practices of psychology and cognitive neuroscience (Bechtel 2008, 2009). Based on my reconstruction of Wegner’s conceptualization of a TMS, I argue that the reality of emergent group cognition is compatible with its mechanistic explanation. More generally, my analysis shows that group cognition cannot be reduced to individual cognition, while avoiding the false dilemma between “wholism” and “nothing but-ism” which has hampered traditional construals of the “group mind” thesis (Allport 1968). (shrink)

History and Systems of Psychology provides an engaging introduction to the rich story of psychology's past. Retaining the clarity and accessibility praised by readers of earlier editions, this classic textbook provides a chronological history of psychology from the pre-Socratic Greeks to contemporary systems, research, and applications. The new edition also features expanded coverage of Eastern as well as Western traditions, influential women in psychology, professional psychology in clinical, educational, and social settings, and new directions in twenty-first century psychology (...) as a cognitive and a positive science. Assuming little prerequisite knowledge, the authors discuss the people, places, and concepts that have shaped psychology's story, and show that we remain fascinated by the same enduring questions that confronted our ancestors - namely, our wonder at our subjectivity and consciousness of self. The seventh edition is fully supported by robust pedagogical features, instructor resources, and a companion website to aid student learning. (shrink)

Humean reductionism about laws of nature appears to leave a central aspect of scientific practice unmotivated: If the world’s fundamental structure is exhausted by the actual distribution of non-modal properties and the laws of nature are merely efficient summaries of this distribution, then why does science posit laws that cover a wide range of non-actual circumstances? In this paper, we develop a new version of the Humean best systems account of laws based on the idea that laws need to (...) organize information in a way that maximizes their cognitive usefulness for creature like us. We argue that this account motivates scientific practice because the laws’ applicability to non-actual circumstances falls right out of their cognitive usefulness. (shrink)

Scientists often think of the world as a dynamical system, a stochastic process, or a generalization of such a system. Prominent examples of systems are the system of planets orbiting the sun or any other classical mechanical system, a hydrogen atom or any other quantum–mechanical system, and the earth’s atmosphere or any other statistical mechanical system. We introduce a general and unified framework for describing such systems and show how it can be used to examine some familiar philosophical (...) questions, including the following: how can we define nomological possibility, necessity, determinism, and indeterminism; what are symmetries and laws; what regularities must a system display to make scientific inference possible; how might principles of parsimony such as Occam’s Razor help when we make such inferences; what is the role of space and time in a system; and might they be emergent features? Our framework is intended to serve as a toolbox for the formal analysis of systems that is applicable in several areas of philosophy. (shrink)

The logic $G3^{<}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$ was introduced in Robles and Mendéz as a paraconsistent logic which is based on Gödel’s 3-valued matrix, except that Kleene–Łukasiewicz’s negation is added to the language and is used as the main negation connective. We show that $G3^{<}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$ is exactly the intersection of $G3^{\{1\}}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$ and $G3^{\{1,0.5\}}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$, the two truth-preserving 3-valued logics which are based on the same truth tables. We then construct a Hilbert-type system which has for $\to $ as its sole rule of inference, and is (...) strongly sound and complete for $G3^{<}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$. Then we show how, by adding one axiom or one new rule of inference, we get strongly sound and complete systems for $G3^{\{1\}}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$ and $G3^{\{1,0.5\}}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$. Finally, we provide quasi-canonical Gentzen-type systems which are sound and complete for those logics and show that they are all analytic, by proving the cut-elimination theorem for them. (shrink)

Skyrms, building on the work of Dretske, has recently developed a novel information-theoretic account of propositional content in simple signalling systems. Information-theoretic accounts of content traditionally struggle to accommodate the possibility of misrepresentation, and I show that Skyrms’s account is no exception. I proceed to argue, however, that a modified version of Skyrms’s account can overcome this problem. On my proposed account, the propositional content of a signal is determined not by the information that it actually carries, but by (...) the information that it would carry at the nearest separating equilibrium of the underlying evolutionary dynamics. I show that this amended account yields reasonable ascriptions of false propositional content in a well-known formal model of the evolution of communication , and close with a discussion of the serious but perhaps not insuperable difficulties we face in applying the account to examples of signalling in the real world. (shrink)

This paper investigates the claim that artificial Intelligence Systems cannot be held morally responsible because they do not have an ability for agential self-awareness e.g. they cannot be aware that they are the agents of an action. The main suggestion is that if agential self-awareness and related first person representations presuppose an awareness of a self, the possibility of responsible artificial intelligence systems cannot be evaluated independently of research conducted on the nature of the self. Focusing on a (...) specific account of the self from the phenomenological tradition, this paper suggests that a minimal necessary condition that artificial intelligence systems must satisfy so that they have a capability for self-awareness, is having a minimal self defined as ‘a sense of ownership’. As this sense of ownership is usually associated with having a living body, one suggestion is that artificial intelligence systems must have similar living bodies so they can have a sense of self. Discussing cases of robotic animals as examples of the possibility of artificial intelligence systems having a sense of self, the paper concludes that the possibility of artificial intelligence systems having a ‘sense of ownership’ or a sense of self may be a necessary condition for having responsibility. (shrink)

At the start of the 21st century, Corporate Social Responsibility (CSR) seems to have great potential for innovating business practices with a positive impact on People, Planet and Profit. In this article the differences between the management systems approach of the nineties, and Corporate Social Responsibility are analysed.An analysis is structured around three business principles that are relevant for CSR and management systems: (1) doing things right the first time, (2) doing the right things, and (3) continuous improvement (...) and innovation. Basically CSR is focussing on the second principle, and management systems focus on the first. However, CSR is very likely to build on the management systems as well.From a CSR point of view, the existing generation of management systems with their focus on rational control (= doing things right) can only be of limited use in the development of CSR. However, the preventive rationalities of management systems are important. Values and the principle doing the right things is extremely relevant for CSR. This goes far beyond the present generation of ISO type management systems; opportunities stem from building on TQM approaches like the EFQM Business Excellence model. Continuous improvement and innovation is a permanent challenge underlying the two other business principles, and requires both individual and organisational learning processes. In the present generation of management systems, continuous improvement mainly addresses rational prevention, barely the value aspects of business.For the further development and implementation of CSR, each of the three business management principles are vital. There is a need for a new generation of management systems that addresses the values at stake in strategic decision-making, both at company level and in the behaviour of individuals, while the rationalities of prevention and anticipation are still relevant. In both directions more emphasis for continuous learning and innovation will be needed.CSR is likely to trigger the development of management systems in the directions mentioned. This will support companies to be credible and transparent in improving the performance with respect to people, planet and profit. (shrink)

Integrative systems biology is an emerging field that attempts to integrate computation, applied mathematics, engineering concepts and methods, and biological experimentation in order to model large-scale complex biochemical networks. The field is thus an important contemporary instance of an interdisciplinary approach to solving complex problems. Interdisciplinary science is a recent topic in the philosophy of science. Determining what is philosophically important and distinct about interdisciplinary practices requires detailed accounts of problem-solving practices that attempt to understand how specific practices address (...) the challenges and constraints of interdisciplinary research in different contexts. In this paper we draw from our 5-year empirical ethnographic study of two systems biology labs and their collaborations with experimental biologists to analyze a significant problem-solving approach in ISB, which we call adaptive problem solving. ISB lacks much of the methodological and theoretical resources usually found in disciplines in the natural sciences, such as methodological frameworks that prescribe reliable model-building processes. Researchers in our labs compensate for the lack of these and for the complexity of their problems by using a range of heuristics and experimenting with multiple methods and concepts from the background fields available to them. Using these resources researchers search out good techniques and practices for transforming intractable problems into potentially solvable ones. The relative freedom lab directors grant their researchers to explore methodological options and find good practices that suit their problems is not only a response to the complex interdisciplinary nature of the specific problem, but also provides the field itself with an opportunity to discover more general methodological approaches and develop theories of biological systems. Such developments in turn can help to establish the field as an identifiably distinct and successful approach to understanding biological systems. (shrink)

Evolutionary systems biology (ESB) aims to integrate methods from systems biology and evolutionary biology to go beyond the current limitations in both fields. This article clarifies some conceptual difficulties of this integration project, and shows how they can be overcome. The main challenge we consider involves the integration of evolutionary biology with developmental dynamics, illustrated with two examples. First, we examine historical tensions between efforts to define general evolutionary principles and articulation of detailed mechanistic explanations of specific traits. (...) Next, these tensions are further clarified by considering a recent case from another field focused on developmental dynamics: stem cell biology. In the stem cell case, incompatible explanatory aims block integration. Experimental approaches aim at mechanistic explanation while dynamical system models offer explanation in terms of general principles. We then discuss an ESB case in which integration succeeds: search for general attractors using a dynamical systems framework synergizes with the experimental search for detailed mechanisms. Contrasts between the positive and negative cases suggest general lessons for achieving an integrated understanding of developmental and evolutionary dynamics. The key integrative move is to acknowledge two complementary aims, both relevant to explanation: identifying the space of possible dynamic states and trajectories, and mechanistic understanding of causal interactions underlying a specific phenomenon of interest. These two aims can support one another in a joint project characterizing dynamic aspects of evolving lineages. This more inclusive project can lead to insights that cannot be reached by either approach in isolation. (shrink)

Both natural and engineered systems are fundamentally dynamical in nature: their defining properties are causal, and their functional capacities are causally grounded. Among dynamical systems, an interesting and important sub-class are those that are autonomous, anticipative and adaptive (AAA). Living systems, intelligent systems, sophisticated robots and social systems belong to this class, and the use of these terms has recently spread rapidly through the scientific literature. Central to understanding these dynamical systems is their complicated (...) organisation and their consequent capacities for re- and self- organisation. But there is at present no general analysis of these capacities or of the requisite organisation involved. We define what distinguishes AAA systems from other kinds of systems by characterising their central properties in a dynamically interpreted information theory. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes (...) a different approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependency-relations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraint-based generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

Formalised knowledge systems, including universities and research institutes, are important for contemporary societies. They are, however, also arguably failing humanity when their impact is measured against the level of progress being made in stimulating the societal changes needed to address challenges like climate change. In this research we used a novel futures-oriented and participatory approach that asked what future envisioned knowledge systems might need to look like and how we might get there. Findings suggest that envisioned future (...) class='Hi'>systems will need to be much more collaborative, open, diverse, egalitarian, and able to work with values and systemic issues. They will also need to go beyond producing knowledge about our world to generating wisdom about how to act within it. To get to envisioned systems we will need to rapidly scale methodological innovations, connect innovators, and creatively accelerate learning about working with intractable challenges. We will also need to create new funding schemes, a global knowledge commons, and challenge deeply held assumptions. To genuinely be a creative force in supporting longevity of human and non-human life on our planet, the shift in knowledge systems will probably need to be at the scale of the enlightenment and speed of the scientific and technological revolution accompanying the second World War. This will require bold and strategic action from governments, scientists, civic society and sustained transformational intent. (shrink)

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.

With reference to three seminal books on cybernetics, communication theory and the calculus of distinctions, this article discusses some main threads in Niklas Luhmann's sociological systems theoretical thinking. It argues that the systems theory, despite its still lively reputation in some quarters of the humanities, is not technocracy's last attempt to cope with the complexity of modern society. Rather, it is an inquiry into the improbability of communication and into its translation into social structure, or better, into social (...) form. (shrink)

The United Nation’s (UN) 3rd Annual Multi-stakeholder Forum on ‘Science, Technology and Innovation for the Sustainable Development Goals (STI Forum) - Transformation Towards Sustainable and Resilient Societies’ was held at the UN Headquarters in New York on 5th and 6th of June, 2018. This STI Forum set out to discuss a suit of the sustainable development goals, namely sustainable management of water and sanitation for all (SDG 6), sustainable consumption and production patterns (SDG 12), and sustainable terrestrial ecosystems (SDG 15). (...) It also discussed how to ensure access to affordable, reliable, sustainable and modern energy for all (SDG 7) and how to make cities and human settlements inclusive, safe, resilient and sustainable (SDG 11). I participated in the panel debate on ‘Science, Technology and Innovation for Sustainable Terrestrial Ecosystems (SDG 15)’ – emphasizing the importance of food systems in the context of SDG 15. My statement is summarized below. The panel debate aimed at helping to identify good practices and policy recommendations, as well as challenges and needs, especially as they relate to international cooperation, innovation and capacity-building, with a view to facilitate the development, scaling up adoption and dissemination of relevant technologies for SDG 15. A food system can be described as a system that embraces all the elements (environment, people, inputs, processes, institutions, infrastructure, markets and trade) and activities that relate to the production, processing, distribution and marketing, preparation and consumption of food and the outputs of these activities, including socio-economic and environmental outcomes. A sustainable food system delivers food and nutrition security for all in such a way that the economic, social and environmental bases to generate food security and nutrition for future generations are not compromised. (shrink)

To many, the idea of autonomous weapons systems (AWS) killing human beings is grotesque. Yet critics have had difficulty explaining why it should make a significant moral difference if a human combatant is killed by an AWS as opposed to being killed by a human combatant. The purpose of this paper is to explore the roots of various deontological concerns with AWS and to consider whether these concerns are distinct from any concerns that also apply to long-distance, human-guided weaponry. (...) We suggest that at least one major driver of the intuitive moral aversion to lethal AWS is that their use disrespects their human targets by violating the martial contract between human combatants. On our understanding of this doctrine, service personnel cede a right not to be directly targeted with lethal violence to other human agents alone. Artificial agents, of which AWS are one example, cannot understand the value of human life. A human combatant cannot transfer his privileges of targeting enemy combatants to a robot. Therefore, the human duty-holder who deploys AWS breaches the martial contract between human combatants and disrespects the targeted combatants. We consider whether this novel deontological objection to AWS forms the foundation of several other popular yet imperfect deontological objections to AWS. (shrink)

Developmental systems theory (DST) is a general theoretical perspective on development, heredity and evolution. It is intended to facilitate the study of interactions between the many factors that influence development without reviving `dichotomous' debates over nature or nurture, gene or environment, biology or culture. Several recent papers have addressed the relationship between DST and the thriving new discipline of evolutionary developmental biology (EDB). The contributions to this literature by evolutionary developmental biologists contain three important misunderstandings of DST.

The emerging concept of systems medicine (or ‘P4 medicine’—predictive, preventive, personalized and participatory) is at the vanguard of the post-genomic movement towards ‘precision medicine’. It is the medical application of systems biology, the biological study of wholes. Of particular interest, P4 systems medicine is currently promised as a revolutionary new biomedical approach that is holistic rather than reductionist. This article analyzes its concept of holism, both with regard to methods and conceptualization of health and disease. Rather than (...) representing a medical holism associated with basic humanistic ideas, we find a technoscientific holism resulting from altered technological and theoretical circumstances in biology. We argue that this holism, which is aimed at disease prevention and health optimization, points towards an expanded form of medicalization, which we call ‘holistic medicalization’: Each person’s whole life process is defined in biomedical, technoscientific terms as quantifiable and controllable and underlain a regime of medical control that is holistic in that it is all-encompassing. It is directed at all levels of functioning, from the molecular to the social, continual throughout life and aimed at managing the whole continuum from cure of disease to optimization of health. We argue that this medicalization is a very concrete materialization of a broader trend in medicine and society, which we call ‘the medicalization of health and life itself’. We explicate this holistic medicalization, discuss potential harms and conclude by calling for preventive measures aimed at avoiding eventual harmful effects of overmedicalization in systems medicine (quaternary prevention). (shrink)

To many, the idea of autonomous weapons systems (AWS) killing human beings is grotesque. Yet critics have had difficulty explaining why it should make a significant moral difference if a human combatant is killed by an AWS as opposed to being killed by a human combatant. The purpose of this paper is to explore the roots of various deontological concerns with AWS and to consider whether these concerns are distinct from any concerns that also apply to long- distance, human-guided (...) weaponry. We suggest that at least one major driver of the intuitive moral aversion to lethal AWS is that their use disrespects their human targets by violating the martial contract between human combatants. On our understanding of this doctrine, service personnel cede a right not to be directly targeted with lethal violence to other human agents alone. Artificial agents, of which AWS are one example, cannot understand the value of human life. A human combatant cannot transfer his privileges of targeting enemy combatants to a robot. Therefore, the human duty-holder who deploys AWS breaches the martial contract between human combatants and disrespects the targeted combatants. We consider whether this novel deontological objection to AWS forms the foundation of several other popular yet imperfect deontological objections to AWS. (shrink)

According to best systems accounts, laws of nature are generalizations in the best systematization of particular matters of fact. Metrics such as simplicity and strength determine which systematization is best, but these are notoriously language relative. For this reason, David Lewis proposed a constraint on languages of inquiry: all predicates must be natural. This constraint is sometimes interpreted as requiring us to know which natural properties are instantiated in our world prior to scientific theorizing. I argue that this interpretation (...) is incorrect. I provide a better interpretation and show how it undercuts an influential epistemological objection to Lewis's best systems account of laws due to Bas van Fraassen. (shrink)

Although molecular biology has meant different things at different times, the term is often associated with a tendency to view cellular causation as conforming to simple linear schemas in which macro-scale effects are specified by micro-scale structures. The early achievements of molecular biologists were important for the formation of such an outlook, one to which the discovery of recombinant DNA techniques, and a number of other findings, gave new life even after the complexity of genotype–phenotype
relations had become apparent. Against this (...) background we outline how a range of scientific developments and conceptual considerations can be regarded as enabling and perhaps necessitating contemporary systems approaches. We suggest that philosophical ideas have a valuable part to play in making sense of complex scientific and disciplinary issues. (shrink)

High-performance work systems -performance research has dominated innovative human resource management studies for two decades. However, mainstream HPWS research has paid little attention to employees’ perceptions of HPWS, or to the relationship between HPWS and corporate social performance. The influence of CSP on employee outcomes such as organizational commitment and organizational citizenship behaviour has thus been similarly neglected. This paper seeks to investigate these missing links in literature using data collected from a sample of 700 employees in China. The (...) findings demonstrate that HPWS is positively related to HPWS satisfaction and employees’ perceptions of CSP. HPWS satisfaction fully mediates the relationship between HPWS and employees’ affective commitment. There are multiple mediators between HPWS and OCB, indicating more complicated mechanisms through which HPWS leads to desired HR outcomes. Employees’ perceived CSP has a significant influence on HPWS satisfaction, AC and OCB, suggesting firms should place a premium on achieving a reputation as being socially responsible. (shrink)

In this article, we focus on the scholarly and policy debate on autonomous weapon systems and particularly on the objections to the use of these weapons which rest on jus ad bellum principles of proportionality and last resort. Both objections rest on the idea that AWS may increase the incidence of war by reducing the costs for going to war or by providing a propagandistic value. We argue that whilst these objections offer pressing concerns in their own right, they (...) suffer from important limitations: they overlook the difficulties of calculating ad bellum proportionality; confuse the concept of proportionality of effects with the precision of weapon systems; disregard the ever-changing nature of war and of its ethical implications; mistake the moral obligation imposed by the principle of last resort with the impact that AWS may have on political decision to resort to war. Our analysis does not entail that AWS are acceptable or justifiable, but it shows that ad bellum principles are not the best set of ethical principles for tackling the ethical problems raised by AWS; and that developing adequate understanding of the transformations that the use of AWS poses to the nature of war itself is a necessary, preliminary requirement to any ethical analysis of the use of these weapons. (shrink)

Molyneux’s question famously asks about whether a newly sighted subject might immediately recognize, by sight alone, shapes that were already familiar to her from a tactile point of view. This paper addresses three crucial points concerning this puzzle. First, the presence of two different questions: the classic one concerning visual recognition and another one concerning vision-for-action. Second, the explicit distinction, reported in the literature, between ocular and cortical blindness. Third, the importance of making reference to our best neuroscientific account on (...) vision, ‘the two visual systems model’, in order to better address Molyneux’s problem. Then, by offering a new, deeper analysis of the relation between, and, this paper suggests that the subjects of Molyneux’s two different questions show the same visual impairment as brain-damaged subjects with different lesions of the visual cortex. In particular, the subject of the first question shows the same impairment in visual recognition as a visual agnosic subject, while the subject of the second question shows the same visual impairment in visuomotor processing as an optic ataxic subject. These impairments still hold even if ocular processing is restored. Therefore, I suggest the following. For the first classic question, the required experimental setting cannot be properly reached. By contrast, concerning the second question, based on the interpretation we select, either the answer is negative, or, as with the first question, the experimental setting cannot be properly reached. This proposal constitutes, with the other approaches offered in the literature, a further attempt to tackle the enormous complexity of Molyneux’s puzzle. (shrink)

In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience of readers and (...) describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (shrink)