The Logic Manual (Record no. 82628)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02062nam a2200229 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | nice12345678 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | Monogr.mrc |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200112140150.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780199587841 |
| Terms of availability | 295 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | N10 |
| Item number | H129 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Halbach, Volker |
| 245 ## - TITLE STATEMENT | |
| Title | The Logic Manual |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Oxford |
| Name of publisher, distributor, etc. | Oxford University Press |
| Date of publication, distribution, etc. | 2010 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 194p |
| 500 ## - GENERAL NOTE | |
| General note | includes index and biblioraphy |
| 505 2# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1 Sets, Relations, and Arguments 5 1.1 Sets 5 1.2 Binary Relations 7 1.3 Functions 14 1.4 Non-binary Relations 16 1.5 Arguments, Validity, and Contradictions 17 1.6 Syntax, Semantics, and Pragmatics 24 2 Syntax and Semantics of Prepositional Logic 27 2.1 Quotation 27 2.2 The Syntax of the Language of Prepositional Logic 29 2.3 Rules for Dropping Brackets 31 2.4 The Semantics of Prepositional Logic 34 3 Formalization in Prepositional Logic 52 3.1 Truth-Functionality 53 3.2 Logical Form 57 3.3 From Logical Form to Formal Language 62 3.4 Ambiguity 64 3.5 The Standard Connectives 66 3.6 Natural Language and Prepositional Logic 68 4 The Syntax of Predicate Logic 74 4.1 Predicates and Quantification 74 4.2 The Sentences of ¿2 82 4.3 Free and Bound Occurrences of Variables 85 4.4 Notational Conventions 87 4.5 Formalization 88 5 The Semantics of Predicate Logic 94 5.1 Structures 95 5.2 Truth 100 5.3 Validity, Logical Truths, and Contradictions 108 5.4 Counterexamples no 6 Natural Deduction 116 6.1 Prepositional Logic 118 6.2 Predicate Logic 130 7 Formalization in Predicate Logic 143 7.1 Adequacy 143 7.2 Ambiguity 147 7.3 Extensionality 152 7.4 Predicate Logic and Arguments in English 157 8 Identity and Definite Descriptions 166 8.1 Qualitative and Numerical Identity 166 8.2 The Syntax of ¿= 167 8.3 The Semantics of ¿= 168 8.4 Proof Rules for Identity 171 8.5 Uses of Identity 174 8.6 Identity as a Logical Constant 183 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Halbach, Volker |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| b | SFS |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| DVK Library | DVK Library | Stack -> Second Floor -> N | 295.00 | N10 H129 | 11046786 | 19/05/2021 | 295.00 | 12/01/2020 | Books |