From Discourse To Logic

Author : Hans Kamp,U. Reyle
Publisher : Springer Science & Business Media
Page : 730 pages
File Size : 54,9 Mb
Release : 2013-03-14
Category : Philosophy
ISBN : 9789401716161

Get Book

From Discourse to Logic by Hans Kamp,U. Reyle Pdf

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than that, it is about a particular way of dealing with those subjects, known as Discourse Representation Theory, or DRT. DRT is an approach towards natural language semantics which, some thirteen years ago, arose out of attempts to deal with two distinct problems. The first of those was the semantic puzzle that had been brought to contempo rary attention by Geach's notorious "donkey sentences" - sentences like If Pedro owns some donkey, he beats it, in which the anaphoric connection we perceive between the indefinite noun phrase some donkey and the pronoun it may seem to conflict with the existential meaning of the word some. The second problem had to do with tense and aspect. Some languages, for instance French and the other Romance languages, have two morphologically distinct past tenses, a simple past (the French Passe Simple) and a continuous past (the French Imparfait). To articulate precisely what the difference between these tenses is has turned out to be surprisingly difficult.

Author : Hans Kamp,Uwe Reyle
Publisher : Springer
Page : 717 pages
File Size : 42,9 Mb
Release : 2012-09-27
Category : Language Arts & Disciplines
ISBN : 9401049165

Get Book

From Discourse to Logic by Hans Kamp,Uwe Reyle Pdf

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than that, it is about a particular way of dealing with those subjects, known as Discourse Representation Theory, or DRT. DRT is an approach towards natural language semantics which, some thirteen years ago, arose out of attempts to deal with two distinct problems. The first of those was the semantic puzzle that had been brought to contempo rary attention by Geach's notorious "donkey sentences" - sentences like If Pedro owns some donkey, he beats it, in which the anaphoric connection we perceive between the indefinite noun phrase some donkey and the pronoun it may seem to conflict with the existential meaning of the word some. The second problem had to do with tense and aspect. Some languages, for instance French and the other Romance languages, have two morphologically distinct past tenses, a simple past (the French Passe Simple) and a continuous past (the French Imparfait). To articulate precisely what the difference between these tenses is has turned out to be surprisingly difficult.

Author : Hans Kamp,U. Reyle
Publisher : Springer
Page : 0 pages
File Size : 48,8 Mb
Release : 2014-01-14
Category : Language Arts & Disciplines
ISBN : 9401120668

Get Book

From Discourse to Logic by Hans Kamp,U. Reyle Pdf

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than that, it is about a particular way of dealing with those subjects, known as Discourse Representation Theory, or DRT. DRT is an approach towards natural language semantics which, some thirteen years ago, arose out of attempts to deal with two distinct problems. The first of those was the semantic puzzle that had been brought to contempo rary attention by Geach's notorious "donkey sentences" - sentences like If Pedro owns some donkey, he beats it, in which the anaphoric connection we perceive between the indefinite noun phrase some donkey and the pronoun it may seem to conflict with the existential meaning of the word some. The second problem had to do with tense and aspect. Some languages, for instance French and the other Romance languages, have two morphologically distinct past tenses, a simple past (the French Passe Simple) and a continuous past (the French Imparfait). To articulate precisely what the difference between these tenses is has turned out to be surprisingly difficult.

Author : Hans Kamp,Uwe Reyle
Publisher : Unknown
Page : 128 pages
File Size : 48,5 Mb
Release : 1991
Category : Electronic
ISBN : OCLC:66670184

Get Book

From Discourse to Logic by Hans Kamp,Uwe Reyle Pdf

Author : Hans Kamp,Uwe Reyle
Publisher : Springer
Page : 738 pages
File Size : 46,9 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 940171617X

Get Book

From Discourse to Logic by Hans Kamp,Uwe Reyle Pdf

