Your English writing platform
Discover LudwigExact(4)
(Compare the situation with a very long conjunction: given any particular conjunct, it may be likely that that conjunct is true, while being very unlikely that every conjunct, and hence the conjunction as a whole, is true).
In the simplest case, where we have a theory T that introduces one new name t, Lewis says that t denotes the x such that T[x], where T[x] is the sentence we get by (a) converting T to a single sentence, perhaps a single long conjunction, and (b) replacing all occurrences of t with the variable x.
He claims that sentences of fiction in which 'Sherlock Holmes' occurs should be regarded as jointly forming a long conjunction in which every occurrence of 'Sherlock Holmes' is replaced with a variable bound by an initial existential quantifier in the way suggested by Frank Ramsey (Ramsey 1931).
But I also learned a host of other things: as it might be, that the coin landed at a certain time, bouncing in a certain way, making a certain noise as it did so … Call this long conjunction of facts X.
Similar(56)
Infinitary logics may include functions or relations with infinitely many arguments, infinitely long conjunctions and disjunctions, or infinite strings of quantifiers.
We extend this line of work to formulas with infinitely long conjunctions and disjunctions, show that the infinitary logic of here-and-there characterizes strong equivalence of infinitary formulas, and give an axiomatization of that logic.
So L allows arbitrarily long quantifications in addition to arbitrarily long conjunctions and disjunctions.
Languages with arbitrarily long conjunctions, disjunctions and (possibly) quantifications may also be introduced.
Thus L allows arbitrarily long conjunctions and disjunctions, in the sense that if Φ is an arbitrary subset of Form, then both ∧Φ and ∨Φ are members of Form.
The astrological importance of the long-anticipated conjunction (such configurations take place every 20 years) was heightened by the unexpected appearance of the supernova.
Heavy hints of a cover-up are due to be aired on the BBC on Tuesday night UK time, after a long investigation in conjunction with BuzzFeed.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com