Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402063244
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: 2nd Edition
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Handbook of Philosophical Logic 14
    RVK:
    Keywords: Logic ; Linguistics Science_xLogic design ; Computer science ; Artificial intelligence ; Philosophy (General) ; Science Philosophy ; Logic design ; Wissenschaftsphilosophie ; Logik
    Abstract: The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many applications of logic in central disciplines such as computer science, artificial intelligence, linguistics, and philosophy. This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field
    Description / Table of Contents: Front Matter; Logics of Formal Inconsistency; Causality; On Conditionals; Quantifiers in Formal and Natural Languages; Back Matter
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402030925
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: 2nd Edition
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Handbook of Philosophical Logic 12
    DDC: 160
    RVK:
    Keywords: Logic ; Philosophy (General) ; Wissenschaftsphilosophie ; Logik
    Abstract: A useful reference work to both students and researchers in formal philosophy, language and logic. This second edition is intended to comprise some 18 volumes and provides in-depth coverage of major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, and others
    Description / Table of Contents: CONTENTS; Preface to the Second Edition; Knowledge Representation with Logic Programs; The Resolution Principle; How to Go Nonmonotonic; The Development of Categorical Logic; Index
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401704663
    Language: English
    Pages: Online-Ressource (XIII, 323 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 11
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic ; Computational linguistics.
    Abstract: The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401704601
    Language: English
    Pages: Online-Ressource (XIII, 406 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 6
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: The sixth volume of the Handbook of Philosophical Logic, Second Edition contains major contributions on Relevance Logic, Quantum Logics, Combinators, Proofs and Implicational Logics and Paraconsistent Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401704564
    Language: English
    Pages: Online-Ressource (XIII, 431 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 4
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: This fourth volume of the second edition contains major contributions on Conditional Logic, Dynamic Logic, Logics for Defeasible Argumentation, Preference Logic and Diagrammatic Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401704588
    Language: English
    Pages: Online-Ressource (XIII, 360 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 5
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: The fifth volume of the second edition contains major contributions on Intuitionistic Logic, Free Logics and Partial Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401003872
    Language: English
    Pages: Online-Ressource (XIII, 354 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 8
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: The eighth volume of the Second Edition contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401704649
    Language: English
    Pages: Online-Ressource (XIII, 368 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 9
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Negations, Completeness and Consistency as well as Logic as General Rationality. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401704625
    Language: English
    Pages: Online-Ressource (XIII, 350 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 7
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: The seventh volume of the Second Edition contains major contributions on Basic Tense Logic, Advanced Tense Logic, Combinations of Tense and Modality, Philosophical Perspectives on Quantification in Tense and Modal Logic as well as Tense and Time. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401704526
    Language: English
    Pages: Online-Ressource (XIII, 408 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 2
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: The second volume of the second edition contains major contributions on Systems of Deduction, Alternatives to Standard First-order Semantics, Algebraic Logic, Basic and Advanced Many-valued Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 11
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401704540
    Language: English
    Pages: Online-Ressource (432 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 3
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: The third volume of the second edition contains major contributions on Basic and Advanced Modal Logic, Quantification in Modal Logic and Correspondence Theory. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 12
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401598330
    Language: English
    Pages: Online-Ressource (XIII, 385 p) , digital
    Edition: 2nd Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Philosophical Logic 1
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: This first volume of the second edition contains major contributions on Predicate Logic, First- and Second-order Logic, Higher-order Logic, Algorithms and Decision Problems, and the Mathematics of Logic Programming. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 13
    ISBN: 9789400911710
    Language: English
    Pages: Online-Ressource (733p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 167
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic ; Computational linguistics. ; Mathematical logic.
    Abstract: to Volume IV -- IV.I Quantifiers in Formal and Natural Languages -- IV.2 Property Theories -- IV.3 Philosophical Perspectives on Formal Theories of Predication -- IV.4 Mass Expressions -- IV.5 Reference and Information Content: Names and Descriptions -- IV.6 Indexicals -- IV.7 Propositional Attitudes -- IV.8 Tense and Time -- IV.9 Presupposition -- IV.10 Semantics and the Liar Paradox -- Name Index -- Table of Contents to Volume I, II, and III.
    Abstract: conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quantities: mass expressions. This chapter reviews the most well-known approaches to mass terms and the ontological proposals related to them. In addition to quantification and predication, matters of reference have constituted the other overriding theme for semantic theories in both philosophical logic and the semantics of natural languages. Chapter IV.5 of how the semantics of proper names and descrip­ presents an overview tions have been dealt with in recent theories of reference. Chapter IV.6 is concerned with the context-dependence of reference, in particular, with the semantics of indexical expressions. The topic of Chapter IV.7 is related to predication as it surveys some of the central problems of ascribing propositional attitudes to agents. Chap­ ter IV.8 deals with the analysis of the main temporal aspects of natural language utterances. Together these two chapters give a good indication of the intricate complexities that arise once modalities of one or the other sort enter on the semantic stage. in philosophical Chapter IV.9 deals with another well-known topic logic: presupposition, an issue on the borderline of semantics and prag­ matics. The volume closes with an extensive study of the Liar paradox and its many implications for the study of language (as for example, self­ reference, truth concepts and truth definitions).
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 14
    ISBN: 9789400952034
    Language: English
    Pages: Online-Ressource (531p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 166
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic, Symbolic and mathematical ; Logic ; Computational linguistics ; Mathematical logic.
    Abstract: to Volume III -- III.1. Partial Logic -- III.2. Many-valued Logic -- III.3. Relevance Logic and Entailment -- III.4. Intuitionistic Logic -- III.5. Dialogues as a Foundation for Intuitionistic Logic -- III.6. Free Logics -- III.7. Quantum Logic -- III.8. Proof Theory and Meaning -- Name Index -- Table of Contents to Volumes I, II, and IV.
    Abstract: This volume presents a number of systems of logic which can be considered as alternatives to classical logic. The notion of what counts as an alternative is a somewhat problematic one. There are extreme views on the matter of what is the 'correct' logical system and whether one logical system (e. g. classical logic) can represent (or contain) all the others. The choice of the systems presented in this volume was guided by the following criteria for including a logic as an alternative: (i) the departure from classical logic in accepting or rejecting certain theorems of classical logic following intuitions arising from significant application areas and/or from human reasoning; (ii) the alternative logic is well-established and well-understood mathematically and is widely applied in other disciplines such as mathematics, physics, computer science, philosophy, psychology, or linguistics. A number of other alternatives had to be omitted for the present volume (e. g. recent attempts to formulate so-called 'non-monotonic' reason­ ing systems). Perhaps these can be included in future extensions of the Handbook of Philosophical Logic. Chapter 1 deals with partial logics, that is, systems where sentences do not always have to be either true or false, and where terms do not always have to denote. These systems are thus, in general, geared towards reasoning in partially specified models. Logics of this type have arisen mainly from philo­ sophical and linguistic considerations; various applications in theoretical computer science have also been envisaged.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 15
    ISBN: 9789400962590
    Language: English
    Pages: Online-Ressource (788p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 165
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic, Symbolic and mathematical ; Logic ; Mathematical logic.
    Abstract: to Volume II -- II.1. Basic Modal Logic -- II.2.Basic Tense Logic -- II.3. Combinations of Tense and Modality -- II.4. Correspondence Theory -- II.5. Quantification in Modal Logic -- II.6. Philosophical Perspectives on Quantification in Tense and Modal Logic -- II.7. C. General Intensional Logic -- II.8.Conditional Logic -- II.9.Modal Logic and Self-reference -- II.10. Dynamic Logic -- II.11. Deontic Logic -- II.12. The Logic of Questions -- Name Index.
    Abstract: The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'. The inclusion of such 'indices' has turned out to be the semantic mainstay in dealing with a number of issues having to do with intensional features of natural and artificial languages. It is, of course, an open question whether 'possible world' semantics is in the final analysis the proper solution to the many problems and puzzles intensional constructions raise for the logical analysis of the many varieties of discourse. At present, there seem to be about as many opponents as proponents with regard to the usefulness of having the semantics of intensional languages based on possible world constructs. Some attempts to come to grips with intensional phenomena which are not couched in the possible world framework are discussed in Volume IV of the Handbook. Chapter 1 is an extensive survey of the main systems of (propositional) modal logic including the most important meta-mathematical results and the techniques used in establishing these. It introduces the basic terminology and semantic machinery applied in one way or another in many of the subsequent chapters. Chapter 2 discusses the most significant developments in (propositional) tense logic which can of course be regarded as a special kind of modal logic, where the possible world indices are simply (ordered) moments of time.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 16
    ISBN: 9789400970663
    Language: English
    Pages: Online-Ressource (504p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 164
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic, Symbolic and mathematical ; Logic ; Mathematical logic. ; Computational linguistics.
    Abstract: to Volume I -- I.1. Elementary Predicate Logic -- I.2. Systems of Deduction -- I.3. Alternatives to Standard First-order Semantics -- I.4. Higher-order Logic -- I.5. Predicative Logics -- I.6. Algorithms and Decision Problems: A Crash Course in Recursion Theory -- Name Index -- Table of Contents to Volumes II, III, and IV.
    Abstract: The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its 'extensions' (covered in Volume 11) as well as its most important 'alternatives' (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization of mathematics and in the many areas of philo­ sophical and linguistic applications? Chapter 1. 1 is prerequisite for just about all the other chapters in the entire Handbook, while the other chapters in Volume I provide more detailed discussions of material developed or hinted at in the first chapter.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 17
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789400997752
    Language: English
    Pages: Online-Ressource (392p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Language Library, Texts and Studies in Linguistics and Philosophy 4
    Series Statement: Studies in Linguistics and Philosophy 4
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Linguistics ; Linguistics Philosophy ; Semantics ; Semiotics. ; Language and languages—Philosophy.
    Abstract: Conditionals, Generic Quantifiers, and Other Applications of Subgames -- Ambiguous Coreference With Quantifiers -- Negative Coreference: Generalizing Quantification for Natural Language -- Syntactic Domains for Semantic Rules -- Variable Binding and Relative Clauses -- Adverbs of Space and Time -- Time Schemes, Tense Logic and the Analysis of English Tenses -- A System of Chronological Tense Logic -- Semantics versus Pragmatics -- Implication Reversal in a Natural Language -- Structure and Function of the Grammatical Component of the Text-Structure World-Structure Theory -- Questions and Answers in a Context-dependent Montague Grammar -- The Introduction of Truth Predicates into First-Order Languages -- List of Participants.
    Abstract: The essays in this collection are the outgrowth of a workshop, held in June 1976, on formal approaches to the semantics and pragmatics of natural languages. They document in an astoundingly uniform way the develop­ ments in the formal analysis of natural languages since the late sixties. The avowed aim of the' workshop was in fact to assess the progress made in the application of formal methods to semantics, to confront different approaches to essentially the same problems on the one hand, and, on the other, to show the way in relating semantic and pragmatic explanations of linguistic phenomena. Several of these papers can in fact be regarded as attempts to close the 'semiotic circle' by bringing together the syntactic, semantic and pragmatic properties of certain constructions in an explanatory framework thereby making it more than obvious that these three components of an integrated linguistic theory cannot be as neatly separated as one would have liked to believe. In other words, not only can we not elaborate a syntactic description of (a fragment of) a language and then proceed to the semantics (as Montague pointed out already forcefully in 1968), we cannot hope to achieve an adequate integrated syntax and semantics without paying heed to the pragmatic aspects of the constructions involved. The behavior of polarity items, 'quantifiers' like any, conditionals or even logical particles like and and or in non-indicative sentences is clear-cut evidence for the need to let each component of the grammar inform the other.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...