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)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...) reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

WoLLIC'2006 was held at the Center for the Study of Language and Information , Stanford University, USA, from July 18th to 21st, 2006. WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete (...) and useful interaction among participants. Previous versions were held at: Recife in 1994 and 1995; Salvador in 1996; Fortaleza in 1997; São Paulo in 1998; Itatiaia in 1999; Natal in 2000; Brasília in 2001; Rio de Janeiro in 2002; Ouro Preto in 2003; Fontainebleau in 2004; Florianópolis in 2005. It is planned that in 2007 it will be held in Rio de Janeiro, 2008 in Edinburgh , and 2009 in Japan . Scientific sponsorship comes from the Interest Group in Pure and Applied Logics , the European Association for Logic, Language and Information , the Association for Symbolic Logic , European Association for Theoretical Computer Science , the Sociedade Brasileira de Computação , and the Sociedade Brasileira de Lógica . Funding was kindly given by: The Tinker Foundation; The Office of the Provost, Stanford University; Center for the Study of Language and Information, Stanford University; Department of Philosophy, Stanford University; Department of Mathematics, Stanford University; Symbolic Systems Program, Stanford University. Contributions were received in the form of short papers in all areas related to logic, language, information and computation, including: context and situation theory; …. (shrink)

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- (...) Resolution;- Hoare logic;- Z;- Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. (shrink)

Within the Computer Science community, many ethical issues have emerged as significant and critical concerns. Computer ethics is an academic field in its own right and there are unique ethical issues associated with information technology. It encompasses a range of issues and concerns including privacy and agency around personal information, Artificial Intelligence and pervasive technology, the Internet of Things and surveillance applications. As computing technology impacts society at an ever growing pace, there are growing calls for more (...) computer ethics content to be included in Computer Science curricula. In this paper we present the results of a survey that polled faculty from Computer Science and related disciplines about teaching practices for computer ethics at their institutions. The survey was completed by respondents from 61 universities across 23 European countries. Participants were surveyed on whether or not computer ethics is taught to Computer Science students at each institution, the reasons why computer ethics is or is not taught, how computer ethics is taught, the background of staff who teach computer ethics and the scope of computer ethics curricula. This paper presents and discusses the results of the survey. (shrink)

Computer science only became established as a field in the 1950s, growing out of theoretical and practical research begun in the previous two decades. The field has exhibited immense creativity, ranging from innovative hardware such as the early mainframes to software breakthroughs such as programming languages and the Internet. Martin Gardner worried that "it would be a sad day if human beings, adjusting to the Computer Revolution, became so intellectually lazy that they lost their power of (...) creative thinking" (Gardner, 1978, p. vi-viii). On the contrary, computers and the theory of computation have provided great opportunities for creative work. This chapter examines several key aspects of creativity in computer science, beginning with the question of how problems arise in computer science. We then discuss the use of analogies in solving key problems in the history of computer science. Our discussion in these sections is based on historical examples, but the following sections discuss the nature of creativity using information from a contemporary source, a set of interviews with practicing computer scientists collected by the Association of Computing Machinery’s on-line student magazine, Crossroads. We then provide a general comparison of creativity in computer science and in the natural sciences. (shrink)

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of (...) Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ́ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ and ‘Parametrized Complexity’ – were given on the previous day. (shrink)

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...) updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

In the popular imagination, the relevance of Turing's theoretical ideas to people producing actual machines was significant and appreciated by everybody involved in computing from the moment he published his 1936 paper ‘On Computable Numbers’. Careful historians are aware that this popular conception is deeply misleading. We know from previous work by Campbell-Kelly, Aspray, Akera, Olley, Priestley, Daylight, Mounier-Kuhn, Haigh, and others that several computing pioneers, including Aiken, Eckert, Mauchly, and Zuse, did not depend on Turing's 1936 universal-machine concept. (...) Furthermore, it is not clear whether any substance in von Neumann's celebrated 1945 ‘First Draft Report on the EDVAC’ is influenced in any identifiable way by Turing's work. This raises the questions: When does Turing enter the field? Why did the Association for Computing Machinery honor Turing by associating his name to ACM's most prestigious award, the Turing Award? Previous authors have.. (shrink)

