search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Parallelism errors in 2.3 Formal validity examples #58

Closed chreliot closed 2 years ago

chreliot commented 2 years ago

All six examples in 2.3 have this issue:

Either Mei is a mathematician or a botanist.

gives us as disjunctive alternatives a sentence and a noun, which have different grammatical functions.

per Chicago Manual of Style 5.244, for example:

Correlative conjunctions such as either–or, neither–nor, both–and, and not only–but also and some adverb pairs such as where–there, as–so, and if–then must join grammatically parallel sentence elements. It is a common error to mismatch elements framed by correlatives.

This can be fixed with the pattern

Either Mei is a mathematician or Mei is a botanist.

or the pattern

Mei is either a mathematician or a botanist.

Would you be receptive to a pull request for all the examples with one of these patterns?

rzach commented 2 years ago

Good catch; yes please. I think I might prefer the second pattern.

rzach commented 2 years ago

Fixed by commit 1269730