hendricks jorgensen (32 Ergebnisse)

Hardcover. Zustand: Fine. Dust Jacket Included. 1st Edition. 204p, a Fine (As New) hardback in a like dustwrapper [1402017472].

Zustand: New. In.

Zustand: Fine. Zustand des Schutzumschlags: Very Good. - Dustwrapper is a little rubbed and faded w/ several small marks and a small scuff and chip to bottom edge of front - Book ow/ solid, clean and bright - ix/203 pages.

Zustand: New. In.

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.

Zustand: New. pp. xiv + 338 Illus.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Gebunden. Zustand: New.

Zustand: New.

Paperback. Zustand: Brand New. 198 pages. 9.00x0.48x6.00 inches. In Stock.

Paperback. Zustand: Brand New. 256 pages. 9.00x6.00x0.62 inches. In Stock.

Taschenbuch. Zustand: Neu. Proof Theory | History and Philosophical Significance | Vincent F. Hendricks (u. a.) | Taschenbuch | Synthese Library | xii | Englisch | 2010 | Springer | EAN 9789048155538 | 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. Probability Theory | Philosophy, Recent History and Relations to Science | Vincent F. Hendricks (u. a.) | Taschenbuch | Synthese Library | xiii | Englisch | 2010 | Springer | EAN 9789048156979 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: New. An anthology that tracks the history of epistemic logic, considers some important applications of these logics of knowledge and belief in a variety of fields, and discusses directions of research with particular emphasis on 'active agenthood' and multi-modal systems. Editor(s): Hendricks, Vincent F.; Jorgensen, Klaus Frovin; Pedersen, Stig Andur. Series: Synthese Library. Num Pages: 203 pages, biography. BIC Classification: HPL. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 235 x 155 x 11. Weight in Grams: 353. . 2003. Softcover reprint of the original 1st ed. 2003. Hardback. . . . . Books ship from the US and Ireland.

Zustand: New. A collection of papers presented at the conference on Probability Theory - Philosophy, Recent History and Relations to Science, University of Roskilde, Denmark, September, 1998. This book sheds light on some discussions of the problems in probability theory and their history, analysing their philosophical and mathematical significance. Editor(s): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin. Series: Synthese Library. Num Pages: 197 pages, biography. BIC Classification: PBT; PDA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 1030. . 2001. Hardback. . . . . Books ship from the US and Ireland.

Zustand: New. An anthology that tracks the history of epistemic logic, considers some important applications of these logics of knowledge and belief in a variety of fields, and discusses directions of research with particular emphasis on 'active agenthood' and multi-modal systems. Editor(s): Hendricks, Vincent F.; Jorgensen, Klaus Frovin; Pedersen, Stig Andur. Series: Synthese Library. Num Pages: 203 pages, biography. BIC Classification: HPL. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 14. Weight in Grams: 482. . 2003. Hardback. . . . . Books ship from the US and Ireland.

Zustand: New. Contains papers presented at the conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark. This volume is suitable for philosophers, mathematicians, computer scientists and scholars who have no professional training in proof theory but have a general knowledge of foundational issues. Editor(s): Hendricks, Vincent F.; Pedersen, Stig Andur; Jorgensen, Klaus Frovin. Series: Synthese Library. Num Pages: 257 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 550. . 2000. Hardback. . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume in the Synthese Library Series is the result of a con ference held at the Roskilde University, Denmark, September 16- 18, 1998. The purpose of this meeting was to shed light on some of the recent issues in probability theory and track their history; to analyze their philosophical and mathematical significance, and to analyze the role of mathematical probability theory in other sciences. Hence the conference was called Probability Theory Philosophy! Recent History and Relations to Science. The editors would like to thank the invited speakers includ ing in alphabetical order Prof. N.H. Bingham (BruneI Univer sity), Prof. Berna KIlmc; (Bogazici University), Prof. Eberhard Knoblock (Techniche Universitat Berlin), Prof. J.B. Paris (Uni versity of Manchester), Prof. T. Seidenfeld (Carnegie Mellon University), Prof. Glenn Shafer (Rutgers University) and Prof. Volodya Vovk (University of London) for contributing, in the most lucid and encouraging way, to the fulfillment of the con ference aim. The editors are also grateful to the invited speakers for making their contributions available for publication. The conference was organized by the Danish Network on the History and Philosophy of Mathematics The editors would like to thank the network's organizing com mittee consisting of Prof. Kirsti Andersen (University of Aarhus), Prof. Jesper Liitzen (University of Copenhagen), Dr. Tinne Hoff Kjeldsen (Roskilde University) and the committee's secretaries Lise Mariane Jeppesen and Jesper Thrane (Roskilde University).

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.

