Keyboard shortcuts

/ or ⌘/Ctrl K
Find a note
j / k
Next / previous section or linked note
h / l
Collapse or go to parent / expand or enter
e or Alt-click
Read a linked note here
o
Open focused note on its own
g g / G
First / last section or linked note
g h / g a
Home / all notes
g b / g t
Backlinks / table of contents
t
Cycle System, Light, Dark
? / Esc
Show / close this reference

Search: ↑/↓ or Ctrl N/P, Enter to open. Shortcuts pause while typing.

natural logic [96963a7e]

Tags: nlp

1. monotonicity

  • key phoneoma that natural logic attempts to capture

  • substituting a phrase has predictable entailment relationships

    • example:

      • a reptile moved -> upward monotone

        • if we replace a superset with a subset, it's entailed
        • a reptile moved -> a turtle moved

      • no reptile moved -> downward monotone

        • no turtle moved -> replacing a superset with a subset, negation has flipped the monotone
      • non-montone: do no preserve entailment in either direction

2. langauge

  • upward monotone is sort of the default for lexical items
  • i.e. most determiners (a, some, at least), second argument of every (danced in every), etc
  • downward monotone is usually negation, first argument of every, determiners like most, few, conditional antecedents (if-clauses), etc

3. limitations

  • de morgan's laws cannot be parsed by natural logic