The aim of this article is to indicate that the ideas of Leonardo Torres y Que­vedo presented in his short Essays on Automatics constitute essential link between early Babbage’s concepts of analytical engine and modern computer science. These ideas include definition of automatics, classification of automata, theoretical basis for robotics, electromechanical engineering, modern concept of chatbot, the importance of algorithm and last but not least floating point arithmetic.

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its (...) applications and thus presents the state of the art in the area. (shrink)

This paper aims to connect Stiegler’s reflections on theoretical computer science with his practical propositions for the design of digital technologies. Indeed, Stiegler’s theory of exosomatization implies a new conception of artificial intelligence, which is not based on an analogical paradigm (which compares organisms and machines, as in cybernetics, or which compares thought and computing, as in cognitivism) but on an organological paradigm, which studies the co-evolution of living organisms (individuals), artificial organs (tools), and social organizations (institutions). Such (...) a perspective does not compare human capacities to machine performances but studies the way in which the evolution of material and technical supports affects and transforms psychological, cognitive or noetic faculties (intuition, memory, understanding, imagination, sensibility, reason, etc.), as well as the constitution of different kinds of knowledge. This new theoretical paradigm implies a new ‘design’ for digital technologies, which considers their social role and their impact on psychological, cognitive or noetic faculties. (shrink)

This essay presents arguments for the claim that in the best of all possible worlds (Leibniz) there are sources of unpredictability and creativity for us humans, even given a pancomputational stance. A suggested answer to Chaitin’s questions: “Where do new mathematical and biological ideas come from? How do they emerge?” is that they come from the world and emerge from basic physical (computational) laws. For humans as a tiny subset of the universe, a part of the new ideas comes as (...) the result of the re-configuration and reshaping of already existing elements and another part comes from the outside world as a consequence of openness and interactivity of biological and cognitive systems. For the universe at large it is randomness that is the source of unpredictability on the fundamental level. In order to be able to completely predict the Universe-computer we would need the Universe-computer itself to compute its next state. As Chaitin demonstrated there are incompressible truths, which means truths that cannot be computed by any other computer but the universe itself. (shrink)

What do philosophy and computer science have in common? It turns out, quite a lot! In providing an introduction to computer science (using Python), Daniel Lim presents in this book key philosophical issues, ranging from external world skepticism to the existence of God to the problem of induction. These issues, and others, are introduced through the use of critical computational concepts, ranging from image manipulation to recursive programming to elementary machine learning techniques. In illuminating some of (...) the overlapping conceptual spaces of computer science and philosophy, Lim teaches readers fundamental programming skills and allows them to develop the critical thinking skills essential for examining some of the enduring questions of philosophy. (shrink)

Personalized medicine plays an important role in the development of current medicine. Among the numerous statements regarding the future of personalized medicine, some can be found that accord medicine a new scientific status. Medicine will be transformed from an art to a science due to personalized medicine. This prognosis is supported by references to models of historical developments. The article examines what is meant by this prognosis, what consequences it entails, and how feasible it is. It refers to the (...) long tradition of epistemological thinking in medicine and the use of historical models for the development of medicine. The possible answers to the question “art or science” are systematized with respect to the core question about the relationship between knowledge and action. The prediction for medicine to develop from an ‘empirical healing art’ to a ‘rational, molecular science’ is nonsensical from an epistemological point of view. The historical models employed to substantiate the development of personalized medicine are questionable. (shrink)

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. (...) Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties. (shrink)

The unique compendium re-assesses the value of future and emergent computing technologies via artistic and philosophical means. The book encourages scientists to adopt inspiring thinking of artists and philosophers to reuse scientific concepts in their works.The useful reference text consists of non-typical topics, where artistic and philosophical concepts encourage readers to adopt unconventional approaches towards computing and immerse themselves into discoveries of future emerging landscape.

Here we describe how writing exercises based on Value Analysis Design, an approach to the design and implementation of technological systems, can build skills in both philosophical reflection and philosophical writing. While not a replacement for long-form philosophical writing, these exercises are ways to help students develop both philosophical and writing skills. Not only do they do so without requiring the extensive feedback that is required for long-form writing, but they are also opportunities for STEM students and other non-philosophy majors (...) to acquire skills in ethical reflection, analysis, and communication. (shrink)