This is the first textbook that approaches natural language semantics and logic from the perspective of Discourse Representation Theory, an approach which emphasizes the dynamic and incremental aspects of meaning and inference. The book has been carefully designed for the classroom. It is aimed at students with varying degrees of preparation, including those without prior exposure to semantics or formal logic. Moreover, it should make DRT easily accessible to those who want to learn about the theory on their own. Exercises are available to test understanding as well as to encourage independent theoretical thought. The book serves a double purpose. Besides a textbook, it is also the first comprehensive and fully explicit statement of DRT available in the form of a book. The first part of the book develops the basic principles of DRT for a small fragment of English (but which has nevertheless the power of standard predicate logic). The second part extends this fragment by adding plurals; it discusses a wide variety of problems connected with plural nouns and verbs. The third part applies the theory to the analysis of tense and aspect. Many of the problems raised in Parts Two and Three are novel, as are the solutions proposed. For undergraduate and graduate students interested in linguistics, theoretical linguistics, computational linguistics, artificial intelligence and cognitive science. Suitable for students with no previous exposure to formal semantics or logic.

Author : Rui Linhares-Dias
Publisher : Walter de Gruyter
Page : 569 pages
File Size : 47,5 Mb
Release : 2011-05-03
Category : Language Arts & Disciplines
ISBN : 9783110899627

Get Book

How to Show Things with Words by Rui Linhares-Dias Pdf

How to Show Things with Words is an interdisciplinary research study at the interface between linguistics and philosophy which sheds new light on the narrative-theoretical issue of proximal vs. distal stance adoption in discourse. Narrative distance ultimately depends on the epistemological source of the information conveyed, but English and other Indo-European languages have no inflectional systems for (en)coding that source of knowledge. To fill in the gap, speech act theory is (re)considered in the light of philosophical research on linguistic functions and a parallel is drawn between grammaticalized evidential categories and the objectifying acts of Husserl's phenomenology of constitution. These intuitive vs. signitive intentional acts do, indeed, roughly correspond to direct vs. indirect evidentiary forms and can be inferred from the temporal-perspectival organization of discourse by the so-called intimation or announcement function of language-systems. It turns out that perspectival immediacy requires tenses with overlapping event- and reference-points, but predictions of the sort are non-monotonic forms of reasoning defeasible by quantificational aspect distinctions, on the one hand, and inherent meaning considerations, on the other. To substantiate this claim, the bulk of the book provides an in-depth formal semantic account of tense, aspect and Aktionsart, interwoven with a detailed analysis of the cognitive processes associated with eventuality-description types. The book adresses an audience of linguists in general, formal semanticists, cognitive scientists, philosophers and narratologists with an interest in natural language semantics.

Author : Johan van Benthem
Publisher : Springer Science & Business Media
Page : 308 pages
File Size : 55,6 Mb
Release : 2013-03-09
Category : Philosophy
ISBN : 9789401579476

Get Book

The Logic of Time by Johan van Benthem Pdf

The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility.

Author : Satya Sundar Sethy
Publisher : Springer Nature
Page : 283 pages
File Size : 47,9 Mb
Release : 2021-06-12
Category : Philosophy
ISBN : 9789811626890

Get Book

Introduction to Logic and Logical Discourse by Satya Sundar Sethy Pdf

This book focuses on logic and logical language. It examines different types of words, terms and propositions in detail. While discussing the nature of propositions, it illustrates the procedures used to determine the truth and falsity of a proposition, and the validity and invalidity of an argument. In addition, the book provides a clear exposition of the pure and mixed form of syllogism with suitable examples. The book encompasses sentential logic, predicate logic, symbolic logic, induction and set theory topics. The book is designed to serve all those involved in teaching and learning courses on logic. It offers a valuable resource for students and researchers in philosophy, mathematics and computer science disciplines. Given its scope, it is an essential read for everyone interested in logic, language, formulation of the hypotheses for the scientific enquiries and research studies, and judging valid and invalid arguments in the natural language discourse.

Author : Rainer Bauerle,Uwe Reyle,Thomas Zimmermann
Publisher : BRILL
Page : 297 pages
File Size : 52,8 Mb
Release : 2010-03-23
Category : Language Arts & Disciplines
ISBN : 9789004253162

Get Book

Presuppositions and Discourse: Essays Offered to Hans Kamp by Rainer Bauerle,Uwe Reyle,Thomas Zimmermann Pdf

Undoubtedly, presupposition theory is a major chapter in the success story of dynamic semantics. This book features papers on this topic based on a conference on "Presupposition" convened in Stuttgart in October 2000.

Author : Nicholas Asher,Alex Lascarides
Publisher : Cambridge University Press
Page : 556 pages
File Size : 40,9 Mb
Release : 2003-06-19
Category : Computers
ISBN : 0521650585

Get Book

