Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics


Book Description

This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field (see the refer ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and Bar-Han University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. Bar-Ilan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature.




The Logic of Time


Book Description

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.




Semantik / Semantics


Book Description

During the past 20 years the investigation into meaning of natural languages has emerged into one of the most active disciplines in theoretical linguistics. The different traditions of linguistics, philosophy of language and philosophical logic converged in the paradigm of truth conditional semantics, which now plays a central role in the cognitive sciences. From empirical research in particular languages more principal questions arise of how the speaker succeeds in expressing particular types of meaning by use of formal combination of signs. The theories developed to cope with the question assume that for a hearer, the meaning of a complex expression must be "computable", and therefore, modern theoretical semantics uses formal algebraic methods to construct the meaning compositionally in view of syntactic structur. Furthermore, meaning need to be "anchored" in the experience available to hearer. In order to deal with this, theoretical semantics extensivly uses the concept of truth conditions, which roughly explain how a world must be structured in order to be matched by certain linguistic expressions. Semantic analyses are complemented by context theory and the theory of speech acts. Thus, linguistic meaning must be related to human cognitive capacities, and therefore, theoretical semantics is tightly connected with philosophical logic as well as cognitive sciences in general. The aim of this handbook is to represent the body of theoretical knowledge which has evolved in the international research of the last two decades. Some of the theories can now be termed "classical" in that they belong to the commonly accepted base of theoretical semantics. Other theories are still disputed, and there areproblems still to be solved - as normal in a more developed science. The authors, who are leading experts in the field of semantics, try to balance the accepted and the questionable results. It goes without saying that each author hold a particular position in this respect. Some articles are written in English, some in German. Since semantics is considered to be a subfield of linguistics, the articles are arranged due to linguistic points of view. In the first 5 chapters (comprising 15 articles) the common principles of semantics are presented: ontological foundations of semantics, composition of meaning, problems of use (context, speech acts, and lexical base of meaning. The next 5 chapters (comprising 25 articles) are concerned with semantic phenomena, theories and problems which are specific for a particular class of linguistic expressions. These are arranged according to parts of speech: nouns, functional categories, verbs, adjectives and so on.This division does not reflect a theoretical position by itself, however it allows one to recognize problems connected with one another. Some more general questions are discussed in more than one article, in different perspective and vicinity. The Handbook is complemented by a service article on formal methods in semantics, followed by a comprehensive bibliography including about 1700 entries, and both a subject and a name index. This handbook is indispensable for all research in linguistics and neighboring disciplines (philosophy of language, cognitive sciences). Some of the articles can serve as basic literature for classes of advanced students.




Debates in the Metaphysics of Time


Book Description

A selection of lively debates in the philosophy of time that outline, defend and object to contemporary issues in metaphysics, consciousness and God.




Semantics, Tense, and Time


Book Description

According to Peter Ludlow, there is a very close relation between the structure of natural language and that of reality, and one can gain insights into long-standing metaphysical questions by studying the semantics of natural language. In this book Ludlow uses the metaphysics of time as a case study and focuses on the dispute between A-theorists and B-theorists about the nature of time. According to B-theorists, there is no genuine change, but a permanent sequence of events ordered by an earlier-than/later-than relation. According to the version of the A-theory adopted by Ludlow (a position sometimes called "presentism"), there are no past or future events or times; what makes something past or future is how the world stands right now. Ludlow argues that each metaphysical picture is tied to a particular semantical theory of tense and that the dispute can be adjudicated on semantical grounds. A presentism-compatible semantics, he claims, is superior to a B-theory semantics in a number of respects, including its abilities to handle the indexical nature of temporal discourse and to account for facts about language acquisition. Along the way, Ludlow develops a conception of "E-type" temporal anaphora that can account for both temporal anaphora and complex tenses without reference to past and future events. His view has philosophical consequences for theories of logic, self-knowledge, and memory. As for linguistic consequences, Ludlow suggests that the very idea of grammatical tense may have to be dispensed with and replaced with some combination of aspect, modality, and evidentiality.




Time, Tense, and Reference


Book Description

Original essays by philosophers of language and philosophers of time exploring the semantics and metaphysics of tense.




Time, Tense, and Quantifiers


Book Description

Over the past few decades, the book series Linguistische Arbeiten [Linguistic Studies], comprising over 500 volumes, has made a significant contribution to the development of linguistic theory both in Germany and internationally. The series will continue to deliver new impulses for research and maintain the central insight of linguistics that progress can only be made in acquiring new knowledge about human languages both synchronically and diachronically by closely combining empirical and theoretical analyses. To this end, we invite submission of high-quality linguistic studies from all the central areas of general linguistics and the linguistics of individual languages which address topical questions, discuss new data and advance the development of linguistic theory.




Perspectives on Aspect


Book Description

This book offers both a retrospective view on how theories of aspectuality have developed over the past 30 years, and presents current, new directions of aspectuality research. The articles in this book take a wide crosslinguistic scope including aspectual analyses of the following languages: English and two varieties of English: African American English and Colloquial Singapore English, Italian, French, Bulgarian, Czech, Mandarin Chinese, West-Greenlandic, Wakashan languages, and Nahk-Daghestanian languages.




Semantics and Contextual Expression


Book Description

No detailed description available for "Semantics and Contextual Expression".




Time and Modality


Book Description

The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.