On the logic of informational independence and its applications

Sandu, Gabriel

doi:10.1007/bf01049180

Cited by 45 publications

(19 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(14) and (15) Brasoveanu & Farkas (2011) build an account of Romanian cîte in a version of Independence-Friendly Logic (Hintikka 1979, Sandu 1993, Hodges 1997, Väänänen 2007. In these logics, variables are indexed with the quantifiers they are (in)dependent of/on.…”

Section: The Middle Case: Romanian/hungarian Dependent Indefinitesmentioning

confidence: 99%

Dependent indefinites and their post-suppositions

Henderson

2014

S&P

View full text Add to dashboard Cite

This paper presents an analysis of a new scope puzzle that arises through the interaction of two lesser-studied constructions, dependent indefinites and verbal pluractionality. The result is a novel account of dependent indefinites that correctly predicts their grammaticality with pluractionals by recognizing two ways of establishing the covariation they require: (i) true distributive quantifiers, and (ii) pluractional operators that structure thematic dependencies. The core insight is that both routes, while compositionally different, lead to similar output structures in Dynamic Plural Logic (DPlL) (van den Berg 1996) or its closely related alternatives (Brasoveanu 2008, Nouwen 2003, which is what dependent indefinites constrain. The analysis not only permits a better understanding of dependent indefinites in Kaqchikel, an endangered and understudied Mayan language of highland Guatemala, but it clarifies their place in a crosslinguistic typology of similar expressions (e.g., Balusu 2006, Choe 1987, Farkas 1997a, 2002, Yanovich 2005. Along the way I produce the first description and analysis of these phenomena in Kaqchikel.

show abstract

Section: The Middle Case: Romanian/hungarian Dependent Indefinitesmentioning

confidence: 99%

Dependent indefinites and their post-suppositions

Henderson

2014

S&P

View full text Add to dashboard Cite

show abstract

“…The framework of semantic games with imperfect information has been applied to a host of variants of IF logic, including IF propositional logic (Pietarinen, 2001a;Sandu andPietarinen, 2001, 2003;Sevenster, 2006a), IF modal logic (Bradfield, 2006;Bradfield and Fröschle, 2002;Hyttinen and Tulenheimo, 2005;Pietarinen, 2001cPietarinen, , 2003cPietarinen, , 2004Tulenheimo, 2003;Tulenheimo and Sevenster, 2006;Sevenster, 2006b), IF fixpoint logic (Bradfield, 2004) and IF fuzzy logics (Cintula and Majer, this volume).…”

Section: XVIImentioning

confidence: 99%

“…In this way, the notions of truth for a great variety of logics can be provided. Cases in point are propositional logic, first-order logic, modal and temporal logics, independence-friendly logics (Hintikka, 1995(Hintikka, , 1996Sandu, 1993;Sandu, 1989, 1997), logics with Henkin quantifiers (Henkin, 1961;Krynicki and Mostowski, 1995), infinitely deep languages (Hintikka and Rantala, 1976;Karttunen, 1984;Hyttinen, 1990) and the logic of Vaught sentences (Vaught, 1973;Makkai, 1977).…”

mentioning

confidence: 99%

“…The goal is then to study the 'information flow' in logical formulas, or the various relations of dependence and independence between logical constants. This type of research has led to the investigation of a family of independence-friendly logics (IF logics), studied in various publications by Jaakko Hintikka, Gabriel Sandu and many others (Hintikka, 1995(Hintikka, , 1996Sandu, 1989, 1997;Hodges 1997a, b;Pietarinen, 2001bPietarinen, , 2006aSandu, 1993;Väänänen, 2007).…”

mentioning

confidence: 99%

See 1 more Smart Citation

Games: Unifying Logic, Language, and Philosophy

2009

View full text Add to dashboard Cite

“…The (in)dependence-friendly logics of Hintikka (1973), Sandu (1993), Hintikka & Sandu (1996), Hodges (1997), andVäänänen (2007) seem particularly well-suited to express this kind of 'selective' covariation (a.k.a. imperfect information).…”

Section: Quantificational Dependencies Intra-sententially: Exceptionamentioning

confidence: 99%

The grammar of quantification and the fine structure of interpretation contexts

Brașoveanu

2012

Synthese

View full text Add to dashboard Cite

Providing a compositional interpretation procedure for discourses in which descriptions of complex dependencies between interrelated objects are incrementally built is a key challenge for formal theories of natural language interpretation. This paper examines several quantificational phenomena and argues that we need richly structured contexts of interpretation that are passed on between different parts of the same sentence and also across sentential boundaries to account for these phenomena. The main contribution of the paper is showing how we can add structure to contexts in an incremental way, starting with the basic notion of context in classical first-order logic, i.e., interpretation contexts formalized as single total variable assignments.

show abstract

On the logic of informational independence and its applications

Cited by 45 publications

References 9 publications

Dependent indefinites and their post-suppositions

Dependent indefinites and their post-suppositions

Games: Unifying Logic, Language, and Philosophy

The grammar of quantification and the fine structure of interpretation contexts

Contact Info

Product

Resources

About