Information and Knowledge (Record no. 253432)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04102nam a22005775i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-1-4020-6170-7 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20160614140140.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 | 100301s2008 ne | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781402061707 |
| -- | 978-1-4020-6170-7 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-1-4020-6170-7 |
| Source of number or code | doi |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Alfaisal Main Library |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | HM401-1281 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | JHB |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | SOC026000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 301 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Primiero, Giuseppe. |
| Relator term | author. |
| 245 10 - TITLE STATEMENT | |
| Title | Information and Knowledge |
| Medium | [electronic resource] : |
| Remainder of title | A Constructive Type-theoretical Approach / |
| Statement of responsibility, etc | by Giuseppe Primiero. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE STATEMENTS | |
| Place of production, publication, distribution, manufacture | Dordrecht : |
| Name of producer, publisher, distributor, manufacturer | Springer Netherlands, |
| Date of production, publication, distribution, manufacture | 2008. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | IX, 208 p. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content Type Term | text |
| Content Type Code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media Type Term | computer |
| Media Type Code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier Type Term | online resource |
| Carrier Type Code | cr |
| Source | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Logic, Epistemology, and the Unity of Science ; |
| Volume number/sequential designation | 10 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Constructive Type Theory: Foundation and Formalization -- Analyticity and Information -- Formal Representation of the Notion of Information -- Constructive Philosophy of Information. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed. The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. The treatment is especially formulated for logicians with a philosophical background, but without neglecting a complete formulation of all the technicalities and formal properties. The problem of analyticity is then introduced via an historically and theoretically oriented formulation, beginning with Kant and Bolzano and following its development up to the introduction of the notion of information, extending some lines of research introduced in the contemporary debate by Hintikka. The semantical approach to information is reconsidered in the light of a constructive approach to epistemology, leading to a theoretical analysis of knowledge systems. This allows for the presentation of a formal structure, based on certain typical operations in the formalization of CTT and the use of formal properties of Kripke models, in which the notions of information and knowledge are defined as epistemically different. These definitions involve an extension of constructive epistemology, bringing new material to the extremely open range of problems determined by the notion of verification and the related theory of meaning. Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Social sciences. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Epistemology. |
| 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 | Mathematical logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Sociology. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Social Sciences. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Sociology, general. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy, general. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Epistemology. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematical Logic and Foundations. |
| 655 #7 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| Source of term | local |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9781402061691 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Logic, Epistemology, and the Unity of Science ; |
| Volume number/sequential designation | 10 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1007/978-1-4020-6170-7">http://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1007/978-1-4020-6170-7</a> |
| 912 ## - | |
| -- | ZDB-2-SHU |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | eBooks |
No items available.