//]]>

Epistemology versus Ontology (Record no. 16506)

000 -LEADER
fixed length control field 04459nam a22005175i 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20140310145545.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 120710s2012 ne | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789400744356
978-94-007-4435-6
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number BC1-199
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 160
Edition number 23
264 #1 -
-- Dordrecht :
-- Springer Netherlands :
-- Imprint: Springer,
-- 2012.
912 ## -
-- ZDB-2-SHU
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Dybjer, P.
Relator term editor.
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Epistemology versus Ontology
Medium [electronic resource] :
Remainder of title Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf /
Statement of responsibility, etc edited by P. Dybjer, Sten Lindström, Erik Palmgren, G. Sundholm.
300 ## - PHYSICAL DESCRIPTION
Extent XXVII, 385 p. 18 illus.
Other physical details online resource.
440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Logic, Epistemology, and the Unity of Science ;
Volume number/sequential designation 27
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Introduction.-On the Philosophical Work of Per Martin-Löf: Göran Sundholm -- Notes on the contributors -- Part 1. Philosophy of Logic and Mathematics --  Chapter 1. Kant and Real Numbers: Mark van Atten -- Chapter 2. Wittgenstein's Diagonal Argument: A Variation on Cantor and Turing: Juliet Floyd -- Chapter 3. Truth and Proof in Intuitionism: Dag Prawitz -- Chapter 4. Real and Ideal in Constructive Mathematics: Giovanni Sambin -- Chapter 5. In the Shadow of Incompleteness: Hilbert and Gentzen: Wilfried Sieg -- Chapter 6. Evolution and Logic: Jan Smith -- Chapter 7. The “Middle Wittgenstein” and Modern Mathematics: Sören Stenlund -- Chapter 8. Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: historical and Philosophical Reflections: William Tait -- Part 2. Foundations -- Chapter 9. Type Theory and Homotopy: Steve Awodey -- Chapter 10. A Computational Interpretation of Forcing in Type Theory: Thierry Coquand; Guilhem Jaber -- Chapter 11. Program Testing and the Meaning Explanations of Intuitionistic Type Theory: Peter Dybjer -- Chapter 12. Normativity in Logic: Jean-Yves Girard -- Chapter 13. Constructivist versus Structuralist Foundations: Erik Palmgren -- Chapter 14. Machine Translation and Type Theory: Aarne Ranta -- Chapter 15. Constructive Zermelo-Fraenkel Set Theory, Powerset, and the Calculus of Constructions: Michael Rathjen -- Chapter 16. Coalgebras as Types determined by their Elimination Rules: Anton Setzer -- Chapter 17. Second Order Logic, Set Theory and Foundations of Mathematics: Jouko Väänänen.
520 ## - SUMMARY, ETC.
Summary, etc This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics?
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Philosophy (General).
Topical term or geographic name as entry element Genetic epistemology.
Topical term or geographic name as entry element Logic.
Topical term or geographic name as entry element Ontology.
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
Topical term or geographic name as entry element Philosophy.
Topical term or geographic name as entry element Logic.
Topical term or geographic name as entry element Mathematical Logic and Foundations.
Topical term or geographic name as entry element Epistemology.
Topical term or geographic name as entry element Ontology.
Topical term or geographic name as entry element History of Mathematical Sciences.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lindström, Sten.
Relator term editor.
Personal name Palmgren, Erik.
Relator term editor.
Personal name Sundholm, G.
Relator term editor.
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 9789400744349
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-94-007-4435-6
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type E-Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Damaged status Lost status Withdrawn status Current location Full call number
2014-04-03AUM Main Library2014-04-03 2014-04-03 E-Book   AUM Main Library160
Languages: 
English |
العربية