Wikipedia:Reference desk/Archives/Computing/2016 December 22

= December 22 =

Logic needed to describe a natural language
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)