Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important (...) issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management. (shrink)

Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...) language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Godel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.". (shrink)

J. M. E. McTaggart famously divided time into two time series, which he entitled A-series and B-series. Although he was proponent of neither of them, his division initiated a discussion as to which of the series is prior or real. This paper follows Clifford Williams’s claim that these series are not as distant as their proponents argue they are. It demonstrates their translatability in the case of examples from temporal logic and natural language. It argues that, if there are (...) any deep-rooted differences between these two series, they are only metaphysical. These metaphysical differences could be overcome by focusing on logic or natural language. These two series of time are also used in computer science and in the development of Artificial Intelligence. However, no attempt at unifying them has been suggested in these fields of study. J. M. E. McTaggart rozdělil čas na dvě časové série, A-série a B-série. Třebaže nebyl zastáncem žádné z nich, jeho rozdělení podnítilo diskuzi, která z těchto časových sérií je přednější nebo jediná skutečně reálná. Tento článek navazuje na názor Clifforda Williamse, že tyto časové série nejsou tak rozdílné, jak tvrdí jejich zastánci. V článku je demonstrována jejich přeložitelnost na příkladech z temporální logiky a přirozeného jazyka. Článek dále tvrdí, že jestliže je zde nějaký hluboce zakořeněný rozdíl mezi těmito dvěma sériemi, pak je pouze metafyzický. Tyto metafyzické rozdíly mohou být překonány, zaměříme-li se na logiku a přirozený jazyk. Tyto dvě časové série jsou také použity v informatice a rozvoji umělé inteligence, třebaže v těchto oborech dosud nebyly navrženy žádné pokusy o jejich propojení. (shrink)

This interdisciplinary new work explores one of the central theoretical problems in linguistics: learnability. The authors, from different backgrounds---linguistics, philosophy, computer science, psychology and cognitive science-explore the idea that language acquisition proceeds through general purpose learning mechanisms, an approach that is broadly empiricist both methodologically and psychologically. Written by four researchers in the full range of relevant fields: linguistics, psychology, computer science, and cognitive science, the book sheds light on the central problems of (...) learnability and language, and traces their implications for key questions of theoretical linguistics and the study of language acquisition. (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.

Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also (...) consider Floridi's structural account of reality and its fit for describing abstract computational worlds. Being abstract, such worlds are products of programmers' creative imaginations, so any "laws" in these worlds are easily broken. The worlds of computational objects need laws in the form of self-prescribed invariants, but the suspension of these laws might be creative acts. Bending the rules of abstract reality facilitates algorithm design, as we demonstrate through the example of search trees. (shrink)

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.

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)

Dialogue theory, although it has ancient roots, was put forward in the 1970s in logic as astructure that can be useful for helping to evaluate argumentation and informal fallacies.Recently, however, it has been taken up as a broader subject of investigation in computerscience. This paper surveys both the historical and philosophical background of dialoguetheory and the latest research initiatives on dialogue theory in computer science. The main components of dialogue theory are briefly explained. Included is a classification of (...) the main types of dialogue that, it is argued, should provide the central focus for studying many important dialogue contexts in specific cases. Following these three surveys, a concluding prediction is made about the direction dialogue theory is likely to take in the next century, especially in relation to the growing field of communication studies. (shrink)

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

Extract from Hofstadter's revew in Bulletin of American Mathematical Society : http://www.ams.org/journals/bull/1980-02-02/S0273-0979-1980-14752-7/S0273-0979-1980-14752-7.pdf -/- "Aaron Sloman is a man who is convinced that most philosophers and many other students of mind are in dire need of being convinced that there has been a revolution in that field happening right under their noses, and that they had better quickly inform themselves. The revolution is called "Artificial Intelligence" (Al)-and Sloman attempts to impart to others the "enlighten- ment" which he clearly regrets not having (...) experienced earlier himself. Being somewhat of a convert, Sloman is a zealous campaigner for his point of view. Now a Reader in Cognitive Science at Sussex, he began his academic career in more orthodox philosophy and, by exposure to linguistics and AI, came to feel that all approaches to mind which ignore AI are missing the boat. I agree with him, and I am glad that he has written this provocative book. The tone of Sloman's book can be gotten across by this quotation (p. 5): "I am prepared to go so far as to say that within a few years, if there remain any philosophers who are not familiar with some of the main developments in artificial intelligence, it will be fair to accuse them of professional incom- petence, and that to teach courses in philosophy of mind, epistemology, aesthetics, philosophy of science, philosophy of language, ethics, metaphysics, and other main areas of philosophy, without discussing the relevant aspects of artificial intelligence will be as irresponsible as giving a degree course in physics which includes no quantum theory." -/- (The author now regrets the extreme polemical tone of the book.). (shrink)

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such (...) as Kazimierz Ajdukiewicz. Around 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

