In the paper the following questions are discussed: What is logical consequence? What are logical constants? What is a logical system? What is logical pluralism? What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out.

In a recent discussion article in this journal, Gila Sher responds to some of my criticisms of her work on what she calls the formal-structural account of logical consequence. In the present paper I reply and attempt to advance the discussion in a constructive way. Unfortunately, Sher seems to have not fully understood my 1997. Several of the defenses she mounts in her 2001 are aimed at views I do not hold and did not advance in my 1997. Most prominent (...) among these are her claims that I reject the formal-structural account, because it licenses “unnatural” logical constants, and that I consider the “truth-functional criterion” for connectives “a paradigm of a successful criterion of logicality”. Both of these claims are simply false, as even a moderately careful reading of my 1997 will show. Other charges she makes have some basis in fact but are inaccurate. For example, she says that I claim that FS is “neutral with regard to the apriority of logic,” and that this neutrality “renders it inconsistent”. What I actually say is that Sher’s acceptance of the neutrality in question is “inconsistent with part of the legacy of Tarski, a legacy that she finds very congenial”, not that FS itself is inconsistent. More interestingly, she misunderstands my claim about the apriority of logic, and clarification of this misunderstanding suggests two distinct ways in which logic might be held to be free of empirical influence. It is also noteworthy that Sher’s statements about the apriority of logic constitute both a change in the position she took in her 1991 and, although she seems not to realize it, an admission that she does not take issue with one of my major criticisms. (shrink)

Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he did not offer the proof. The question arises (...) whether the usual modeltheoretic sense of validity and Tarski's 1936 sense are the same. I argue in this paper that they probably are not, and that the proof Tarski had in mind, although unusable to prove that model-theoretically valid arguments are truth-preserving, can be used to prove that arguments valid in Tarski's 1936 sense are truth-preserving. (shrink)

A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...) We prove a number of results establishing that the entanglement is sensitive to the kind of semantics used for second-order logic. These results provide evidence that by moving from the standard set-theoretic semantics for second-order logic to a semantics which makes use of higher-order resources, the entanglement either disappears or may no longer be in conflict with the logicality of second-order logic. (shrink)