Notes on "Vacuous Names"

by JLS for the GC

If by the end of this year of grice I click, 'print' and get a book out of the log (or blog), for the record this:

----

---

This below is the set of entries I wrote in two flurries on "Vacuous Names". The first flurry started with a post entitled "System GHP" (listed at the bottom here since the blog list of entries reverses the chronological order). The second flurry started elsewhere. In between I kept the conversation going. Hopefully, the search engine works so that any not necessarily void cryptic reference by Grice or me on stuff should be 'readable', etc.

My second flurry -- or rather 'running commentary' on Grice, "Vacuous Names" ended with my second note on what I saw a correlate to Kripke's notion of 'rigid designation', which Grice entitles "inflexible tying".

Here below then, in reverse chronological order, the blog posts on Grice's "Vacuous Names", for the record:

"Further note by Grice on 'inflexible tying' (p. 14..."

------ Grice makes two points about 'rigid designation' or 'inflexible tying' in "Vacuous Names" -- notably in the reference selected by Ostertag in "Definite descriptions: a reader", which contains parts of "Grice's 'Vacuous Names' along with such classics as Russell ('On denoting'), which starts the collection, and Strawson, 'On referring'.

"Grice on inflexible tying ('rigid designation')"

------ a discussion of Grice's first use of this correlate to Kripkean 'rigid designation' -- or why 'names' and 'descriptions' should be allowed to diverge at this level.

""Bill mixed up the hats and coats" TRUE -- "Jones'..."

----- notes on why Grice wants to introduce the notion of 'true' or 'false' in 'ascriptions' of 'definite descriptions'.

""BIll will be seeking a new position" (non-identif..."

----- a note on Grice's choice of 'identificatory' versus 'non-identificatory' to do duty for Donnellan's referential versus attributive (use of definite descriptions).

"Grice on 'dossiers'"

----- an important notion introduced by Grice which I assimilate to similar ones used by J. O. Urmson in "Criteria of intensionality" (Proceedings of the Aristoelian Society): about the choice of a definite description in a given context ("the horse held to fly by the Greeks").

""Jones's butler got the hats and coats mixed up": ..."

"Grice on non-identificatory uses of "Jones' butler..."

"Stroke of the Pen"

""The haberdasher of Mr. Spurgeon is bald""

"Myro and Grice on efficienty-quota preserving individual constant variant interpretations"

"From unexciting truths to triviality which is thre"

"Correlatum and designatum"

"Adding identity-related formation and inference rules"

"Pegasus is not identical with Bellerophon"

"Problems with identity"

"Grice's use of 'imply' vs. 'implicate' in "Vacuous Names""

"What's so good about the slide"

""truth and propriety" if not elegance"

"Grice's slide -- Marmaduke Bloggs 'slide'"

"Grice's gloss for the innocuous 'second' "Marmaduke Bloggs" conversation"

"The second, innocuous "Marmaduke Bloggs" conversation"

""So someone isn't at this party" (Grice's gloss)"

"A misleading conversational move"

""Misleading, odd, wrong" but TRUE"

"Grice's gloss for the first "Marmaduke Bloggs" conversation"

"Meet Marmaduke Bloggs!"

"The Gricean natural deduction system 's "most counter-intuitive" thing"

"Grice vs Meinong"

""There is something such that it is not the case t..."

"Reading E-quanfified formulae in system G_HP"

"Grice on "there exists an object""

"Grice's representation of 'a+exists'"

"Recursive definition of existential commitment"

"Definition of existential commitment"

"The sixteenth inference rule -- concerning isomorphs"

"Introduction and elimination rules for ~, /\, \/, ..."

"Grice on assumptions"

"Seven formation rules for Grice's natural deduction system"

"Seven categories of symbols for Grice's natural deduction system"

"Fourth feature in the glossary to Grice's natural deduction system"

"Third feature of the glossary of Grice's natural deduction system"

"Second feature of glossary in Grice's natural deduction system"

"First feature of glossary for Grice's natural deduction system"

"Introduction and Elimination of Dominance"

"Third precise definitional feature of scope in Grice"

"Second precise definitional feature of scope in Grice's natural deduction system"

"First precise definitional feature of scope for Grice's natural deduction system"

