Quantifiers: Logics, Models and Computation
Subtitle: Volume Two: Contributions
By: edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba
Contributors: Mostowski, Marcin; Szczerba, Lesław W.
Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science -- 249; Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science -- 249
Publisher: Springer Netherlands
Published: 1995
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] :
Number of pages: 278
ISBN-13: 9789048145409; 9789401705240
Subjects: Philosophy (General); Information theory; Symbolic and mathematical Logic; Semantics; Logic
Description: The quantifier concept is central to current logical investigations. Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications. It offers an exhaustive survey of logical methods that are useful in investigations involving generalized quantifiers. Both model-theoretical and proof-theoretical approaches are well represented. Moreover, some papers focus on the applications of logical theory, particularly in relation to semantics of natural language. The volume includes a wide-ranging survey of logical methods which are useful in investigations into generalized quantifiers. The book is the second volume of a large collection. The first volume - Quantifiers: Logics, Models and Computation. Volume One: Surveys - contains a collection of survey papers on selected, well-defined areas organized around the quantifier concept. Volumes One and Two are complementary. For logicians, mathematicians, philosophers, linguists and computer scientists. Also suitable as a text for advanced undergraduate or graduate specialized courses in logic.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.