Re: An argument for the redundancy of truth

george wrote:
On Sep 22, 5:22 pm, John Jones <jonescard...@xxxxxxx> wrote:
It would seem sensible, then, to lever
truth and falsity out of its precariuous position in logic and to let it
settle where I suggested (above), it ought to settle - as the grammar of
privilege,

You can't do GRAMMAR without truth-values EITHER, DUMBASS.
If you KNEW what a grammar was, THEN YOU WOULD KNOW this already,
but you don't know what ANYthing is BECAUSE YOU HAVEN'T READ
ANY OF THE BOOKS.

The purpose of a grammar is to define some structure on a string.
Some strings have the required structure AND SOME DON'T.
EVERY grammar ASSIGNS a truth-value to EVERY string, NOT in the
USUAL sense of telling whether the string is true or false, but
rather,
of telling whether the string IS A SENTENCE, AT ALL, or isn't.
Statements ABOUT WHETHER the string is or isn't a sentence HAVE TRUTH-
VALUES, AND EVERY GRAMMAR DETERMINES those truth-values.

If you somehow have established some prior context that presents
"every" string, and you also want your grammar to accept/parse every
string,
then rather than answering yes/no, your grammar (having answered yes,
in THAT sense, to EVERY sentence/question/string) STILL involves
truth-
values by associating ONE PARSE TREE with every sentence; it is TRUE
that
it associates THAT parse-tree with the sentence and FALSE that it
associates
any other (unless it is ambiguous, but even there, you could just non-
deterministically
retreat to SETS of parse-trees). This is UNavoidable. If your
grammar DOESN'T do this and produce
these truth-values THEN IT IS NOT a grammar.

Any string can deliver anything we want it to. If I give it a meaning, then its a symbol.
.

Relevant Pages

  • Re: need simple parsing ability
    ... > sometimes a short string followed by an integer, ... Here's a pyparsing solution. ... then to the parse actions attached to the ... different bits of the grammar. ...
    (comp.lang.python)
  • Re: design a Condition class
    ... of grammars in pyparsing. ... # parse input string ... The resulting grammar expressions are fairly readable. ... by another word group of alphabetic characters, ...
    (comp.lang.python)
  • Re: Definition of Production
    ... rule to input string, ... `production' == `production rule'. ... Grammar productions are defined formally in Waite & Goos, ... of finite V strings, including the empty string). ...
    (comp.compilers)
  • Re: An argument for the redundancy of truth
    ... settle where I suggested, it ought to settle - as the grammar of ... You can't do GRAMMAR without truth-values EITHER, ... The purpose of a grammar is to define some structure on a string. ...
    (sci.logic)
  • Whats This Model of Computing Called?
    ... It's something that takes a sequence of symbols (a character string) as input, makes some faint whirring sounds for a while, and hopefully gives a sequence of symbols as output when it halts. ... But, in general, whatever it is, it can be described by an attributed grammar. ... But here's the idea I had: use this model of computing to compute the attribute strings themselves! ... Such strings, along with literal strings, can then be concatenated into one string, which may itself be processed by a parser specified by a nonterminal symbol. ...
    (comp.theory)