A number of recent discussions comparing computer simulation and traditional experimentation have focused on the significance of “materiality.” I challenge several claims emerging from this work and suggest that computer simulation studies are material experiments in a straightforward sense. After discussing some of the implications of this material status for the epistemology of computer simulation, I consider the extent to which materiality (in a particular sense) is important when it comes to making justified inferences about target systems (...) on the basis of experimental results. (shrink)

Types now play an essential role in computer science; their ascent originates from Principia Mathematica. Type checking and type inference algorithms are used to prevent semantic errors in programs, and type theories are the native language of several major interactive theorem provers. Some of these trace key features back to Principia.

A set theory model of reality, representation and language based on the relation of completeness and incompleteness is explored. The problem of completeness of mathematics is linked to its counterpart in quantum mechanics. That model includes two Peano arithmetics or Turing machines independent of each other. The complex Hilbert space underlying quantum mechanics as the base of its mathematical formalism is interpreted as a generalization of Peano arithmetic: It is a doubled infinite set of doubled Peano arithmetics having a (...) remarkable symmetry to the axiom of choice. The quantity of information is interpreted as the number of elementary choices (bits). Quantum information is seen as the generalization of information to infinite sets or series. The equivalence of that model to a quantum computer is demonstrated. The condition for the Turing machines to be independent of each other is reduced to the state of Nash equilibrium between them. Two relative models of language as game in the sense of game theory and as ontology of metaphors (all mappings, which are not one-to-one, i.e. not representations of reality in a formal sense) are deduced. (shrink)

It is well known that AI-based language technology—large language models, machine translation systems, multilingual dictionaries, and corpora—is currently limited to three percent of the world’s most widely spoken, financially and politically backed languages. In response, recent efforts have sought to address the “digital language divide” by extending the reach of large language models to “underserved languages.” We show how some of these efforts tend to produce flawed solutions that adhere to a hard-wired representational preference for certain (...) languages, which we call language modeling bias. Language modeling bias is a specific and under-studied form of linguistic bias were language technology by design favors certain languages, dialects, or sociolects with respect to others. We show that language modeling bias can result in systems that, while being precise regarding languages and cultures of dominant powers, are limited in the expression of socio-culturally relevant notions of other communities. We further argue that at the root of this problem lies a systematic tendency of technology developer communities to apply a simplistic understanding of diversity which does not do justice to the more profound differences that languages, and ultimately the communities that speak them, embody. Drawing on the concept of epistemic injustice, we point to the broader ethico-political implications and show how it can lead not only to a disregard for valuable aspects of diversity but also to an under-representation of the needs of marginalized language communities. Finally, we present an alternative socio-technical approach that is designed to tackle some of the analyzed problems. (shrink)

In 1960, E. P. Wigner, a joint winner of the 1963 Nobel Prize for Physics, published a paper titled On the Unreasonable Effectiveness of Mathematics in the Natural Sciences [61]. This paper can be construed as an examination and affirmation of Galileo's tenet that “The book of nature is written in the language of mathematics”. To this effect, Wigner presented a large number of examples that demonstrate the effectiveness of mathematics in accurately describing physical phenomena. Wigner viewed these examples (...) as illustrations of what he called the empirical law of epistemology, which asserts that the mathematical formulation of the laws of nature is both appropriate and accurate, and that mathematics is actually the correct language for formulating the laws of nature. At the same time, Wigner pointed out that the reasons for the success of mathematics in the natural sciences are not completely understood; in fact, he went as far as asserting that “… the enormous usefulness of mathematics in the natural sciences is something bordering on the mysterious and there is no rational explanation for it.”. (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.

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of (...) meaning. But what exactly is "meaning"? What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

