|Quotes: symbols for highlighting parts in a sentence or text. Often for identification of quotations or for distancing. For philosophical problems see also mention/use, quasi-quotation.|
Books on Amazon
Quotation Marks/Mates: we use them when we want to refer to a particular symbol or expression - then we take them as a name for the symbol in the symbol - e.g. without quotation marks: If j and y are formulas, then (jvy) is a formula.
Here we insert names of expressions for "j" and use "y" , the values are the expressions themselves - problem: inserting expressions for "j" and "y" results in the nonsense: e.g. ("F" a "v" F "b") (quotation marks set too tight) - solution: > spelling.
Quotes/Mates: e.g. values of the statement "j" ... with quotation marks.
Elementare Logik Göttingen 1969