Modal Logic

An Introduction to its Syntax and Semantics

Author: Nino B. Cocchiarella,Max A. Freund

Publisher: Oxford University Press

ISBN: 9780199710638

Category: Mathematics

Page: 288

View: 4133

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills. A separate sentential modal logic of logical necessity in logical atomism is also constructed and shown to be complete and decidable. On the first-order level of the logic of logical necessity, the modal thesis of anti-essentialism is valid and every de re sentence is provably equivalent to a de dicto sentence. An elegant extension of the standard sentential modal logics into several first-order modal logics is developed. Both a first-order modal logic for possibilism containing actualism as a proper part as well as a separate modal logic for actualism alone are constructed for a variety of modal systems. Exercises on this level show the connections between modal laws and quantifier logic regarding generalization into, or out of, modal contexts and the conditions required for the necessity of identity and non-identity. Two types of second-order modal logics, one possibilist and the other actualist, are developed based on a distinction between existence-entailing concepts and concepts in general. The result is a deeper second-order analysis of possibilism and actualism as ontological frameworks. Exercises regarding second-order predicate quantifiers clarify the distinction between existence-entailing concepts and concepts in general. Modal Logic is ideally suited as a core text for graduate and undergraduate courses in modal logic, and as supplementary reading in courses on mathematical logic, formal ontology, and artificial intelligence.

Symbolic Logic

Syntax, Semantics, and Proof

Author: David W. Agler

Publisher: Rowman & Littlefield

ISBN: 1442217421

Category: Mathematics

Page: 375

View: 1214

Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs.

What Logics Mean

From Proof Theory to Model-Theoretic Semantics

Author: James W. Garson

Publisher: Cambridge University Press

ISBN: 110703910X

Category: Language Arts & Disciplines

Page: 302

View: 1082

This book explains how the meanings of the symbols of logic are determined by the rules that govern them.

Multi-Dimensional Modal Logic

Author: Maarten Marx,Yde Venema

Publisher: Springer Science & Business Media

ISBN: 9780792343455

Category: Philosophy

Page: 239

View: 6276

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi-dimensionality in modal logic is a technical one: we call a modal formalism multi-dimensional if, in its intended semantics, the universe of a model consists of states that are tuples over some more basic set.) This book treats such multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. We will define and discuss a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Although the book will be mathematical in spirit, we take care to give motivations from the disciplines mentioned earlier on.

Meaning and Grammar

An Introduction to Semantics

Author: Gennaro Chierchia,Sally McConnell-Ginet

Publisher: MIT Press

ISBN: 9780262531641

Category: Language Arts & Disciplines

Page: 573

View: 6420

This self-contained introduction to natural language semanticsaddresses the major theoretical questions in the field. This self-contained introduction to natural language semantics addresses the major theoretical questions in the field. The authors introduce the systematic study of linguistic meaning through a sequence of formal tools and their linguistic applications. Starting with propositional connectives and truth conditions, the book moves to quantification and binding, intensionality and tense, and so on. To set their approach in a broader perspective, the authors also explore the interaction of meaning with context and use (the semantics-pragmatics interface) and address some of the foundational questions, especially in connection with cognition in general. They also introduce a few of the most accessible and interesting ideas from recent research to give the reader a bit of the flavor of current work in semantics. The organization of this new edition is modular; after the introductory chapters, the remaining material can be covered in flexible order. The book presupposes no background in formal logic (an appendix introduces the basic notions of set theory) and only a minimal acquaintance with linguistics. This edition includes a substantial amount of completely new material and has been not only updated but redesigned throughout to enhance its user-friendliness.

Recent Advances in the Syntax and Semantics of Tense, Aspect and Modality

Author: Louis de Saussure,Jacques Moeschler,Genoveva Puskás

Publisher: Walter de Gruyter

ISBN: 3110198762

Category: Language Arts & Disciplines

Page: 253

View: 1433

