Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD PHILOSOPHY OF LANGUAGE *END*INIT* use /tmp/qspiwww.webspi1/13677.71 QRY 131.225.70.96 . find keyword philosophy of language ( in books using www Cover
Image
Call number:SPRINGER-2016-9783319274959:ONLINE Show nearby items on shelf
Title:Trick or Truth? The Mysterious Connection Between Physics and Mathematics
Author(s):
Date:2016
Edition:1st ed. 2016
Size:1 online resource (8 p.)
Note:10.1007/978-3-319-27495-9
Contents:Introduction -- Children of the cosmos (S. Wenmackers) -- Mathematics is Physics (M. S. Leifer) -- My god, it's full of clones: Living in a mathematical universe (M. Séguin) -- Let's consider two spherical chickens (T. Bolognesi) --
The raven and the writing desk (I. Durham) -- The deeper roles of mathematics in physical laws (K. H. Knuth) -- How mathematics meets the world (T. Maudlin) -- Mathematics: intuition's consistency check (K. Wharton) -- How not to
factor a miracle (D. K. Wise) -- The language of nature (D. Garfinkle) -- Demystifying the applicability of mathematics (N. Fillion) -- Why mathematics works so well (N. S. Yanofsky) -- Genesis of a pythagorean universe (A. Burov) --
Beyond math (S. Magnusdottir) -- The descent of math (S. I. Walker) -- The ultimate tactics of self-referential systems (C. C. Dantas) -- Cognitive science and the connection between physics and mathematics (A. Gupta Mujumdar) -- A
metaphorical chart of our mathematical ontology (P. Gibbs).-And the math will set you free (C. Stoica) -- Appendix: List of winners
ISBN:9783319274959
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Philosophy and science , Mathematical physics , Mathematical logic , Physics , History and Philosophical Foundations of Physics , Philosophy of Science , Mathematical Applications in the Physical Sciences , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319218281:ONLINE Show nearby items on shelf
Title:A Student's Guide Through the Great Physics Texts Volume IV: Heat, Atoms and Quanta
Author(s): Kerry Kuehn
Date:2016
Edition:1st ed. 2016
Size:1 online resource (463 p.)
Note:10.1007/978-3-319-21828-1
Contents:A New Science of Heat -- Heat, Symmetry and Mathematics -- Steam Engines and Heat Flow -- Carnot's Cycle -- Engines are Thermometers -- Temperature, Pressure and Reversibility -- The Language of Science -- Energy and Entropy --
Conduction of Heat -- On Radiation -- Atomism and Kinetic Theory -- Atomism and Kinetic Theory 2 -- Dynamical and Statistical Laws -- The Discovery of the Electron -- The Mass and Velocity of a-particles -- Identifying the a Particle
-- Targeting the Nucleus -- Nuclear Structure -- The Discovery of the Neutron -- The Nature of the Neutron -- Corpuscles of Light -- X-Ray Optics 1 -- X-Ray Optics 2 -- Electron diffraction 1 -- Electron diffraction 2 -- The Bohr model
of the atom -- Atomic spectra -- The periodic table -- The Birth of the Quantum -- Matter Waves -- Quantum Orthodoxy -- Causality and Chance in Quantum Theory -- Indeterminacy -- Bohm's critique of Copenhagen
ISBN:9783319218281
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Philosophy and science , Science education , Cosmology , Physics , History and Philosophical Foundations of Physics , Philosophy of Science , Science Education , Cosmology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9783319059662:ONLINE Show nearby items on shelf
Title:Euclid Vindicated from Every Blemish [electronic resource] : Edited and Annotated by Vincenzo De Risi. Translated by G.B. Halsted and L. Allegri
Author(s): Gerolamo Saccheri
Vincenzo Risi
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Birkhuser
Size:1 online resource
Note:This first complete English language edition of Euclides vindicatus presents a corrected and revised edition of the classical English translation of Saccheri's text by G.B. Halsted. It is complemented with a historicalintroduction on the geometrical environment of the time and a detailed commentary that helps to understand the aims and subtleties of the work. Euclides vindicatus, written by the Jesuit mathematician Gerolamo Saccheri, was publishedin Milan in 1733. In it, Saccheri attempted to reform elementary geometry in two important directions: a demonstration of the famous Parallel Postulate, and the theory of proportions. Both topics were of pivotal importance in themathematics of the time. In particular, the Parallel Postulate had escaped demon stration since the first attempts at it in the Classical Age, and several books on the topic were published in the Early Modern Age. At the same time, thetheory of proportion was the most important mathematical tool of the Galilean School in its pursuit o f the mathematization of nature. Saccheri's attempt to prove the Parallel Postulate is today considered the most importantbreakthrough in geometry in the 18th century, as he was able to develop for hundreds of pages and dozens of theorems a system in geom etry that denied the truth of the postulate (in the attempt to find a contradiction). This can beregarded as the first system of non-Euclidean geometry. Its later developments by Lambert, Bolyai, Lobachevsky and Gauss eventually opened the way to contempo rary geometry. Occupying a unique position in the literature of mathematicalhistory, Euclid Vindicated from Every Blemish will be of high interest to historians of mathematics as well as historians of philosophy interested in the development of non-Euclid ean geometries
Contents:Foreword
Introduction
Euclides Vindicatus (original Latin text)
Euclid vindicated (English translation)
Notes
Bibliography
Appendices
Index of names
ISBN:9783319059662
Series:eBooks
Series:SpringerLink
Series:Classic Texts in the Sciences : v1
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Science History , Geometry
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9781461489399:ONLINE Show nearby items on shelf
Title:A Mathematical Odyssey [electronic resource] : Journey from the Real to the Complex
Author(s): Steven G Krantz
Harold R Parks
Date:2014
Publisher:Boston, MA : Springer US : Imprint: Springer
Size:1 online resource
Note:Mathematics is a poem. It is a lucid, sensual, precise exposition of beautiful ideas directed to specific goals. It is worthwhile to have as broad a cross-section of mankind as possible be conversant with what goes on inmathematics. Just as everyone knows that the Internet is a powerful and important tool for communication, so everyone should know that the Poincar conjecture gives us important information about the shape of our universe. Just asevery responsible citizen realizes that the mass-product ion automobile was pioneered by Henry Ford, just so everyone should know that the P/NP problem has implications for security and data manipulation that will affect everyone. Thisbook endeavors to tell the story of the modern impact of mathematics, of its trials and triumphs and insights, in language that can be appreciated by a broad audience. It endeavors to show what mathematics means for our lives, how itimpacts all of us, and what new thoughts it should cause us to entertain. It introduces new vistas of mathematical ideas and shares the excitement of new ideas freshly minted. It discusses the significance and impact of these ideas,and gives them meaning that will travel well and cause people to reconsider their place in the universe. Mathematics is on e of mankind's oldest disciplines. Along with philosophy, it has shaped the very modus of human thought. And itcontinues to do so. To be unaware of modern mathematics is to be miss out on a large slice of life. It is to be left out of essential modern dev elopments. We want to address this point, and do something about it. This is a book to makemathematics exciting for people of all interests and all walks of life. Mathematics is exhilarating, it is ennobling, it is uplifting, and it is fascinating. We wan t to show people this part of our world, and to get them to travel newpaths
ISBN:9781461489399
Series:eBooks
Series:SpringerLink
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Science (General)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9781461454687:ONLINE Show nearby items on shelf
Title:Astrolinguistics [electronic resource] : Design of a Linguistic System for Interstellar Communication Based on Logic
Author(s): Alexander Ollongren
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:In linguistics, one of the main areas of modern research involves the capabilities and possibilities of there being a lingua cosmica, a LINCOS, a universal language that could be used to communicate with non-humanintelligences. This book touches on t he area of the development and use of a lingua universalis for interstellar communication, but it also presents concepts that cover a broad area of linguistics. Chomsky's paradigm on universalproperties of natural languages, for a long time a leading gene ral theory of natural languages, includes the strong assumption that humans are born with some kind of universals stored in their brains. Are there universals of this kindof language used by intelligent beings and societies elsewhere in the universe? We d o not know whether such languages exist. It seems to be impossible to determine, simply because the universe is too large for an exhaustive search.Even verification will be hard to obtain, without quite a bit of luck. This book uses astrolinguistic princi ples in message construction and is helpful in clarifying and giving perspective to discussions on existential questions suchas these
Note:Springer eBooks
Contents:Preface by Prof. D. Vakoch
Paart I: Calculus of Constructions
Chapter 1.1: Types and declarations
Chapter 1.2: Functions and induction
Chapter 1.3.: Hypotheses
Chapter 1.4: Higher orders and inductive structures
Part II: Facts
Chapter 2.1: Simple Facts
Chapter 2.2: Compounds
Chapter 2.3: Aristotelian Theater
Chapter 2.4: Wittgenstein's Theater
Part III: Annotation in LINCOS
Chapter 3.1: Logical contents of texts
Chapter 3.2: An astrolinguistic experiment
Chapter 3.3: Aspects of Truth
Chapter 3.4: Human altruism
Part IV: Interpretation of LINCOS
ISBN:9781461454687
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Linguistics Philosophy , Astrophysics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9788847023611:ONLINE Show nearby items on shelf
Title:Logic: A Brief Course [electronic resource]
Author(s): Daniele Mundici
Date:2012
Publisher:Milano : Springer Milan : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gdel's completeness theorem and its main consequences isgiven using Robinson's c ompleteness theorem and Gdel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logicalequivalence and consequence relation, the Davis-Putna m procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphicobjects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book alsointeresting to a wide range of students of philosophy and linguistics
Note:Springer eBooks
Contents:Introduction
Fundamental Logical Notions
The Resolution Method
Robinson Completeness Theorem
Fast Classes for DPP
Godel Compactness Theorem
Propositional Logic: Syntax
Propositional Logic: Semantics
Normal Forms
Recap: Expressivity and Efficiency
The Quantifiers There Exists and For All
Syntax of Predicate Logic
The Meaning of Clauses
Godel Completeness Theorem for the Logic of Clauses
Equality Axioms
The Predicate Logic L
ISBN:9788847023611
Series:e-books
Series:SpringerLink (Online service)
Series:UNITEXT, 2038-5714
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Logic, Symbolic and mathematical , Semantics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783034605045:ONLINE Show nearby items on shelf
Title:New Essays on Leibniz Reception [electronic resource] : In Science and Philosophy of Science 1800-2000
Author(s): Ralf Krmer
Yannick Chin-Drian
Date:2012
Publisher:Basel : Springer Basel
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book is a collection of essays on the reception of Leibnizs thinking in the sciences and in the philosophy of science in the 19th and 20th centuries. Authors studied include C.F. Gauss, Georg Cantor, Kurd Lasswitz,Bertrand Russell, Ernst Cassire r, Louis Couturat, Hans Reichenbach, Hermann Weyl, Kurt Gdel and Gregory Chaitin. In addition, we consider concepts and problems central to Leibnizs thought and that of the later authors: thecontinuum, space, identity, number, the infinite and the infinit ely small, the projects of a universal language, a calculus of logic, a mathesis universalis etc. The book brings together two fields of research in the history ofphilosophy and of science (research on Leibniz, and the research concerned with some major d evelopments in the 19th and 20th centuries) it describes how Leibnizs thought appears in the works of these authors, in order to betterunderstand Leibnizs influence on contemporary science and philosophy but it also assesses that reception critically, con fronting it in particular with the current state of Leibniz research and with the various editions of hiswork
Note:Springer eBooks
Contents:Introduction Ralf Krmer and Yannick Chin
Drian
The idea of number from Gauss to Cantor. The Leibnizian heritage and its surpassing Philippe Sguin
The Reception of Leibnizs Logic in 19th Century German Philosophy Volker Peckhaus
Leibnizs Metaphysics as an Epistemological Obstacle to the Mathematization of Nature: the View of a Late 19th Century Neo
Kantian, Kurd Lasswitz Franoise Willmann
Peano and his School between Leibniz and Couturat: the influence in mathematics and in international language Erika Luciano
Couturats reception of Leibniz Anne
Franoise Schmid
ISBN:9783034605045
Series:e-books
Series:SpringerLink (Online service)
Series:Publications des Archives Henri Poincar Publications of the Henri Poincar Archives
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Science Philosophy
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9789400714762:ONLINE Show nearby items on shelf
Title:Paradoxes [electronic resource]
Author(s): Piotr ukowski
Date:2011
Publisher:Dordrecht : Springer Netherlands
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book is a monograph devoted to paradoxes of reasoning in the European tradition of philosophical logic. For each paradox, it analyses important attempts at its solution.The content is arranged according to the newclassification of paradoxes prese nted by the author. The paradoxes discussed in the first three chapters can be called intra-linguistic ones. The first chapter analyzes paradoxes resulting from a clash between a logically correctreasoning and previously accepted opinions. The second one is devoted to paradoxes resulting from the error of ambiguity. The third one analyzes reasonings, whose paradoxical character originates in self-referent languageconstructions. Chapter four discusses paradoxes which are called ontological ones, whose exis tence results from a confrontation between the language description of reality and that reality itself. The book is written in a clear way anddoes not require advanced knowledge of logic. It is addressed to readers with either humanist or scientific educa tional background and deals with important problems of language, cognition and reasoning in an accessible way.
Note:Springer eBooks
Contents:Preface
Introduction
1. Sophisms and paralogisms (paradoxes of: horses, Newcomb, Fitch)
2. Wrong intuitions paradoxes (paradoxes of: common birthday, approximation, Stevensons bottle, Hempel, infinity)
3. Paradoxes coming from ambiguity (paradoxes of Protagoras, Elektra, horn
headed man, the club without a name, Gods omnipotence, stone)
4. Paradoxes of self
reference (Mbius ribbon (band), Kleins bottle, liar paradox, Buridan, barber, Richard, Berry, Grelling and Nelson, unexpected examination, crocodile)
5. Ontological paradoxes
6. Epilogue
Bibliography
ISBN:9789400714762
Series:e-books
Series:SpringerLink (Online service)
Series:Trends in Logic : v31
Series:Mathematics and Statistics (Springer-11649)
Keywords: Philosophy (General) , Logic
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9789400700055:ONLINE Show nearby items on shelf
Title:Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource]
Author(s): Ewa Orlowska
Joanna Goliska Pilarek
Date:2011
Publisher:Dordrecht : Springer Netherlands : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valuedlogics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, thresholdlogics, logics of conditional decisions). The di stinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories.In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particulartheory
Note:Springer eBooks
Contents:1. Dual Tableau for Classical First
Order Logic
2. Dual Tableaux for Logics of Classical Algebras of Binary
3. Theories of Point Relations and Relational Model Checking
4. Dual Tableaux for Peirce Algebras
5. Dual Tableaux for Fork Algebras
6. Dual Tableaux for Relational Databases
Part III. Relational Reasoning in Traditional Non
classical Logics
7. Dual Tableaux for Classical Modal Logics
8. Dual Tableaux for Some Logics Based on Intuitionism
9. Dual Tableaux for Relevant Logics
10. Dual Tableaux for Many
valued Logics
Part IV. Relational Reasoning in Logi
ISBN:9789400700055
Series:e-books
Series:SpringerLink (Online service)
Series:Trends in Logic, 1572-6126 : v33
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic , Computer science , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9783642163135:ONLINE Show nearby items on shelf
Title:The Foundations of Statistics: A Simulation-based Approach [electronic resource]
Author(s): Shravan Vasishth
Michael Broe
Date:2011
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Statistics and hypothesis testing are routinely used in areas (such as linguistics) that are traditionally not mathematically intensive. In such fields, when faced with experimental data, many students and researchers tend torely on commercial packag es to carry out statistical data analysis, often without understanding the logic of the statistical tests they rely on. As a consequence, results are often misinterpreted, and users have difficulty in flexiblyapplying techniques relevant to their own rese arch they use whatever they happen to have learned. A simple solution is to teach the fundamental ideas of statistical hypothesis testing without using too much mathematics. This bookprovides a non-mathematical, simulation-based introduction to basic sta tistical concepts and encourages readers to try out the simulations themselves using the source code and data provided (the freely available programming language Ris used throughout). Since the code presented in the text almost always requires the use of previously introduced programming constructs, diligent students also acquire basic programming abilities in R. The book is intended foradvanced undergraduate and graduate students in any discipline, although the focus is on linguistics, psychology, and co gnitive science. It is designed for self-instruction, but it can also be used as a textbook for a first course onstatistics. Earlier versions of the book have been used in undergraduate and graduate courses in Europe and the US. Vasishth and Broe have wr itten an attractive introduction to the foundations of statistics. It is concise,surprisingly comprehensive, self-contained and yet quite accessible. Highly recommended. Harald Baayen, Professor of Linguistics, University of Alberta, Canada By using the text students not only learn to do the specificthings outlined in the book, they also gain a skill set that empowers them to explore new areas that lie beyond the books coverage. C
Note:Springer eBooks
Contents:1. Getting Started
2. Randomness and Probability
3. The Sampling Distribution of the Sample Mean
4. Power
5. Analysis of Variance (NOVA)
6. Bivariate Statistics and Linear Models
7. An Introduction to Linear Mixed Models. A. Random Variables
B
Basic R Commands and Data Structures
Index
References
ISBN:9783642163135
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Data mining , Psycholinguistics , Philosophy (General)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9780817647353:ONLINE Show nearby items on shelf
Title:Higher Structures in Geometry and Physics [electronic resource] : In Honor of Murray Gerstenhaber and Jim Stasheff
Author(s): Alberto S Cattaneo
Anthony Giaquinto
Ping Xu
Date:2011
Publisher:Boston : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book is centered around higher algebraic structures stemming from the work of Murray Gerstenhaber and Jim Stasheff that are now ubiquitous in various areas of mathematics such as algebra, algebraic topology, differentialgeometry, algebraic geome try, mathematical physics and in theoretical physics such as quantum field theory and string theory. These higher algebraic structures provide a common language essential in the study of deformationquantization, theory of algebroids and groupoids, symplec tic field theory, and much more. The ideas of higher homotopies and algebraic deformation have a growing number of theoretical applications and have played a prominent role inrecent mathematical advances. For example, algebraic versions of higher homotopi es have led eventually to the proof of the formality conjecture and the deformation quantization of Poisson manifolds. As observed in deformations anddeformation philosophy, a basic observation is that higher homotopy structures behave much better than st rict structures. Each contribution in this volume expands on the ideas of Gerstenhaber and Stasheff. Higher Structures in Geometryand Physics is intended for post-graduate students, mathematical and theoretical physicists, and mathematicians interested in higher structures. Contributors: L. Breen, A.S. Cattaneo, M. Cahen, V.A. Dolgushev, G. Felder, A. Giaquinto,S. Gutt, J. Huebschmann, T. Kadeishvili, H. Kajiura, B. Keller, Y. Kosmann-Schwarzbach, J.-L. Loday, S.A. Merkulov, D. Sternheimer, D.E. Tamarkin, C. Torossian, B.L. Tsygan, S. Waldmann, R.N. Umble
Note:Springer eBooks
Contents:Topics in Algebraic deformation theory
Origins and breadth of the theory of higher homotopies
The deformation philosophy, quantization and noncommutative space
time structures
Differential geometry of Gerbes and differential forms
Symplectic connections of Ricci type and star products
Effective BatalinVilkovisky theories, equivariant configuration spaces and cyclic chains
Noncommutative calculus and the Gauss
Manin connection
The Lie algebra perturbation lemma
Twisting Elements in Homotopy G
algebras
Homological perturbation theory and homological mirror symmetry
ISBN:9780817647353
Series:e-books
Series:SpringerLink (Online service)
Series:Progress in Mathematics : v287
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Geometry, algebraic , Group theory , Topological Groups , Mathematical physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9783764388409:ONLINE Show nearby items on shelf
Title:Patterns of Change [electronic resource] : Linguistic Innovations in the Development of Classical Mathematics
Author(s): Ladislav Kvasz
Date:2008
Publisher:Basel : Birkhuser Basel
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book offers a reconstruction of linguistic innovations in the history of mathematics innovations which changed the ways in which mathematics was done, understood and philosophically interpreted. It argues that there are atleast three ways in whi ch the language of mathematics has been changed throughout its history, thus determining the lines of development that mathematics has followed. One of these patterns of change, called a re-coding, generates twodevelopmental lines. The first of them conne cting arithmetic, algebra, differential and integral calculus and predicate calculus led to a gradual increase of the power of our calculating tools, turning difficult problems of the pastinto easy exercises. The second developmental line connecting synth etic geometry, analytic geometry, fractal geometry, and set theory led to a sophistication of the ways we construct geometrical objects, altering our perception of formand increasing our sensitivity to complex visual patterns. Another important pattern of change, called relativization, is illustrated by the development of synthetic geometry, connecting Euclids geometry, projective geometry,non-Euclidean geometry, and Kleins Erlanger Programm up to Hilberts Grundlagen der Geometrie. In this development the notions of space and geometric object underwent deep and radical changes culminating in the liberation ofobjects from the supremacy of space and so bringing to existence geometric objects which space would never tolerate. The book offers tools of analysi s by means of which scholars and students of the history and philosophy of mathematicscan attain better understanding of the various changes, which the subject of their study underwent in the course of history. The book brings also important insights for mathematics education connecting growth of language with thedevelopment of mathematical thought
Note:Springer eBooks
Contents:Preface
Introduction
Re
codings as the first pattern of change in mathematics
Historical description of re
codings
Philosophical reflections on re
codings
Relativizations as the second pattern of change in mathematics
A Historical description of relativizations in synthetic geometry
Historical description of relativizations in algebra
Philosophical reflections on relativizations
Re
formulations as a third pattern of change in mathematics
Re
formulations and concept
formation
Re
formulations and problem
solving
Re
formulations and theory
building
Mathemati
ISBN:9783764388409
Series:e-books
Series:SpringerLink (Online service)
Series:Science Networks. Historical Studies : v36
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Mathematics_$xHistory , Humanities
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2006-9783540308331:ONLINE Show nearby items on shelf
Title:A New Foundation of Physical Theories [electronic resource]
Author(s): Gnther Ludwig
Grald Thurler
Date:2006
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Written in the tradition of G. Ludwigs groundbreaking works, this book aims to clarify and formulate more precisely the fundamental ideas of physical theories. By introducing a basic descriptive language of simple form, inwhich it is possible to form ulate recorded facts, ambiguities of physical theories are avoided as much as possible. In this approach the field of physics that should be described by a theory is determined by basic concepts only, i.e.concepts that can be explained without a theory. I n this context the authors introduce a new concept of idealization and review the process of discovering new concepts. They believe that, when the theories are formulated within anaxiomatic basis, solutions can be found to many difficult problems such as the interpretation of physical theories, the relations between theories as well as the introduction of physical concepts. The book addresses both physicists andphilosophers of science and should encourage the reader to contribute to the understanding of t he lasting core of physical knowledge about the real structures of the world
Note:Springer eBooks
Contents:Intention of the Book
A New Form of Physical Theory: Reality
Building of a Mathematical Theory
From Reality to Mathematics
Species of Structures and Axiomatic Basis of a PT
Relations Between Various PTs
Real and Possible as Physical Concepts
Examples of Simple Theories: A Description of the Surface of the Earth, or of a Round Table
A Simplified Example of Newton's Mechanics
The Structure of the Human Species
References
List of Symbols
Index
ISBN:9783540308331
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Science Philosophy
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2006-9781402052354:ONLINE Show nearby items on shelf
Title:The Structure of Physics [electronic resource]
Author(s): Carl Friedrich von Weizscker
Thomas Grnitz
Holger Lyre
Date:2006
Publisher:Dordrecht : Springer Netherlands
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Carl Friedrich von Weizsckers Aufbau der Physik, first published in 1985, was intended as an overview of his lifelong concern: an understanding of the unity of physics. That is, the idea of a quantum theory of binaryalternatives (the so-called ur-the ory), a unified quantum theoretical framework in which spinorial symmetry groups are considered to give rise to the structure of space and time. The book saw numerous reprints, but it was published inGerman only. The present edition, in English, provides a newly arranged and revised version, in which some original chapters and sections have been deleted, and a new chapter about further insights and results of ur-theoretic researchof the late 1980s and 1990s, mainly by the work of Thomas Grnitz, has been i ncluded, as well as a general introduction to Weizsckers Philosophy of Physics. Carl Friedrich von Weizscker also enjoys high esteem by a muchbroader audience for his socio-cultural, political and religious thoughts and writings. In him the intercultural and interdisciplinary dialogue has found one of its most important proponents: a great thinker who combines theperspectives of science, philosophy, religion and politics with a view towards the challenges as well as the responsibilities of our time
Note:Springer eBooks
Contents:The unity of physics
The system of theories
Probability and abstract quantum theory
Quantum theory and spacetime
Models of particles and interaction
Cosmology and particle physics
Time and information
Irreversibility and entropy1
Information and evolution
On the interpretation of physics
The problem of the interpretation of quantum theory
The stream of information
Beyond quantum theory
In the language of philosophers
ISBN:9781402052354
Series:e-books
Series:SpringerLink (Online service)
Series:Fundamental Theories of Physics : v155
Series:Physics and Astronomy (Springer-11651)
Keywords: Science Philosophy , Quantum theory , Thermodynamics , Relativity (Physics)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783662056790:ONLINE Show nearby items on shelf
Title:Alternative Logics. Do Sciences Need Them?
Author(s):
Date:2004
Size:1 online resource (368 p.)
Note:10.1007/978-3-662-05679-0
Contents:I General Topics -- Why Is It Logical to Admit Several Logics? -- Does Metaphysics Need a Non-Classical Logic? -- Logic and the Philosophical Interpretation of Science -- How Set Theory Impinges on Logic -- Geometries and Arithmetics
-- Remarks on Criteria of Truth and Models in Science -- Significant? Not Significant? The Dilemma of Statistical Induction in Scientific Research -- II Alternative Proposals -- Outline of a Paraconsistent Category Theory --
Combinatory Logic, Language, and Cognitive Representations -- Extending the Realm of Logic: The Adaptive-Logic Programme -- Comments on Jaakko Hintikka’s Post-Tarskian Truth -- III Alternative Logics Motivated by Problems of
Application to Science -- Applied Logics for Computer Science -- Stochastic versus Deterministic Features in Learning Models -- Praxic Logics -- Reasons from Science for Limiting Classical Logic -- The Language of Interpretation in
Quantum Physics and Its Logic -- Why Objectivist Programs in Quantum Theory Do Not Need an Alternative Logic -- Does Quantum Physics Require a New Logic? -- Experimental Approach to Quantum-Logical Connectives -- From Semantics to
Syntax: Quantum Logic of Observables -- An Unsharp Quantum Logic from Quantum Computation -- Quantum Logic and Quantum Probability -- Operator Algebras and Quantum Logic
ISBN:9783662056790
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Philosophy , Computers , Algebra , Ordered algebraic structures , Quantum physics , Quantum computers , Spintronics , Physics , Quantum Information Technology, Spintronics , Philosophy, general , Theory of Computation , Order, Lattices, Ordered Algebraic Structures , Quantum Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9789401703956:ONLINE Show nearby items on shelf
Title:Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000
Author(s):
Date:2003
Size:1 online resource (302 p.)
Note:10.1007/978-94-017-0395-6
Contents:The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories -- Mathematical Logic and Natural Language: Life at the border -- Bayesian Networks in Philosophy. -- An Application of Circular
Definitions: Rational Decision -- Two-Dimensionalism and the Metaphysical Possibility of Zombies -- Topics in Reverse Mathematics -- The Logic of Intensional Predicates -- The So-Called Materially Valid Inferences and the Logic of
Concepts. -- Analysis and Design from a Viewpoint of Information Flow -- Features in Phonological Theory -- New Semantics for Modal Predicate Logics. -- What is Input/Output Logic? -- The Gupta-Belnap Fixed-Point Problem and the Theory
of Clones of Functions -- Situated Reasoning in Time about Time -- Generic Ontology of Linguistic Classification -- Techniques and Methods of Science from a Structuralist Point of View -- Proof Theory and Formal Grammars: Applications
of Normalization -- World Travelling and Mood Swings -- Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism -- References
ISBN:9789401703956
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 17
Keywords: Philosophy , Logic , Philosophy and science , Linguistics , Philosophy , Logic , Theoretical Linguistics , Philosophy of Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9783662077917:ONLINE Show nearby items on shelf
Title:Historical and Biographical Reflections and Syntheses
Author(s):
Date:2001
Size:1 online resource (536 p.)
Note:10.1007/978-3-662-07791-7
Contents:Historical and Biographical Reflections and Syntheses -- Historical and Biographical Reflections and Syntheses -- Autobiographical Essays and Interviews -- A Physicist Looks at the Soul -- The Scientist and Society -- Changes in
Physics During My Time in Princeton and Plans for the Future in Retirement -- A Conversation with Eugene Wigner by J. Walsh -- (in Honor of Marcos Moshinsky) -- Recollections and Expectations -- An Interview with Eugene Paul. Wigner by
I. Kardos -- The Citation: Eugene Paul Wigner -- Response to Citation by James R. Killian Jr. -- Biographical Sketches -- Enrico Fermi -- New Editor of “Reviews of Modern Physics”: E. U. Condon -- The Scientific Work of John von
Neumann -- John von Neumann -- Biographical Notice of Maria Goeppert Mayer -- An Appreciation on the 60th Birthday of Edward Teller -- Leo Szilard -- Obituary: Maria Goeppert Mayer -- Obituary: Werner K. Heisenberg -- Obituary: Michael
Polanyi -- Michael Polanyi -- Obituary: Eugene Feenberg -- The Wigner Medal: A Tribute to Valentine Bargmann -- Concluding Remarks -- Einstein — A Memoir -- Erinnerungen an Albert Einstein -- Thirty Years of Knowing Einstein --
Biography of John von Neumann -- Celebration of the 80th Year of Paul Harteck -- Address Delivered to the Memorial Meeting [for Paul Dirac] in Tallahassee -- New Light on Einstein Letter -- Remembering Paul Dirac -- Science -- Roots of
the Atomic Age -- On the Fermi, ?-Disintegration Theory -- The Role of Mathematical Methods in Physical Theories -- The International Oxford Conference on Nuclear Physics -- Convocation Address at the University of Alberta -- Pure and
Applied Nuclear Physics in East and West -- Conference on Invariance Mexico City, July 20–August 30, 1959 -- Review of the Second Gatlinburg Conference on Reactions Between Complex Nuclei -- Union of the German Physical Societies:
Report of Annual Meeting -- The Scientist: His Increased Responsibilities -- Fermi Award: AEC Honors Teller for Contributions to Nuclear Science -- Science: The New Particles and Their Radiations -- The Impact of Success on Science --
The Roles of Primitive Knowledge, of Language, and of Mathematics in the Physicsal Sciences -- E. P. Wigner’s Comments at the Roundtable Discussion at the Conference on Nuclear Cross Sections and Technology -- The Unity of Science --
The Unity of Science: Closing Summary -- The Scope and Promise of Science -- Methods -- Mathematical Physics -- The Physical Sciences -- The Physical Sciences: Committee Chairman’s Summary -- The Future Vocation of Science -- The
Future of Science — What One Can Hope For -- The Neutron: The Impact of Its Discovery and Its Uses -- On Science and Its Evolution -- Reflections on the Role and Purpose of Science -- The Miracle of Science -- Science, Its Future and
Purpose -- Science and Society -- Reflections on the Atomic Bomb -- Science in Two Worlds: Its Accomplishments and Aims -- Ethics in the Relationship Between Science and Society -- Science and Society -- Science and Technology for
Affluence and Satisfaction -- Book Reviews -- Review of “Kinematic Relativity: A Sequel to Relativity, Gravitation, and World Structure” -- Review of “Theoretical Nuclear Physics” -- Review of “Handbuch der Physik, Vol. 1: Mathematical
Methods” -- Review of “Proceedings of the Rehovoth Conference on Nuclear Structure” -- Review of “Elements de Physique Nucléaire” -- Review of “Fast Reactor Cross Sections” -- Review of “American Scientists and Nuclear Weapons Polic y”
-- Review of “The Inspiration of Science” -- Review of “Nuclear Shell Theory” -- Review of “The Quantum Theory of Fields. Proceedings of the 1961 Solvay Conference” -- Review of “Internal Factors in Evolution” -- Review of “Theory of
Groups in Classical and Quantum Physics, Vol. I: Mathematical Structures and the Foundations of Quantum Theory” -- Review of “Of Molecules and Men” -- Review of “The Role of Mathematics in the Rise of Science” -- Review of “Nuclear War
and Nuclear Peace” -- Review of “Formulas and Theorems for the Special Functions of Mathematical Physics” -- Review of “Random Matrices and the Statistical Theory of Energy Levels” -- Review of “Reflections on Big Science” -- Review of
“Relaxation in Shock Waves” -- Review of “Annual Review of Nuclear Science” -- Review of “Symmetry Discovered: Concepts and Applications in Nature and Science” -- Review of “The Advisors — Oppenheimer, Teller, and the Superbomb” --
Review of “Albert Einsein, The Human Side: New Glimpses from His Archives” -- Review of “A Perspective of Physics”
ISBN:9783662077917
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Historical, Philosophical, and Socio-Political Papers : B / 7
Keywords: Physics , Philosophy , Mathematics , Philology , Linguistics , Nuclear physics , Heavy ions , Hadrons , Atoms , Physics , Nuclear Physics, Heavy Ions, Hadrons , Atomic, Molecular, Optical and Plasma Physics , Language and Literature , Physics, general , Philosophy, general , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9789401593977:ONLINE Show nearby items on shelf
Title:Formal Aspects of Context
Author(s):
Date:2000
Size:1 online resource (216 p.)
Note:10.1007/978-94-015-9397-7
Contents:Formal and Computational Models of Context for Natural Language Generation -- Requirements for Dialogue Context Modelling -- Contextual Constraints on Thematization in Written Discourse: An Empirical Study -- Context and Implicitness:
Consequences for Traditional and Computer-assisted Text Analysis -- A Context-based Mechanization of Multi-agent Reasoning -- Presuppositions in Context: Constructing Bridges -- Reasoning with Multilevel Contexts in Semantic
Metanetworks -- Contextual Learning: Towards using Contexts to Achieve Generality -- Contextual Deontic Logic: Violation Contexts and Factual Defeasibility -- A Local Models Semantics for Propositional Attitudes -- Context-based
Semantics for Information Integration -- Structured Contexts with Fibred Semantics
ISBN:9789401593977
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 20
Keywords: Philosophy , Logic , Artificial intelligence , Mathematical logic , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401593090:ONLINE Show nearby items on shelf
Title:What is Negation?
Author(s):
Date:1999
Size:1 online resource (335 p.)
Note:10.1007/978-94-015-9309-0
Contents:I Models, Relevance and Impossibility -- Negation: Two Points of View -- A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation -- Negation in Relevant Logics (How I stopped worrying and
learned to love the Routley Star) -- Negation in the Light of Modal Logic -- II Paraconsistency, Partiality and Logic Programming -- Negation and Contradiction -- What not? A Defence of Dialetheic Theory of Negation -- Partial Logics
with Two Kinds of Negation as a Foundation for Knowledge-based Reasoning -- From Here to There: Stable Negation in Logic Programming -- III Absurdity, Falsity and Refutability -- Antirealism and Falsity -- Negation, Absurdity and
Contrariety -- Negation as Falsity: a Reply to Tennant -- IV Negations, Natural Language and the Liar -- Models for Non-Boolean Negations in Natural Languages Based on Aspect Analysis -- Negation, Denial and Language Change in
Philosophical Logic -- What is that Item Designated Negation?
ISBN:9789401593090
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 13
Keywords: Philosophy , Logic , Language and languages , Artificial intelligence , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Philosophy of Language
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401592048:ONLINE Show nearby items on shelf
Title:Foundations of Rational Agency
Author(s):
Date:1999
Size:1 online resource (302 p.)
Note:10.1007/978-94-015-9204-8
Contents:Foundations of Rational Agency -- Rationality and Intelligence -- What Sort of Architecture is Required for a Human-like Agent? -- Planning Agents -- Toward Rational Interactions in Multiagent Domains -- Know-How -- An Integrated
Modal Approach to Rational Agents -- Speech Acts for Dialogue Agents -- Communication among Rational Agents -- The Evolution of SharedPlans -- A Survey of Agent-Oriented Programming -- A Situation Calculus Approach to Modeling and
Programming Agents
ISBN:9789401592048
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 14
Keywords: Philosophy , Logic , Language and languages , Artificial intelligence , Game theory , Philosophy , Logic , Artificial Intelligence (incl. Robotics) , Game Theory, Economics, Social and Behav. Sciences , Philosophy of Language
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401145749:ONLINE Show nearby items on shelf
Title:Logic, Language and Reasoning Essays in Honour of Dov Gabbay
Author(s):
Date:1999
Size:1 online resource (429 p.)
Note:10.1007/978-94-011-4574-9
Contents:Dov Gabbay: “I am a logic” -- Research Themes of Dov Gabbay -- Proofs, Labels and Dynamics in Natural Language -- What a Linguist Might Want From a Logic of MOST and Other Generalized Quantifiers -- Imperative History: Two-dimensional
Executable Temporal Logic -- Diagrammatic Reasoning in Projective Geometry -- On Sentences of the Kind “Sentence ‘p’ is About Topic t” -- Two Traditions in the Logic of Belief: Bringing them Together -- Elimination of Predicate
Quantifiers -- Labelled Natural Deduction -- A General Reasoning Scheme for Underspecified Representations -- Deductive Systems and Categories in Linguistics -- Towards a Procedural Model of Natural-language Interpretation Crossover: A
Case Study -- Transformation Methods in LDS -- Labelled Deduction in the Composition of Form and Meaning -- Formalisms for Non-formal Languages -- Names Index
ISBN:9789401145749
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 5
Keywords: Philosophy , Logic , Computer science , Artificial intelligence , Mathematical logic , Computational linguistics , Philosophy , Logic , Computational Linguistics , Mathematical Logic and Foundations , Symbolic and Algebraic Manipulation , Artificial Intelligence (incl. Robotics)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9781461217664:ONLINE Show nearby items on shelf
Title:The Language of Physics The Calculus and the Development of Theoretical Physics in Europe, 1750–1914
Author(s): Elizabeth Garber
Date:1999
Size:1 online resource (399 p.)
Note:10.1007/978-1-4612-1766-4
Contents:I: Introduction -- Mathematics and Modern Physics -- Modern Physics -- Earlier Historical Approaches to Modern Physics -- Mathematics as Language -- Organization of the Text -- I: Eighteenth-Century Science -- II: Vibrating Strings
and Eighteenth-Century Mechanics -- III: Eighteenth-Century Physics and Mathematics: A Reassessment -- II: Transitions, 1790–1830 -- IV: “Empirical Literalism”: Mathematical Versus Experimental Physics in France, 1790–1830 -- V: On the
Margins: Experimental Physics and Mathematics in the German States, 1790–1830 -- VI: On the Margins: Experimental Philosophy and Mathematics in Britain, 1790–1830 -- III: Transformations, 1830–1870 -- VII: From Natural Philosophy and
“Mixed Mathematics” to Theoretical and Experimental Physics: Britain, 1830–1870 -- VIII: Physics and Mathematics in the German States, 1830–1870 -- IV: Conclusions and Epilogue -- IX: Physics About 1870 and the “Decline” of French
Physics -- X: Epilogue: Forging New Relationships: 1870–1914
ISBN:9781461217664
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , History , Mathematics , Historical linguistics , Physics , Physics, general , History of Science , History and Philosophical Foundations of Physics , Historical Linguistics , History of Mathematical Sciences , Mathematical Methods in Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9789401156943:ONLINE Show nearby items on shelf
Title:Multi-Dimensional Modal Logic
Author(s): Maarten Marx
Date:1997
Size:1 online resource (239 p.)
Note:10.1007/978-94-011-5694-3
Contents:1 Multi-dimensional modal logic -- 1.1 What is multi-dimensional modal logic? -- 1.2 Manifestations of multi-dimensional modal logics -- 1.3 Themes and questions -- 1.4 Overview of the book -- 1.5 How to read this book -- 2
Two-dimensional modal logics -- 2.1 Operations on the square universe -- 2.2 Axiomatizing S5-square -- 2.3 Cylindric modal logic of squares -- 2.4 The modal logic of composition -- 2.5 A two-dimensional temporal logic -- 2.6 Historical
notes -- 3 Arrow logic -- 3.1 Introduction -- 3.2 Motivation -- 3.3 Arrow logic and relation algebras -- 3.4 Connection with first order logic -- 3.5 Characterizing (local) squares -- 3.6 Axiomatizing (local) squares -- 3.7
Decidability and interpolation -- 3.8 Temporal arrow logic -- 3.9 Other directions in arrow logic -- 4 Modal logics of intervals -- 4.1 Introduction -- 4.2 The System HS: Introduction -- 4.3 The system HS: expressiveness -- 4.4 The
System HS: Axiomatics -- 5 Modal logics of relations -- 5.1 Introduction -- 5.2 Modalizing first-order logic -- 5.3 Abstract and generalized assignment frames -- 5.4 Characterizing cubes and local cubes -- 5.5 Meta-properties -- 5.6
Infinite dimensions -- 5.7 Connections -- 6 Multi-dimensional semantics for every modal language -- 6.1 Logics with one modality -- 6.2 Logics with arbitrary many modalities -- 6.3 Versatile similarity types -- 6.4 The modal logic of
composition and its conjugates -- Open problems -- Appendices -- A Modal Similarity Types -- A.1 Introduction -- A.2 Modal similarity types -- A.3 Frames, models and correspondence -- A.4 Structural frame operations -- A.5 Boolean
S-algebras -- A.6 Frames and algebras -- A.7 Modal logics and derivation systems -- A.8 Algebraic derivations -- A.9 Canonical structures -- B A Modal Toolkit -- B.1 Sahlqvist theory -- B.1.1 Definitions -- B.1.2 Sahlqvist
correspondence -- B.1.3 Canonicity & completeness -- B.1.4 Algebraic aspects of Sahlqvist theory -- B.2 Logical operators -- B.2.1 The universal modality -- B.2.2 Versatile similarity types -- B.2.3 The D-operator -- B.3 Negative
definability and unorthodox axiomatics -- B.4 Interpolation -- B.5 Filtrations -- B.6 A local and a global paradigm -- List of symbols
ISBN:9789401156943
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 4
Keywords: Philosophy , Logic , Mathematical logic , Computational linguistics , Philosophy , Logic , Mathematical Logic and Foundations , Computational Linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9789401156387:ONLINE Show nearby items on shelf
Title:Logic, Language and Computation
Author(s):
Date:1997
Size:1 online resource (253 p.)
Note:10.1007/978-94-011-5638-7
Contents:1. Recent Issues in Logic, Language and Computation -- 2. Restricted Quantification -- 3. The Epsilon Calculus’ Problematic -- 4. Definite Descriptions and Choice Functions -- 5. Spatio-Temporal Structure in Text -- 6. DRT and
Many-Valued Logics -- 7. On Constructive Modality -- 8. Displaying as Temporalizing: Sequent Systems for Subintuitistic Logics -- 9. Quantification and Dependence Logics -- 10. Relevant Conditionals, and Relevant Application Thereof
ISBN:9789401156387
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 5
Keywords: Philosophy , Logic , Language and languages , Computational linguistics , Semantics , Philosophy , Logic , Computational Linguistics , Semantics , Philosophy of Language
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9781461219569:ONLINE Show nearby items on shelf
Title:The Genesis of Simulation in Dynamics Pursuing the Fermi-Pasta-Ulam Problem
Author(s): Thomas P Weissert
Date:1997
Size:1 online resource (176 p.)
Note:10.1007/978-1-4612-1956-9
Contents:I: History -- 1. The FPU Model and Simulation: “A Little Discovery” -- 2. The FPU Research Program: Echoes on a String -- 3. The Kolmogorov—Arnold—Moser Theorem: “Here Comes the Surprise” -- 4. Research Threads Come Together: Harmonic
Convergence -- II: Philosophy -- 5. Steps to an Epistemology of Simulation -- Append -- A. Hamiltonian Dynamics: Language of Abstraction -- A.1. Topology and Phase-Space Trajectories -- A.2. Canonical Transformations -- A.3.
Transforming the Unperturbed String -- A.4. Cyclic Coordinates -- A.5. Liouville Integrability -- A.6. The Action-Angle Variables -- A.7. Dynamics on a Torus -- A.8. Commensurability: Two Types of Motion -- A.9. Digital Representation
-- A.10.Physical Reality and the Continuum -- A.11.Perturbing the String -- References
ISBN:9781461219569
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Physics , Physics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9789401586320:ONLINE Show nearby items on shelf
Title:Fallacies Arising from Ambiguity
Author(s): Douglas Walton
Date:1996
Size:1 online resource (293 p.)
Note:10.1007/978-94-015-8632-0
Contents:1 Ambiguity and Fallacies -- 2 Equivocation -- 3 Amphiboly -- 4 Accent -- 5 Figure of Speech -- 6 Innuendo -- 7 Bias -- 8 a Pragmatic Synthesis
ISBN:9789401586320
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 1
Keywords: Philosophy , Logic , Language and languages , Social sciences , Philosophy , Logic , Philosophy of Language , Social Sciences, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1990-9789400923560:ONLINE Show nearby items on shelf
Title:Computation, Logic, Philosophy A Collection of Essays
Author(s): Hao Wang
Date:1990
Size:1 online resource (373 p.)
Note:10.1007/978-94-009-2356-0
Contents:One. Broad Issues -- 1. On Formalization -- 2. The Concept of Computability [(1953)] -- 3. Process and Existence in Mathematics [1961(60)] -- 4. Logic, Computation and Philosophy [1971(66)] -- Two. Automated Theorem Proving(ATP) -- 5.
Computer Theorem Proving and Artificial Intelligence [1984(82)] -- 6. Proving Theorems by Pattern Recognition, I [1960(59)] -- 7. Observations on ATP -- 8. Some Data for ATP -- 9. Proving Theorems by Pattern Recognition, II [1961(60)a]
-- Three. Decidability and Complexity -- 10. Games, Logic and Computers [1965a] -- 11. Dominoes and the AEA Case of the Decision Problem [1963(62)] -- 12. Towards Feasible Solutions of the Tautology Problem (with B.Dunhan) [1976(74)]
-- 13. Ranked Matching and Hospital Interns (with D.A.Martin) [(1977)] -- Four. Topics from Theory to Practice -- 14. Logical Fragments Relevant to Computer Science -- 15. Computers and Mathematical Activity -- 16. On Information
Processing of the Chinese Language [1979] -- The List of the Publications of the Author
ISBN:9789400923560
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and its Application (China Series): 2
Keywords: Mathematics , Philosophy , Computers , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Philosophy of Technology , Theory of Computation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1986-9781461321835:ONLINE Show nearby items on shelf
Title:Advances in Nuclear Science and Technology Simulators for Nuclear Power
Author(s):
Date:1986
Size:1 online resource (224 p.)
Note:10.1007/978-1-4613-2183-5
Contents:A Methodology for the Design of Plant Analysers -- I. Introduction -- II. CEGB Operations -- III. Historical Development within the CEGB -- IV. Design and Provision of Training Simulators -- V. Requirements of Design Quality Assurance
-- VI. Simulation Language PMSP -- VII. Conservation of Validated Plant Models -- VIII. Converged Modelling Philosophy -- Acknowledgements -- References -- Models and Simulation in Nuclear Power Station Design and Operation -- I.
Introduction -- II. Physical Full-Scale Engineering Models -- III. Part-Scale Models -- IV. Full-Scale Static Control Room Mock-ups -- V. Full-Scale Control Room Mock-ups with Dynamic Displays -- VI. Full-Scope Training Simulators --
VII. Large Simulation Facilities for Design -- VIII. Nuclear Plant Analysers -- IX. Predictive Devices Used as Operator Aids -- X. Heysham II Power Station Fault Level Monitoring and Indication Equipment -- XI. CEGB Essential System
Integrating Simulator -- XII. Equipment, Systems and Human Reliability -- XIII. Testing of Automatic Control Loops -- XIV. Computer Hardware Necessary -- XV. Conclusions -- Acknowledgements -- References -- Psychological Aspects of
Simulator Design and Use -- I. Introduction -- II. Simulator Uses and Human Factors -- III. Simulators as Learning Environments -- IV. Alternative Approaches to Training -- V. Remaining Tasks for the Full-Scope Simulator -- VI.
Conclusions -- References -- The Development of Full-Scope AGR Training Simulators within the CEGB -- I. Introduction -- II. User Requirement -- III. Functional Specification -- IV. Choice of Plant Model Complexity -- V. Choice of
Display and Tutorial Facilities -- VI. Computer and Interface Hardware -- VII. Software Development Strategy -- VIII. Long Term Support -- IX. Quality Assurance -- X. AGR Simulator System Design -- XI. Conclusions -- Acknowledgements
-- References -- Parallel Processing for Nuclear Safety Simulation -- I. Introduction -- II. Problem Definition and Solution Methodology -- III. Solution of Gas-Flow Equations -- IV. Application to RELAPV -- V. Conclusions --
Acknowledgement -- References -- Developments in Full-scope, Real-time Nuclear Plant Simulators -- I. Introduction -- II. Nuclear Submarine Simulators -- III. The Hunterston ‘B’ Simulator -- IV. The Torness AGR Simulator -- V.
Simulator System Design Philosophy -- VI. Automatic Testing -- VII. Computer System Architecture -- VIII. Conclusion -- Acknowledgement -- Authors’ Biography
ISBN:9781461321835
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Advances in Nuclear Science and Technology: 17
Keywords: Physics , Nuclear energy , Atoms , Nuclear engineering , Physics , Atomic, Molecular, Optical and Plasma Physics , Nuclear Engineering , Nuclear Energy
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1977-9789401576246:ONLINE Show nearby items on shelf
Title:Complementarity in Mathematics A First Introduction to the Foundations of Mathematics and Its History
Author(s): Willem Kuyk
Date:1977
Size:1 online resource (175 p.)
Note:10.1007/978-94-015-7624-6
Contents:I. Semantical and Syntactical Aspects of Elementary Mathematical Theories -- I.1. Introduction to the Elementary Predicate Calculus without Equality -- I.2. Semantical Interpretation of the Propositional Calculus -- I.3. Semantical
Interpretation of the Elementary Predicate Calculus -- I.4. Decision Procedure for the Elementary Predicate Calculus -- I.5. Predicate Calculus — the Theory Z -- I.6. Gödel’s Incompleteness Theorem -- I.7. The Incompleteness Theorems
and Semantics -- I.8. Remarks on Non-Standard Mathematics -- II. Epistemological Aspects of Mathematics in Historical Perspective -- II. 1. Introduction -- II.2. The Philosophy of Mathematics in History -- II.3. Transition to the
Present Century -- II.4. Directions in the 20th Century Philosophy of Mathematics -- II.4.1.1. Frege (1848–1925) -- II.4.1.2. Russell (1872–1970) -- II.4.2.1. Poincaré (1854–1912) -- II.4.2.2. Brouwer (1881–1966) -- II.4.2.3. The
‘Bourbaki’ Group -- III. An Outline of a Complementaristic Approach to Mathematics -- III.1. Facets and Methods of a Philosophy of Mathematics -- III.2. Two Kinds of Mathematical Existence -- III.3. Language, Set Theory and
Mathematical Complementarity -- III.4. Complementarist Set Theory — an Outline -- III.5. The Unity of Mathematics: Algebra and Topology -- III.6. Bridging the Abyss Between the Discrete and the Continuous -- Selected Bibliography --
References for Further Study -- Index of Names -- Index of Subjects
ISBN:9789401576246
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 1
Keywords: Mathematics , History , Mathematical logic , Mathematics , Mathematical Logic and Foundations , History of Mathematical Sciences
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1965-9789401508315:ONLINE Show nearby items on shelf
Title:Quantum Mechanics and Objectivity A Study of the Physical Philosophy of Werner Heisenberg
Author(s): Patrick A Heelan
Date:1965
Size:1 online resource (207 p.)
Note:10.1007/978-94-015-0831-5
Contents:I: Objectivity in Quantum Mechanics -- The Epistemological Structure of Quantum Mechanics -- One: Introduction -- Two: The Discovery of Quantum Mechanics -- Three: The Intentionality of Structure of Complementarity -- Four:
Complementarity and the Scientific Method A Criticism -- Five: Subjectivity and Objectivity -- Six: Classical Mechanics and Quantum Mechanics -- II Reality in Quantum Mechanics -- The Ontological Structure of Atomic Systems -- Seven:
Various Theories of Reality in Physics -- Eight: Reality in Heisenberg’s Philosophy -- Nine: Ontological Structure of Physical Reality -- III The Structure of Physical Science -- Ten: Logic and Language of Science -- Appendix: Law of
Superposition of Wave Functions — Entropy and Information -- Glossary of Philosophical and Scientific Terms
ISBN:9789401508315
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Quantum physics , Mechanics , Physics , Quantum Physics , Mechanics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:QC7.B49::1996 Show nearby items on shelf
Title:A theory for everything
Author(s): Jeremy Bernstein.
Date:1996
Publisher:New York : Copernicus,
Size:320 p
Contents:A theory for everything -- Newton's apple and einstein's elevator -- Einstein's scientific legacy -- Bohr -- The drawing -- A brief history of black holes -- Madame Curie -- Segre -- Linus Pauling -- Fused - Smuggler -- Language -- Julian Schwinger -- Leptons -- Bubble and squeak -- The philosophy circle -- Portrait of Bleibermacher -- The faculty meeting.
ISBN:9780387947006
Keywords: Physicists , Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: POP

