This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

The present text book is intended as an introduction to elementary logic. Its content, structure, and manner have been determined in large measure - perhaps 'caused' is the better word- by certain desiderata about which the reader should be informed at the outset. The leading idea is that even an introductory treatment of logic may profitably be fashioned around a rigorous framework.

The 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. (shrink)

Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.

Controversy remains over exactly why Frege aimed to estabish logicism. In this essay, I argue that the most influential interpretations of Frege's motivations fall short because they misunderstand or neglect Frege's claims that axioms must be self-evident. I offer an interpretation of his appeals to self-evidence and attempt to show that they reveal a previously overlooked motivation for establishing logicism, one which has roots in the Euclidean rationalist tradition. More specifically, my view is that Frege had two notions of self-evidence. (...) One notion is that of a truth being foundationally secure, yet not grounded on any other truth. The second notion is that of a truth that requires only clearly grasping its content for rational, a priori justified recognition of its truth. The overarching thesis I develop is that Frege required that axioms be self-evident in both senses, and he relied on judging propositions to be self-evident as part of his fallibilist method for identifying a foundation of arithmetic. Consequently, we must recognize both notions in order to understand how Frege construes ultimate foundational proofs, his methodology for discovering and identifying such proofs, and why he thought the propositions of arithmetic required proof. (shrink)

Not only can the influence of Gottlob Frege be found in contemporary work in logic, the philosophy of mathematics, and the philosophy of language, but his projects—and the very terminology he employed in pursuing those projects—are still current in contemporary philosophy. This is undoubtedly why it seems so reasonable to assume that we can read Frege' s writings as if he were one of us, speaking to our philosophical concerns in our language. In Joan Weiner's view, however, Frege's words can (...) be accurately interpreted only if we set that assumption aside. Weiner here offers a challenging new approach to the philosophy of this central figure in analytic philosophy. Weiner finds in Frege's corpus, from Begriffsschrift on, a unified project of remarkable ambition to which each of the writings in that corpus makes a distinct contribution—a project whose motivation she brings to life through a careful reading of his Foundations of Arithmetic. The Frege that Weiner brings into clear view is very different from the familiar figure. Far from having originated one of the standard positions on the nature of reference, Frege turns out not to have had positive doctrines on anything like what contemporary philosophers mean by "reference." Far from having served as a standard-bearer for those who take the realists' side of contemporary disputes with anti-realists, Frege turns out to have had no stake in either side of the controversy. Through Weiner's lens, Frege emerges as a thinker who has principled reasons for challenging the very assumptions and motivations that animate philosophers to dispute these doctrines. This lucidly written and accessible book will generate controversy among all readers with an interest in epistemology, philosophy of language, history of philosophy, and the philosophy of mathematics. (shrink)

In this paper it is contended, against a challenging recent interpretation of Frege, that Frege should be credited with the first semirigorous formulation of semantic theory. It is argued that the considerations advanced against this contention suffer from two kinds of error. The first involves the attribution to Frege of a skeptical attitude towards the truth-predicate. The second involves the sort of justification which these arguments assume a classical semantic theory attempts to provide. Finally, it is shown that Frege was (...) in fact mindful of the need for the relevant sort of justification. (shrink)

I present a novel interpretation of Frege’s attempt at Grundgesetze I §§29-31 to prove that every expression of his language has a unique reference. I argue that Frege’s proof is based on a contextual account of reference, similar to but more sophisticated than that enshrined in his famous Context Principle. Although Frege’s proof is incorrect, I argue that the account of reference on which it is based is of potential philosophical value, and I analyze the class of cases to which (...) it may successfully be applied. (shrink)