Roger Wertheimer

If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because logical sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms.

The Socratic Paradox (that only Socrates is wise, and only because only he recognizes our lack of wisdom) is explained, elaborated and defended. His philosophical scepticism is distinguished from others (Pyrrhonian, Cartesian, Humean, Kripkean Wittgenstein, etc.): the doubt concerns our understanding of our beliefs, not our justification for them; the doubt is a posteriori and inductive, not a priori. Post-Socratic philosophy confirms this scepticism: contra-Descartes, our ideas are not transparent to us; contra-Verificationism, no criterion distinguishes sense from nonsense. The import of this scepticism for professional ethicists is examined.

Logical form has semantic import. Logical sentences (GG: Greeks are Greeks) and their synonym interceptions (GH: Greeks are Hellenes) state the same fact but different truths with different explanations. Terms retain objectual reference but its role in explaining truth is preempted by syntax or synonymy. Church’s Test exposes puzzles. QMi sentences (GmG: ‘Greeks’ means Greeks), and QTi sentences (p≡it is true that p≡“p” is true) are metalogical necessities, true by syntax. Their interceptions alter syntax and modality, yielding contingent truths (GmH: ‘Greeks’ means Hellenes, HmG: ‘Hellenes’ means Greeks). Meta-logical translation preserves syntax (GmG: ‘Greichen’ bedeutet Greichen), not necessarily objectual reference. Metalogical syntax secures truth by self-referential quotational indexing that identifies quotational referent with an intrasentential replica.

Like ‘&’, ‘=’ is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. ‘Twain is Clemens’ is about Twain, but nothing is predicated of him. Its informational value is in its ‘metailed’ semantic content: the fact of codesignation (that ‘Twain’ names Clemens) that explains what fact it asserts and why it is necessary. Critques of concepts of rigidity and elimination of singular terms result.

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant

Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that 'Twain' names Clemens) that explains what fact it asserts and why it is necessary. Critiques of concepts of rigidity and elimination of singular terms result.

The past two centuries have been an extraordinary era for criticism and reform of institutions and social practices. Unprecedented egalitarian and humanitarian movements have arisen to protest and improve the condition of victims of every variety of evil, personal and impersonal, natural and social. The beneficiaries of these movements belong to all manner of groups: racial, ethnic, and religious minorities, the poor, the insane, the orphaned, the handicapped, the homosexual, the young, the elderly, the female, the animal, the unborn, and so on. Many of these movements had few followers and fewer victories until deep into this century, but most had precursors in the last century, which challenged the moral legitimacy of accepted practices.

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because logical sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms.

Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that 'Twain' names Clemens) that explains what fact it asserts and why it is necessary. Critiques of concepts of rigidity and elimination of singular terms result.

Our culture is conflicted about morally judging and condemning. We can't avoid it altogether, yet many layfolk today are loathe to do it for reasons neither they nor philosophers well understand. Their resistance is often confused (by themselves and by theorists) with some species of antiobjectivism. But unlike a nonobjectivist, most people think that (a) for us to judge and condemn is generally (objectively) morally wrong , yet (b) for God to do so is (objectively) proper, and (c) so too for certain persons in certain relations (e.g., self-condemnation, parental child rearing.) Certainly, religious (e.g., Christian) critics of judging and condemning without doubting the objective truth of their tradition's core moral teachings. Most puzzling is that (a) merely judging and condemning in one's heart may be improper, and (b) someone else with no more evidence or expertise might properly judge and condemn the same action. The answer is in condemning's complex structure of presuppostions. Condemning and judging are acts, and attitudes initiated by the act. Condemnation is motivated by two judgments presumed to justify it, a criticism of a target, and a judgment that the criticism justifies some negative response toward the target. Unlike nonpunitive penalties, punishments are motivated and explained by condemnation. Condemnation is an act of a hostile will, wishing some evil for its target, not (just) as a means to some good. Its root is in damning, an act akin to cursing. It declares a degraded status. The hostility makes it harder to justify condemnation than criticism, and punishment than nonpunitive penalties. Condemning claims objectivity and authority. It involves reflexive evaluation, regarding itself justified, approving its hostile feelings toward the target. Condemners presume themselves entitled to sit in judgment, pass judgment, and cast the condemned down. Those presumptions inhere in sitting in judgment, assuming jurisdiction. Unlike mathematical or scientific judgments, passing moral judgment seems to be a political act subject to extraepistemic constraints. "Who are you to judge?" may properly challenge your right to pass judgment.

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths about essential properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements.

Contra Michael Walzer and Jeff McMahan, neither classical just war theory nor the contemporary rules of war require or support any notion of combatant moral equality. Nations rightly accept prohibitions against punishing enemy combatants without recognizing any legal or moral right of aggressors to kill. The notion of combatant moral equality has real import only in our interpersonal -- and intrapersonal -- attitudes, since the notion effectively preempts any ground for conscientious objection. Walzer is criticized for over-emphasizing our collective responses to war conduct and slighting our personal, extra-political responses.

Animal protectionists condemn speciesism for motivating the practices protectionists condemn. This misconceives both speciesism and the morality condoning those practices. Actually, animal protectionists can be and generally are speciesists. The specifically speciesist aspects of people’s beliefs are in principle compatible with all but the most radical protectionist proposals. Humanity’s speciesism is an inclusivist ideal encompassing all human beings, not an exclusionary ethos opposing moral concern for nonhumans. Anti-speciesist rhetoric is akin to anti-racist rhetoric that condemned racists for regarding people as moral inferiors because of their skincolor. Actually, racists never thought that skin color is itself a reason for discounting someone’s interests, just as humans have never thought that only a human can be a proper object of moral concern. Some speciesists have great concern for animal suffering; some don’t. Animal protectionists have yet to show that a lack of concern is due to some false assumptions.