"Bellerophon didn't ride Pegasus" (3 blog posts with this title).

"Three main considerations regarding scope-precedence"

"'Rules' in Grice's Natural Deduction System"

"Square brackets and subscripts"

"Subscripts and Square Brackets -- Parsons's Proposal"

"Fifth feature regarding scope-precedence in Grice's natural deduction system"

"What's so bad about the bad approach"

"Why a second approach is bad"

"Bellerophon didn't ride Pegasus"

"Fourth feature concerning scope-precedence in Grice's natural deduction system"

"Grice defines a 'segment' (Grice, p. 123 of Davidson/Hintikka)"

"Third feature of scope-procedence in Grice's natural deduction system"

"Second feature concerning scope procedence in Grice's natural deduction system"

"Licensing inferences in Grice's natural deduction system"

"Numerical subscripts of scope-precedence and formation rules"

"First of five features regarding scope-precedence"

"Grice's link between scope and formational steps"

"Five features regarding scope in Grice's natural deduction system"

"Five 'formal' properties of Grice's natural deduction system"

"Second of Grice's two goals in setting his natural deduction system"

"Two Goals for Grice's Natural Deduction System"

"Six maneouvres to deal successfully with the two difficulties"

"Second problem: "Pegasus does not fly; so, something does not fly""

""First problem" -- '[the] representation of a falsehood'"

"Grice's eight 'inclinations' on the construction of the system"

"Non primitiveness of "ix" (Grice, p. 139 in Davidson/Hintikka)"

"Grice on the iota operator in Davidson/Hintikka)"

"Interpretation of ∃-quantified formulae in System G"

"Interpretation of ∀-quantified formulae in System G"

"Grice on "individual-constant variant" Z' of interpretation Z"

"Truth tables for connectives III: Grice on the horseshoe"

"Truth Tables for Connectives II: Grice on '\/'"

"Truth-table for connective I -- Grice on '/\'"

"Grice on the truth-table of ~ (in Davidson/Hintikkikka)"

"Grice on an "interesting weak notion of identity""

"Extensions of System GHP: higher orders"

"Betrand Russell, aged 97, at the time of Grice writing 'Vacuous Names'"

"Grice defines 'dominance'"

"Elimination of "Domiannce" via ⊢"

"Introduction of "Dominance" via ⊢"

"Elimination of ∃ via ⊢"

"Introduction of ∃ via ⊢"

"Elimination of ∀via ⊢"

"Introduction of ∀ via ⊢"

"Elimination of ⊃ via ⊢: Modus Ponendo Ponens (Grice)"

"Introduction of ⊃ via ⊢"

"Introduction of the horseshoe"

"Elimination of \/ via ⊢"

"Introduction of \/ via ⊢"

"Elimination of /\ via ⊢"

"Introduction for /\ in terms of ⊢ ("φ[n-m], ψ[n-k]..."

"Elimination rule for ~"

"Introduction rule for ~"

"Last Rule for Connective III: Rule for "⊃": "If φ..."

"Rule for Connectives II: \/: If φ[n-m] and ψ[n-l] ..."

"Rule for Connectives I: for /\: "If φ[n-m] and ψ[n..."

"Formation rule for ~: If φ[n] is a formula, ~n+mφ[..."

"Formation rule for "∃" in System GHP: "∃ωn+mφ(ω/α)..."

"Rule for "∀" in System GHP: "∀ωn+mφ(ω/α)""

""If φ[n] is a formula, φ(αn+mω) is a formula" (Gri..."

"Glossary: Grice on "φ(θ2/θ1" (in Davidson/Hintikka, p. 125)""

""Highest subscript -- reading of "φn" (Grice, in Davidson/Hintikka)"

"Generalisation: Reading of "φ(ωj, ..., ωk" (Grice..."

"Reading of "φ(αj, ..., αk" (Grice in Davidson/Hint..."

"Glossary: Grice on ηn (Glossary 1 -- Natural Deduction Syste..."

"Subscripts and Square Brackets (Grice on C. D. Par..."

"∃x4~2F1x3 vs ∃x4~3F1x2>"

"~2F1a3 vs ~3F1a2"

"Formulae in Grice in Davidson/Hintikka -- System G..."

"The System GHP: a hopefully plausible (highly powe"

-------