European Computing and Philosophy conference, 2–4 July Barcelona The Seventh ECAP (European Computing and Philosophy) conference was organized by Jordi Vallverdu at Autonomous University of Barcelona. The conference started with the IACAP (The International Association for CAP) presidential address by Luciano Floridi, focusing on mechanisms of knowledge production in informational networks. The first keynote delivered by Klaus Mainzer made a frame for the rest of the conference, by elucidating the fundamental role of complexity of informational structures that (...) can be analyzed on different levels of organization giving place for variety of possible approaches which converge in this cross-disciplinary and multi-disciplinary research field. Keynotes by Kevin Warwick about re-embodiment of rats’ neurons into robots, Raymond Turner on syntax and semantics in programming languages, Roderic Guigo on Biocomputing Sciences and Francesco Subirada on the past and future of supercomputing presented different topics of philosophical as well as practical aspects of computing. Vonference tracks included: Philosophy of Information (Patrick Allo), Philosophy of Computer Science (Raymond Turner), Computer and Information Ethics (Johnny Søraker and Alison Adam), Computational Approaches to the Mind (Ruth Hagengruber), IT and Cultural Diversity (Jutta Weber and Charles Ess), Crossroads (David Casacuberta), Robotics, AI & Ambient Intelligence (Thomas Roth-Berghofer), Biocomputing, Evolutionary and Complex Systems (Gordana Dodig Crnkovic and Søren Brier), E-learning, E-science and Computer-Supported Cooperative Work (Annamaria Carusi) and Technological Singularity and Acceleration Studies (Amnon Eden). (shrink)

Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing (...) “context-free” grammar formalisms for string and tree languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. in Theor Comput Sci 88:191–229, 1991) or linear context-free rewriting systems (Weir in Characterizing mildly context-sensitive grammar formalisms, University of Pennsylvania, 1988). In this paper, we give a simple, direct proof of the fact that second-order ACGs are simulated by hyperedge replacement grammars, which implies that the string and tree generating power of the former is included in that of the latter. The normal form for tree-generating hyperedge replacement grammars given by Engelfriet and Maneth (Graph transformation. Lecture notes in computer science, vol 1764. Springer, Berlin, pp 15–29, 2000) can then be used to show that the tree generating power of second-order ACGs is exactly the same as that of hyperedge replacement grammars. (shrink)

Bernard Stiegler’s theoretical and practical Internation Project called for a refoundation of theoretical computer science that would also put the fact of exchange back at the centre of the conceptualization and organization of the economy. This can be interpreted as a call to critique a form of capitalism that has arisen over the past 70 years through an ideology via which ‘information’ conjoins computation and economics into what becomes an absolute market. But another history of exchange (...) unfolds contemporaneously with this ideology: that pursued in responses to Marcel Mauss’s anthropology of the gift, by Claude Lévi-Strauss, Georges Bataille and Maurice Godelier, among others. Stiegler’s ‘neganthropology’ equally responds to and is informed by this other history of the fact of exchange but, by looking at these works more closely, it may be possible to pursue Stiegler’s project in fields such as kinship and sexuality, which were not his direct concern. (shrink)

In this essay, I examine the notion of a nondeterministic algorithm from both a conceptual and historical point of view. I argue that the intuitions underwriting nondeterminism in the context of contemporary theoretical computer science cannot be reconciled with the intuitions that originally motivated nondeterminism. I identify four different intuitions about nondeterminism: nondeterminism as evidence for the Church Turing thesis; nondeterminism as a natural reflection of the mathematician's behavior; nondeterminism as a formal, mathematical generalization; and nondeterminism as (...) a physical process. I shall argue that there are irreconcilable tensions among these intuitions and, moreover, that these tensions have not been acknowledged in the conceptual development of theoretical computer science. In fact, a careful review of the received history reveals a number of gaps and discontinuities. For instance, I examine the seminal writings of Turing and argue that the formal introduction of the nondeterminism is to be found there and not, as is often supposed, in the research of the late 1950s and early 1960s. I also examine the period after 1960 and argue that even the more recent developments concerning nondeterminism are hard to reconstruct. ;Although I firmly believe that a rigorous philosophical account of nondeterminism is needed, I am not sure that such an account will bring us any closer to a solution to any of the notoriously difficult theoretical problems that turn on the notion of a nondeterministic algorithm. I do believe, however, that a clear conceptual account of nondeterminism will shed light on many long-standing philosophical problems. I conclude by pointing to a number of philosophical questions that resonate with issues raised by the foregoing investigation of nondeterministic algorithms. (shrink)