What is the mind? How does it work? How does it influence behavior? Some psychologists hope to answer such questions in terms of concepts drawn from computer science and artificial intelligence. They test their theories by modeling mental processes in computers. This book shows how computer models are used to study many psychological phenomena--including vision, language, reasoning, and learning. It also shows that computer modeling involves differing theoretical approaches. Computational psychologists disagree about some basic questions. (...) For instance, should the mind be modeled by digital computers, or by parallel-processing systems more like brains? Do computer programs consist of meaningless patterns, or do they embody (and explain) genuine meaning? (shrink)

Some of the methods for data collection in experimental psychology, as well as many of the inferences from observed behavior or image scanning, are based on the implicit premise that language use can be linked, via the meaning of words, to specific subjective states. Wittgenstein’s well known private language argument (PLA), however, calls into question the legitimacy of such inferences. According to a strong interpretation of PLA, all of the elements of a language must be publicly available. (...) Thus the meaning of words is not fixed by reference to our private experiences, and so data from subjective state claims indicates nothing about our subjective experiences. Application of PLA to psychological studies based on descriptions of the experience of orgasm offers support for the strong version of the conclusion of PLA. We show that PLA has deep implications for data collection methods and inferences in experimental psychology. In particular we critique two contemporary research projects in neuroscience: one studying the ability to remember emotionally loaded words and the other studying experience of attraction. Both of these projects attempt to link subjective experiences and thought processes to particular observable brain states. The research methods appeal to (implicit) inferences from linguistic usage to subjective states. Application of PLA will show that such inferences cannot be made because the meaning of a word is not determined by any subjective state of the speaker. (shrink)

This book takes concepts developed by researchers in theoretical computer science and adapts and applies them to the study of natural language meaning. Summarizing over a decade of research, Chris Barker and Chung-chieh Shan put forward the Continuation Hypothesis: that the meaning of a natural language expression can depend on its own continuation.

This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested (...) by the cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

Summarizes and illuminates two decades of research Gathering important papers by both philosophers and scientists, this collection illuminates the central themes that have arisen during the last two decades of work on the conceptual foundations of artificial intelligence and cognitive science. Each volume begins with a comprehensive introduction that places the coverage in a broader perspective and links it with material in the companion volumes. The collection is of interest in many disciplines including computer science, linguistics, biology, (...) information science, psychology, neuroscience, iconography, and philosophy. Examines initial efforts and the latest controversies The topics covered range from the bedrock assumptions of the computational approach to understanding the mind, to the more recent debates concerning cognitive architectures, all the way to the latest developments in robotics, artificial life, and dynamical systems theory. The collection first examines the lineageof major research programs, beginning with the basic idea of machine intelligence itself, then focuses on specific aspects of thought and intelligence, highlighting the much-discussed issue of consciousness, the equally important, but less densely researched issue of emotional response, and the more traditionally philosophical topic of language and meaning. Provides a gamut of perspectives The editors have included several articles that challenge crucial elements of the familiar research program of cognitive science, as well as important writings whose previous circulation has been limited. Within each volume the papers are organized to reflect a variety of research programs and issues. The substantive introductions that accompany each volume further organize the material and provide readers with a working sense of the issues and the connection between articles. (shrink)

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in (...) a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates to a first graduate logic course. The package includes four pieces of software: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions ; Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable. (shrink)

