Language, Truth and Logic in Mathematics (Запис № 462468)
[ простий вигляд ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04205nam a22005415i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-94-017-2045-8 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200904110251.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 130305s1998 ne | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9789401720458 |
| -- | 978-94-017-2045-8 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-94-017-2045-8 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA8.9-10.3 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PBC |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | MAT018000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PBC |
| Source | thema |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PBCD |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Hintikka, Jaakko. |
| Relator term | author. |
| Relator code | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - TITLE STATEMENT | |
| Title | Language, Truth and Logic in Mathematics |
| Medium | [electronic resource] / |
| Statement of responsibility, etc | by Jaakko Hintikka. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 1998. |
| 264 #1 - | |
| -- | Dordrecht : |
| -- | Springer Netherlands : |
| -- | Imprint: Springer, |
| -- | 1998. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | X, 250 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Jaakko Hintikka Selected Papers ; |
| Том/ позначення послідовності | 3 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1. What Is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic -- 2. A Revolution in Logic? -- 3. A Revolution in the Foundations of Mathematics? -- 4. Is There Completeness in Mathematics after Gödel? -- 5. Hilbert Vindicated? -- 6. Standard vs. Nonstandard Distinction: A Watershed in the Foundations of Mathematics -- 7. Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics -- 8. The Skeleton in Frege’s Cupboard: The Standard versus Nonstandard Distinction -- 9. An Alternative Concept of Computability -- 10. What is the Logic of Parallel Processing? -- 11. Model Minimization — An Alternative to Circumscription -- 12. New Foundations for Mathematical Theories. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the one hand, some philosophers (and some mathematicians) take the nature and the results of mathematicians' activities as given, and go on to ask what philosophical morals one might perhaps find in their story. On the other hand, some philosophers, logicians and mathematicians have tried or are trying to subject the very concepts which mathematicians are using in their work to critical scrutiny. In practice this usually means scrutinizing the logical and linguistic tools mathematicians wield. Such scrutiny can scarcely help relying on philosophical ideas and principles. In other words it can scarcely help being literally a study of language, truth and logic in mathematics, albeit not necessarily in the spirit of AJ. Ayer. As its title indicates, the essays included in the present volume represent the latter approach. In most of them one of the fundamental concepts in the foundations of mathematics and logic is subjected to a scrutiny from a largely novel point of view. Typically, it turns out that the concept in question is in need of a revision or reconsideration or at least can be given a new twist. The results of such a re-examination are not primarily critical, however, but typically open up new constructive possibilities. The consequences of such deconstructions and reconstructions are often quite sweeping, and are explored in the same paper or in others. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematical logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematics. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | History. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematical Logic and Foundations. |
| -- | https://scigraph.springernature.com/ontologies/product-market-codes/M24005 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic. |
| -- | https://scigraph.springernature.com/ontologies/product-market-codes/E16000 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | History of Mathematical Sciences. |
| -- | https://scigraph.springernature.com/ontologies/product-market-codes/M23009 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9789048149230 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9780792347668 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9789401720465 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Jaakko Hintikka Selected Papers ; |
| Volume number/sequential designation | 3 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-94-017-2045-8">https://doi.org/10.1007/978-94-017-2045-8</a> |
| 912 ## - | |
| -- | ZDB-2-SMA |
| 912 ## - | |
| -- | ZDB-2-BAE |
Немає доступних примірників.