Fodor argued that the predicates of the special sciences correspond to infinite or open-ended disjunctions of physical predicates, and these disjunctions do not constitute natural kinds identified by an associated law.
"He is and remains in disjunction: he does not abolish disjunction by identifying the contradictory elements by means of elaboration; instead, he affirms it through a continuous overflight [survol] spanning an indivisible distance.
This is similar to the way Boolean logic treats its connectives, say, disjunction: it does not analyze the formula \(p \vee q\) but rather assumes certain logical axioms and truth tables about this formula.
The supervalue of a disjunction, for example, does not depend on the supervalue of the disjuncts.
The Kreisel-Putnam logic KP, obtained by adding to IPC the schema (¬ A → B ∨ C) → ((¬ A → B) ∨ (¬ A → C)), has the disjunction property but does not satisfy all the Visser rules.
The disjunction of lips and voice does not increase the film's surrealism; it jolts us out of its fictive world.
It does not include disjunction or implication, as treated in intuitionistic or classical logic, which are uniquely characterized by rules essentially containing a non-zero-premiss rule though these would be uniquely characterized by zero-premiss rules (together with the structural rules) in Set-Set.
Though wpl1Δ suppresses eco1-1 lethality, it does not prevent disjunction of most pericentric Smc3-GFP to spindle poles, which therefore forms two foci of fluorescence.
Actually a bit more is needed to obtain R, in that distribution of additive conjunction over additive disjunction is part of R which does not follow from the description given.
Axiom III amounts to finite additivity because Reichenbach's logic does not have infinite disjunctions: it is a finite restriction of Kolmogorov's third axiom, which postulates additivity of probabilities for countable, even infinite, disjoint sets.