Gebunden. Zustand: New. Tracks the history of epistemic logicConsiders some important applications of these logics of knowledge and belief in a variety of fields Discusses future directions of research with particular emphasis on active agenthood and multi-modal syste.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Interactions | Mathematics, Physics and Philosophy, 1860-1930 | Vincent F. Hendricks (u. a.) | Taschenbuch | Boston Studies in the Philosophy and History of Science | xiv | Englisch | 2010 | Springer | EAN 9789048173068 | 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. Neuware - Agent and System.- Active Agenthood.- Multiple Active Agents.- Multi-Modalities.- Conclusion.- Notes.- References.- Knowledge, Belief, and Subjective Probability: Outlines of a Unified System of Epistemic/Doxastic Logic.- The Logic of Conviction.- The Logic of Knowledge.- The Logic of ('Weak') Belief.- The Pragmatics of Epistemic Sentences.- Notes.- References.- A Second Generation Epistemic Logic and Its General Significance.- The Prima Facie Conundrum of Epistemic Logic.- The Promises.- Promises Fulfilled by Means of the Notion of Independence.- References.- Economics and Economy in the Theory of Belief Revision.- What is Economics .- Acting Economically, A Second View: 'Informational Economy'.- Economic and Economical Considerations in Belief Revision Theory.- Informational Economy with Respect to Beliefs: What has been done .- Informational Economy with Respect to Beliefs: What should be done .- Conservatism with Respect to Belief-Revision Guiding Structures: What has been done .- Conservatism with Respect to Belief-Revision Guiding Structures: What should be done .- Rational Choices and Logical Properties: What has been done .- Rational Choices and Logical Properties: What should be done .- Conclusion.- Notes.- References.- Common Knowledge Revisited.- Two Puzzles.- Common Knowledge and Uncertainty.- Simultaneous Events.- Temporal Imprecision.- The Granularity of Time.- Approximations of Common Knowledge.- Summary.- Notes.- References.- Concurrent Dynamic Epistemic Logic.- Language and Semantics.- Proof System.- Completeness.- Applications.- Conclusions.- References.- Laws, Facts, and Contexts: Foundations of Multimodal Reasoning.- Replacing Possible Worlds with Contexts.- Dunn's Laws and Facts.- Contexts by Peirce and McCarthy.- Tarski's Metalevels.-Nested Graph Models.- Beyond Kripke Semantics.- The Intended Interpretation.- References.- Referential Semantics.- The General Idea of Referential Semantics.- Language.- Components of Referential Semantics.- Substitutions.- Some Notation.- The Definition Completed.- A Few Examples.- Four Principles of Logical Analysis.- Logical Consequences.- A Few Comments on the Peculiar Status of the Identity Predicate.- General Properties of Consequence Operations.- The Truth Preserving Consequence Operations.- The Problem of Adequacy.- Self-Extensional Consequence Operations.- Adequacy Theorem.- The Need for Referential Semantics.- Notes and References.- References.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is an outstanding collection of original essays. All of them concern the history and philosophy of mathematics and physics in the years from 1870 to 1930. More specifically, they are intellectual histories of the interactions between the three disciplines, philosophy, mathematics and physics, in that period. And as the essays bring out, what a period it was: of both ferment and synergy, heat and light! Most of the giants - especially Helmholtz, Hertz, Poincare, Hilbert, Einstein and Weyl - are here: engaging not just in physics and mathematics but also in philosophy, often together, or with figures like Schlick. The editors are to be congratulated on a major contribution to our understanding of one of the most complex but fertile periods in the history of all three disciplines.- Jeremy Butterfield, University of Cambridge This stimulating volume covers a wide range of topics which are of direct interest to anyone who thinks about the curious relation between mathematics and the natural world. Philosophers often pose interesting questions about the 'dispensability' of mathematics to science. But they too often overlook the wealth of philosophical perplexities that can arise in detailed examples and case studies, both contemporary and historical. This volume refocuses our attention by addressing a number of topics connected to applied mathematics, any one of which is worthy of every philosopher's attention.- James Robert Brown, University of TorontoWhat to make of neo-Kantianism in its hey-day, from 1840-1940 It was the most prolific of times and the most seminal, it was the most muddled and confused, it is philosophy working at its hardest with science and most damagingly against science. It is examined here episodically, as it engaged individual scientists: Helmholtz, , Hertz, Poincare, Minkowski, Hilbert,Eddington and Weyl. If Einstein is not in their number, he had to contend with their influence, and anyway he transformed their agenda. The essays on these figures are glinting in their focus and scholarship. Whatever one thinks of neo-Kantianism, this book is history and philosophy of science at its best: mathematically and physically informed, historically engaged, and philosophically driven. - Simon Saunders, University of OxfordTen first-rate philosopher-historians probe insightfully into key conceptual questions ofpre-quantum mathematical physics, from Helmholtz and Boltzmann, through Hertz and Lorentz, to Einstein, Weyl and Eddington, with an interesting aside on the rarely studiedphilosophy of Federigo Enriques. A rich and effective display of what the critical history of science can do for our understanding of scientific thought and its achievements.Roberto Torretti, University of Puerto Rico.