I ask because Kleene mentions the possibility in Mathematical Logic, but I am not sure if he meant this as something he's aware of, or as a hypothetical possibility. I also enjoy the first part of Gensler's Introduction to Logic where he develops a simple formal calculus based on Aristotle's term logic where the WFF's must be in one of the forms: all A is B, some A is B, no A is B, some A is not B, a is B, a is not B, a is b, and a is not b. Capital letters represent groups (sets) and small letters represent individuals (members). More here on his system.
To me, this represents a pretty good example of a restricted English formal system. I also enjoy how many arguments, both philosophical and informal, can be analyzed in this simple notation. But now I wonder about extending his notation so that more of first order logic can be translated into this restricted English formal system. For instance, I'm wondering about the possibilities of extending the syntax the include extensions of the Aristotlean form where the predicate term is another categorical proposition, such as "all A is some B", or including relations like "all A is R to some B". I doubt the entire first-order logic can be translated in this way without creating a syntax more difficult, or convoluted, than the terse symbolic notation that is now in common use.
It could be asked why I would want something like this, why don't I just use the existing notation. I think the main reason is that my primary interest isn't in mathematics, and I've just found it difficult to translate arguments I read in works of philosophy, or even with informal reasoning, into this terse symbolic notation. I've been studying logic on my own for years, but never had much success actually applying the discipline until I started reading Gensler's book. I think it might be better for non-mathematical purposes to develop a notation for logic that is closer to the idioms of English to ease transcription both ways, but can still be just as easily transcribed into the full first-order notation when the correctness of the logic is in dispute.
So basically, does something like this already exist that goes further than Gensler's simple system?