Given a statement in natural language, what can be said about how many possible translations there are in first-order-logic? What happen if we take a more complex logic like second-order logic and what if we take a less complex one?


closed as too broad by D.W., FrankW, Rick Decker, Wandering Logic, David Richerby Jun 5 '14 at 8:03

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

  • 2
    $\begingroup$ Could you be specific about the translation process, and also about the specification of your natural langue. Otherwise, given that NL sentences are often syntactically ambiguous, a precise answer can be: "usually a lot", which will not help you too much. $\endgroup$ – babou Jun 4 '14 at 13:05
  • 1
    $\begingroup$ I don't see how to properly express the semantics of a statement like "My head feels as if it was Monday" in any logic. $\endgroup$ – Raphael Jun 4 '14 at 14:37
  • $\begingroup$ You might try SEP's entry on Logical Form for a background to some of the issues involved; especially relevant are §§2,8-9. $\endgroup$ – Patrick Jun 4 '14 at 21:10
  • $\begingroup$ natural language (in general) includes elements of higher-order logic(s), which are not reducable to 1st-order logic $\endgroup$ – Nikos M. Jun 5 '14 at 21:05