|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
b3198675 |
003 |
MWH |
005 |
20191026022617.0 |
007 |
cr nn 008mamaa |
008 |
121227s1998 ne | s |||| 0|eng d |
020 |
|
|
|a 9789401152921
|
024 |
7 |
|
|a 10.1007/978-94-011-5292-1
|2 doi
|
035 |
|
|
|a (DE-He213)978-94-011-5292-1
|
050 |
|
4 |
|a E-Book
|
072 |
|
7 |
|a HPL
|2 bicssc
|
072 |
|
7 |
|a PHI011000
|2 bisacsh
|
072 |
|
7 |
|a QDTL
|2 thema
|
100 |
1 |
|
|a Fitting, M.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
245 |
1 |
0 |
|a First-Order Modal Logic
|h [electronic resource] /
|c by M. Fitting, Richard L. Mendelsohn.
|
250 |
|
|
|a 1st ed. 1998.
|
264 |
|
1 |
|a Dordrecht :
|b Springer Netherlands :
|b Imprint: Springer,
|c 1998.
|
300 |
|
|
|a XII, 292 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 277
|
490 |
1 |
|
|a Springer eBook Collection
|
505 |
0 |
|
|a One/Propositional Modal Logic -- 1.1 What is a Modal? -- 1.2 Can There Be a Modal Logic? -- 1.3 What Are The Formulas? -- 1.4 Aristotle’s Modal Square -- 1.5 Informal Interpretations -- 1.6 What Are the Models? -- 1.7 Examples -- 1.8 Some Important Logics -- 1.9 Logical Consequence -- 1.10 Temporal Logic -- 1.11 Epistemic Logic -- 1.12 Historical Highlights -- Two/Tableau Proof Systems -- 2.1 What Is a Proof -- 2.2 Tableaus -- 2.3 More Tableau Systems -- 2.4 Logical Consequence and Tableaus -- 2.5 Tableaus Work -- Three/Axiom Systems -- 3.1 What Is an Axiomatic Proof -- 3.2 More Axiom Systems -- 3.3 Logical Consequence, Axiomatically -- 3.4 Axiom Systems Work Too -- Four/Quantified Modal Logic -- 4.1 First-Order Formulas -- 4.2 An Informal Introduction -- 4.3 Necessity De Re and De Dicto -- 4.4 Is Quantified Modal Logic Possible? -- 4.5 What the Quantifiers Quantify Over -- 4.6 Constant Domain Models -- 4.7 Varying Domain Models -- 4.8 Different Media, Same Message -- 4.9 Barcan and Converse Barcan Formulas -- Five/First-Order Tableaus -- 5.1 Constant Domain Tableaus -- 5.2 Varying Domain Tableaus -- 5.3 Tableaus Still Work -- Six/First-Order Axiom Systems -- 6.1 A Classical First-Order Axiom System -- 6.2 Varying Domain Modal Axiom Systems -- 6.3 Constant Domain Systems -- 6.4 Miscellany -- Seven/Equality -- 7.1 Classical Background -- 7.2 Frege’s Puzzle -- 7.3 The Indiscernibility of Identicals -- 7.4 The Formal Details -- 7.5 Tableau Equality Rules -- 7.6 Tableau Soundness and Completeness -- 7.7 An Example -- Eight/Existence and Actualist Quantification -- 8.1 To Be -- 8.2 Tableau Proofs -- 8.3 The Paradox of NonBeing -- 8.4 Deflationists -- 8.5 Parmenides’ Principle -- 8.6 Inflationists -- 8.7 Unactualized Possibles -- 8.8 Barcan and Converse Barcan, Again -- 8.9 Using Validities in Tableaus -- 8.10 On Symmetry -- Nine/Terms and Predicate Abstraction -- 9.1 Why constants should not be constant -- 9.2 Scope -- 9.3 Predicate Abstraction -- 9.4 Abstraction in the Concrete -- 9.5 Reading Predicate Abstracts -- Ten/Abstraction Continued -- 10.1 Equality -- 10.2 Rigidity -- 10.3 A Dynamic Logic Example -- 10.4 Rigid Designators -- 10.5 Existence -- 10.6 Tableau Rules, Varying Domain -- 10.7 Tableau Rules, Constant Domain -- Eleven/Designation -- 11.1 The Formal Machinery -- 11.2 Designation and Existence -- 11.3 Existence and Designation -- 11.4 Fiction -- 11.5 Tableau Rules -- Twelve/Definite Descriptions -- 12.1 Notation -- 12.2 Two Theories of Descriptions -- 12.3 The Semantics of Definite Descriptions -- 12.4 Some Examples -- 12.5 Hintikka’s Schema and Variations -- 12.6 Varying Domain Tableaus -- 12.7 Russell’s Approach -- 12.8 Possibilist Quantifiers -- References.
|
520 |
|
|
|a Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants and function symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms.
|
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.
|
650 |
|
0 |
|a Computational linguistics.
|
690 |
|
|
|a Electronic resources (E-books)
|
700 |
1 |
|
|a Mendelsohn, Richard L.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
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 277
|
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-011-5292-1
|3 Click to view e-book
|t 0
|
907 |
|
|
|a .b31986754
|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 .i21118395
|z 02-26-20
|
999 |
f |
f |
|i 12db3a4f-cc71-5792-82c4-8dc9c2a4872a
|s c00a391e-dc3b-57b4-ae50-d61873d15e28
|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
|