Search results

RSS feed for this result

14 results

Book
iv, 130 pages : illustrations.
Science Library (Li and Ma)
Book
xiii, 289 p. : ill. ; 24 cm.
  • Introduction-- Part I. The Master Argument: 1. The Master Argument: on the shortcomings of some past interpretations: Conditions to be fulfilled by any acceptable interpretation-- 2. Reconstruction of the master argument-- Part II. Systems of Necessity: The Megarians and the Stoics: 3. The system of logical fatalism: Diodorus Cronus-- 4. Eternal return and cyclical time: Cleanth's solution-- 5. Freedom as an element of fate: Chrysippus-- Part III. System of Contigency: The Lyceum, the garden, the academy: 6. Aristotle-- 7. Epicurus and intuitionism-- 8. Carneades and the skeptical nominalism of the modalities-- 9. Platonism and conditional necessity-- Epilogue.
  • (source: Nielsen Book Data)9781881526865 20160528
The Master Argument, recorded by Epictetus, indicates that Diodorus had deduced a contradiction from the conjoint assertion of three propositions. The Argument, which has to do with necessity and contingency and therefore with freedom, has attracted the attention of logicians above all. There have been many attempts at reconstructing it in logical terms, without excessive worry about historical plausibility and with the foregone conclusion that it was sophistic since it directly imperilled our common sense notion of freedom. This text takes exception to recent tradition, translating the propositions into logical terms. The propositions figuring in The Master Argument are interpreted in terms of temporal modal logic where both the modalities and the statements they govern have chronological indices. This means that the force of the argument comes not from purely logical or modal considerations, but from our experience of time.
(source: Nielsen Book Data)9781881526865 20160528
Green Library, Science Library (Li and Ma)
Book
xx, 449 p. : ill. ; 24 cm.
  • Preface-- Part I. Formal Architecture: 1. The formal architecture of Lexical Functional Grammar Ronald M. Kaplan-- 2. Lexical Functional Grammar: a formal system for grammatical representation Ronald M. Kaplan and Joan Bresnan-- Part II. Nonlocal Dependencies: 3. Long-distance dependencies, constituent structure, and functional uncertainty Ronald M. Kaplan and Annie Zaenen-- 4. Modeling syntactic constrants on anaphoric binding Mary Dalrymple, John T. Maxwell III, and Annie Zaenen-- 5. An algorithm for functional uncertainty Ronald M. Kaplan and John T. Maxwell III-- 6. Constituent coordination in lexical functional grammar Ronald M. Kaplan and John T. Maxwell III-- Part III. Word Order: 7. Formal devices for linguisic generalizations: West Germanic world order in lexical functional grammar Annie Zaenen and Ronald M. Kaplan-- 8. Linear order, syntactic rank, and empty categories: on weak crossover Joan Bresnan-- Part IV. Semantics and Translation: 9. Projections and semantic description in lexical-functional grammar Per-Kristian Halvorsen and Ronald M. Kaplan-- 10. Situation semantics and semantic interpretation in constraint-based grammars Per-Kristian Halvorsen-- 11. Translation by structural correspondences Ronald M. Kaplan, Klaus Netter, Jurgen Wedekind and Annie Zaenen-- Part V. Mathematical and Computational Issues: 12. Three seductions of computational psycholinguistics Ronald M. Kaplan-- 13. Logic and feature structures Mark Johnson-- 14. A method for disjunctive constraint satisfaction John T. Maxwell III and Ronald M. Kaplan-- 15. The interface between phrasal and functional constraints John T. Maxwell III and Ronald M. Kaplan.
  • (source: Nielsen Book Data)9781881526377 20160528
Lexical-Functional Grammar was first developed by Joan Bresnan and Ronald M. Kaplan in the late 1970s, and was designed to serve as a medium for expressing and explaining important generalisations about the syntax of human languages and thus to serve as a vehicle for independent linguistic research. An equally important goal was to provide a restricted, mathematically tractable notation that could be interpreted by psychologically plausible and computationally efficient processing mechanisms. The formal architecture of LFG provides a simple set of devices for describing the common properties of all human languages and the particular properties of individual languages. This volume presents work conducted over the past several years at the Xerox Palo Alto Research Center, Stanford University, and elsewhere. The different sections link mathematical and computational issues and the analysis of particular linguistic phenomena in areas such as wh-constructions, anaphoric binding, word order and coordination.
(source: Nielsen Book Data)9781881526377 20160528
Green Library, Science Library (Li and Ma)

4. Logic and representation [1995] Online

Book
xiv, 196 p. : ill. ; 24 cm.
  • Part I. Methodological Arguments: 1. The role of logic in artificial intelligence: 2. A cognitivist reply to behaviourism-- Part II. Propositional Attitudes: 3. A formal theory of knowledge and action-- 4. Computational models of belief and the semantics of belief sentences-- 5. Propositional attitudes and Russellian propositions-- Part III. Autoepistemic Logic: 6. Semantical considerations on nonmonotonic logic-- 7. Possible-world semantics for autoepistemic logic-- Part IV. Semantics of Natural Language: 8. Events, situations, and adverbs-- 9. Unification-based semantic interpretation-- Index.
  • (source: Nielsen Book Data)9781881526162 20160528