It is a fact that tense, aspect and modality together form one of the most recurring and active areas of research in contemporary syntax and semantics, as well as in other disciplines of linguistics. A large number of syntactic and semantic phenomena are concerned by the temporal-aspectual-modal level of representation: information about time, aspect and modality is part of virtually all sentences; inflexion is quite widely considered as the core of syntactic projections. Because of this very crucial situation and role in the sentence structure, temporal-aspectual and modal information concerns virtually any part of the sentence and this information has scope over the whole characterization of the eventuality denoted by the sentence. This book is an up-to-date milestone for the studies of temporality and language, in particular regarding syntax and semantics, but with incidental hints to pragmatics and theories of human natural language understanding. Through this very tight selection of 15 papers (originally delivered during the 6th Chronos colloquium), tenses, aspect and modality are investigated both at the descriptive and theoretical levels, involving many different Indo-European and non-Indo-European languages. The volume sheds light on a wide array of phenomena that remained too little explored until now. These include the following: modal subordination in Japanese, epistemic modals in Dutch and English in Free Indirect Speech contexts, aspectual readings of idioms, adverb-licensing with the German perfect, French imperfective past compared with English progressive past, infinitival perfect in English, Adult Root Infinitives, economy constraints on temporal subordinations, future modality, past interpretation of present tense in embedded clauses, and time without tenses in Mandarin and Navajo. The book is of interest to scholars and advanced students in the fields of linguistics (general linguistics, semantics, syntax) as well as philosophy and logic.

Type-logical Semantics

Author: Bob Carpenter

Publisher: MIT Press

ISBN: 9780262531498

Category: Language Arts & Disciplines

Page: 575

View: 2497

The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material.

Investigations of the Syntax-semantics-pragmatics Interface

Author: Robert D. Van Valin

Publisher: John Benjamins Publishing

ISBN: 9027205728

Category: Language Arts & Disciplines

Page: 484

View: 3699

Investigations of the Syntax-Semantics-Pragmatics Interface presents on-going research in Role and Reference Grammar in a number of critical areas of linguistic theory: verb semantics and argument structure, the nature of syntactic categories and syntactic representation, prosody and syntax, information structure and syntax, and the syntax and semantics of complex sentences. In each of these areas there are important results which not only advance the development of the theory, but also contribute to the broader theoretical discussion. In particular, there are analyses of grammatical phenomena such as transitivity in Kabardian, the verb-less numeral quantifier construction in Japanese, and an unusual kind of complex sentence in Wari' (Chapakuran, Brazil) which not only illustrate the descriptive and explanatory power of the theory, but also present interesting challenges to other approaches. In addition, there are papers looking at the implications and applications of Role and Reference Grammar for neurolinguistic research, parsing and automated text analysis.

Introduction to Montague Semantics

Author: D. R. Dowty,R. Wall,S. Peters

Publisher: Springer Science & Business Media

ISBN: 9400990650

Category: Language Arts & Disciplines

Page: 316

View: 3173

In this book we hope to acquaint the reader with the fundamentals of truth conditional model-theoretic semantics, and in particular with a version of this developed by Richard Montague in a series of papers published during the 1960's and early 1970's. In many ways the paper 'The Proper Treatment of Quantification in Ordinary English' (commonly abbreviated PTQ) represents the culmination of Montague's efforts to apply the techniques developed within mathematical logic to the semantics of natural languages, and indeed it is the system outlined there that people generally have in mind when they refer to "Montague Grammar". (We prefer the term "Montague Semantics" inasmuch as a grammar, as conceived of in current linguistics, would contain at least a phonological component, a morphological component, and other subsystems which are either lacking entirely or present only in a very rudi mentary state in the PTQ system. ) Montague's work has attracted increasing attention in recent years among linguists and philosophers since it offers the hope that semantics can be characterized with the same formal rigor and explicitness that transformational approaches have brought to syntax. Whether this hope can be fully realized remains to be seen, but it is clear nonetheless that Montague semantics has already established itself as a productive para digm, leading to new areas of inquiry and suggesting new ways of conceiving of theories of natural language. Unfortunately, Montague's papers are tersely written and very difficult to follow unless one has a considerable background in logical semantics.

Structured Meanings

The Semantics of Propositional Attitudes

Author: M. J. Cresswell

Publisher: MIT Press

ISBN: 9780262031080

Category: Psychology

Page: 202

View: 4195