Cover Image
Call number:QC174.12.R45::1944 Show nearby items on shelf
Title:Philosophic foundations of quantum mechanics
Author(s): Hans Reichenbach
Date:1944
Publisher:Mineola, N.Y. : Dover Publications
Size:182 p
Contents:PART I: GENERAL CONSIDERATIONS 1. Causal laws and probability laws 2. The probability distributions 3. The principle of indeterminacy 4. The disturbance of the object by the observation 5. The determination of unobserved objects 6. Waves and corpusc les 7. Analysis of an interference experiment 8. Exhaustive and restrictive interpretations
PART II: OUTLINES OF THE MATHEMATICS OF QUANTUM MECHANICS 9. Expansion of a function in terms of an orthogonal set 10. Geometrical interpretation in the function space 11. Reversion and iteration of transformations 12. Functions of several variables and the configuration space 13. Derivation of Schrodinger's equation from de Broglie's principle 14. Operators, eigen-functions, and eigen-values of physical entities 15. The commutation rule 16. Operator matrices 17. Determination of the probability dis tributions 18. Time dependence of the ^-function 19. Transformation to other state functions 20. Observational determination of the ^-function 21. Mathematical theory of measuremen 22. The rules of probability and the disturbance by the measurement 23. T h e nature of probabilities and of statistical assemblages in quantum mechanics
PART III : INTERPRETATIONS 24. Comparison of classical and quantum mechanical statistics 25. The corpuscle interpretation 26. The impossibility of a chain structure 27. The wave interpretation 28. Observational language and quantum mechanical langu age 29. Interpretation by a restricted meaning 30. Interpretation through a three-valued logic 31. The rules of two-valued logic 32. The rules of three-valued logic 33. Suppression of causal anomalies through a three- valued logic 34. Indeterminacy in th e object language 35. The limitation of measurability 36. Correlated systems
ISBN:0486404595
Keywords: Quantum theory , Physics Philosophy
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover Image
Call number:QC174.12.B633::1981 Show nearby items on shelf
Title:Wholeness and the implicate order
Author(s): David Bohm
Date:1981
Publisher:New York : Routledge
Size:224 p
Contents:Fragmentation and wholeness -- The rheomode-an experiment with language and thought -- Reality and knowledge considered as process -- Hidden variables in the quantum theory -- Quantum theory as an indication of a new order in physics -- Quantum theo ry as an indication of a new order in physics
ISBN:0415119669
Keywords: Quantum theory , Physics Philosophy , Whole and parts (Philosophy)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Return to the Fermilab Library catalog