Studia Logica 101 (2):453-466 (2013)

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
Keywords Independence friendly Logic  Dependence Logic  de dicto de re  Compositionality  Meaning representation  IF  DL
Categories (categorize this paper)
DOI 10.1007/s11225-013-9480-9
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
Through your library

References found in this work BETA

The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.
Universal Grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
Quantifiers in Language and Logic.Stanley Peters & Dag Westerståhl - 2006 - Oxford, England: Clarendon Press.

View all 20 references / Add more references

Citations of this work BETA

Independence Friendly Logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
Quantum Logic as a Fragment of Independence-Friendly Logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
From If to Bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.


Added to PP index

Total views
74 ( #159,156 of 2,533,482 )

Recent downloads (6 months)
2 ( #261,612 of 2,533,482 )

How can I increase my downloads?


My notes