The related fields of fractal image encoding and fractal image analysis have blossomed in recent years. This book, originating from a NATO Advanced Study Institute held in 1995, presents work by leading researchers. It is developing the subjects at an introductory level, but it also has some recent and exciting results in both fields. The book contains a thorough discussion of fractal image compression and decompression, including both continuous and discrete formulations, vector space and hierarchical methods, and algorithmic optimizations. The (...) book also discusses multifractal approaches to image analysis, segmentation, and recognition, including medical applications. (shrink)

This paper presents folk impressions of the University of Manchester’s difficulties in becoming a great university, but by means of a fiction imitating a distinguished writer from the Indian subcontinent. The impressions concern past efforts and the difficulties they faced.

To provide an introduction to this book, we explain the motivation to publish this volume, state its main goal, characterize its intended readership, and give an overview of its content. To this purpose, we briefly summarize each chapter and put it in the context of the whole volume. We also take the opportunity to stress connections between the chapters. We conclude with a brief outlook.The main motivation to publish this volume was the diagnosis that the validation of computer simulation (...) needs more attention in practice and in theory. The aim of this volume is to improve our understanding of validation. To this purpose, computer scientists, mathematicians, working scientists from various fields, as well as philosophers of science join efforts. They explain basic notions and principles of validation, embed validation in philosophical frameworks such as Bayesian epistemology, detail the steps needed during validation, provide best practice examples, reflect upon challenges to validation, and put validation in a broader perspective. As we suggest in our outlook, the validation of computer simulations will remain an important research topic that needs cross- and interdisciplinary efforts. A key issue is whether, and if so, how very rigorous approaches to validation that have proven useful in, e.g., engineering can be extended to other disciplines. (shrink)

This article presents the evolution of philosophical and methodological considerations concerning empiricism in computer/computing science. In this study, we trace the most important current events in the history of reflection on computing. The forerunners of Artificial Intelligence H.A. Simon and A. Newell in their paper Computer Science As Empirical Inquiry started these considerations. Later the concept of empirical computer science was developed by S.S. Shapiro, P. Wegner, A.H. Eden and P.J. Denning. They showed (...) various empirical aspects of computing. This led to a view of the science of computing - the science of general scope. Some interesting contemporary ways towards a generalized perspective on computations were also shown. (shrink)

I describe a pedagogical scheme devised to teach efficiently to computer scientists just enough quantum mechanics to permit them to understand the theoretical developments of the last decade going under the name of “quantum computation.” I then note that my offbeat approach to quantum mechanics, designed to be maximally efficacious for this specific educational purpose, is nothing other than the Copenhagen interpretation.

Scholars Karl R. Popper and Thomas S. Kuhn developed new frameworks that helped shape practical science policies and contributed to a greater understanding of the power and limitations of science. Popper did not accept induction as a method of arriving at scientific conclusions and rejected the justification of scientific theories and hypotheses. On the other hand, Kuhn advocated the progress of science and accepted some principles of scientific practices, including law, theory, instrumentation and application. -/- .

I describe a pedagogical scheme devised to teach efficiently to computer scientists just enough quantum mechanics to permit them to understand the theoretical developments of the last decade going under the name of ''quantum computation.'' I then note that my offbeat approach to quantum mechanics, designed to be maximally efficacious for this specific educational purpose, is nothing other than the Copenhagen interpretation.

Shanks and St. John (1994a) suggest that From the viewpoint of a computer scientist who tries to construct learning systems, that claim seems rather implausible. In this commentary I wish to suggest why, in the hopes of shedding light on the relationship between consciousness and learning.

Designed to provide a firm foundation in mathematical logic, this work aims to serve as an elementary textbook for both graduate study and for applications of logic, such as logic programming and format specification and verification.

An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an (...) introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book. (shrink)

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational (...) semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others. (shrink)

In this paper I hope to show that the idea of teaching philosophy through teaching computer science is a project worth pursuing. In the first section I will sketch a variety of ways in which philosophy and computer science might interact. Then I will give a brief rationale for teaching philosophy through teaching computer science. Then I will introduce three philosophical issues (among others) that have pedagogically useful analogues in computer science: (i) (...) external world skepticism, (ii) numerical vs. qualitative identity, and (iii) the existence of God. (shrink)

Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning.