Logic and Representation brings together a collection of essays, written over a period of ten years, that apply formal logic and the notion of explicit representation of knowledge to a variety of problems in artificial intelligence, natural language semantics and the philosophy of mind and language. Particular attention is paid to modelling and reasoning about knowledge and belief, including reasoning about one's own beliefs, and the semantics of sentences about knowledge and belief. Robert C. Moore begins by exploring the role of logic in artificial intelligence, considering logic as an analytical tool, as a basis for reasoning systems, and as a programming language. He then looks at various logical analyses of propositional attitudes, including possible-world models, syntactic models, and models based on Russellian propositions. Next Moore examines autoepistemic logic, a logic for modelling reasoning about one's own beliefs. Rounding out the volume is a section on the semantics of natural language, including a survey of problems in semantic representation; a detailed study of the relations among events, situations, and adverbs; and a presentation of a unification-based approach to semantic interpretation. Robert C. Moore is principal scientist of the Artificial Intelligence Center of SRI International.
(source: Nielsen Book Data)9781881526162 20160528
Green Library, Science Library (Li and Ma)

5. Mathematics of modality [1993] Online

Book
v, 273 p. : ill. ; 24 cm.
  • Introduction-- 1. Metamathematics of modal logic-- 2. Semantic analysis of orthologic-- 3. Orthomodularity is not elementary-- 4. Arithmetical necessity, provability and intuitionistic logic-- 5. Diodorean modality in Minkowski spacetime-- 6. Grothendieck topology as geometric modality-- 7. The semantics of Hoare's iteration rule-- 8. An abstract setting for Henkin proofs-- 9. A framework for infinitary modal logic-- 10. The McKinsey axiom is not canonical-- 11. Elementary logics are canonical and pseudo-equational-- Bibliography-- Index.
  • (source: Nielsen Book Data)9781881526247 20160528
Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements - like the ordinary language phrases necessarily, possibly, it is known/believed/ought to be, etc., and computationally or mathematically motivated expressions like provably, at the next state, or after the computation terminates. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades, since the introduction of the methods of Kripke semantics, and now impacts on a wide range of disciplines, including the philosophy of language and linguistics ('possible words' semantics for natural language), constructive mathematics (intuitionistic logic), theoretical computer science (dynamic logic, temporal and other logics for concurrency), and category theory (sheaf semantics). This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic. Another paper on the 'Henkin method' in completeness proofs has been substantially extended to give new applications. Additional articles are concerned with quantum logic, provability logic, the temporal logic of relativistic spacetime, modalities in topos theory, and the logic of programs.
(source: Nielsen Book Data)9781881526247 20160528
Green Library, Philosophy Library (Tanner), Science Library (Li and Ma)
Book
iv, 110 leaves : ill., maps ; 28 cm.
Science Library (Li and Ma), Special Collections

7. Ontogeny and phylogeny [1977] Online

Book
ix, 501, [1] p. : ill. ; 25 cm.
Collection
Stephen J. Gould Rare Books Collection
Education Library (Cubberley), Marine Biology Library (Miller), SAL1&2 (on-campus shelving), Science Library (Li and Ma), Special Collections
Book
xxiv, 477 p. illus. 20 cm.
Collection
Stephen J. Gould Rare Books Collection
Science Library (Li and Ma), Special Collections
Book
1051 p. illus., maps. 24 cm.
SAL3 (off-campus storage), Science Library (Li and Ma)
Book
2 v. fronts., plates, ports., map, facsim. 24cm.
Collection
Stephen J. Gould Rare Books Collection
Green Library, Education Library (Cubberley), Marine Biology Library (Miller), SAL1&2 (on-campus shelving), SAL3 (off-campus storage), Science Library (Li and Ma), Special Collections

11. The trees of California [1909] Online

Book
228 p. incl. front., illus. pl. 21 cm.
Green Library, Science Library (Li and Ma)

12. Natural history [1900 - ] Online

Journal/Periodical
v. ill. 27 cm.
Collection
Stephen J. Gould Rare Books Collection
Marine Biology Library (Miller), SAL3 (off-campus storage), Science Library (Li and Ma), Special Collections
Book
2 v. illus. 20 cm.
Collection
Stephen J. Gould Rare Books Collection
Science Library (Li and Ma), Special Collections
Book
2 v. illus., 42 pl. (3 col.) 22 cm.
Collection
Stephen J. Gould Rare Books Collection
  • [v. 1] The Lepadidæ; or, pedunculated cirripedes.--[v. 2] The Balanidæ (or sessile cirrepedes) the Verrucidæ, etc., etc., etc.
Earth Sciences Library (Branner), Marine Biology Library (Miller), Science Library (Li and Ma), Special Collections