M. J. Cresswell is a logician and philosopher of language who has been a major continuing influence on the growth and development of formal semantics over the past 15 years or more. This book is the outgrowth of years of work on propositional attitudes, the hardest problem in semantics. In it, he traces the problem to the foundations of semantics and solves it by distinguishing between the result of the composition of the simple parts of complex expressions and structure consisting of the uncomposed parts. Cresswell explains the basis of the great intuitive appeal of structured meanings, and why previous attempts, from Carnap's notion of intensional isomorphism on, to use them to solve the propositional attitudes problem have been unsuccessful. His own formalization is integrated into a model-theoretic framework which is capable of incorporating and extending all the insights obtained from Montague's semantics. M. J. Cresswell is Professor of Philosophy, Victoria University of Wellington, New Zealand. He is the author of Logics and Languages, in which he developed an alternative version of Montague Grammar, as well as many articles on possible-worlds semantics; and coauthor with G. E. Hughes of An Introduction to Modal Logic and A Companion to Modal Logic, the standard works in the field. A Bradford Book.

First Steps in Modal Logic

Author: Sally Popkorn

Publisher: Cambridge University Press

ISBN: 9780521464826

Category: Mathematics

Page: 314

View: 4864

This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results--as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.

Meaning and Necessity

A Study in Semantics and Modal Logic

Author: Rudolf Carnap

Publisher: University of Chicago Press

ISBN: 9780226093475

Category: Philosophy

Page: 258

View: 494

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence. . . . The chief virtue of the book is its systematic character. From Frege to Quine most philosophical logicians have restricted themselves by piecemeal and local assaults on the problems involved. The book is marked by a genial tolerance. Carnap sees himself as proposing conventions rather than asserting truths. However he provides plenty of matter for argument."—Anthony Quinton, Hibbert Journal

Semantic Web


Author: Pascal Hitzler,Markus Krötzsch,Sebastian Rudolph,York Sure

Publisher: Springer-Verlag

ISBN: 3540339949

Category: Computers

Page: 277

View: 3088

Das Buch Semantic Web – Grundlagen vermittelt als erstes deutschsprachiges Lehrbuch die Grundlagen des Semantic Web in verständlicher Weise. Es ermöglicht einen einfachen und zügigen Einstieg in Methoden und Technologien des Semantic Web und kann z.B. als solide Grundlage für die Vorbereitung und Durchführung von Vorlesungen genutzt werden. Die Autoren trennen dabei sauber zwischen einer intuitiven Hinführung zur Verwendung semantischer Technologien in der Praxis einerseits, und der Erklärung formaler und theoretischer Hintergründe andererseits. Nur für letzteres werden Grundkenntnisse in Logik vorausgesetzt, die sich bei Bedarf jedoch durch zusätzliche Lektüre und mit Hilfe eines entsprechenden Kapitels im Anhang aneignen lassen. Das Lehrbuch richtet sich primär an Studenten mit Grundkenntnissen in Informatik sowie an interessierte Praktiker welche sich im Bereich Semantic Web fortbilden möchten. Aus den Rezensionen: "... RDF, RDF-S und OWL. Diese Sprachen ... werden von den Autoren dargestellt. Bei der Darstellung ... fallen sie selten zu schwierigen Fachslang, sondern liefern eine gut nachvollziehbare Schilderung mit einfachen Beispielen, auch Übungsaufgaben runden die Kapitel ab. ... Semantic Web ist ein einfach geschriebenes und anschauliches Buch, das In die Grundkonzepte der Semantic-Web-Techniken einführt. Wer sich schnell in RDF, RDF-S und Co. einarbeiten muss und etwas Vorbildung in Logik und Algebra mitbringt, der trifft mit diesem Lehrbuch sicherlich eine gute Wahl ..." (

Philosophical Logic

An Introduction to Advanced Topics

Author: George Englebretsen,Charles Sayward

Publisher: A&C Black

ISBN: 1441119116

Category: Philosophy

Page: 208

View: 2033

Introduces students to non-classical logic, syllogistic, to quantificational and modal logic. The book includes exercises throughout and a glossary of terms and symbols.

Aristotle's Modal Logic

Essence and Entailment in the Organon

Author: Richard Patterson

Publisher: Cambridge University Press

ISBN: 9780521522335

Category: Philosophy

Page: 304

View: 2519

This 1995 book argues that a proper understanding of Aristotle's modal logic requires an appreciation of its connection to the metaphysics.

Computer Science Logic

23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Author: European Association for Computer Science Logic

Publisher: Springer Science & Business Media

ISBN: 3642040268

Category: Computers

Page: 567

View: 9793

This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science.