Part I presents a model of interactive computation and a metric for expressiveness, Part II relates interactive models of computation to physics, and Part III considers empirical models from a philosophical perspective. Interaction machines, which extend Turing Machines to interaction, are shown in Part I to be more expressive than Turing Machines by a direct proof, by adapting Gödel's incompleteness result, and by observability metrics. Observation equivalence provides a tool for measuring expressiveness according to which interactive systems are more expressive (...) than algorithms. Refinement of function equivalence by observation of outer interactive behavior and inner computation steps is examined. The change of focus from algorithms specified by computable functions to interaction specified by observation equivalence captures the essence of empirical computer science. Part II relates interaction in models of computation to observation in the natural sciences. Explanatory power in physics is specified by the same observability metric as expressiveness in interactive systems. Realist models of inner structure are characterized by induction, abduction, and Occam's Razor. Interactive realism extends the hidden-variable model of Einstein to hidden interfaces that provide extra degrees of freedom to formulate hypotheses with testable predictions conforming with quantum theory. Greater expressiveness of collaborative computational observers (writers) than single observers implies that hidden-interface models are more expressive than hidden-variable models. By providing a common foundation for empirical computational and physical models we can use precise results about computational models to establish properties of physical models. Part III shows that the evolution in computing from algorithms to interaction parallels that in physics from rationalism to empiricism. Plato's cave metaphor is interactively extended from Platonic rationalism to empiricism. The Turing test is extended to TMs with hidden interfaces that express interactive thinking richer than the traditional Turing test. Interactive (nonmonotonic) extensions of logic such as the closed-world assumption suggest that interactiveness is incompatible with monotonic logical inference. Procedure call, atomicity of transactions, and taking a fixed point are techniques for closing open systems similar to "preparation" followed by "observation" of a physical system. Pragmatics is introduced as a framework for extending logical models with a fixed syntax and semantics to multiple-interface models that support collaboration among clients sharing common resources. (shrink)

According to physicalism, everything is physical or metaphysically connected to the physical. If physicalism were true, it seems that we should – in principle – be able to reduce the descriptions and explanations of special sciences to physical ones, for example, explaining biological regularities, via chemistry, by the laws of particle physics. The multiple realization of the property types of the special sciences is often seen to be an obstacle to such epistemic reductions. Here, we introduce another, new argument against (...) epistemic reduction. Based on mathematical complexity, we show that, under certain conditions, there can be “complexity barriers” that make epistemic reduction – in principle – unachievable even if physicalism were true. (shrink)

This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.

The paper discusses basic philosophical assumptions of the new conception of scientific research which tends to possibly complete automation of research. The theoretical underpinnings of reliable inquiry sets a framework for a comprehensive spectrum of attainable solutions to a research problem formulated in the framework given the theoretical assumptions and available evidence. The framework is general, but the success criteria are adjustable to a domain of inquiry. Research on causal dependencies in macroeconomics seems a successful application of the framework.

It is the contemporary belief, in American legal circles at all events, that law or jurisprudence, whatever it may have been in the past, has now the status of a social science. This is an assumption easier to make than to substantiate, and in view of the increasing insistence upon this point, it is now appropriate to inquire whether or not it possesses a tangible foundation. This requires a consideration of the distinctive characteristics of social science, the determination (...) whether or not jurisprudence exhibits these characteristics, and, if not, if it is possible for it to assume them. It will be convenient to begin, briefly and concisely, with an examination of the characteristics of modern legal thought. (shrink)

This text offers an account of how philosophers in the 20th century have challenged the ideas of the modern philosophers of the 17th century on fundamental questions in epistemology. Featuring examples, self-study questions and further readings, the text introduces and critically defines logical analysis, foundationalism and coherentism.

Since the sixties, computational modeling has become increasingly important in both the physical and the social sciences, particularly in physics, theoretical biology, sociology, and economics. Sine the eighties, philosophers too have begun to apply computational modeling to questions in logic, epistemology, philosophy of science, philosophy of mind, philosophy of language, philosophy of biology, ethics, and social and political philosophy. This chapter analyzes a selection of interesting examples in some of those areas.

