Bertrand Russell, the recipient of the 1950 Nobel Prize for Literature, was one of the most distinguished, influential, and prolific philosophers of the twentieth century. Acquaintance, Knowledge, and Logic brings together ten new essays on Russell’s best-known work, The Problems of Philosophy. These essays, by some of the foremost scholars of his life and works, reexamine Russell’s famous distinction between “knowledge by acquaintance” and “knowledge by description,” his developing views about our knowledge of physical reality, and his views about our knowledge of logic, mathematics, and other abstract matters. In addition, this volume includes an editors’ introduction, which summarizes Russell’s influential book, presents new biographical details about how and why Russell wrote it, and highlights its continued significance for contemporary philosophy.
Advances in Modal Logic, Volume 1
Edited by Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael Zakhary CSLI, 1998 Library of Congress BC199.M6A38 1998 | Dewey Decimal 160
Modal logic originated in philosophy as the logic of necessity and possibility. Nowadays it has reached a high level of mathematical sophistication and found many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics.
This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings.
"This collection is a useful resource for anyone working in modal logic. It contains both interesting surveys and cutting-edge technical results"
--Edwin D. Mares
The Bulletin of Symbolic Logic, March 2002
Jesse Norman CSLI, 2006 Library of Congress BC136.N67 2006 | Dewey Decimal 160
What does it mean to have visual intuition? Can we gain geometrical knowledge by using visual reasoning? And if we can, is it because we have a faculty of intuition? In After Euclid, Jesse Norman reexamines the ancient and long-disregarded concept of visual reasoning and reasserts its potential as a formidable tool in our ability to grasp various kinds of geometrical knowledge. The first detailed philosophical case study of its kind, this text is essential reading for scholars in the fields of mathematics and philosophy.
The philosophical approach of this volume is mainly structuralist, using logical tools to investigate the formal structure of various kinds of objects in our world, as characterised by language and as systematised by philosophy. This volume mainly analyses the structural properties of collections or pluralities (with applications to the philosophy of set theory), homogeneous objects like water, and the semantics and philosophy of events. This book thereby complements algebraic work that has been done on other philosophical entities, i.e. propositions, properties, relations, or situations. Located in the triangle of language, logic and philosophy, this volume is unique in combining the resources of different ¹elds in an interdisciplinary enterprise. Half of the fourteen chapters of this volume are original papers, complementing the collection of the author's previously published essays on the subject.
This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: six papers each very accessibly present an exciting contribution to the study and uses of algebras, diagrams, and decisions, ranging from indispensable overview papers about shared formal members to inspirational applications of formal tools to specific problems. Contributors include Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edward Stabler.
Donald E. Knuth CSLI, 2011 Library of Congress QA76.9.A43K578 2011 | Dewey Decimal 005.1
This book is a French translation of seventeen papers by Donald Knuth on algorithms both in the field of analysis of algorithms and in the design of new algorithms. They cover fundamental concepts and techniques and numerous discrete problems such as sorting, searching, data compression, theorem-proving, and cryptography, as well as methods for controlling errors in numerical computations.
Arabic is an exciting—yet challenging—language for scholars because many of its linguistic properties have not been fully described. Arabic Computational Linguistics documents the recent work of researchers in both academia and industry who have taken up the challenge of solving the real-life problems posed by an understudied language.
This comprehensive volume explores new Arabic machine translation systems, innovations in speech recognition and mention detection, tree banks, and linguistic corpora. Arabic Computational Linguistics will be an indispensable reference for language researchers and practitioners alike.
Architectures, Rules, and Preferences reflects the interests and honors the influence of Joan W. Bresnan’s two decades of foundational work on Lexical-Functional Grammar. This comprehensive volume includes contributions by leading linguists on language typology, synchronic variation, language change, constituent structure, function identification, subject condition, control, complex predicates, NP internal structure, wh-constructions, syntactic features, and lexical issues. Featuring an impressive range of empirical and theoretical research, this collection covers more than a dozen spoken languages as well as American Sign Language.
Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions. The generality of the approach provided a wide application area ranging from philosophy to computer science. The book gives a comprehensive survey of logical research within and around arrow logic. Since the natural operations on transitions include composition, inverse and identity, their logic, arrow logic can be studied from two different perspectives, and by two (complementary) methodologies: modal logic and the algebra of relations. Some of the results in this volume can be interpreted as price tags. They show what the prices of desirable properties, such as decidability, (finite) axiomatisability, Craig interpolation property, Beth definability etc. are in terms of semantic properties of the logic. The research program of arrow logic has considerably broadened in the last couple of years and recently also covers the enterprise to explore the border between decidable and undecidable versions of other applied logics. The content of this volume reflects this broadening. The editors included a number of papers which are in the spirit of this generalised research program.