Wikipedia:Reference desk/Archives/Computing/2016 December 22
| Computing desk | ||
|---|---|---|
| < December 21 | << Nov | December | Jan >> | December 23 > |
| Welcome to the Wikipedia Computing Reference Desk Archives |
|---|
| The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages. |
December 22 edit
Logic needed to describe a natural language edit
Is propositional, first order, second order, higher order logic or type theory needed to describe the grammar of a natural language? — Preceding unsigned comment added by 89.7.33.34 (talk) 18:49, 22 December 2016 (UTC)
- See Linguistic description and Generative grammar. From here are listed several schemes. I would not call them logic, but you can use natural language to describe logic. Did you also read the Logic or Argument articles?Graeme Bartlett (talk)