It has been argued that our currently most satisfactory social epistemology of science can’t account for science that is based on artificial intelligence (AI) because this social epistemology requires trust between scientists that can take full responsibility for the research tools they use, and scientists can’t take full responsibility for the AI tools they use since these systems are epistemically opaque. I think this argument overlooks that much AI-based science can be done without opaque models, (...) and that agents can take full responsibility for the systems they use even if these systems are opaque. Requiring that an agent fully understand how a system works is an untenably strong condition for that agent to take full responsibility for the system and risks absolving AI developers from responsibility for their products. AI-based science need not create trust-related social epistemological problems if we keep in mind that what makes both individual scientists and their use of AI systems trustworthy isn’t full transparency of the internal processing but their adherence to social and institutional norms that ensure that scientific claims can be trusted. (shrink)

Is God a person, like you and me eventually, but only much better and without our human deficiencies? When you read some of the philosophers of religion, including Richard Swinburne, Alvin Plantinga, or Open Theists, God appears as such a person, in a sense closer to Superman than to the Creator of Heaven and Earth. It is also a theory that a Christian pastoral theology today tends to impose, insisting that God is close to us and attentive to all of (...) us. But this modern account of God could be a deep and even tragic mistake. One God in three persons, the formula of the Trinity, does not mean that God is a person. On this matters we need an effort in the epistemology of theology to examine more precisely what we can pretend to know about God, and especially how we could pretend to know that God is person. (shrink)

SummaryThe present paper attemps to demonstrate an analogy between the metascientific, i. e. epistemological, concepts of Niels Bohr and Jean Piaget. To make such a comparison possible a general model of an open circular process of acquiring knowledge is proposed including the following stages: generalization of a successful theory, origin of implicit assumptions, counter‐examples, disclosure of implicit and tacit assumptions ; attempts to eliminate counter‐examples, cul‐de‐sac, emergence of competing theories, explication of fundamental notions, distinction between narrower and broader theories. Parallelly, (...) historical exemplifications on each stage are given. Finally, the argument is advanced that scientific epistemology is only possible at the expense of re‐defining ≫science≪ in such a way that it would cease to be science in its strict classical sense on which the claim to this name has been based so far. (shrink)

The author has surveyed a quarter of the accredited undergraduate computer science programs in the United States. More than half of these programs offer a “social and ethical implications of computing” course taught by a computer science faculty member, and there appears to be a trend toward teaching ethics classes within computer science departments. Although the decision to create an “in house” computer ethics course may sometimes be a pragmatic response to pressure from (...) the accreditation agency, this paper argues that teaching ethics within a computer science department can provide students and faculty members with numerous benefits. The paper lists topics that can be covered in a computer ethics course and offers some practical suggestions for making the course successful. (shrink)

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2016, held in San Francisco, CA, USA, in July 2016. The 21 papers presented in this book were carefully reviewed and selected from 39 submissions. The papers address topics such as: Fundamentals; Quantum Cognition; Language and Applications; Contextuality and Foundations of Probability; and Quantum-Like Measurements.

I argue here for a number of ways that modern computational science requires a change in the way we represent the relationship between theory and applications. It requires a switch away from logical reconstruction of theories in order to take surface mathematical syntax seriously. In addition, syntactically different versions of the same theory have important differences for applications, and this shows that the semantic account of theories is inappropriate for some purposes. I also argue against formalist approaches in (...) the philosophy of science and for a greater role for perceptual knowledge rather than propositional knowledge in scientific empiricism. (shrink)

Alfred Tarski’s influence on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is Tarski’s work on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, model-theoretic preservation theorems, and algebraic logic; various connections of each with computer science are taken up.

Introduction: towards a dialogue of the theological and the computational -- What is digital theology? -- Why explore digital theology? -- How to research digital theology? -- What might the future of digital theology look like? -- Conclusion.

