Time and Space in Formal Logic

Time and Space in Formal Logic
Author: Richard L. Epstein
Publisher: Advanced Reasoning Forum
Total Pages: 303
Release: 2022-09-13
Genre: Philosophy
ISBN: 1938421698

Time and Space in Formal Logic begins with an analysis of assumptions about how logic and language relate. Then in the first section, times are taken to be established by true propositions, and those are related as before and after with temporal propositional connectives. In the second section, times are treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over times. In the third section, locations in space are also treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over both times and locations. Many applications of the formal systems to formalizing ordinary language propositions and inferences clarify better the assumptions we make in reasoning taking account of time and space by making those precise in the formal systems. Appendices on events, branching times, intentions, and descriptive names add to the scope of the work.

Time

Time
Author: Phillip Turetzky
Publisher: Routledge
Total Pages: 284
Release: 2002-01-22
Genre: Philosophy
ISBN: 1134770812

Time offers a comprehensive history of the philosophy of time in western philosophy from the Greeks through to the twentieth century. In the first half of the book, Philip Turetzky explores theories in ancient and modern philosophy chronologically: from Aristotle to Nietzsche. In the latter half, Turetzky describes the philosophy of time in three twentieth-century philosophical traditions: * analytic philosophy including philosophers such as McTaggart and Mellor * phenomenology Husserl and Heidegger * a distaff tradition which Turetzky identifies as including Bergson and Deleuze.

Time and Space

Time and Space
Author: Barry Dainton
Publisher: Routledge
Total Pages: 632
Release: 2016-04-15
Genre: Philosophy
ISBN: 1134944047

The first edition (2001) of this title quickly established itself on courses on the philosophy of time and space. This fully revised and expanded new edition sees the addition of chapters on Zeno's paradoxes, speculative contemporary developments in physics, and dynamic time, making the second edition, once again, unrivalled in its breadth of coverage. Surveying both historical debates and the ideas of modern physics, Barry Dainton evaluates the central arguments in a clear and unintimidating way and is careful to keep the conceptual issues throughout comprehensible to students with little scientific or mathematical training. The book makes the philosophy of space and time accessible for anyone trying to come to grips with the complexities of this challenging subject. With over 100 original line illustrations and a full glossary of terms, the book has the requirements of students firmly in sight and will continue to serve as an essential textbook for philosophy of time and space courses.

Handbook of Quantifiers in Natural Language

Handbook of Quantifiers in Natural Language
Author: Edward Keenan
Publisher: Springer Science & Business Media
Total Pages: 973
Release: 2012-03-30
Genre: Language Arts & Disciplines
ISBN: 9400726805

Covering a strikingly diverse range of languages from 12 linguistic families, this handbook is based on responses to a questionnaire constructed by the editors. Focusing on the formation, distribution and semantic interpretation of quantificational expressions, the book explores 17 languages including German, Italian, Russian, Mandarin Chinese, Malagasy, Hebrew, Pima, Basque, and more. The language data sets enable detailed crosslinguistic comparison of numerous features. These include semantic classes of quantifiers (generalized existential, generalized universal, proportional, partitive), syntactically complex quantifiers (intensive modification, Boolean compounding, exception phrases) and several others such as quantifier scope ambiguities, quantifier float, and binary quantifiers. Its theory-independent content extends earlier work by Matthewson (2008) and Bach et al. (1995), making this handbook suitable for linguists, semanticians, philosophers of language and logicians alike.

Generalized Quantifiers and Computation

Generalized Quantifiers and Computation
Author: Jouko Väänänen
Publisher: Springer
Total Pages: 146
Release: 2003-06-26
Genre: Mathematics
ISBN: 3540465839

This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The six lectures presented introduce the reader to the state of the art in the area of generalized quantifiers and computation. Besides an introductory survey by the volume editor various aspects of generalized quantifiers are studied in depth.

Quantifiers in Language and Logic

Quantifiers in Language and Logic
Author: Stanley Peters
Publisher: Oxford University Press
Total Pages: 549
Release: 2006-04-27
Genre: Language Arts & Disciplines
ISBN: 019929125X

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, and many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.Quantifiers in Language and Logic is intended for everyone with a scholarly interest in the exact treatment of meaning. It presents a broad view of the semantics and logic of quantifier expressions in natural languages and, to a slightly lesser extent, in logical languages. The authors progress carefully from a fairly elementary level to considerable depth over the course of sixteen chapters; their book will be invaluable to a broad spectrum of readers, from those with a basicknowledge of linguistic semantics and of first-order logic to those with advanced knowledge of semantics, logic, philosophy of language, and knowledge representation in artificial intelligence.

Space and Quantification in Languages of China

Space and Quantification in Languages of China
Author: Dan Xu
Publisher: Springer
Total Pages: 257
Release: 2014-11-24
Genre: Foreign Language Study
ISBN: 3319100408

This volume provides general linguists with new data and analysis on languages spoken in China regarding various aspects of space and quantification, using different approaches. Contributions by researchers from Mainland China, Hong Kong, Japan, Europe, the United States and Australia offer insights on aspects of language ranging from phonology and morphology to syntax and semantics, while the approaches vary from formal, historical, areal, typological, and cognitive linguistics to second language acquisition. After separate volumes on space and quantification in languages of China, the studies in this volume combine space and quantification to allow readers a view of the intersection of the two topics. Each article contributes to general linguistic knowledge while discussing a particular aspect of space or quantification in a particular language/dialect, offering new data and analysis from languages that are spoken in the same geographical area, and that belong to various language families that exist and evolve in close contact with one another.

Mathematical Foundations of Computer Science 1997

Mathematical Foundations of Computer Science 1997
Author: Igor Privara
Publisher: Springer Science & Business Media
Total Pages: 536
Release: 1997-08-13
Genre: Computers
ISBN: 9783540634379

This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.

Principles of Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning
Author: Jon Doyle
Publisher: Morgan Kaufmann
Total Pages: 680
Release: 1994
Genre: Computers
ISBN:

The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoning and belief revision, action and time, planning and decision-making and reasoning about the physical world, and the relations between KR

Mathematics and Reality

Mathematics and Reality
Author: Mary Leng
Publisher: Oxford University Press
Total Pages: 289
Release: 2010-04-22
Genre: Mathematics
ISBN: 0199280797

Mary Leng defends a philosophical account of the nature of mathematics which views it as a kind of fiction (albeit an extremely useful fiction). On this view, the claims of our ordinary mathematical theories are more closely analogous to utterances made in the context of storytelling than to utterances whose aim is to assert literal truths.