Logic, Epistemology, and the Unity of Science (273 Ergebnisse)

paperback. Zustand: Very Good. The Nature of Truth: An updated approach to the meaning of truth ascriptions This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.

paperback. Zustand: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.

XVII, 291 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Logic, Epistemology, and the Unity of Science, 32. Sprache: Englisch.

xix, 554 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

Hardcover. Zustand: Very Good. 1. Auflage. unread, cover with shelfwear or minor damages.

Hardcover. Zustand: As New. 1st Edition. Like new, unread, shop store room stock. CE. Book.

24 x 16 cm. Zustand: Gut. X, 251 Pages Aus der Reihe : Logic, Epistemology and the Unity of Science ; Volume 16 - Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). In Englischer Sprache B04-03-01D|S53 Sprache: Englisch Gewicht in Gramm: 542.

Paperback. Zustand: Brand New. reprint edition. 146 pages. 9.25x6.10x0.39 inches. In Stock.

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Kartoniert / Broschiert. Zustand: New.

Zustand: New.

Paperback. Zustand: Brand New. reprint edition. 228 pages. 9.25x6.10x0.52 inches. In Stock.

Hardcover. Zustand: Good. Cover and edges shows minor shelf wear. Pages are clean and intact.

Buch. Zustand: Neu. Neuware -Ranging from Alan Turing¿s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer¿s solipsistic attitude to logic, there remain points of disagreement to this day.Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing¿s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics.This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability¿s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book examines three connected aspects of Frege¿s logicism: the differences between Dedekind¿s and Frege¿s interpretation of the term ¿logic¿ and related terms and reflects on Frege¿s notion of function, comparing its understanding and the role it played in Frege¿s and Lagrange¿s foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege¿s, Ramsey¿s and Russell¿s view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind¿s and Frege¿s logicisms. The first chapter explains how, although he shares Frege¿s aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind¿s and Frege¿s actual ways of doing and thinking. The second chapter reflects on Frege¿s notion of a function, in comparison with the notions endorsed by Lagrange and the followers of the program of arithmetization of analysis. It remarks that the foundational programs pursued by Lagrange and Frege are crucially different and based on a different idea of what the foundations of mathematics should be like. However, despite this contrast, the notion of function plays similar roles in the two programs, and this chapter emphasizes the similarities. The third chapter traces the development of thinking about Frege¿s program in the foundations of mathematics, and includes comparisons of Frege¿s, Russell¿s and Ramsey¿s views. The chapter discusses earlier papers written by Hintikka, Sandu, Demopoulos and Trueman. Although the chapter¿s main focus is on the notion of arbitrary correlation, it starts out by discussing some aspects of the connection between this notion and Dedekind Theorem.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book examines three connected aspects of Frege's logicism: the differences between Dedekind's and Frege's interpretation of the term 'logic' and related terms and reflects on Frege's notion of function, comparing its understanding and the role it played in Frege's and Lagrange's foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege's, Ramsey's and Russell's view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind's and Frege's logicisms. The first chapter explains how, although he shares Frege's aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind's and Frege's actual ways of doing and thinking. The second chapter reflects on Frege's notion of a function, in comparison with the notions endorsed by Lagrange and the followers of the program of arithmetization of analysis. It remarks that the foundational programs pursued by Lagrange and Frege are crucially different and based on a different idea of what the foundations of mathematics should be like. However, despite this contrast, the notion of function plays similar roles in the two programs, and this chapter emphasizes the similarities. The third chapter traces the development of thinking about Frege's program in the foundations of mathematics, and includes comparisons of Frege's, Russell's and Ramsey's views. The chapter discusses earlier papers written by Hintikka, Sandu, Demopoulos and Trueman. Although the chapter's main focus is on the notion of arbitrary correlation, it starts out by discussing some aspects of the connection between this notion and Dedekind Theorem.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book examines three connected aspects of Frege's logicism: the differences between Dedekind's and Frege's interpretation of the term 'logic' and related terms and reflects on Frege's notion of function, comparing its understanding and the role it played in Frege's and Lagrange's foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege's, Ramsey's and Russell's view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind's and Frege's logicisms. The first chapter explains how, although he shares Frege's aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind's and Frege's actual ways of doing and thinking. The second chapter reflects on Frege's notion of a function, in comparison with the notions endorsed by Lagrange and the followers of the program of arithmetization of analysis. It remarks that the foundational programs pursued by Lagrange and Frege are crucially different and based on a different idea of what the foundations of mathematics should be like. However, despite this contrast, the notion of function plays similar roles in the two programs, and this chapter emphasizes the similarities. The third chapter traces the development of thinking about Frege's program in the foundations of mathematics, and includes comparisons of Frege's, Russell's and Ramsey's views. The chapter discusses earlier papers written by Hintikka, Sandu, Demopoulos and Trueman. Although the chapter's main focus is on the notion of arbitrary correlation, it starts out by discussing some aspects of the connection between this notion and Dedekind Theorem.

Hardcover. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Ranging from Alan Turing's seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer's solipsistic attitude to logic, there remain points of disagreement to this day.Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing's ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics.This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability's adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Taschenbuch. Zustand: Neu. Constructivity and Computability in Historical and Philosophical Perspective | Michel Bourdeau (u. a.) | Taschenbuch | xi | Englisch | 2016 | Springer | EAN 9789402407075 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Functions and Generality of Logic | Reflections on Dedekind's and Frege's Logicisms | Gabriel Sandu (u. a.) | Taschenbuch | xxi | Englisch | 2016 | Springer International Publishing AG | EAN 9783319367828 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Ranging from Alan Turing's seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer's solipsistic attitude to logic, there remain points of disagreement to this day.Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing's ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics.This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability's adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.

8vo. pp xx, 359. Original publisher's illustrated laminated boards. Issued without dust jacket. Contributors include: Hans Rott, Gerhard Schurz, Bengt Hansson, Horacio Arlo-Costa, Arthur Paul Pedersen, David Westlund, Emmanuel Genot, Caroline Semmling. Logic, Epistemology, and the Unity of Science Series: Volume 21. ISBN: 9789048196081 Very good. Scratch to the laminate on the spine.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New.

Paperback. Zustand: Brand New. reprint edition. 184 pages. 9.25x6.10x0.42 inches. In Stock.

Hardcover. Zustand: Very good. Hardcover Octavo no dust jacket. papered boards, 193 pp Standard shipping (no tracking) / Priority (with tracking) / Custom quote for large or heavy orders.

Zustand: New.