MIT Press (1991)
AbstractThe Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications.
Similar books and articles
The Bounds of Logic. A Generalized Viewpoint. [REVIEW]Stephen Read - 1993 - Philosophical Books 34 (3):158-160.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
The Hierarchy Theorem for Second Order Generalized Quantifiers.Juha Kontinen - 2006 - Journal of Symbolic Logic 71 (1):188 - 202.
Sharpened lower bounds for cut elimination.Samuel R. Buss - 2012 - Journal of Symbolic Logic 77 (2):656-668.
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
The hierarchy theorem for generalized quantifiers.Lauri Hella, Kerkko Luosto & Jouko Väänänen - 1996 - Journal of Symbolic Logic 61 (3):802-817.
Generalized Halfspaces in the Mixed-Integer Realm.Philip Scowcroft - 2009 - Notre Dame Journal of Formal Logic 50 (1):43-51.
The Port-Royal Logic's Theory of Argument.Maurice A. Finocchiaro - 1997 - Argumentation 11 (4):393-410.
On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic.Natasha Alechina - 1995 - Journal of Logic, Language and Information 4 (3):177-189.
Uniform bounds on growth in o-minimal structures.Janak Ramakrishnan - 2010 - Mathematical Logic Quarterly 56 (4):406-408.
Modus Ponens and Modus Tollens for Conditional Probabilities, and Updating on Uncertain Evidence.Jordan Howard Sobel - 2009 - Theory and Decision 66 (2):103 - 148.
Added to PP
Historical graph of downloads
Citations of this work
The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
Generics and the structure of the mind.Sarah-Jane Leslie - 2007 - Philosophical Perspectives 21 (1):375–403.
The universal density of measurement.Danny Fox & Martin Hackl - 2006 - Linguistics and Philosophy 29 (5):537 - 586.
References found in this work
Spreading the Word: Groundings in the Philosophy of Language.Simon Blackburn - 1984 - Clarendon Press.