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?

  • 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