The principles of mathematics revisited
The principles of mathematics revisited
Formal Features of Compositionality
Journal of Logic, Language and Information
Compositionality and Model-Theoretic Interpretation
Journal of Logic, Language and Information
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)
Dynamic Epistemic Logic
The Oxford Handbook of Compositionality
The Oxford Handbook of Compositionality
Hi-index | 0.00 |
Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural language semantics. In this contribution we will compare these two logics by investigating their application in a compositional analysis of the de dicto - de re ambiguity in natural language. It will be argued that Independence Friendly logic is suitable, whereas Dependence Logic is not.