|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
b3223411 |
003 |
MWH |
005 |
20191026032227.0 |
007 |
cr nn 008mamaa |
008 |
121227s1984 ne | s |||| 0|eng d |
020 |
|
|
|a 9789400962590
|
024 |
7 |
|
|a 10.1007/978-94-009-6259-0
|2 doi
|
035 |
|
|
|a (DE-He213)978-94-009-6259-0
|
050 |
|
4 |
|a E-Book
|
072 |
|
7 |
|a HPL
|2 bicssc
|
072 |
|
7 |
|a PHI011000
|2 bisacsh
|
072 |
|
7 |
|a QDTL
|2 thema
|
245 |
1 |
0 |
|a Handbook of Philosophical Logic
|h [electronic resource] :
|b Volume II: Extensions of Classical Logic /
|c edited by Dov M. Gabbay, Franz Guenthner.
|
250 |
|
|
|a 1st ed. 1984.
|
264 |
|
1 |
|a Dordrecht :
|b Springer Netherlands :
|b Imprint: Springer,
|c 1984.
|
300 |
|
|
|a 788 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
|v 165
|
490 |
1 |
|
|a Springer eBook Collection
|
505 |
0 |
|
|a 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.
|
520 |
|
|
|a 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.
|
590 |
|
|
|a Loaded electronically.
|
590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
650 |
|
0 |
|a Logic.
|
650 |
|
0 |
|a Mathematical logic.
|
690 |
|
|
|a Electronic resources (E-books)
|
700 |
1 |
|
|a Gabbay, Dov M.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Guenthner, Franz.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
830 |
|
0 |
|a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
|v 165
|
830 |
|
0 |
|a Springer eBook Collection.
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-94-009-6259-0
|3 Click to view e-book
|t 0
|
907 |
|
|
|a .b32234119
|b 04-18-22
|c 02-26-20
|
998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g ne
|h 0
|i 1
|
912 |
|
|
|a ZDB-2-SHU
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Humanities, Social Sciences and Law (Springer-11648)
|
902 |
|
|
|a springer purchased ebooks
|
903 |
|
|
|a SEB-COLL
|
945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21365763
|z 02-26-20
|
999 |
f |
f |
|i 229aa476-e6cd-5eda-a64e-1eda2fa016ee
|s 08c68798-cc52-54ae-8bfc-fc6103f49e57
|t 0
|
952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|