544
edits
(Created page with "'''Predicate logic''' is formal logic where the alphabet includes quantifiers (<math>\forall</math>, <math>\exists</math>…), variables (''x'', ''y'', ''z''…), and '''predi...") |
(cheo higher-orderness example) |
||
(One intermediate revision by the same user not shown) | |||
Line 22: | Line 22: | ||
<blockquote> | <blockquote> | ||
{{t|cheo}}: ___ all satisfy binary relation ___ among each other. | {{t|cheo}}: ___ all satisfy binary relation ___ among each other.<br> | ||
<math>\text{Cheo}(x, R) \iff \forall a \forall b ( \text{Among}(a, x) \wedge \text{Among}(b, x) \wedge (a \neq b) \to R(a, b))</math> | |||
</blockquote> | </blockquote> | ||
This connection between predicate logic and natural language has been explored since the 1970s by Montague ([https://en.wikipedia.org/wiki/Montague_grammar ''Montague grammar'' on Wikipedia]). | This connection between predicate logic and natural language has been explored since the 1970s by Montague ([https://en.wikipedia.org/wiki/Montague_grammar ''Montague grammar'' on Wikipedia]). | ||
== See also == | |||
* [https://en.wikipedia.org/wiki/Predicate_logic Predicate logic] on Wikipedia. | |||
* [[Plural logic]], another flavor of the logic Toaq is based on. |