‛The grass is green’ is not neutral as to force — J
The closest Frege's system can get to modeling something like this is to say, "There exists something which is both grass and green." Fregian logic has an especially hard time with individuals since it is built for concepts or classes. Given that the statement is not Fregian in the first place, it raises a whole host of issues.
But for now, what do you all think? Have I succeeded in raising a genuine challenge to Frege, or does the Fregean have an obvious counter-argument? — J
All the objections to Frege's logic that I have seen are metalogical objections, and yours is no exception.
says that there is no (counter)-argument being offered, and this is true at least insofar as there is no counter-argument which adopts Fregian presuppositions. What is being questioned is the presupposition.
So how does one offer an argument against logical presuppositions? The most obvious way is to argue that the presupposition fails to capture some real aspect of natural logic or natural language, and by claiming that natural propositions possess a variety of assertoric force that Frege's logic lacks, this is what you are doing. Yet this is where a point like
Novák's becomes so important, for logicians like Russell, Frege, Quine, et al., presuppose that natural language is flawed and must be corrected by logic. This moots your point. Further, Quine will set the stage for a "pragmaticizing" of logic, which destroys the idea of ontologically superior logics at its root:
In Quine’s hands, however, the principle takes on a purely descriptive meaning, stating merely what kind of entities a given theory presupposes to exist – namely those that can figure as values of bound variables in that theory. In other words, the Principle features in Quine as his famous criterion of “ontological commitment”, which, since language has been purged of all directly referring expressions, lacks any a priori connexion to reality and becomes rather a matter of pragmatic choice. — Lukáš Novák, Can We Speak About That Which Is Not?, 166-7
It is a question of what you're up against.
And that’s what Kimhi’s book is about. — J
Kimhi's approach strikes me as a attempt to kill Frege by a kind of "death by a thousand cuts." Whether or not this works, it will not be convincing to entrenched Fregians, as it requires a willingness to abandon Fregian presuppositions for the sake of argument. Beyond that, with each small cut Fregians will presumably respond, "It's such a minor issue - who really cares?" It seems to me that your Sider paper—which never in fact received a hearing within your
earlier thread—was much more "punchy" and effective as directed against Fregians. Kimhi's book seems to be directed towards those who are predisposed to question the sovereignty of Fregianism, rather than committed Fregians themselves.
And finally, this argument about assertoric force is an argument where I can see both sides, and I don't know that the clarity and merits of the OP are sufficient to overcome the weight and presuppositions of the opposing side. For example, on the one hand we have some obscure gesturing towards real problems or at least wrinkles with the Fregian presupposition. What do we have in favor of the Fregian presupposition? Something like this, which is both clear and strong: <The first and second premises of a
modus ponens both display
p, but with entirely different assertoric force. Therefore assertoric force is not intrinsic to
p>. That's a strong argument, and from my skim of Kimhi and the
ND review I did not understand Kimhi to be questioning this distinction between sense and assertoric force
tout court.* To question the distinction
tout court would require a very clear and very strong argument. The ultimate nub here is always going to be, "Well if you aren't questioning the distinction
tout court, then in precisely what way are you questioning it?" Does Kimhi have a clear answer?
* In fact all logic seems to require a distinction between sense and assertoric force, and therefore if the conclusion of your argument is that these cannot in any way be separated then logic itself would appear to be doomed. The subtlety of Kimhi's argumentation results in a subtle conclusion. There is the danger here of throwing out the baby with the bathwater.