Search results

...or-first2=Paul |encyclopedia=Cambridge Handbook of Formal Semantics |title=Conditionals |year=2016 |publisher=Cambridge University Press |isbn=978-1-107-02839-5 |p ...emantics for disjunction, <math>A \lor B</math> can hold at a world simply in virtue of <math>A</math> being true there, meaning that the most similar <m ...

In [[propositional logic]], '''import-export''' is a name given to the proposi This already holds in [[minimal logic]], and thus also in [[classical logic]], where the conditional operator "<math>\rightarrow</mat ...

{{Short description|Phenomenon in natural language}} '''Free choice''' is a phenomenon in natural language where a linguistic [[disjunction]] appears to receive a lo ...

{{Short description|Framework in logic and natural language semantics}} ...developed by [[Irene Heim]] and [[Hans Kamp]] in 1981 to model [[anaphora (linguistics)|anaphora]], but has since been applied widely to phenomena including [[pre ...

...oposition, asserting that all members of the subject category are included in the predicate category; symbolized as "All S are P".<ref>{{Cite web |title= ...based on the best available explanation for a set of premises. Often used in hypothesis formation.}} ...