Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | 9783319394459:ONLINE Show nearby items on shelf |
Title: | Maths Meets Myths: Quantitative Approaches to Ancient Narratives |
Author(s): | |
Date: | 2017 |
Size: | 1 online resource (X, 228 p. 64 illus., 47 illus. in color p.) |
Contents: | Preface -- Foreword -- Introduction -- Cognitive and Network Constraints in Real Life and Literature -- A Networks Approach to Mythological Epics -- Medieval Historical, Hagiographical and Biographical Networks -- Peopling of the New |
World from data on distributions of folklore motifs -- Phylogenetics Meets Folklore: Bioinformatic Approaches to the Study of International Folktales -- Analyses of a VirtualWorld -- Ghostscope: Conceptual Mapping of Supernatural | |
Phenomena in a Large Folklore Corpus -- Complex Networks of Words in Fables -- Analysing and Restoring the Chronology of the Irish Annals -- Mapping Literate Networks in Early Medieval Ireland Quantitative Realities, Social | |
Mythologies? -- How quantitative methods can shed light on a problem of comparative mythology: The myth of the struggle for supremacy between two groups of deities reconsidered | |
ISBN: | 9783319394459 |
Series: | eBooks |
Series: | Springer eBooks |
Series: | Springer 2017 package |
Keywords: | Physics , History , Medieval philosophy , Historical linguistics , Social sciences , Physics , Applications of Graph Theory and Complex Networks , History, general , Methodology of the Social Sciences , Historical Linguistics , Medieval 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 |
Call number: | SPRINGER-2014-9789400775480:ONLINE Show nearby items on shelf |
Title: | Advances in Natural Deduction [electronic resource] : A Celebration of Dag Prawitz's Work |
Author(s): |
Luiz Carlos Pereira Edward Hermann Haeusler Valeria de Paiva |
Date: | 2014 |
Publisher: | Dordrecht : Springer Netherlands : Imprint: Springer |
Size: | 1 online resource |
Note: | This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour hisseminal research. Dag Prawit zs work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics andTheoretical Computer Science. The range of contributions includes ma terial on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of naturaldeduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), viamethods of category theory that have been successfully applied to linear logic, as well as many other contributions from h ighly regarded authorities. With an illustrious group of contributors addressing a wealth of topics andapplications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative ofthe rich and varied directions that Prawitz work has inspired in the area of natural deduction. |
Contents: | Chapter 1. Generalizaed elimination inferences Schroeder |
Heister, Peter | |
Chapter 2. Revisiting Zucker's work on the Correspondence between Cut | |
Elimination and Normalisation Urban, Christian | |
Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic Joinet, Jean | |
Baptiste | |
Chapter 4. Natural Deduction for Equality: The Missing Entity de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G | |
Chapter 5. Proof | |
theoretical Conception of Logic Legris, Javier | |
Chapter 6. On the Structure of Natural deduction Derivations for Generally Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sh | |
ISBN: | 9789400775480 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v39 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , 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 |
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 |
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 |
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 |
Call number: | SPRINGER-2010-9781441912213:ONLINE Show nearby items on shelf |
Title: | A Concise Introduction to Mathematical Logic [electronic resource] |
Author(s): |
Wolfgang Rautenberg |
Date: | 2010 |
Edition: | 3 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from theendeavors of Peano, Frege, an d others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipline with several sub-areas and numerous applications in mathematics,informatics, linguistics and philosophy. This book treats the most important material in a concise and streamlined fashion. The third edition is a thorough and expanded revision of the former. Although the book is intended for use as agraduate text, the first three chapters can easily be read by undergraduates i nterested in mathematical logic. These initial chapters cover the material for an introductory course on mathematical logic, combined with applications offormalization techniques to set theory. Chapter 3 is partly of descriptive nature, providing a view t owards algorithmic decision problems, automated theorem proving, non-standard models including non-standard analysis, and relatedtopics. The remaining chapters contain basic material on logic programming for logicians and computer scientists, model theory , recursion theory, Gdels Incompleteness Theorems, and applications of mathematical logic. Philosophicaland foundational problems of mathematics are discussed throughout the text. Each section of the seven chapters ends with exercises some of which of imp ortance for the text itself. There are hints to most of the exercises in a separatefile Solution Hints to the Exercises which is not part of the book but is available from the authors website |
Note: | Springer eBooks |
Contents: | Preface |
Introduction | |
Notation | |
Propositional Logic | |
First | |
Order Logic | |
Complete Logical Calculi | |
Foundations of Logical Programming | |
Elements of Model Theory | |
Incompleteness and Undecidability | |
On the Theory of Self | |
Reference | |
Bibliography | |
Index of Terms and Names | |
Index of Symbols | |
ISBN: | 9781441912213 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , 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 |
Call number: | SPRINGER-2009-9783540688327:ONLINE Show nearby items on shelf |
Title: | Historical Encyclopedia of Natural and Mathematical Sciences [electronic resource] |
Author(s): |
Ari Ben-Menahem |
Date: | 2009 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This milestone extensive work combines the essentials of history biography, chronology, political and economic background with the observations, theories, principles, laws and equations that constitute the specifics ofscience. The 5800-page Encyclo pedia arises from the conviction that the optimal perspective on science is through the lens of history, setting aside traditional divisions of discipline and specialty, and rising above geopoliticalboundaries. Reaching from 4,200 BCE to the 21st century CE, the Encyclopedia relates (as the author himself puts it) not only who did it and when it was done but also precisely what was done. The author, Ari Ben-Menahem, surveys100 generations of great thinkers, offering 2070 detailed biographies of scientists , engineers, explorers and inventors, who left their mark on the history of science and technology. The span of coverage is all-encompassing:mathematics, philosophy, logic, physical and environmental sciences (including physics, chemistry, astronomy, eart h and space sciences and cosmology), life sciences (biology, medicine, physiology, botany, zoology and biochemistry),associated engineering disciplines, and the social sciences (among them economics, psychology, sociology, anthropology, linguistics and mo re). The six-volume Encyclopedia also includes 380 articles summarizing the time-line of ideas inthe leading fields of science, technology, mathematics and philosophy, plus useful tables, figures and photos, and 20 Science Progress Reports detailing scien tific setbacks. Interspersed throughout are quotations, gathered fromthe wit and wisdom of sages, savants and scholars throughout the ages from antiquity to modern times |
Note: | Springer eBooks |
ISBN: | 9783540688327 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Geography , Life sciences , Environmental sciences , 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 |
Call number: | SPRINGER-2009-9781402090844:ONLINE Show nearby items on shelf |
Title: | Towards Mathematical Philosophy [electronic resource] : Papers from the Studia Logica conference Trends in Logic IV |
Author(s): |
David Makinson Jacek Malinowski Heinrich Wansing |
Date: | 2009 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its range of subjects is far fromcomplete, but broadly rep resentative. The first group of papers in this volume consists of contributions to pure and applied modal logic. The problems discussed here range from the structure of lattices of normal and other modalpropositional logics to modal proof theory and to th e semantics of quantified modal logic. The second group of papers deals with Many-valued logics - an extensive domain of strictly logical investigations rooting in philosophicalquestions concerning the nature of logical values. Logical investigations in c ognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. Towards MathematicalPhilosophy deals with focal issues of belief revision. The volume concludes with contributions which m ay be seen to belong to the field of formal epistemology, the area applying logical, probabilistic, game-theoretic and other formalmethods to problems and issues in epistemology and philosophy of science, such as those concerning anti-realism, skepticism, theory comparison and theory choice, justification, sources of knowledge and learning theories |
Note: | Springer eBooks |
Contents: | From Logic to Mathematical Philosophy David Makinson, Jacek Malinowski, Heinrich Wansing |
Commutativity of Quantifiers in Varying | |
Domain Kripke Models Rob Goldblatt, Ian Hodkinson | |
The Method of Tree | |
hypersequents for Modal Propositional Logic Francesca Poggiolesi | |
All Splitting Logics in the Lattice NExt(KTB) Tomasz Kowalski, Yukata Miyazaki | |
A Temporal Logic of Normative Systems Thomas gotnes, Wiebe van der Hoek, Juan A. Rodrguez | |
Aguilar, Carles Sierra, Michael Wooldridge | |
Reasoning with Justifications Melvin Fitting | |
Monotone Relations, Fixed Points, and Recursive Defi | |
ISBN: | 9781402090844 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Trends in Logic : v28 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic , Computer science , Algebra , Logic, Symbolic and mathematical , 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 |
Call number: | SPRINGER-2009-9781402089268:ONLINE Show nearby items on shelf |
Title: | Logicism, Intuitionism, and Formalism [electronic resource] : What has Become of Them? |
Author(s): |
Sten Lindstrm Erik Palmgren Krister Segerberg Viggo Stoltenberg-Hansen |
Date: | 2009 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gdel's ber formal unentscheidbare Stze der Principia Mathematica und verwandterSysteme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist andproof-theoretic programme. In this period, there were also lively e xchanges between the various schools culminating in the famous Hilbert-Brouwer controversy in the 1920s. The purpose of this anthology is to review the programmes inthe foundations of mathematics from the classical period and to assess their possible rele vance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classicalperiod and the disputes that took place between them? To what extent do the classical programmes of logicism, intui tionism and formalism represent options that are still alive today? These questions are addressed in this volume byleading mathematical logicians and philosophers of mathematics. The volume will be of interest primarily to researchers and graduate student s of philosophy, logic, mathematics and theoretical computer science. The material will beaccessible to specialists in these areas and to advanced graduate students in the respective fields |
Note: | Springer eBooks |
Contents: | From the contents Preface. Notes On The Contributors. Introduction |
I. Logicism And Neo | |
Logicism | |
II. Intuitionism And Constructive Mathematics | |
III. Formalism | |
Index | |
ISBN: | 9781402089268 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science : v341 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Genetic epistemology , Logic , Ontology , Linguistics Philosophy , Mathematics_$xHistory , 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 |
Call number: | SPRINGER-2006-9780387342412:ONLINE Show nearby items on shelf |
Title: | A Concise Introduction to Mathematical Logic [electronic resource] |
Author(s): |
Wolfgang Rautenberg |
Date: | 2006 |
Edition: | 2 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create alogistic foundation for m athematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there arealready several well-known textbooks on mathematical logic, this book is unique in that it is more concise than most others the material is treated in a streamlined fashion. This allows the lecturer to select the material for aone-semester course on a topic more easily. Although the book is intended for us e as a graduate text, the first three chapters could be understood by undergraduates interested in mathematical logic. These initial chapters cover justthe material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving,non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, mod el theory, recursion theory, Gdel's Incompleteness Theorems, and applications of mathematical logic.Philosophical and foundational problems of mathematics are discussed where appropriate. The author has provided exercises for each section, as well as hint s or even complete solutions to most exercises at the end of the book. From theforeword, written by Lev Beklemishev: a well-written introduction to this beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Gdels incompleteness theorems,as well as some topics motivated by applications, such as a chapter on logic programming. The author has taken great care to make the expositi |
Note: | Springer eBooks |
Contents: | Foreword |
Preface | |
Introduction | |
Notation | |
Propositional Logic | |
Predicate Logic | |
Gdels Completeness Theorem | |
The Foundations of Logic Programming | |
Elements of Model Theory | |
Incompleteness and Undecidability | |
On the Theory of Self | |
Reference | |
Hints to the Exercises | |
Literature | |
Index of Terms and Names | |
Index of Symbols | |
ISBN: | 9780387342412 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Universitext |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , 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 |
Call number: | SPRINGER-2004-9781402027123:ONLINE Show nearby items on shelf |
Title: | The Death of Argument Fallacies in Agent Based Reasoning |
Author(s): |
John Woods |
Date: | 2004 |
Size: | 1 online resource (378 p.) |
Note: | 10.1007/978-1-4020-2712-3 |
Contents: | I Metatheoretical Questions -- 1. Who Cares About the Fallacies? -- 2. The Necessity of Formalism -- 3. The Informal Core of Formal Logic -- II Threats and Intimidation -- 4. Ad Baculum and Pascal’s Wager -- 5. Appeal to Force -- III |
Arguments Involving Reference to Persons -- 6. Dialectical Blindspots -- 7. Ad Hominem -- 8. And so Indeed are Perfect Cheat -- IV Pragma-Dialectics -- 9. Pragma-Dialectics -- 10. Buttercups, GNP’s and Quarks -- 11. Unifying the | |
Fallacies? -- V Intractable Disagreement -- 12. Standoffs in Public Policy -- 13. Standoffs and Demoralization -- VI How to Interpret Arguments -- 14. Charity: Can We Find it a Home? -- 15. Missing Premisses -- VII Analogy -- 16. By | |
Parity of Reasoning -- 17. Verdi is the Puccini of Music -- VIII Induction -- 18. Secundum Quid -- 19. Hasty Generalization -- 20. The Problem of Abduction -- Epilogue: The Way Ahead? -- References | |
ISBN: | 9781402027123 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 32 |
Keywords: | Philosophy , Science , Logic , Political science , Linguistics , Philosophy , Logic , Science, general , Philosophy of Law , Linguistics, 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 |
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 |
Call number: | SPRINGER-2002-9783034881418:ONLINE Show nearby items on shelf |
Title: | The Topos of Music Geometric Logic of Concepts, Theory, and Performance |
Author(s): |
Guerino Mazzola |
Date: | 2002 |
Size: | 1 online resource (1344 p.) |
Note: | 10.1007/978-3-0348-8141-8 |
Contents: | I Introduction and Orientation -- 1 What is Music About? -- 1.1 Fundamental Activities -- 1.2 Fundamental Scientific Domains -- 2 Topography -- 2.1 Layers of Reality -- 2.1.1 Physical Reality -- 2.1.2 Mental Reality -- 2.1.3 |
Psychological Reality -- 2.2 Molino’s Communication Stream -- 2.2.1 Creator and Poietic Level -- 2.2.2 Work and Neutral Level -- 2.2.3 Listener and Esthesic Level -- 2.3 Semiosis -- 2.3.1 Expressions -- 2.3.2 Content -- 2.3.3 The | |
Process of Signification -- 2.3.4 A Short Overview of Music Semiotics -- 2.4 The Cube of Local Topography -- 2.5 Topographical Navigation -- 3 Musical Ontology -- 3.1 Where is Music? -- 3.2 Depth and Complexity -- 4 Models and | |
Experiments in Musicology -- 4.1 Interior and Exterior Nature -- 4.2 What Is a Musicological Experiment? -- 4.3 Questions—Experiments of the Mind -- 4.4 New Scientific Paradigms and Collaboratories -- II Navigation on Concept Spaces -- | |
5 Navigation -- 5.1 Music in the EncycloSpace -- 5.2 Receptive Navigation -- 5.3 Productive Navigation -- 6 Denotators -- 6.1 Universal Concept Formats -- 6.1.1 First Naive Approach To Denotators -- 6.1.2 Interpretations and Comments | |
-- 6.1.3 Ordering Denotators and ‘Concept Leafing’ -- 6.2 Forms -- 6.2.1 Variable Addresses -- 6.2.2 Formal Definition -- 6.2.3 Discussion of the Form Typology -- 6.3 Denotators -- 6.3.1 Formal Definition of a Denotator -- 6.4 | |
Anchoring Forms in Modules -- 6.4.1 First Examples and Comments on Modules in Music -- 6.5 Regular and Circular Forms -- 6.6 Regular Denotators -- 6.7 Circular Denotators -- 6.8 Ordering on Forms and Denotators -- 6.8.1 Concretizations | |
and Applications -- 6.9 Concept Surgery and Denotator Semantics -- III Local Theory -- 7 Local Compositions -- 7.1 The Objects of Local Theory -- 7.2 First Local Music Objects -- 7.2.1 Chords and Scales -- 7.2.2 Local Meters and Local | |
Rhythms -- 7.2.3 Motives -- 7.3 Functorial Local Compositions -- 7.4 First Elements of Local Theory -- 7.5 Alterations Are Tangents -- 7.5.1 The Theorem of Mason—Mazzola -- 8 Symmetries and Morphisms -- 8.1 Symmetries in Music -- 8.1.1 | |
Elementary Examples -- 8.2 Morphisms of Local Compositions -- 8.3 Categories of Local Compositions -- 8.3.1 Commenting the Concatenation Principle -- 8.3.2 Embedding and Addressed Adjointness -- 8.3.3 Universal Constructions on Local | |
Compositions -- 8.3.4 The Address Question -- 8.3.5 Categories of Commutative Local Compositions -- 9 Yoneda Perspectives -- 9.1 Morphisms Are Points -- 9.2 Yoneda’s Fundamental Lemma -- 9.3 The Yoneda Philosophy -- 9.4 Understanding | |
Fine and Other Arts -- 9.4.1 Painting and Music -- 9.4.2 The Art of Object-Oriented Programming -- 10 Paradigmatic Classification -- 10.1 Paradigmata in Musicology, Linguistics, and Mathematics -- 10.2 Transformation -- 10.3 Similarity | |
-- 10.4 Fuzzy Concepts in the Humanities -- 11 Orbits -- 11.1 Gestalt and Symmetry Groups -- 11.2 The Framework for Local Classification -- 11.3 Orbits of Elementary Structures -- 11.3.1 Classification Techniques -- 11.3.2 The Local | |
Classification Theorem -- 11.3.3 The Finite Case -- 11.3.4 Dimension -- 11.3.5 Chords -- 11.3.6 Empirical Harmonic Vocabularies -- 11.3.7 Self-addressed Chords -- 11.3.8 Motives -- 11.4 Enumeration Theory -- 11.4.1 Pólya and de Bruijn | |
Theory -- 11.4.2 Big Science for Big Numbers -- 11.5 Group-theoretical Methods in Composition and Theory -- 11.5.1 Aspects of Serialism -- 11.5.2 The American Tradition -- 11.6 Esthetic Implications of Classification -- 11.6.1 | |
Jakobson’s Poetic Function -- 11.6.2 Motivic Analysis: Schubert/Stolberg “Lied auf dem Wasser zu singen...” -- 11.6.3 Composition: Mazzola/Baudelaire “La mort des artistes” -- 11.7 Mathematical Reflections on Historicity in Music -- | |
11.7.1 Jean-Jacques Nattiez’ Paradigmatic Theme -- 11.7.2 Groups as a Parameter of Historicity -- 12 Topological Specialization -- 12.1 What Ehrenfels Neglected -- 12.2 Topology -- 12.2.1 Metrical Comparison -- 12.2.2 Specialization | |
Morphisms of Local Compositions -- 12.3 The Problem of Sound Classification -- 12.3.1 Topographic Determinants of Sound Descriptions -- 12.3.2 Varieties of Sounds -- 12.3.3 Semiotics of Sound Classification -- 12.4 Making the Vague | |
Precise -- IV Global Theory -- 13 Global Compositions -- 13.1 The Local-Global Dichotomy in Music -- 13.1.1 Musical and Mathematical Manifolds -- 13.2 What Are Global Compositions? -- 13.2.1 The Nerve of an Objective Global Composition | |
-- 13.3 Functorial Global Compositions -- 13.4 Interpretations and the Vocabulary of Global Concepts -- 13.4.1 Iterated Interpretations -- 13.4.2 The Pitch Domain: Chains of Thirds, Ecclesiastical Modes, Triadic and Quaternary Degrees | |
-- 13.4.3 Interpreting Time: Global Meters and Rhythms -- 13.4.4 Motivic Interpretations: Melodies and Themes -- 14 Global Perspectives -- 14.1 Musical Motivation -- 14.2 Global Morphisms -- 14.3 Local Domains -- 14.4 Nerves -- 14.5 | |
Simplicial Weights -- 14.6 Categories of Commutative Global Compositions -- 15 Global Classification -- 15.1 Module Complexes -- 15.1.1 Global Affine Functions -- 15.1.2 Bilinear and Exterior Forms -- 15.1.3 Deviation: Compositions vs. | |
“Molecules” -- 15.2 The Resolution of a Global Composition -- 15.2.1 Global Standard Compositions -- 15.2.2 Compositions from Module Complexes -- 15.3 Orbits of Module Complexes Are Classifying -- 15.3.1 Combinatorial Group Actions -- | |
15.3.2 Classifying Spaces -- 16 Classifying Interpretations -- 16.1 Characterization of Interpretable Compositions -- 16.1.1 Automorphism Groups of Interpretable Compositions -- 16.1.2 A Cohomological Criterion -- 16.2 Global | |
Enumeration Theory -- 16.2.1 Tesselation -- 16.2.2 Mosaics -- 16.2.3 Classifying Rational Rhythms and Canons -- 16.3 Global American Set Theory -- 16.4 Interpretable “Molecules” -- 17 Esthetics and Classification -- 17.1 Understanding | |
by Resolution: An Illustrative Example -- 17.2 Varese’s Program and Yoneda’s Lemma -- 18 Predicates -- 18.1 What Is the Case: The Existence Problem -- 18.1.1 Merging Systematic and Historical Musicology -- 18.2 Textual and Paratextual | |
Semiosis -- 18.2.1 Textual and Paratextual Signification -- 18.3 Textuality -- 18.3.1 The Category of Denotators -- 18.3.2 Textual Semiosis -- 18.3.3 Atomic Predicates -- 18.3.4 Logical and Geometric Motivation -- 18.4 Paratextuality | |
-- 19 Topoi of Music -- 19.1 The Grothendieck Topology -- 19.1.1 Cohomology -- 19.1.2 Marginalia on Presheaves -- 19.2 The Topos of Music: An Overview -- 20 Visualization Principles -- 20.1 Problems -- 20.2 Folding Dimensions -- 20.2.1 | |
?2 ? ? -- 20.2.1 ?n ? ? -- 20.2.3 An Explicit Construction of ? with Special Values -- 20.3 Folding Denotators -- 20.3.1 Folding Limits -- 20.3.2 Folding Colimits -- 20.3.3 Folding Powersets -- 20.3.4 Folding Circular Denotators -- | |
20.4 Compound Parametrized Objects -- 20.5 Examples -- V Topologies for Rhythm and Motives -- 21 Metrics and Rhythmics -- 21.1 Review of Riemann and Jackendoff—Lerdahl Theories -- 21.1.1 Riemann’s Weights -- 21.1.2 Jackendoff—Lerdahl: | |
Intrinsic Versus Extrinsic Time Structures -- 21.2 Topologies of Global Meters and Associated Weights -- 21.3 Macro-Events in the Time Domain -- 22 Motif Gestalts -- 22.1 Motivic Interpretation -- 22.2 Shape Types -- 22.2.1 Examples of | |
Shape Types -- 22.3 Metrical Similarity -- 22.3.1 Examples of Distance Functions -- 22.4 Paradigmatic Groups -- 22.4.1 Examples of Paradigmatic Groups -- 22.5 Pseudo-metrics on Orbits -- 22.6 Topologies on Gestalts -- 22.6.1 The | |
Inheritance Property -- 22.6.2 Cognitive Aspects of Inheritance -- 22.6.3 Epsilon Topologies -- 22.7 First Properties of the Epsilon Topologies -- 22.7.1 Toroidal Topologies -- 22.8 Rudolph Reti’s Motivic Analysis Revisited -- 22.8.1 | |
Review of Concepts -- 22.8.2 Reconstruction -- 22.9 Motivic Weights -- VI Harmony -- 23 Critical Preliminaries -- 23.1 Hugo Riemann -- 23.2 Paul Hindemith -- 23.3 Heinrich Schenker and Friedrich Salzer -- 24 Harmonic Topology -- 24.1 | |
Chord Perspectives -- 24.1.1 Euler Perspectives -- 24.1.2 12-tempered Perspectives -- 24.1.3 Enharmonic Projection -- 24.2 Chord Topologies -- 24.2.1 Extension and Intension -- 24.2.2 Extension and Intension Topologies -- 24.2.3 | |
Faithful Addresses -- 24.2.4 The Saturation Sheaf -- 25 Harmonic Semantics -- 25.1 Harmonic Signs—Overview -- 25.2 Degree Theory -- 25.2.1 Chains of Thirds -- 25.2.2 American Jazz Theory -- 25.2.3 Hans Straub: General Degrees in | |
General Scales -- 25.3 Function Theory -- 25.3.1 Canonical Morphemes for European Harmony -- 25.3.2 Riemann Matrices -- 25.3.3 Chains of Thirds -- 25.3.4 Tonal Functions from Absorbing Addresses -- 26 Cadence -- 26.1 Making the Concept | |
Precise -- 26.2 Classical Cadences Relating to 12-tempered Intonation -- 26.2.1 Cadences in Triadic Interpretations of Diatonic Scales -- 26.2.2 Cadences in More General Interpretations -- 26.3 Cadences in Self-addressed Tonalities of | |
Morphology -- 26.4 Self-addressed Cadences by Symmetries and Morphisms -- 26.5 Cadences for Just Intonation -- 26.5.1 Tonalities in Third-Fifth Intonation -- 26.5.2 Tonalities in Pythagorean Intonation -- 27 Modulation -- 27.1 Modeling | |
Modulation by Particle Interaction -- 27.1.1 Models and the Anthropic Principle -- 27.1.2 Classical Motivation and Heuristics -- 27.1.3 The General Background -- 27.1.4 The Well-Tempered Case -- 27.1.5 Reconstructing the Diatonic Scale | |
from Modulation -- 27.1.6 The Case of Just Tuning -- 27.1.7 Quantized Modulations and Modulation Domains for Selected Scales -- 27.2 Harmonic Tension -- 27.2.1 The Riemann Algebra -- 27.2.2 Weights on the Riemann Algebra -- 27.2.3 | |
Harmonic Tensions from Classical Harmony? -- 27.2.4 Optimizing Harmonic Paths -- 28 Applications -- 28.1 First Examples -- 28.1.1 Johann Sebastian Bach: Choral from “Himmelfahrtsoratorium” -- 28.1.2 Wolfgang Amadeus Mozart: | |
“Zauberflöte”, Choir of Priests -- 28.1.3 Claude Debussy: “Préludes”, Livre 1, No.4 -- 28.2 Modulation in Beethoven’s Sonata op.106, 1stMovement -- | |
ISBN: | 9783034881418 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Philosophy and science , Algebraic geometry , Applied mathematics , Engineering mathematics , Visualization , Geometry , Mathematics , Applications of Mathematics , Philosophy of Science , Geometry , Algebraic Geometry , Mathematics, general , Visualization |
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 |
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 |
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 |
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 |
Call number: | SPRINGER-1997-9789401588799:ONLINE Show nearby items on shelf |
Title: | Advances in Intensional Logic |
Author(s): | |
Date: | 1997 |
Size: | 1 online resource (294 p.) |
Note: | 10.1007/978-94-015-8879-9 |
Contents: | Modal Quantification over Structured Domains -- Modal Logic and Model-Theoretic Syntax -- The Functional Interpretation of Modal Necessity -- Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic -- The Logic |
of Correct Description -- Modal Logics of Arrows -- A Full-Circle Theorem for Simple Tense Logic -- Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline -- The Modal Object Calculus and its Interpretation -- | |
Name Index | |
ISBN: | 9789401588799 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 7 |
Keywords: | Philosophy , Logic , Artificial intelligence , Mathematical logic , Computational linguistics , Philosophy , Logic , Mathematical Logic and Foundations , Computational Linguistics , 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 |
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 |
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 |
Call number: | SPRINGER-1996-9789401587532:ONLINE Show nearby items on shelf |
Title: | Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neohumanist Scholar Papers from a Sesquicentennial Conference |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (370 p.) |
Note: | 10.1007/978-94-015-8753-2 |
Contents: | A survey of Grassmann’s Ausdehnungslehre -- On Grassmann’s life and his work as a mathematics teacher -- Remarks on the fate of Grassmann’s Nachlaß -- The influence of Grassmann’s theory of tides on the Ausdehnungslehre -- The |
influence of Justus Grassmann’s crystallographic works on Hermann Grassmann -- Geometrical Product — Exponentiation — Evo-lution. Justus Günther Grassmann and dynamist Naturphilosophie -- The cooperation between Hermann and Robert | |
Grassmann on the foundations of mathematics -- The origins of colorimetry: What did Helmholtz and Maxwell learn from Grassmann? -- Hermann Grassmann’s contribution to the construction of a German “Kulturnation” — Scientific school | |
grammar between Latin tradition and French conceptions -- The reception of Grassmann’s mathematical achievements by A. Clebsch and his school -- The reception of Grassmann’s work in Germany during the 1870s -- Reception of Grassmann’s | |
ideas in Bohemia -- The influence of Grassmann on Italian projective n-dimensional geometry -- Hermann Günther Grassmann and the theory of hypercomplex number systems -- Basis and Dimension — from Grassmann to van der Waerden -- | |
Emergence of vector calculus in physics: the early decades -- Where does Grassmann fit in the history of logic? -- The influence of Hermann Günther Grassmann and Robert Grassmann on Ernst Schröder’s Algebra of Logic -- Grassmann | |
progressive and regressive products and CG-Algebras -- Grassmann’s Vision -- Grassmann’s Dialectics and Category Theory -- The completion of Grassmann’s Natur-Wissenschaftliche Methode -- Grassmannian manifolds in geometry -- | |
Regressive products and Bourbaki -- The Grassmann product in physics -- Array-based logic -- An application of Grassmann geometry to a problem in robotics -- Notes on contributors -- Notes and Credits to the Illustrations | |
ISBN: | 9789401587532 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Boston Studies in the Philosophy of Science: 187 |
Keywords: | Mathematics , History , Logic , Philosophy and science , Mathematical logic , Historical linguistics , Physics , Mathematics , Mathematical Logic and Foundations , Philosophy of Science , Historical Linguistics , History and Philosophical Foundations of Physics , History, 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 |
Return to the Fermilab Library catalog