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 LINGUISTICS PHILOSOPHY *END*INIT* use /tmp/qspiwww.webspi1/27794.25 QRY 131.225.70.96 . find keyword linguistics philosophy ( in books using www Cover
Image
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

Cover
Image
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

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-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-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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

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-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

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-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-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

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-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