Logics of Conversation by Nicholas Asher,Alex Lascarides Pdf

Table of contents

Author : Seiki Akama
Publisher : Springer Science & Business Media
Page : 272 pages
File Size : 50,7 Mb
Release : 1997-01-31
Category : Computers
ISBN : 079234376X

Get Book

Logic, Language and Computation by Seiki Akama Pdf

The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers by distinguished researchers on Logic, Lin guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints.

Author : Andrew Schumann
Publisher : Walter de Gruyter
Page : 286 pages
File Size : 44,8 Mb
Release : 2013-05-02
Category : Philosophy
ISBN : 9783110319576

Get Book

Logic in Religious Discourse by Andrew Schumann Pdf

Knocking on Heaven's Door is the oldest human dream that seems unrealized still. Religious discourse does show the road, but it requires a blind faith in return. In this book logicians try to hear Heaven's Call and to analyze religious discourse. As a result, the notion of religious logic as a part of philosophical logic is introduced. Its tasks are (1) to construct consistent logical systems formalizing religious reasoning that at first sight seems inconsistent (this research is fulfilled within the limits of modal logic, paraconsistent logic and many-valued logic), (2) to carry out an illocutionary analysis of religious discourse (this research is fulfilled in frames of illocutionary logics), and (3) to formalize Ancient and Medieval logical theories used in the theology of an appropriate religion (they could be studied within the limits of unconventional logics, such as non-monotonic logics, non-well-founded logics, etc.).

Author : Paul J.E. Dekker
Publisher : Springer Science & Business Media
Page : 129 pages
File Size : 41,7 Mb
Release : 2012-07-03
Category : Language Arts & Disciplines
ISBN : 9789400748699

Get Book

Dynamic Semantics by Paul J.E. Dekker Pdf

The integrated theory of dynamic interpretation set out here will be a surprise to advanced researchers in linguistics. It combines classical formal semantics and modern dynamic semantics without altering the fundamental paradigm. At the book’s core lies a pragmatically motivated notion of a dynamic conjunction of meanings, an idea that is worked out in full formal detail. This is applied to linguistic phenomena that involve anaphora, quantification and modality. The author demonstrates that in each area of application existing data can be neatly combined with new dynamic insights, but more importantly, there is a genuine further pay-off: the work generates treatments of phenomena that were not initially intended, with functional readings of pronouns and quantifiers, ‘Hob-Nob’ sentences, and insights into what we now call ‘Pierce’s Puzzle’. The outcome of a decade of work by the Amsterdam School of dynamic semantics, this volume condenses and reflects upon a vital body of research.

Author : Eric Heinze
Publisher : Routledge
Page : 353 pages
File Size : 44,7 Mb
Release : 2004-02-24
Category : Philosophy
ISBN : 9781134419838

Get Book

The Logic of Liberal Rights by Eric Heinze Pdf

The Logic of Liberal Rights uses basic logic to develop a model of argument presupposed in all disputes about civil rights and liberties. No prior training in logic is required, as each step is explained. This analysis does not merely apply general logic to legal arguments but is also specifically tailored to the issues of civil rights and liberties. It shows that all arguments about civil rights and liberties presuppose one fixed structure and that there can be no original argument in rights disputes, except within the confines of that structure. Concepts arising in disputes about rights, like 'liberal' or 'democratic', are not mere abstractions but have a fixed and precise character. This book integrates themes in legal theory, political science and moral philosophy, as well as the philosophy of logic and language. For the advanced scholar, the book provides a model presupposed by leading theoretical schools (liberal and critical, positivist and naturalist). For the student it provides a systematic theory of civil rights and liberties. Examples are drawn from the European Convention in Human Rights but no special knowledge of the Convention is assumed, as the issues analysed arise throughout the world. Such issues include problems of free speech, religious freedom, privacy, torture, unlawful detention and private property.

Author : Andrew Schumann
Publisher : Unknown
Page : 0 pages
File Size : 44,6 Mb
Release : 2013
Category : Analysis (Philosophy)
ISBN : 0761858911

Get Book

Logic in Central and Eastern Europe by Andrew Schumann Pdf

This book is a collection of rare material regarding logical and analytic-philosophical traditions in Central and Eastern European countries, covering the period from the late nineteenth century to the early twenty-first century. An encyclopedic feature covers the history of l...