Computer simulation is shown to be philosophically interesting because it introduces a qualitatively new methodology for theory construction in science different from the conventional two components of "theory" and "experiment and/or observation". This component is "experimentation with theoretical models." Two examples from the physical sciences are presented for the purpose of demonstration but it is claimed that the biological and social sciences permit similar theoretical model experiments. Furthermore, computer simulation permits theoretical models for the (...) evolution of physical systems which use cellular automata rather than differential equations as their syntax. The great advantages of the former are indicated. (shrink)

Prospect Theory: For Risk and Ambiguity, provides a comprehensive and accessible textbook treatment of the way decisions are made both when we have the statistical probabilities associated with uncertain future events and when we lack them. The book presents models, primarily prospect theory, that are both tractable and psychologically realistic. A method of presentation is chosen that makes the empirical meaning of each theoretical model completely transparent. Prospect theory has many applications in a wide variety of disciplines. The material (...) in the book has been carefully organized to allow readers to select pathways through the book relevant to their own interests. With numerous exercises and worked examples, the book is ideally suited to the needs of students taking courses in decision theory in economics, mathematics, finance, psychology, management science, health, computer science, Bayesian statistics, and engineering. (shrink)

The central claim of this paper is that computer simulation provides (though not exclusively) a qualitatively new and different methodology for the physical sciences, and that this methodology lies somewhere intermediate between traditional theoretical physical science and its empirical methods of experimentation and observation. In many cases it involves a new syntax which gradually replaces the old, and it involves theoretical model experimentation in a qualitatively new and interesting way. Scientific activity has thus reached a new (...) milestone somewhat comparable to the milestones that started the empirical approach (Galileo) and the deterministic mathematical approach to dynamics (the old syntax of Newton and Laplace). Computer simulation is consequently of considerable philosophical interest. In view of further technical developments in the near future, computer experts suggest that we are at present only at the very beginning of this new era. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in (...) human reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

Writings, including articles, letters, and unpublished work, by one of the twentieth century's most influential figures in mathematical logic and philosophy. Alonzo Church's long and distinguished career in mathematics and philosophy can be traced through his influential and wide-ranging writings. Church published his first article as an undergraduate at Princeton in 1924 and his last shortly before his death in 1995. This volume collects all of his published articles, many of his reviews, his monograph The Calculi of Lambda-Conversion, the introduction (...) to his important and authoritative textbook Introduction to Mathematical Logic, a substantial amount of previously unpublished work (including chapters for the unfinished second volume of Introduction to Mathematical Logic), and a selection of letters to such correspondents as Rudolf Carnap and W. V. O. Quine. With the exception of the reviews, letters, and unpublished work, these appear in chronological order, for the most part in the format in which they were originally published. Church's work in calculability, especially the monograph on the lambda-calculus, helped lay the foundation for theoretical computer science; it attracted the interest of Alan Turing, who later completed his PhD under Church's supervision. (Church coined the term “Turing machine” in a review.) Church's influential textbook, still in print, defined the field of mathematical logic for a generation of logicians. In addition, his close connection with the Association for Symbolic Logic and his many years as review editor for the Journal of Symbolic Logic are documented in the reviews included here. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second (...) recursion theorem, I prove that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

This paper presents an in-depth study and analysis of the emotional classification of EEG neurofeedback interactive electronic music compositions using a multi-brain collaborative brain-computer interface. Based on previous research, this paper explores the design and performance of sound visualization in an interactive format from the perspective of visual performance design and the psychology of participating users with the help of knowledge from various disciplines such as psychology, acoustics, aesthetics, neurophysiology, and computer science. This paper proposes a specific (...) mapping model for the conversion of sound to visual expression based on people’s perception and aesthetics of sound based on the phenomenon of audiovisual association, which provides a theoretical basis for the subsequent research. Based on the mapping transformation pattern between audio and visual, this paper investigates the realization path of interactive sound visualization, the visual expression form and its formal composition, and the aesthetic style, and forms a design expression method for the visualization of interactive sound, to benefit the practice of interactive sound visualization. In response to the problem of neglecting the real-time and dynamic nature of the brain in traditional brain network research, dynamic brain networks proposed for analyzing the EEG signals induced by long-time music appreciation. During prolonged music appreciation, the connectivity of the brain changes continuously. We used mutual information on different frequency bands of EEG signals to construct dynamic brain networks, observe changes in brain networks over time and use them for emotion recognition. We used the brain network for emotion classification and achieved an emotion recognition rate of 67.3% under four classifications, exceeding the highest recognition rate available. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but (...) have been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

