Author | : Theo M. V. Janssen |
Publisher | : |
Total Pages | : 224 |
Release | : 1986 |
Genre | : Formal languages |
ISBN | : |
Author | : Theo M. V. Janssen |
Publisher | : |
Total Pages | : 224 |
Release | : 1986 |
Genre | : Formal languages |
ISBN | : |
Author | : Theo M. V. Janssen |
Publisher | : |
Total Pages | : 260 |
Release | : 1986 |
Genre | : Formal languages |
ISBN | : |
Author | : Benedikt Löwe |
Publisher | : Springer Science & Business Media |
Total Pages | : 308 |
Release | : 2013-04-17 |
Genre | : Philosophy |
ISBN | : 9401703957 |
"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic.
Author | : Helmut Schnelle |
Publisher | : Psychology Press |
Total Pages | : 236 |
Release | : 1989 |
Genre | : Language Arts & Disciplines |
ISBN | : 9780863771125 |
The papers in this series of five volumes provide a snapshot of current trends in European Cognitive Science. Each of the volumes deals with problems in cognitive science from a different perspective, covering the interacting disciplines of cognitive psychology, logic and linguistics, human-computer interaction, neuroscience and artificial intelligence respectively. Linguistics is concerned with the structure and use of languages, and logic with the form and correctness of argumentation in ordinary and scientific language. The two fields are presented with respect to their role in cognitive science and artificial intelligence: How are they realised by psychological mechanisms or biological processes on the one hand or programmed or wired in machines on the other. The contributions in this volume give introductions to the state-of-the-art, emphasizing the analysis of complexity and flexibility in logic and language in the framework of classical approaches (Chapters 3, 4, 5, 7). At the same time some contributions present a broader perspective in which an integration of the formal structure with the structure of the processing systems might be possible (Chapters 2 & 6). In this context, the differences and the perspectives of the classical approaches on the one hand and of connectionist approaches on the other are compared. (Chapters 1 & 6).contributions present a broader perspective in which an integration of the formal structure with the structure of the processing systems might be possible (Chapters 2 & 6). In this context, the differences and the perspectives of the classical approaches on the one hand and of connectionist approaches on the other are compared. (Chapters 1 & 6).
Author | : Markus Werning |
Publisher | : Walter de Gruyter |
Total Pages | : 310 |
Release | : 2013-05-02 |
Genre | : Philosophy |
ISBN | : 3110323621 |
Representational systems such as language, mind and perhaps even the brain exhibit a structure that is often assumed to be compositional. That is, the semantic value of a complex representation is determined by the semantic value of their parts and the way they are put together. Dating back to the late 19th century, the principle of compositionality has regained wide attention recently. Since the principle has been dealt with very differently across disciplines, the aim of the two volumes is to bring together the diverging approaches. They assemble a collection of original papers that cover the topic of compositionality from virtually all perspectives of interest in the contemporary debate. The well-chosen international list of authors includes psychologists, neuroscientists, computer scientists, linguists, and philosophers.
Author | : Johan F.A.K. van Benthem |
Publisher | : Elsevier |
Total Pages | : 1169 |
Release | : 2010-12-17 |
Genre | : Mathematics |
ISBN | : 0444537279 |
The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. - Completely revised and updated - includes over 25% new material - Discusses the interface between logic and language - Many of the authors are creators or active developers of the theories
Author | : H.K. von Heusinger |
Publisher | : Springer Science & Business Media |
Total Pages | : 347 |
Release | : 2012-12-06 |
Genre | : Language Arts & Disciplines |
ISBN | : 9401139474 |
This book is a collection of original research articles on the representation and in terpretation of indefinite and definite noun phrases, anaphoric pronouns, and closely related issues such as reference, scope and quantifier movement. A variety of frame works for the formal analysis of discourse semantics are represented, including dis course representation theory, file change semantics, dynamic Logic, E-type theories, and choice function approaches, which was one of the main issues the Konstanz project were concerned with. All of these frameworks are couched in the tradition of Montague Grammar, even though they extend the classical formalism in different directions. The developments emerged from the modern discussion of problems for the representation of cross-sentential anaphoric relations involving pronouns, and the interpretation of definite and indefinite noun phrases. After a decade of controversy, these approaches are merging together, enriching each other's formal mechanisms rather than expressing opposition. Thus, the articles in this volume concentrate on fundamental semantic questions, and also extend the current formalisms in order to capture more data. The roots of this book lie in the workshop "Reference and Anaphoric Relations", which was held at the University of Konstanz in June 1996. Five main issues were discussed: (i) the Stoic and scholastic treatment of reference and anaphora; (ii) quan tification and scope, (iii) anaphoric reference; (iv) the representation of indefinite NPs with choice functions; and (v) the relation between linguistic expressions, their rep resentations and their meanings.
Author | : Sergei Artemov |
Publisher | : Springer |
Total Pages | : 424 |
Release | : 2013-01-05 |
Genre | : Mathematics |
ISBN | : 3642357229 |
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.
Author | : Michiel Hazewinkel |
Publisher | : Springer Science & Business Media |
Total Pages | : 540 |
Release | : 1988 |
Genre | : Mathematics |
ISBN | : 9781556080036 |
V.1. A-B v.2. C v.3. D-Feynman Measure. v.4. Fibonaccimethod H v.5. Lituus v.6. Lobachevskii Criterion (for Convergence)-Optical Sigman-Algebra. v.7. Orbi t-Rayleigh Equation. v.8. Reaction-Diffusion Equation-Stirling Interpolation Fo rmula. v.9. Stochastic Approximation-Zygmund Class of Functions. v.10. Subject Index-Author Index.