Search results

RSS feed for this result

16 results

Book
xii, 349 pages : illustrations ; 24 cm.
In "Topics in the Foundations of General Relativity and Newtonian Gravitation Theory", David B. Malament presents the basic logical-mathematical structure of general relativity and considers a number of special topics concerning the foundations of general relativity and its relation to Newtonian gravitation theory. These special topics include the geometrized formulation of Newtonian theory (also known as Newton-Cartan theory), the concept of rotation in general relativity, and Godel spacetime. One of the highlights of the book is a no-go theorem that can be understood to show that there is no criterion of orbital rotation in general relativity that fully answers to our classical intuitions. "Topics" is intended for both students and researchers in mathematical physics and philosophy of science.
(source: Nielsen Book Data)9780226502458 20160608
Engineering Library (Terman), Philosophy Library (Tanner)
Book
xxiii, 1247 p. : ill. ; 25 cm.
  • Preface. Abbreviations of Journal Titles. List of Contributors. Part 1. Frameworks. Introduction. Montague Grammar (B.H. Partee, H.L.W. Hendriks). Categorial type logics (M. Moortgat). Representing discourse in context (J. van Eijck, H. Kamp). Situation theory (J. Seligman, L.S. Moss). GB theory: an introduction (J. Higginbotham). Game--theoretical semantics (J. Hintikka, G. Sandu). Part 2. General Topics. Introduction. Compositionality (T.M.V. Janssen with an appendix by B.H. Partee). Feature logics (W.C. Rounds). Types (R. Turner). Dynamics (R. Muskens et al.). Partiality (J.E. Fenstad). Mathematical linguistics and proof theory (W. Buszkowski). Formal learning theory (D. Osherson et al.). Nonmonotonicity in linguistics (R.H. Thomason). Part 3. Descriptive Topics. Introduction. Generalized quantifiers in linguistics and logic (E.L. Keenan, D. Westerstahl). Temporality (M. Steedman). Presupposition (D.I. Beaver). Plurals and collectivity (J.T. Lonning). Questions (J. Groenendijk, M. Stokhof). Generics and defaults (F.J. Pelletier, N. Asher). Glossary. Author Index. Subject Index.
  • (source: Nielsen Book Data)9780444817143 20160528
Twenty contributions document the main currents in contemporary research at the interface of logic and natural language, including its broader ramifications in computer science, linguistic theory, and cognitive science. They explore how logical systems are designed and modified in response to lingu.
(source: Nielsen Book Data)9780262220538 20160528
This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality.
(source: Nielsen Book Data)9780444817143 20160528
Engineering Library (Terman), Philosophy Library (Tanner)
Book
vi, 452 p. : ill. ; 21 cm.
  • A logical calculus of the ideas immanent in nervous activity, Warren S.McCulloch and Walter H.Pitts-- computing machinery and intelligence, Alan M.Turing-- minds, brains and programs, John R.Searle-- escaping from the Chinese room, Margaret A.Boden-- computer science as empirical enquiry - symbols and search, Allen Newell and Herbert A.Simon-- artificial intelligence - a personal view, David C.Marr-- cognitive wheels - the frame problem of AI, Daniel C. Dennett-- the naive physics manifesto, Patrick J.Hayes-- a critique of pure reason, Drew McDermott-- motives, mechanisms and emotions, Aaron Sloman-- distributed representations, Geoffrey E.Hinton et al-- connectionism, competence and explanation, Andy Clark-- making a mind versus modelling the brain - artificial intelligence back at a branch-point, Hubert L.Dreyfus and Stuart E.Dreyfus-- some reductive strategies in cognitive neurobiology, Paul M.Churchland.
  • (source: Nielsen Book Data)9780198248552 20160527
  • Introduction-- Warren S. McCulloch and Walter H. Pitts: A Logical Calculus of Nervous Activity-- Alan M. Turing: Computing Machinery and Intelligence-- John R. Searle: Minds, Brains, and Programs-- Margaret A. Boden: Escaping from the Chinese Room-- Allen Newell and Herbert A. Simon: Computer Science as Empirical Enquiry: Symbols and Search-- David C. Marr: Artificial Intelligence: A Personal View-- Daniel C. Dennett: Cognitive Wheels: The Frame Problem of AI-- Patrick J. Hayes: The Naive Physics Manifesto-- Drew McDermott: A Critique of Pure Reason-- Aaron Sloman: Motives, Mechanisms, and Emotions-- Geoffrey E. Hinton, James L. McClelland, and David E. Rumelhart: Distributed Representations-- Andy Clark: Connectionism, Competence, and Explanation-- Hubert L. Dreyfus and Stewart E. Dreyfus: Making a Mind Versus Modelling the Brain-- Paul M. Churchland: Some Reductive Strategies in Cognitive Neurobiology-- Adrian Cussins: The Connectionist Construction of Concepts.
  • (source: Nielsen Book Data)9780198248545 20160528