An homage to the men and women of science, and an exposition of Einstein's place in scientific history In this fascinating collection of articles and speeches, Albert Einstein reflects not only on the scientific method at work in his own theoretical discoveries, but also eloquently expresses a great appreciation for his scientific contemporaries and forefathers, including Johannes Kepler, Isaac Newton, James Clerk Maxwell, Max Planck, and Niels Bohr. While Einstein is renowned as one of the foremost innovators of (...) modern science, his discoveries uniquely his own, through his own words it becomes clear that he viewed himself as only the most recent in a long line of scientists driven to create new ways of understanding the world and to prove their scientific theories. Einstein's thoughtful examinations explain the "how" of scientific innovations both in his own theoretical work and in the scientific method established by those who came before him. This authorized Philosophical Library book features a new introduction by Neil Berger, PhD, and an illustrated biography of Albert Einstein, which includes rare photos and never-before-seen documents from the Albert Einstein Archives at the Hebrew University of Jerusalem. "What place does the theoretical physicist's picture of the world occupy among all these possible pictures? It demands the highest possible standard of rigorous precision in the description of relations, such as only the use of mathematical language can give" -Albert Einstein, "Principles of Research" Albert Einstein (1879-1955) was born in Germany and became an American citizen in 1934. A world-famous theoretical physicist, he was awarded the 1921 Nobel Prize for Physics and is renowned for his Theory of Relativity. In addition to his scientific work, Einstein was an influential humanist who spoke widely about politics, ethics, and social causes. After leaving Europe, Einstein taught at Princeton University. His theories were instrumental in shaping the atomic age. Neil Berger, an associate professor emeritus of mathematics, taught at the University of Illinois at Chicago in the Mathematics, Statistics, and Computer Science department from 1968 until his retirement in 2001. He was the recipient of the first Monroe H. Martin Prize (1975), which is now awarded by the University of Maryland every five years for a singly authored outstanding applied mathematics research paper. He has published numerous papers and reviews in his fields of expertise, which include elasticity, tensor analysis, scattering theory, and fluid mechanics. (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)

