Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • 1980-1984  (2)
  • Guenthner, F.  (2)
  • Dordrecht : Springer  (2)
  • Philosophy (General)  (2)
  • 1
    Online Resource
    Online Resource
    Handbook of Philosophical Logic : Volume II: Extensions of Classical Logic (1984)
    Dordrecht : Springer
    Details
    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.
    DOI: 10.1007/978-94-009-6259-0
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 2
    Online Resource
    Online Resource
    Handbook of Philosophical Logic : Volume I: Elements of Classical Logic (1983)
    Dordrecht : Springer
    Details
    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.
    DOI: 10.1007/978-94-009-7066-3
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...