This collection of essays looks into the philosophical arguments behind artificial intelligence and whether one can equate such concepts as intelligence, understanding and thinking to computers. Classic arguments, such as the Chinese room are discussed as well as modern arguments, such as if one should differentiate between the connectionist computers and the digital computers. There is an introduction written by the editor, who is a leading name in artificial intelligence and upholds the view that, given time, computers will be able to match humans in intelligence.
(source: Nielsen Book Data)9780198248552 20160527
Is 'artificial intelligence' a contradiction in terms? Could computers (in principle) model every aspect of the mind, including logic, language, and emotion? What of the more brain-like, connectionist computers: could they really understand, even if digital computers cannot? This collection of classic and contemporary readings (which includes an editor's introduction and an up-to-date reading list) provides a clearly signposted pathway into hotly disputed philosophical issues at the heart of artificial intelligence.
(source: Nielsen Book Data)9780198248545 20160528
Engineering Library (Terman), Philosophy Library (Tanner), SAL1&2 (on-campus shelving)
Book
xii, 445 p. ; 24 cm.
Engineering Library (Terman), Philosophy Library (Tanner)
Book
xxiv, 434 p. : ill. ; 23 cm.
Engineering Library (Terman), Philosophy Library (Tanner)
Book
xiii, 297 p. : ill. ; 22 cm.
Provides an account for the general reader of what physicists have learned about the atomic nucleus, protons, neutrinos, and quarks - the basic constituents of all matter.
(source: Nielsen Book Data)9780465067848 20160528
Engineering Library (Terman), Philosophy Library (Tanner), SAL1&2 (on-campus shelving), SAL3 (off-campus storage)
Book
xvi, 552 p., [9] p. of plates : ill. ; 24 cm.
A biography of Einstein and all his work.
(source: Nielsen Book Data)9780198539070 20160527
Engineering Library (Terman), Philosophy Library (Tanner), SAL1&2 (on-campus shelving), SAL3 (off-campus storage)
Book
xiii, 297 p. 25 cm.
Engineering Library (Terman), Philosophy Library (Tanner), Science Library (Li and Ma)
Book
viii, 438 p. illus. 24 cm.
Engineering Library (Terman), Philosophy Library (Tanner), SAL3 (off-campus storage)
Book
178 p. illus. 19 cm.
Engineering Library (Terman), Philosophy Library (Tanner), SAL1&2 (on-campus shelving), SAL3 (off-campus storage)
Book
173 p. illus. 21 cm.
An examination of the nature of the laws of physics from Newton to Einstein.
(source: Nielsen Book Data)9780262560030 20160528
Engineering Library (Terman), Philosophy Library (Tanner), SAL1&2 (on-campus shelving), SAL3 (off-campus storage), Science Library (Li and Ma)
Book
xvi, 114 p. 23 cm.
Engineering Library (Terman), Philosophy Library (Tanner), SAL3 (off-campus storage)
Book
2 v. illus. 21 cm.
Engineering Library (Terman), Philosophy Library (Tanner), SAL3 (off-campus storage)
Book
[46], 271 p. 21 cm.
Engineering Library (Terman), Philosophy Library (Tanner), SAL3 (off-campus storage)
Book
3 v. facsim., diagrs. 21 cm.
Green Library, Engineering Library (Terman), Philosophy Library (Tanner), SAL3 (off-campus storage), Science Library (Li and Ma)
Book
lviii, 505 p. : ill., port ; 25 cm.
Engineering Library (Terman), Philosophy Library (Tanner)