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.

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.

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.

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.

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.

Analyses of quotation have assumed that quotations are referring expressions while disagreeing over details. That assumption is unnecessary and unacceptable in its implications. It entails a quasi-Parmenidean impossibility of meaningfully denying the meaningfulness or referential function of anything uttered, for it implies that: 'Kqxf' is not a meaningful expression 'The' is not a referring expression are, if meaningful, false. It also implies that ill formed constructions like: 'The' is 'the' are well formed tautologies. Such sentences make apparent the need for what is commonly explicit, a genuine referring expression, a noun phrase, usually a description, to which the quotation is appositional. A quotation is not itself a word, though it may contain such. The markers signal that the enquoted material is like a sentence-embedded color patch, material displayed to facilitate reference to something identifiable by/with it specified by the noun phrase it subserves.

People espousing human moral equality encompassing every conspecific have been unumbrageous being labeled ‘speciesists’ and likened to Nazis and Klansmen, despite the insult’s being indefensible, and, if meant seriously, enraging. Perhaps their equanimity is unruffled because anti-speciesist acquaintances are remarkably chummier with them than with real racists. Anti-speciesists confuse two questions: (1) Is the bare fact of an individual’s being a human in itself a reason for us humans to deal with it as we'd like to be dealt with? (2) Have we enough reason, apart from human well-being, to impose on each other protections of other animals? Speciesism, perspicuously specified, says ‘yes’ to (1) and nothing about (2). World-wide, human fantasy is filled with nonhuman persons, alien morally accountable agents, thought worthy of being treated as we would wish to be treated, or better. The idea of human equality is consistent with both rapaciously using animals and radical animal protectionism. We meat-eaters discount animal interests, not because they’re nonhuman, but because we know no compelling reason to count them more. Anti-speciesist literature is surveyed and seen to specify ‘speciesism’ capriciously. Terminology aside, anti-speciesist criticisms are specious. Anti-speciesists hope to shift the justificatory burden by denying species membership any moral relevance, but that denial cannot motivate their protectionism. Their ad hominem dismissal of speciesism as a self-serving prejudice is unsustainable. Their avowed inability to imagine any justification of speciesism is hardly probative. Their alleged refutations are baldly question-begging assertions of theses of hallowed ethical theories speciesism denies. They derive anti-speciesism from “anti-biologism” (a radical denial of any biological relation’s having any intrinsic moral relevance), which is fallaciously extrapolated from anti-racist and anti-sexist ideas. Appeals to taxonomical controversies glibly and disingenuously assume the relevance of those controversies, which anti-biologism denies.

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.

Responding to increasing global anxiety over the ethics education of military personnel, this volume illustrates the depth, rigour and critical acuity of Professional Military Ethics Education (PMEE) with contributions by distinguished ethical theorists. It refreshes our thinking about the axioms of just war orthodoxy, the intellectual and political history of just war theorizing, and the justice of recent military doctrines and ventures. The volume also explores a neglected moral dimension of warfare, jus ante bellum (the ethics of pre-war practices) – particularly jus in disciplina bellica (the ethics of educating for warfare). Using metaphor to exemplify the professionalization of the military, the book exposes ambivalences within military professionals' concepts of their professional responsibilities, analyzes issues of self-respect posed by service in an unjust cause, and surveys the deep conflicts inherent in PMEE. While primarily focused on US military academies, the volume will resonate with those responsible for education in military academies across the globe.

Talking about objects requires talking with objects, presenting objects in speech to identify a term's referent. I say This figure is a circle while handing you a ring. The ring is a prop, a perceptual object referenced by an extra-sentential event to identify the extension of a term, its director ('This figure'). Props operate in speech acts and their products, not in sentences. Intra-sentential objects we talk with are displays. Displayed objects needn't be words but must be like words, perceptually, reproductively, and syntactically. Displays are presented by their syntactical position, as terms, with a term-like function. Semantically they are props. The O in FOD (This figure O is a circle) is a prop-like referent, not a term. The O in OD (O is a circle) may be that of FOD, but that display may have semantically and syntactically diverse directors, and without a specific one OD has no determinate sense Describing the display of quotations demands distinguishing displays from quotations. Quotations are repetitions of something said. Displays are perceptual objects, linguistic and non-linguistic, reproductions and originals, presented in sentences to identify a referent. Display markers are disambiguators that say: Read this as a prop. They may mark direct speech from indirect speech. Markers of quotation say: Someone said this. That historical claim is outside a sentence's propositional content. Those marks don't say: This is a display. They do make it true. Calling displays quotations muddies the study of speaking with speech. Calling both displays and intranyms quotations muddies the study of meaning and truth. Intranyms are terms, consisting of an expression flanked by lines, that denote that interior expression. Intranyms are created by stipulation to formalize a metalanguage. Formalization of a metalanguage replaces displays with intranyms. Formalized metalanguages lack the logical form and subject matter of our natural metalanguage.