ISBN:
9789400704794
Language:
English
Pages:
Online-Ressource
,
v.: digital
Edition:
Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law
Series Statement:
Handbook of Philosophical Logic 16
DDC:
160
Keywords:
Philosophy (General)
;
Logic
Abstract:
This title includes: Belief Revision, Refutation and systems in Propositional Logic, a Quantifier Scope in Formal Linguistics, and Non-deterministic Semantics for Logical Systems
Description / Table of Contents:
CONTENTS; PREFACE TO THE SECOND EDITION; ODINALDO RODRIGUES, DOV GABBAY ANDALESSANDRA RUSSO; 1 INTRODUCTION AND HISTORICAL PERSPECTIVE; 2 FORMALISATION OF THE PROBLEM OF BELIEF REVISION; 2.1 AGM postulates for belief revision; 2.2 Counterfactual statements and the Ramsey Test; 2.3 Grove's systems of spheres; 2.4 AGM revision for finite belief bases; 2.5 Epistemic entrenchment; 2.6 Discussion; 3 BELIEF REVISION OPERATORS; 3.1 Measuring information change; 3.2 Dalal's revision operator; 4 ITERATION OF THE REVISION PROCESS
Description / Table of Contents:
4.1 The problem of iteration and the need for extralogical informationto guide the process4.2 Darwiche and Pearl's approach; 4.3 Lehmann's approach: belief revision, revised; 4.4 Iterated revision according to Boutilier; 4.5 Prioritised base revision; 4.6 Prioritised databases; 4.7 Ordered theory presentations; 5 SPECIALISED BELIEF REVISION; 5.1 Resource-bounded revision; 5.2 Controlled revision; 5.3 Multiple belief revision; 5.4 Revision by translation; 6 COMPLEXITY ISSUES; 7 APPLICATIONS; 7.1 Belief Revision in Requirements Engineering; 8 CONCLUSIONS; BIBLIOGRAPHY
Description / Table of Contents:
REFUTATION SYSTEMS IN PROPOSITIONALLOGIC1 INTRODUCTION; 1.1 Basic Concepts; 1.2 A Problem; 1.3 Proving Syntactic Completeness; 1.4 Reduction Procedures; 1.5 General Remarks; 2 INTUITIONISTIC LOGIC; 2.1 Preliminaries; 2.2 Proof System; 2.3 Normal Forms; 2.4 Refutation System; 2.5 Syntactic Completeness; 2.6 Classical Logic; 3 THE MODAL LOGIC S4; 3.1 Preliminaries; 3.2 Proof System; 3.3 Normal Forms; 3.4 Refutation System; 3.5 Syntactic Completeness; 4 REDUCTION PROCEDURES; 4.1 Reduction Rules; 4.2 Reduction Systems; 4.3 Intuitionistic Logic; 4.4 Classical Logic; 4.5 The Modal Logic S4
Description / Table of Contents:
5 SYMMETRIC INFERENCE SYSTEMS5.1 Preliminaries; 5.2 Syntactic Refutability; 5.3 Syntactic Properties; BIBLIOGRAPHY; QUANTIFIER SCOPE IN FORMALLINGUISTICS; 1 INTRODUCTION; 2 CHARACTERIZING INVERSE SCOPE EFFECTS; 2.1 A "direct scope" grammar for a fragment of English; 2.2 Incompleteness of the grammar's "direct scope" strategy; 2.3 Methodological and empirical principles in the study of quantifierscope; 2.3.1 Pragmatic effects; 2.3.2 Logical dependence between readings; 2.3.3 A note on cross-linguistic variation; 3 SOME PROBLEMS OF QNP SCOPE; 3.1 Overview of some scope phenomena
Description / Table of Contents:
3.2 Restrictions on scope3.3 Unexpected wide scope: simple indefinites; 3.4 Absence of inverse scope; 3.5 Mixed scope; 3.6 Summary of QNP scope problems; 4 LOGICAL AND LINGUISTIC THEORIES OF QUANTIFIERSCOPE; 4.1 Preliminaries on quantifier scope; 4.2 "Standard scope" mechanisms; 4.2.1 Quantifier Raising; 4.2.2 Quantifying-in; 4.2.3 Cooper Storage; 4.2.4 Type Flexibility; 4.2.5 Categorial approaches; 4.2.6 Discussion - different emphases by different approaches to QNPscope; 4.3 Non-Standard Scope Mechanisms; 4.3.1 Branching quantification; 4.3.2 Cumulative quantification
Description / Table of Contents:
4.3.3 Wide-scope indefinites and quantification over Skolem functions
Note:
Description based upon print version of record
DOI:
10.1007/978-94-007-0479-4
URL:
Volltext
(lizenzpflichtig)
Permalink