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

{| width = "100%"

|- ! colspan="3" align="center" | Computing desk |- ! width="20%" align="left" | < December 21 ! width="25%" align="center"|<< Nov | December | Jan >> ! width="20%" align="right" |Current desk > |}

Welcome to the Wikipedia Computing Reference Desk Archives
The page you are currently viewing is a transcluded 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

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)