The title of this volume—published in the series “Lisbon Philosophical Studies” devoted to “uses of language in interdisciplinary fields”—is potentially misleading, because its subject is, rather than linguistic morphology, the Morphologie associated with the German poet, playwright, and thinker, Johann Wolfgang Goethe. For Goethe, morphology is a science dedicated to the observation and description of everything that “is handled by chance and occasionally in other [sciences]”, and hence, it is intended to serve as a complement to any number (...) of disciplines: philosophy, art history, mathematics, cognitive science, linguistics, history, demography, computer science, and architecture . All these disciplines are, in one way or another, represented in this collection of papers, which arises from a project carried out at the IFL at the New University of Lisbon, the EHESS (School for Advanc .. (shrink)

Recent artificial intelligence advances, especially those of large language models (LLMs), have increasingly shown glimpses of human-like intelligence. This has led to bold claims that these systems are no longer a mere “it” but now a “who,” a kind of person deserving respect. In this paper, I argue that this view depends on a Cartesian account of personhood, on which identifying someone as a person is based on their cognitive sophistication and ability to address common-sense reasoning problems. I contrast (...) this with a different account of personhood, one where an agent is a person if they are autonomous, responsive to norms, and culpable for their actions. On this latter account, I show that LLMs are not person-like, as evidenced by their propensity for dishonesty, inconsistency, and offensiveness. Moreover, I argue current LLMs, given the way they are designed and trained, cannot be persons—either social or Cartesian. The upshot is that contemporary LLMs are not, and never will be, persons. (shrink)

The primary units of meaning in the use and comprehension of language are speech acts of the type called illocutionary acts. In Foundations of Illocutionary Logic John Searle and Daniel Vanderveken presented the first formalized logic of a general theory of speech acts. In Meaning and Speech Acts Daniel Vanderveken further develops the logic of speech acts and the logic of propositions to construct a general semantic theory of natural languages. Volume I, Principles of Language Use, explains the (...) general principles that connect meaning, reason, thought and speech acts in the semantic structure of language. It presupposes no detailed knowledge of logical formalism, and will be accessible to a large readership of students and scholars from philosophy, lingustics, cognitive psychology and computer science. Volume II, Formal Semantics of Success and Satisfaction uses the resources of philosophical and mathematical logics to develop a formalization of the laws of the semantic theory advanced in Volume I. It will be of interest to theoretical linguists and those involved in mathematical logic and artificial intelligence. (shrink)

__Language Proof and Logic_ is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu._ The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic (...) course to undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates to a first graduate logic course. The software package includes four programs: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions ; Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable. (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)

Computer simulations are widely used for surrogative reasoning in scientific research. They also play a crucial role in engineering, more specifically in the design of new robotic systems, yet the nature of this role has been little discussed so far in the philosophy of technology literature. The main claim made in this article is that the notion of surrogative reasoning is central to understanding how computer simulations can serve the purpose of designing new robots. More specifically, it is (...) argued that computer simulations can support two forms of surrogative reasoning, which are called model-oriented and prediction-oriented, whose inferential structure is reconstructed to some extent. And it is argued that, when computer simulations are used to design new robots, they are distinctively used in the model-oriented way. By unravelling the structure of the computer simulation-supported methods adopted in robotic design, this article may contribute to a finer-grained understanding of the epistemic processes involved in technological research. (shrink)

This textbook, which is completely self-contained and can be read by anyone with a secondary school education, is the result of the author's material prepared over the past 15 years of teaching introductory natural language semantics to graduate and undergraduate students at McGill University. The intended audience comprises undergraduate and graduate students in linguistics as well as those in philosophy, computer science and psychology with an interest in natural language semantics. The aim of the textbook is (...) to teach the fundamentals of natural language semantics, with English as the principal, though not the exclusive, target language. The principal aim of the textbook is to provide the student with all the basics necessary to be able him or her read research in natural language semantics, regardless of the theory assumed by the author of the research. In contrast to other textbooks in the field, which aim to introduce students to a particular theory of natural language semantics, this textbook seeks to give to its reader a clear overview of the kind of natural language phenomena which, at least prima facie, fall within the ambit of an investigation of natural language semantics; to assist the reader in developing a mastery of the mathematical tools used to formulate hypotheses about the natural language phenomena studied; and to impart to the reader an appreciation of the interplay between hypothesis and data. As a result, the textbook is rich in its presentation of the patterns of English, drawing extensively on the best and most contemporary descriptive grammars of English. The textbook also has more than 500 exercises, with answers to half of them. (shrink)

The “language-communication-society” triangle defies traditional scientific approaches. Rather, it is a phenomenon that calls for an integration of complex, transdisciplinary perspectives, if we are to make any progress in understanding how it works. The highly diverse agents in play are not merely cognitive and/or cultural, but also emotional and behavioural in their specificity. Indeed, the effort may require building a theoretical and methodological body of knowledge that can effectively convey the characteristic properties of phenomena in human terms. New complexity (...) approaches allow us to rethink our limited and mechanistic images of human societies and create more appropriate emo-cognitive dynamic and holistic models. We have to enter into dialogue with the complexity views coming out of other more ‘material’ sciences, but we also need to take steps in the linguistic and psycho-sociological fields towards creating perspectives and concepts better fitted to human characteristics. Our understanding of complexity is different – but not opposed – to the one that is more commonly found in texts written by people working in physics or computer science, for example. The goal of this book is to extend the knowledge of these other more ‘human’ or socially oriented perspectives on complexity, taking account of the language and communication singularities of human agents in society. (shrink)

This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information and data-processing systems of all kinds, no matter whether human, (other) animal or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and phi losophical psychology through issues in cognitive psychology and socio biology (concerning the mental capabilities of other species) to ideas related to artificial intelligence and computer science. (...) While primary emphasis will be placed upon theoretical, conceptual and epistemologi cal aspects of these problems and domains, empirical, experimental and methodological studies will also appear from time to time. Among the most challenging and difficult projects within the scope of artificial intelligence is the development and implementation of com puter programs suitable for processing natural language. Our purpose in compiling the present volume has been to contribute to the foundations of this enterprise by bringing together classic papers devoted to crucial problems involved in understanding natural language, which range from issues of formal syntax and logical form to those of possible-worlds and situation semantics. The book begins with a comprehensive introduc tion composed by Jack Kulas, the senior editor of this work, which pro vides a systematic orientation to this complex field, and ends with a selected bibliography intended to promote further research. If our efforts assist others in dealing with these problems, they will have been worthwhile. J. H. F. (shrink)

This chapter discusses the use of formal language theory in the investigation of diverse phenomena such as natural languages, computer code, and animal cognition. Formal language theory deals with mathematically defined languages as well as the formal systems, such as grammars and automata, that are used to define them. In this context, a language is a set of strings, a grammar specifies a set of rules for forming the string-set from an alphabet, and an automaton is (...) an abstract machine that can be programmed to generate or recognize a formal language. Formal language theory can thus be understood as the study of string-sets and their associated formal systems. As a result of being used as a model template across linguistics, computer science, and experimental cognitive science, formal systems in formal language theory, as well as a classification scheme called the Chomsky hierarchy, are given different interpretations. (shrink)

Although several theories of online syntactic processing assume the parallel activation of multiple syntactic representations, evidence supporting simultaneous activation has been inconclusive. Here, the continuous and non‐ballistic properties of computer mouse movements are exploited, by recording their streaming x, y coordinates to procure evidence regarding parallel versus serial processing. Participants heard structurally ambiguous sentences while viewing scenes with properties either supporting or not supporting the difficult modifier interpretation. The curvatures of the elicited trajectories revealed both an effect of visual (...) context and graded competition between simultaneously active syntactic representations. The results are discussed in the context of 3 major groups of theories within the domain of sentence processing. (shrink)

In the dissertation we study the complexity of generalized quantifiers in natural language. Our perspective is interdisciplinary: we combine philosophical insights with theoretical computer science, experimental cognitive science and linguistic theories. -/- In Chapter 1 we argue for identifying a part of meaning, the so-called referential meaning (model-checking), with algorithms. Moreover, we discuss the influence of computational complexity theory on cognitive tasks. We give some arguments to treat as cognitively tractable only those problems which can be (...) computed in polynomial time. Additionally, we suggest that plausible semantic theories of the everyday fragment of natural language can be formulated in the existential fragment of second-order logic. -/- In Chapter 2 we give an overview of the basic notions of generalized quantifier theory, computability theory, and descriptive complexity theory. -/- In Chapter 3 we prove that PTIME quantifiers are closed under iteration, cumulation and resumption. Next, we discuss the NP-completeness of branching quantifiers. Finally, we show that some Ramsey quantifiers define NP-complete classes of finite models while others stay in PTIME. We also give a sufficient condition for a Ramsey quantifier to be computable in polynomial time. -/- In Chapter 4 we investigate the computational complexity of polyadic lifts expressing various readings of reciprocal sentences with quantified antecedents. We show a dichotomy between these readings: the strong reciprocal reading can create NP-complete constructions, while the weak and the intermediate reciprocal readings do not. Additionally, we argue that this difference should be acknowledged in the Strong Meaning hypothesis. -/- In Chapter 5 we study the definability and complexity of the type-shifting approach to collective quantification in natural language. We show that under reasonable complexity assumptions it is not general enough to cover the semantics of all collective quantifiers in natural language. The type-shifting approach cannot lead outside second-order logic and arguably some collective quantifiers are not expressible in second-order logic. As a result, we argue that algebraic (many-sorted) formalisms dealing with collectivity are more plausible than the type-shifting approach. Moreover, we suggest that some collective quantifiers might not be realized in everyday language due to their high computational complexity. Additionally, we introduce the so-called second-order generalized quantifiers to the study of collective semantics. -/- In Chapter 6 we study the statement known as Hintikka's thesis: that the semantics of sentences like ``Most boys and most girls hate each other'' is not expressible by linear formulae and one needs to use branching quantification. We discuss possible readings of such sentences and come to the conclusion that they are expressible by linear formulae, as opposed to what Hintikka states. Next, we propose empirical evidence confirming our theoretical predictions that these sentences are sometimes interpreted by people as having the conjunctional reading. -/- In Chapter 7 we discuss a computational semantics for monadic quantifiers in natural language. We recall that it can be expressed in terms of finite-state and push-down automata. Then we present and criticize the neurological research building on this model. The discussion leads to a new experimental set-up which provides empirical evidence confirming the complexity predictions of the computational model. We show that the differences in reaction time needed for comprehension of sentences with monadic quantifiers are consistent with the complexity differences predicted by the model. -/- In Chapter 8 we discuss some general open questions and possible directions for future research, e.g., using different measures of complexity, involving game-theory and so on. -/- In general, our research explores, from different perspectives, the advantages of identifying meaning with algorithms and applying computational complexity analysis to semantic issues. It shows the fruitfulness of such an abstract computational approach for linguistics and cognitive science. (shrink)

An examination of the ways human movement can be represented as a formal language and how this language can be mediated technologically. In Motion and Representation, Nicolás Salazar Sutil considers the representation of human motion through languages of movement and technological mediation. He argues that technology transforms the representation of movement and that representation in turn transforms the way we move and what we understand to be movement. Humans communicate through movement, physically and mentally. To record and capture (...) integrated movement (both bodily and mental), by means of formal language and technological media, produces a material record and cultural expression of our evolving kinetic minds and identities. Salazar Sutil considers three forms of movement inscription: a written record (notation), a visual record (animation), and a computational record (motion capture). He focuses on what he calls kinetic formalism—formalized movement in such pursuits as dance, sports, live animation, and kinetic art, as well as abstract definitions of movement in mathematics and computer science. He explores the representation of kinetic space and spatiotemporality; the representation of mental plans of movement; movement notation, including stave notation (Labanotation) and such contemporary forms of notation as Choreographic Language Agent; and the impact of digital technology on contemporary representations of movement—in particular motion capture technology and Internet transfer protocols. Motion and Representation offers a unique cultural theory of movement and of the ever-changing ways of representing movement. (shrink)

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming (...) generations of scholars. (shrink)

The first edition of ELL (1993, Ron Asher, Editor) was hailed as "the field's standard reference work for a generation". Now the all-new second edition matches ELL's comprehensiveness and high quality, expanded for a new generation, while being the first encyclopedia to really exploit the multimedia potential of linguistics. * The most authoritative, up-to-date, comprehensive, and international reference source in its field * An entirely new work, with new editors, new authors, new topics and newly commissioned articles with a handful (...) of classic articles * The first Encyclopedia to exploit the multimedia potential of linguistics through the online edition * Ground-breaking and International in scope and approach * Alphabetically arranged with extensive cross-referencing * Available in print and online, priced separately. The online version will include updates as subjects develop ELL2 includes: * c. 7,500,000 words * c. 11,000 pages * c. 3,000 articles * c. 1,500 figures: 130 halftones and 150 colour * Supplementary audio, video and text files online * c. 3,500 glossary definitions * c. 39,000 references * Extensive list of commonly used abbreviations * List of languages of the world (including information on no. of speakers, language family, etc.) * Approximately 700 biographical entries (now includes contemporary linguists) * 200 language maps in print and online Also available online via ScienceDirect - featuring extensive browsing, searching, and internal cross-referencing between articles in the work, plus dynamic linking to journal articles and abstract databases, making navigation flexible and easy. For more information, pricing options and availability visit www.info.sciencedirect.com. The first Encyclopedia to exploit the multimedia potential of linguistics Ground-breaking in scope - wider than any predecessor An invaluable resource for researchers, academics, students and professionals in the fields of: linguistics, anthropology, education, psychology, language acquisition, language pathology, cognitive science, sociology, the law, the media, medicine & computer science. The most authoritative, up-to-date, comprehensive, and international reference source in its field. (shrink)