Analizar epistemológicamente los problemas de salud requiere incorporar la epistemología a los programas de posgrado en ciencias de la salud. Con el propósito de caracterizar los campos problemáticos que fundamenten el diseño de un programa académico para el curso de epistemología en ciencias de la salud se realizó un estudio con el enfoque de la hermenéutica gadameriana en tres etapas. El punto de partida expone la concepción de hombre, conocimiento y epistemología. El horizonte de comprensión se elaboró con tendencias epistemológicas (...) hegemónicas. La fusión de horizontes integró las características de los siguientes campos problemáticos: epistemología de las ciencias de la salud, lógica de las ciencias de la salud, tendencias epistemológicas en ciencias de la salud, problemas epistemológicos de las ciencias de la salud. Se concluye que los campos problemáticos descritos introducen al estudiante a la reflexión de su práctica científica mediante el análisis racional, axiológico y crítico. Analyzing health problems from an epistemological point of view requires epistemology to be included on health sciences postgraduate courses programs. Aimed at characterizing the problematic fields used as basis for the design of a health sciences epistemology academic program, a study with an approach to Gadamer hermeneutics in three stages was carried out. The starting point shows man, knowledge and epistemology conceptions. The comprehension horizon was made with epistemological-dominant trends. The horizons merge included characteristics from the following problematic fields: health sciences epistemology, health sciences logic, epistemological trends in health sciences, health sciences epistemological problems. It was reached the conclusion that the described problematic fields introduce students to their scientific practice reflection through a rational, axiological and critical analysis. (shrink)

The proliferation of digital data has been the impetus for the emergence of a new discipline for the study of social life: ‘computational social science’. Much research in this field is founded on the premise that society is a complex system with emergent structures that can be modeled or reconstructed through digital data. This paper suggests that computational social science serves practical and legitimizing functions for digital capitalism in much the same way that neoclassical economics does for neoliberalism. (...) In recognition of this homology, this paper develops a critique of the complexity perspective of computational social science and argues for a heterodox computational social science founded on the meta-theory of critical realism that is critical, methodological pluralist, interpretative and explanative. This implies diverting computational social science’ computational methods and digital data so as to not be aimed at identifying invariant laws of social life, or optimizing state and corporate practices, but to instead be used as part of broader research strategies to identify contingent patterns, develop conjunctural explanations, and propose qualitatively different ways of organizing social life. (shrink)

Cognitive science gives computational explanations of the brain. Philosophers have treated these explanations as if they simply claim that the brain computes. We have therefore assumed that to understand how and why computational explanation works, we must understand what it is to compute. In contrast, I argue that we can understand computational explanation by describing the resources it brings to bear on the study of the brain. Specifically, I argue that it introduces concepts and formalisms that complement cognitive (...) class='Hi'>science's modeling goals. This allows us to understand computational explanation without having to debate what it is to compute. (shrink)

Starting from the late Renaissance, efforts to make vocal music more expressive heightened the power of words, which, in turn, gave birth to the modern semantics of musical expression. As the skepticism of seventeenth-century science divorced the acoustic properties from the metaphysical qualities of music, the door was opened to dicern the rich links between musical perception and varied mental faculties. In Tuning the Mind, Ruth Katz and Ruth HaCohen trace how eighteenth century theoreticians of music examined anew (...) the role of the arts within a general theory of knowledge. As the authors note, the differences between the physical and emotional dimensions of music stimulated novel conceptions and empirical inquiries into the old aesthetic queries. Tracing this development, their opening chapter deals with seventeenth-century epistemological issues concerning the artistic qualities of music. Katz and HaCohen show that painting and literature displayed a comparable tendency toward "musicalization," whereby the dynamic of forms-the modalities specific to each artistic medium-rather than subject matter was believed to determine expression. Katz and HaCohen explore the ambiguities inherent in idealization of an art form whose mimetic function has always been problematic. They discuss the major outlines of this development, from Descartes to Vico through Condillac. Particular emphasis is placed on eighteenth-century British thinkers, from Shaftesbury to Adam Smith, who perceived these problems in their full complexity. They also explore how the French and the Germans dealt differently with questions that preoccupied the British, each nation in accordance with their own past tradition and tendencies. The concluding chapter summarizes the parallel development of abstract art and basic hypotheses concerning the mind and explores basic theoretical questions pertaining to the relationship between perception and cognition. In addressing some of the most complex problems in musical aesthetics, Katz and HaCohen provide a unique historical perspective on the ways their art creates and develops coherent worlds, and, in so doing, contribute to our understanding of the workings of the mind. Ruth Katz is Emanuel Alexandre Professor of Musicology at the Hebrew University in Jerusalem. She is co-editor with Carl Dahlhaus of Contemplating Music, a four-volume study of the philosophy of music. Ruth HaCohen is Clarica and Fred Davidson Senior Lecturer of Musicology at the Hebrew University. (shrink)