The European Summer Schools in Logic, Language and Information (ESSLLI) have been organised every year since 1989 under the auspices of the Association for Logic, Language and Information (FoLLI) in different cities around Europe. The 24th European Summer School in Logic, Language and Information (ESSLLI 2012) took place at the University of Opole, Poland, during August 6-17, 2012. The organisation committee was chaired by Janusz Czelakowski and Urszula Wybraniec-Skardowska (Institute of Mathematics and Informatics, University of Opole) and (...) the programme committee was chaired by Andreas Herzig (University of Toulouse and CNRS). During two weeks, over 340 participants from 36 countries were offered a rich academic program of their choice from 9 foundational, 16 introductory and 17 advanced courses and 6 workshops. Just as in the previous years, the 17th conference on Formal Grammar collocated with ESSLLI. Besides the regular courses, a traditional highlight of the summer school were the 4 evening lectures by distinguished academics: - Johan van Benthem (Institute for Logic, Language & Computation (ILLC), Amsterdam and Department of Philosophy, Stanford University), "Computation as Agency''; - Melvin Fitting (Department of Mathematics and Computer Science, City University of New York), "Reasoning About Games''; - Jonathan Ginzburg (UFR Études anglophones, Université Paris-Diderot (Paris 7)), "False starts, jokes, and music:semantics in the 21st century''; - Adam Przepiórkowski (Institute of Computer Science, Polish Academy of Sciences, Warsaw), "Secret life of corpora''. Another traditional event was the student session, organised by a student programme committee chaired by Rasmus K. Rendsvig (University of Copenhagen): master and doctoral students presented 16 papers and 5 posters, and Michał Zawidzki obtained the best paper award and Raul Fervari obtained the best poster award. Moreover, the Beth Dissertation Prizes were announced at the FoLLI General Meeting and went to Andreas Kapsner (University of Barcelona) and Daniel R. Licata (Carnegie Mellon University). Apart from the busy academic programme, participants of the summer school were offered an exciting social program as well. In addition to the traditional ESSLLI Party and the famous Students vs. Lecturers Soccer Match (also called `Johan van Benthem Cup'), kayaking, and excursions to Kraków and Wrocław were offered. -/- . (shrink)

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed (...) and interested nonspecialist. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Preface: Virtual Entities in ScienceRobert Harlander, Jean-Philippe Martinez, Friedrich Steinle, and Adrian WüthrichIt is not only since the sudden increase of online communication due to the COVID-19 situation that the concept of the “virtual” has made its way into everyday language. In this context, it mostly denotes a digital substitute for a real object or process. Virtual reality is perhaps the best-known term in this respect. With these digital (...) connotations, “virtuality” has also been used in science and research: Chemists use virtual laboratories, biologists do virtual scanning of molecular structures, and geologists engage in virtual field trips. But the concept of the virtual has a much longer tradition, dating back to long before the dawn of the digital age. Virtual images and virtual displacements were introduced in classical physics already in the late seventeenth and eighteenth centuries, respectively. They represent auxiliary objects or processes without instantiation, with the purpose of efficiently describing specific physical systems. In today’s physics, the term “virtual” is mostly associated with the quantum world, first and foremost with the “virtual particle” of quantum field theory. It has become such an integral part of modern high energy physics that its ontological character may be considered to go beyond the purely auxiliary, which is typically associated with the virtual. [End Page 263]In other disciplines, however, use of the term virtual without a digital connotation is much rarer. While concepts like “virtual adrenaline” show up in physiological research around 1940s, and Charles Darwin, in a private note in January 1840,1 spoke of “virtual change” in the context of embryology, these examples seem to be singular occurrences of entities that were explicitly called “virtual.” The basic idea behind the terminology of the virtual, however, might be much more common, even outside of physics. The “invisible hand” in economics, or the “vital force” in biology, for instance, may carry aspects of a virtual entity, even if they have not been referred to that way.These different observations raise several questions about the status of virtual entities in science. What has led scientists to call one entity “virtual” and not another? Do all virtual entities in science have the same roots and meet the same characteristics? Are they more than auxiliary objects or processes? Why does physics seem to occupy a specific position with respect to the use of the notion of virtuality? These are some points that led us to discuss virtual entities in science during a workshop, out of which grew the present collection. We invited contributions that addressed the historical formation and philosophical interpretation of concepts of virtual entities in physics and other disciplines—in whatever terms they may come. The main goal of the workshop was to bring to the fore similarities and differences in the meanings and functions of these concepts, so as to be able to precisely characterize why certain entities are considered virtual in specific contexts, why a different terminology was often used in each individual case, and in what sense the virtual entities relate to the real world.The organization of the workshop was part of our project “The formation and development of the concept of virtual particles,” a subproject of the Research Unit “The Epistemology of the Large Hadron Collider,” funded by the Deutsche Forschungsgemeinschaft (DFG) and Der Wissenschaftsfonds (FWF). The workshop took place online on four consecutive Fridays in March 2021. It brought together contributors who discussed the role of the concept of the virtual in theoretical as well as experimental activities, and investigated into the origins of the terminology of the virtual as it was applied to the various disciplines of natural science. Dealing with historical, philosophical, but also methodological questions, the presentations covered a wide time range, from the Middle Ages to the present day. While physics naturally emerged as the dominant field, natural philosophy, computer science and biology were also addressed. The papers in this volume were contributed by participants in this workshop and approach the subject from different angles. [End Page 264]First, Friedrich Steinle provides us with an introductory piece that reflects on the specific meaning of the use of the term ‘virtual’ in science. He highlights and... (shrink)

In the technical literature of computer science, the concept of an effective procedure is closely associated with the notion of an instruction that precisely specifies an action. Turing machine instructions are held up as providing paragons of instructions that "precisely describe" or "well define" the actions they prescribe. Numerical algorithms and computer programs are judged effective just insofar as they are thought to be translatable into Turing machine programs. Nontechnical procedures (e.g., recipes, methods) are summarily dismissed as (...) ineffective on the grounds that their instructions lack the requisite precision. But despite the pivotal role played by the notion of a precisely specified instruction in classifying procedures as effective and ineffective, little attention has been paid to the manner in which instructions "precisely specify" the actions they prescribe. It is the purpose of this paper to remedy this defect. The results are startling. The reputed exemplary precision of Turing machine instructions turns out to be a myth. Indeed, the most precise specifications of action are provided not by the procedures of theoretical computer science and mathematics (algorithms) but rather by the nontechnical procedures of everyday life. I close with a discussion of some of the rumifications of these conclusions for understanding and designing concrete computers and their programming languages. (shrink)

In accordance with current philosophical opinions, four classical and one more recently proposed types of methods frequently used in theoretical natural science are specified here together with the corresponding sources of inspiration. More precisely, abstract models, thought experiments, mathematical hypotheses and metaphors are dealt with here as classical types of methods, whereas hybrids of mathematical hypotheses and thought experiments represent more recent methodic group. In addition, this paper describes the relationships of the introduced types of methods to the (...) (i) three-floor hierarchy of scientific theories, (ii) examples of ancient or recent discoveries and (iii) recent usage of computers. (shrink)

Context: Our body schema is not restricted to biological body boundaries (such as the skin), as can be seen in the use of a cane by a person who is visually impaired or the “rubber hands” experiment. The tool becomes a part of the body schema when the focus of our attention is shifted from the tool to the task to be performed. Problem: A body schema is formed through interactions among brain, body, tool, and environment. Nevertheless, the dynamic mechanisms (...) underlying changes in the body schema are still not fully understood. Method: To study the changing conditions of the body schema (e.g., a shift of attention), a simulation model of object discrimination was extended to differentiate between two kinds of sensitivities – sensitivity to an object being directly manipulated and sensitivity to another object being manipulated by the first. The proposed model consisted of windmills with different numbers of vanes. A model agent was required to determine the number of vanes on a windmill by touching the vanes blindly with an arm controlled by a neural network. Placing a second windmill beside the first and gearing the two windmills to move associatively resulted in the agent using the first windmill as a tool with which to discern the number of vanes on the second windmill. In other words, an agent’s body schema can shift from its arm tip to the boundary between the first and second windmills. We then introduced an experiment with a real windmill model to test the hypothesis demonstrated by the theoretical model. Results: We demonstrated that even simple computational agents can have two different sensitivities to the windmills. One agent becomes sensitive to the first windmill and insensitive to the second one. Another agent becomes insensitive to the first windmill and sensitive to the second one by using the first one as a tool. Therefore, we concluded that the boundary of the body schema was extended to the first windmill in the case of the latter agent because paying attention to the task to be performed instead of the tool itself is essential for the tool to be considered as part of the body schema. Analysis of the experiments using a computational model and human experimentation revealed that a shift from an irregular to a regular movement of a windmill is an indication of extension of the body schema. Constructivist content: Our insights are beneficial for enactive cognitive science. This is because an extended body schema questions the Cartesian separation between subject and object, and the self and the environment. (shrink)

The paper deals with some conceptual trends in the philosophy of science of the 1980‒90s, which being evolved simultaneously with the computer revolution, make room for treating it as a revolution in mathematics. The immense and widespread popularity of Thomas Kuhn’s theory of scientific revolutions had made a demand for overcoming this theory, at least in some aspects, just inevitable. Two of such aspects are brought into focus in this paper. Firstly, it is the shift from theoretical (...) to instrumental revolutions which are sometimes called “Galisonian revolutions” after Peter Galison. Secondly, it is the shift from local (“little”) to global (“big”) scientific revolutions now connected with the name of Ian Hacking; such global, transdisciplinary revolutions are at times called “Hacking-type revolutions”. The computer revolution provides a typical example of both global and instrumental revolutions. That change of accents in the post-Kuhnian perspective on scientific revolutions was closely correlated with the general tendency to treat science as far more pluralistic and transdisciplinary. That tendency is primarily associated with the so-called Stanford School; Peter Galison and Ian Hacking are often seen as its representatives. In particular, that new image of science gave no support to a clear-cut separation of mathematics from other sciences. Moreover, it has formed prerequisites for the recognition of material and technical revolutions in the history of mathematics. Especially, the computer revolution can be considered in the new framework as a revolution in mathematics par excellence. (shrink)

The use of information technology in linguistic research gave rise in the 1950s to what is known as Natural Language Processing, but that framework was created without paying due attention to the need for logical reconstruction of linguistic concepts which were borrowed directly from barely formalised structural linguistics. The Computer-aided Acquisition of Semantic Knowledge project based on the Knowledge Discovery in Databases technology enabled us to interact with computers while gathering and improving our knowledge about languages. Thus, with the (...) help of data mining tools, as a result of revisiting two sorts of generally admitted linguistic theories, we succeeded in improving these local linguistic approaches by proposing to unify the Associative Semantics theory with the Meta-Informative Centering theory. The resulting Distributed Grammar program treats, in addition to the above types of information, the third one, para-information which – despite many studies – had no uniform theoretical background in general linguistics. This DG program aims to lay the foundations for creating the theoretical background of Conceptual Linguistics. (shrink)

Cognitive science continues to make a compelling case for having a coherent, unique, and fundamental subject of inquiry: What is the nature of minds, where do they come from, and how do they work? Central to this inquiry is the notion of agents that have goals, one of which is their own persistence, who use dynamically constructed knowledge to act in the world to achieve those goals. An agentive perspective explains why a special class of systems have a cluster (...) of co‐occurring capacities that enable them to exhibit adaptive behavior in a complex environment: perception, attention, memory, representation, planning, and communication. As an intellectual endeavor, cognitive science may not have achieved a hard core of uncontested assumptions that Lakatos (1978) identifies as emblematic of a successful research program, but there are alternative conceptions according to which cognitive science has been successful. First, challenges of the early, core tenet of “Mind as Computation” have helped put cognitive science on a stronger foundation—one that incorporates relations between minds and their environments. Second, even if a full cross‐disciplinary theoretic consensus is elusive, cognitive science can inspire distant, deep, and transformative connections between pairs of fields. To be intellectually vital, cognitive science need not resemble a traditional discipline with its associated insularity and unchallenged assumptions. Instead, there is strength and resilience in the diverse perspectives and methods that cognitive science assembles together. This interdisciplinary enterprise is fragile and perhaps inherently unstable, as the looming absorption of cognitive science into psychology shows. Still, for many researchers, the excitement and benefits of triangulating on the nature of minds by integrating diverse cases cannot be secured by a stable discipline with an uncontested core of assumptions. (shrink)

In the study of nonmonotonic reasoning the main emphasis has been on static (declarative) aspects. Only recently has there been interest in the dynamic aspects of reasoning processes, particularly in artificial intelligence. We study the dynamics of reasoning processes by using a temporal logic to specify them and to reason about their properties, just as is common in theoretical computer science. This logic is composed of a base temporal epistemic logic with a preference relation on models, and (...) an associated nonmonotonic inference relation, in the style of Shoham, to account for the nonmonotonicity. We present an axiomatic proof system for the base logic and study decidability and complexity for both the base logic and the nonmonotonic inference relation based on it. Then we look at an interesting class of formulas, prove a representation result for it, and provide a link with the rule of monotonicity. (shrink)

Inspired by recent developments in science studies, this book offers an innovative type of analysis of the recent history of rational expectations economics. In the course of exploring the multiple dimensions of rational expectations analysis, Professor Sent focuses on the work of Thomas Sargent, an instrumental pioneer in the development of this school of thought. The investigation attempts to avoid a Whiggish history that sees Sargent's development as inevitably progressing to better and better economic analysis. Instead, it provides an (...) illustration of what happened to the approach through a contextualization of Sargent's work vis-á-vis that of other scholars and ideas. The treatment aims to illuminate some of the shifting negotiations and alliances that characterize the rise and shift of direction in rational expectations economics. The Evolving Rationality of Rational Expectations won the 1998 Gunnar Myrdal Prize of the European Association for Evolutionary Political Economy for the best monograph on a theme broadly in accord with the EAEPE Theoretical Perspectives. (shrink)