Pith. sign in

REVIEW 3 major objections 5 minor 2 references

Conjoined Predication and Scalar Implicature

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper claims that the oddness of "Some Italians come from a warm country and are blond" comes from a collective reading that indirectly contradicts what everyone knows.

desk verdict A real leftover puzzle and a novel collective-reading idea, but the paper's central epistemic step is invalid and §2.3 contradicts itself. read the letter →

arxiv 2506.07429 v1 pith:7Q7CAA5S submitted 2025-06-09 cs.CL

Ratna Kandala This is my paper
classification cs.CL
keywords scalarimplicatureconjoinedpredicatescollectiveinterpretationcontextualcontradictionexhaustificationoddnessMagripuzzlepragmatics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Magri's first puzzle is that "#(Only) Some Italians come from a warm country and are blond" is judged odd even though no standard mismatching scalar alternative seems available. The paper claims that this oddness comes from the collective-concurrent interpretation of the two predicates: the sentence entails that an indefinite number of Italians come from a warm country, and this entailed disjunction supports the inference that the speaker does not know that all Italians do, indirectly contradicting common knowledge. If correct, this shows that scalar-implicature-like effects can arise from the entailments of conjoined predicates, so grammatical exhaustification is not the whole story.

What carries the argument

The central mechanism is the collective-concurrent interpretation of the conjoined predicate, formalized by the entailment $some(A)(B'\cap B'') \Vdash Q_i(A)(B')$, with $Q_i$ an indefinite number quantifier drawn from scalar alternatives at most as complex as 'some' (all, most, many, etc.). This entailment converts the truth-conditional content into a disjunction $[all(A)(B') \lor most(A)(B') \lor ... \lor Q_k(A)(B')]$; the disjunction in turn carries the implication $\neg K\, all(A)(B')/P\, all(A)(B')$ under contextual updates, which clashes with the common knowledge that $all(A)(B')$. The paper calls this kind of situation a scalar implicature hole: the usual exhaustification-based implicature is weakened, while an implicature generated from the set of entailments becomes entrenched.

What would settle it

A context in which (4) is judged perfectly fine despite the collective reading and the common knowledge, or an experiment showing that oddness persists when the collective reading is blocked, would falsify the account.

Watch

Extended reading notes

Core claim

The paper's central claim is that in the conjoined sentence (4), $some(A)(B'\cap B'')$ is read collectively: the same individuals are at once Italians who come from a warm country and Italians who are blond. Because of this reading, the sentence entails $Q_i(A)(B')$, where $Q_i$ is an indefinite number quantifier, and $Q_i$ can take values such as all, most, many, giving the disjunctive alternative set $[all(A)(B') \lor most(A)(B') \lor ... \lor Q_k(A)(B')]$. From this disjunction the paper derives the implication $\neg K\, all(A)(B')/P\, all(A)(B')$, which conflicts with common knowledge $K\, all(A)(B')$ that all Italians come from a warm country. That indirect contextual contradiction, rather than the exhaustification of a mismatching scalar alternative, is what makes the sentence odd. The paper also argues that forcing a distributive reading, as in "Some Italians come from a warm country and some Italians are blond," removes the oddness, supporting the collective-reading explanation.

Load-bearing premise

The argument rests on the premise that from a sentence which entails a disjunction of quantity readings (all, or most, or many, ...), it follows that the speaker does not know the strongest reading; if that inference fails, the indirect contradiction does not arise.

Editorial extensions

If this is right

  • The theory of oddness based on mismatching scalar alternatives is incomplete; a conjoined predicate can produce oddness without any mismatching alternative.
  • Oddness should disappear when the two predicates receive a distributive or split reading, since then the entailment to $Q_i(A)(B')$ is blocked.
  • Relevant contextual information, such as a preceding sentence that settles whether all Italians come from a warm country, should cancel the indirect contradiction, exactly as in Magri's second puzzle.
  • Scalar-implicature-like effects can be generated from entailment chains inside truth conditions, so any account of scalar implicature must include pragmatically driven contextual updating, not only grammatical exhaustification.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One testable extension the paper leaves implicit is cross-linguistic: a language whose conjoined predicate cannot support the collective reading should show less or no oddness for the analogous sentence.
  • The mechanism may generalize beyond nationality examples to any case where one conjunct is common knowledge for all members of the subject set, predicting oddness whenever the collective reading is available.
  • A formal epistemic model could sharpen the paper's central step: making precise when a disjunction of quantity readings warrants ignorance of the strongest reading would predict exactly which contexts produce the indirect contradiction and which merely leave the disjunction open.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper offers a conceptual analysis of Magri's first conjunction puzzle: why (4) '(Only) Some Italians come from a warm country and are blond' is odd even though the obvious scalar alternative 'All Italians come from a warm country and are blond' does not seem to trigger a conflicting scalar implicature. The paper proposes that the oddness arises from the collective/concurrent interpretation of the conjoined predicate, which, via the entailment some(A)(B'∩B'') ⊩ Qi(A)(B'), leads to a disjunctive alternative set [all(A)(B') ∨ most(A)(B') ∨ ... ∨ Qk(A)(B')]. This disjunction is claimed to implicate ¬K all(A)(B')/P all(A)(B'), yielding an indirect contextual contradiction with the common knowledge K all(A)(B'). The paper further argues that this pattern reveals a 'scalar implicature hole' and that exhaustification-based grammatical accounts are incomplete.

Significance. If the proposed mechanism were sound, it would offer a new account of a well-known puzzle and would challenge exhaustification-only theories of scalar implicature, suggesting that entailment-driven pragmatic strengthening can produce SI-like effects. The paper engages seriously with the relevant literature (Magri, Sauerland, Katzir, Fox, Spector & Sudo, Pistoia-Reda & Romoli) and clearly identifies the empirical contrast between (1) and (4). However, the central inference in Section 2.3 is not justified in any stated logic, and the account reintroduces via Qi the very 'all' alternative that it earlier excluded; these issues are load-bearing. The paper does not provide machine-checkable proofs, experimental data, or an explicit formal system, so its contribution rests entirely on the validity of the informal derivation.

major comments (3)
  1. [Section 2.3 (the passage from the disjunction [all(A)(B') ∨ most(A)(B') ∨ ...] This is the load-bearing step of the paper, and it is invalid in standard epistemic logic. From the fact that a disjunction φ∨ψ is entailed or asserted, it does not follow that the speaker does not know φ; K(φ∨ψ) does not entail ¬Kφ. Moreover, because common knowledge K all(A)(B') entails the disjunction by disjunction introduction, the disjunction is perfectly compatible with K all(A)(B') and cannot generate a contradiction with it. The paper also conflates ¬K all(A)(B') with P all(A)(B') by writing them with a slash; these are not equivalent, and in standard modal systems K all(A)(B') entails P all(A)(B'), so P all(A)(B') is consistent with common knowledge. The internal inconsistency is explicit: the text first says 'the primary implicature that ¬K all(A)(B') is not generated at all for (4)' but then states 'the reason is that ¬K all(A)(B') follows from the disjunction structure'. If this inference is removed, the indirect contextual contradiction does not arise and the proposed explanation of the oddness of (4) collapses.
  2. [Section 2.1-2.3, especially the definition of Qi and the substitution Qi → {all, most, ...}] The account is circular in its treatment of alternatives. Section 1 marks 'A: All Italians come from a warm country' as not an alternative of (4) (the asterisk before the A-line), and the paper repeatedly emphasizes that no mismatching alternative is available for (4). Yet in Section 2.3, the invented quantifier Qi(A)(B') is stipulated to have scalar-alternative values including 'all', 'most', and others, 'at most as structurally complex as some'. This reintroduces the 'all' alternative through the back door: the indirect contextual contradiction is rebuilt by construction rather than derived from independent evidence. No independent justification is given for why Qi—defined as 'an indefinite number of Ax is B'x'—should have 'all' among its alternatives, and the paper does not show that Qi arises from any independently motivated alternative-generation mechanism such as Katzir's or Fox and Katzir's.
  3. [Section 2.1, equation (8) and the entailment (10) some(A)(B'∩B'') ⊩ Qi(A)(B')] The conservativity derivation in (8) is correct but does no substantive work: it merely rewrites the claim that some Italians are warm-country-origin and blond. The substantive step is (10), the entailment from some(A)(B'∩B'') to Qi(A)(B'), which is trivial given Qi is defined as 'an indefinite number of Italians come from a warm country'. With that definition, Qi(A)(B') is already entailed by common knowledge K all(A)(B') (since if all Italians come from a warm country, an indefinite number of them do, provided there is at least one Italian). Thus the disjunction [all(A)(B') ∨ most(A)(B') ∨ ... ∨ Qk(A)(B')] is also entailed by common knowledge alone; the sentence (4) adds no new information that could generate an ignorance implicature. The paper does not explain how an entailment that is already common knowledge can yield a implicature conflicting with that same common knowledge.
minor comments (5)
  1. [Section 2.2, PRESUPPOSITION 2] The paper lists PRESUPPOSITION 2 of some(A)(B'∩B'') as 'some of them, but not all, come from a warm country and are blond', but footnote 1 explicitly allows that 'some' need not mean 'not all'. This inconsistency is not resolved and matters for the later claim that PRESUPPOSITION 2 entails the disjunctive alternative set.
  2. [Section 2.3] Typo: 'Margi’s account' should be 'Magri’s account'.
  3. [Section 2.3, notation K and P] The modal operators K and P are introduced informally without axioms or a model theory; the reader cannot evaluate the claimed entailments involving them. Please specify the intended logic or at least provide clear definitions.
  4. [Section 2.3, definition of 'scalar implicature hole'] The term 'scalar implicature hole' is used but not defined precisely; it is unclear whether it denotes a specific empirical phenomenon or a new theoretical primitive.
  5. [Section 3, example (16)-(17)] The discussion of commutativity of intersection is confusing: set intersection is commutative, and the claim that 'the commutative law for the intersection between W' and W'' does not apply here' is false for the sets as defined. The intended contrast seems to rely on event structure, not set theory; please rephrase.

Circularity Check

2 steps flagged · score 7.0 of 10

The 'indirect contextual contradiction' is built by stipulating Qi's alternative set to include 'all'—the very alternative denied for (4)—so the central explanation is circular.

  1. self definitional [Section 2.1, display (10)-(11) and surrounding text]
    "There is nothing special about Q i, except for the fact that we do not have any natural language quantifier for the (indefinite) number we are interested in. But for the sake of simplicity, we may assume that Q i (A) (B') = A(n) (indefinite) number of Ax is B'x. ... (10) some (A) (B'∩B'') ⊩ Qi (A) (B')"

    Qi is introduced as an unconstrained quantifier meaning 'an indefinite number of Ax is B'x', so the entailment in (10) is true by definition. The quantifier has no independent motivation—the paper explicitly says 'There is nothing special about Qi'. This stipulated Qi then carries the entire explanatory burden, so the 'result' that (4) entails a Qi-proposition is not an independent finding about conjoined predication; it is an input chosen to make the later contradiction derivable.

  2. fitted input called prediction [Section 2.3, paragraph beginning 'Interestingly, we note that if some (A) (B'∩B'') ⊩ Qi (A) (B')']
    "Since the quantity of Q i is indefinite, Q i can take values from different scalar - alternative quantificational expressions that are at most as complex as some in (4) ... So, Qi →{all, most, …}, and hence Q i (A) (B') can have a disjunctive form: [all (A) (B') ˅ most (A) (B') ˅ … ˅ Qk(A) (B')]."

    The paper earlier denied that 'All Italians come from a warm country' is an alternative of (4), because its negation is consistent with common knowledge. Here 'all' is smuggled back in as a stipulated possible value of the ad hoc Qi. The indirect contextual contradiction with K all(A)(B') is therefore rebuilt by construction: once Qi is allowed to range over 'all', the disjunction is asserted to implicate ¬K all(A)(B'), which conflicts with common knowledge. The predicted oddness is forced by the choice of Qi's alternative set, not derived from independent evidence.

full rationale

The central derivation is not self-contained. The explanation of (4)'s oddness rests on the ad hoc quantifier Qi, which the paper explicitly says is 'nothing special' and defines as 'an indefinite number of Ax is B'x'. The key entailment some(A)(B'∩B'') ⊩ Qi(A)(B') is therefore true by definition rather than by an independent semantic discovery. The paper then stipulates that Qi can take 'all' as one of its scalar-alternative values, reintroducing the very 'All Italians come from a warm country' alternative denied for (4). The resulting 'indirect contextual contradiction' is thus an artifact of Qi's construction: the conflict with common knowledge is built in by allowing Qi to range over 'all', rather than derived from the conjoined-predicate analysis. The collective/concurrent interpretation evidence in Section 3 does not constrain Qi's alternative set, and no external benchmark or independent test validates the Qi step. The paper also asserts the crucial ¬K all(A)(B') inference in contradictory ways, first saying it is 'not generated at all' and then saying it 'follows from the disjunction structure', and concedes the implication is 'not automatic'. While this is also a correctness problem, the deeper circularity is that the explanatory load is carried by a stipulated quantifier whose alternatives are chosen to reproduce the original mismatching scalar implicature. No self-citation issue is present; the circularity is internal to the paper's construction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

The paper's central claim rests on several unproved assumptions and one invented quantifier Qi. The main derivational step from a disjunction of scalar alternatives to an epistemic ignorance inference is assumed rather than proven, and the collective-concurrent reading of the predicates is asserted as a domain assumption.

assumptions (5)
  • domain assumption Scalar implicatures are generated blindly, without access to common knowledge.
    The entire puzzle presupposes this principle from Magri (2009, 2011); the paper does not independently justify it and uses it as background.
  • domain assumption The conjoined predicate in (4) has a collective-concurrent interpretation, so the same individuals satisfy both 'come from a warm country' and 'are blond'.
    Section 2.1 asserts this as the meaning of the sentence, citing set intersection; the paper provides no argument that the collective-concurrent reading is obligatory in the odd examples.
  • ad hoc to paper The invented quantifier Qi(A)(B') can take scalar-alternative values including 'all', 'most', and others, because these are at most as structurally complex as 'some'.
    Section 2.3 introduces Qi solely to mediate the entailment and then stipulates its alternative values; this is what brings 'all' back into the derivation.
  • ad hoc to paper From the disjunction [all(A)(B') or most(A)(B') or ... or Qk(A)(B')] it follows that the speaker does not know all(A)(B'), or that P all(A)(B') conflicts with K all(A)(B').
    Section 2.3 uses this inference to generate the indirect contextual contradiction; it is not a theorem of standard epistemic logic and is not derived.
  • domain assumption The presupposition of 'some' in PRESUPPOSITION 2 is 'some of them, but not all, come from a warm country and are blond'.
    Section 2.2 assigns 'not all' as a presupposition of 'some', which conflicts with the paper's own earlier footnote that 'some' can mean 'some and possibly all'; this supports the transitivity argument but is semantically dubious.
invented entities (2)
  • Qi(A)(B'), an indefinite-number quantifier meaning 'an indefinite number of Ax is B'x'.
    purpose: Serves as the entailment intermediate between some(A)(B' and B'') and the disjunctive set of scalar alternatives, which generates the indirect contradiction.
    The paper says 'There is nothing special about Qi', and no natural language quantifier or independent data supports it; it is introduced to make the derivation work.
  • Scalar implicature hole
    purpose: Labels the phenomenon where exhaustification-based scalar implicature is weakened and implications from the sentence's entailments become entrenched.
    Introduced as a theoretical construct in Section 2.3; no precise definition, diagnostic criteria, or falsifiable prediction is provided.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Conjoined Predication and Scalar Implicature." pith.science (2026). https://pith.science/paper/7Q7CAA5S

@misc{pith2026250607429,
  author       = {Pith},
  title        = {Pith review of: Conjoined Predication and Scalar Implicature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7Q7CAA5S}},
  note         = {Machine review of arXiv:2506.07429}
}
read the original abstract

Magri (2016) investigates two puzzles arising from conjunction. Although Magri has proposed a solution to the second puzzle, the first remains unresolved. This first puzzle reveals a hidden interaction among quantification, collective/concurrent interpretation, and contextual updating dimensions that have yet to be explored. In essence, the problem is that certain forms of sentences like "Some Italians come from a warm country," when conjoined as in "(Only) Some Italians come from a warm country and are blond," sound infelicitous, even though no obvious alternative triggers a conflicting scalar implicature. In this paper, we offer a conceptual analysis of Magri's first puzzle by situating it within its original theoretical framework. We argue that the oddness arises from the collective or concurrent reading of the conjunctive predicate: in examples such as "(Only) Some Italians come from a warm country and are blond," this interpretation generates an indirect contextual contradiction. Moreover, we suggest that the pragmatic mechanisms governing scalar implicature generation extend beyond what is captured by exhaustification-based grammatical licensing accounts.

Figures

Figures reproduced from arXiv: 2506.07429 by the authors.

Figure 1
Figure 1. The graphical representation of the pattern of oddness in (4) This paper is structured as follows. Section 2 goes on to offer a plausible pragmatic solution to the puzzle which is grounded in the explication of the collective/concurrent interpretation of the predicate conjuncts in (4). Also, this section reflects on the theoretical relevance and implications of the analysis. Additional evidence for the collective/co… view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [1]

    Anvari, A. (2018). Logical integrity. Semantics and Linguistic Theory, 28, 711–726. Asher, N. (2012). Implicatures and discourse structure. Lingua, 132, 13-28. Bassi, I., Del Pinal, G., & Sauerland, U. (2021). Presuppositional exhaustification. Semantics and Pragmatics, 14, 1-48. Bott, L., & Noveck, I. A. (2004). Some utterances are underinformative: The ...

    work page 2018

  2. [79]

    Grice, H. Paul. (1975). Logic and conversation. In P. Cole & Jerry L. Morgan (Eds.), Syntax and Semantics (pp. 41–58). Academic Press. Heim, I. (1991). On the projection problem for presuppositions . In S. Davis ( Ed.), Pragmatics: A reader (pp. 397–405). Oxford University Press. Horn, L. (1972). On the semantic properties of the logical operators in Engl...

    work page 1975

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.