I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is a branch of, and is therefore subsumed by, immaterial formal logic.

This article connects recent work in formal epistemology to work in economics and computer science. Analysing the Dutch Book Arguments, Epistemic Utility Theory and Objective Bayesian Epistemology we discover that formal epistemologists employ the same argument structure as economists and computer scientists. Since similar approaches often have similar problems and have shared solutions, opportunities for cross-fertilisation abound.

Since the cognitive revolution, it has become commonplace that cognition involves both computation and information processing. Is this one claim or two? Is computation the same as information processing? The two terms are often used interchangeably, but this usage masks important differences. In this paper, we distinguish information processing from computation and examine some of their mutual relations, shedding light on the role each can play in a theory of cognition. We recommend that theorists of cognition be explicit and careful (...) in choosing notions of computation and information and connecting them together.Keywords: Computation; Information processing; Computationalism; Computational theory of mind; Cognitivism. (shrink)

This work locates the historical and conceptual foundations of cognitive science in the "commonsense" psychology of the philosopher Thomas Reid. I begin with Reid's attack on his rationalist and empiricist competitors of the 17th and 18th centuries. I then present his positive theory as a sophisticated faculty psychology appealing to innateness of mental structure. Reidian psychological faculties are equally trustworthy, causally independent mental powers, and I argue that they share nine distinct properties. This distinguishes Reidian 'intentionalism' from idealist 'representationalism,' (...) which derive cognitive content either from the inherited structure of faculties of from the occurrent structure of sensory activity. ;Next, I turn to consciousness and reflection for a contemporary Reidian response to traditional phenomenology. Unlike reflection, faculties of reason and remembrance are not causally mediated by consciousness. My interpretation of Reid is that 'Humean causation' of individual faculty structure accounts only for 'natural intentionality,' while 'efficient causation' of faculty interrelations accounts for cognitive 'personal intentionality.' ;I then proceed by adopting a form of computational description for reconstructing this view as a computational theory of mind. I contrast functional analyses in explanations of some capacities with computational and componential analyses in explanations of other, intentional capacities, in which some processes must be taken to semantically encode and govern the roles of others. This step reconstructs the Reidian notion of intentional operations as requiring an explanation of component faculties and their representation-governed interactions. I argue that properties of faculties delimiting these interactions under Reid's theory parallel those in Fodor's essay on the "modularity of mind," although the reasons given for individual criteria are often very different. Fodor also proposes a trichotomous mental structure, but I find that a third level of "central systems" is a myth engendered by causal information theory. Such an analysis cannot capture generalizations over the internal representation of semantic roles that determines the character of faculty relations. This requirement for any computational account of cognition is precisely the motivation for the reconstructed Reidian theory. Thus, it comports more favorably with the explanatory program constitutive of a computational cognitive science. (shrink)

Este artigo discute o uso de simulações de computador em Epistemologia(Epistemologia Computacional). O objetivo o artigo é fundamentar e discu-tir a ideia de uma Epistemologia Computacional, além de apresentar umexemplo de estudo nesse campo. Na Introdução, discuto as objeções maiscomuns aos métodos da Epistemologia Tradicional e à proposta de Quine deuma Epistemologia Naturalizada. Argumento que a Epistemologia Compu-tacional não está sujeita a nenhuma destas objeções. Na Seção 1, apresentouma revisão bibliográfica dos estudos em Epistemologia Computacional(tanto em Epistemologia individualista quanto em (...) Epistemologia Social) ediscuto a estrutura geral destes estudos. Na Seção 2, apresento alguns resul-tados de um estudo em Epistemologia Computacional que realizei em minha tese de doutorado. -/- ENGLISH: This paper is about the use of computer simulations in Epistemology (Com- putational Epistemology). The goal of the paper is to ground and discuss theidea of a Computational Epistemology, and to present an example of studyin this field. In the Introduction, I discuss the most common objections tothe methods of Traditional Epistemology and to Quine’s Naturalized Episte-mology. I argue that Computation Epistemology is not subject to any of the-se objections. In Section 1, I review the literature on Computational Episte-mology (both in individualistic Epistemology and in Social Epistemology)and discuss the general structure of these studies. In Section 2, I presentsome results of my PhD dissertation on Computational Epistemology. (shrink)