This is Lewis Carroll's Froggy problem from the book "Symbolic Logic Part I" by Lewis Carroll. At the end of the book (in Appendix, Addressed to Teachers) he writes: "I will conclude with eight Problems, as a taste of what is coming in Part II. I shall be very glad to receive, from any Reader, who thinks he has solved any one of them (more especially if he has done so without using any Method of Symbols), what he conceives to be its complete Conclusion." The Froggy Problem was the third of these eight problems.

Regrettably Lewis Carroll died before publishing Part II. However, after a great deal of detective work a considerable portion of the unpublished proofs and notes on which Lewis Carroll was working have been assembled by William Warren Bartley III. The result is Lewis Carroll's Symbolic Logic"Lewis Carroll's Symbolic Logic" Edited by William Warren Bartley, III Published by Harvester Press 1977 ISBN 0-85527-984-2.

I have produced a symbolic representation of the problem using the Dictionary provided in Bartley's book.
I have also produced a representation using the subscript notation, as explained by Carroll in his book.
From that I have produced the Register of Attributes according to the rules set out in Chapter III of Book XII of "Symbolic Logic". This process reveals that there are four Retinends, these being E, a, b, d. It remains then to solve the problem using the Method of Trees starting with the root Ea'b'd.
My tree can be found in this PDF. As far as I am aware this is the first time a solution to this sorites has been published using Carroll's Method of Subscripts and Method of Trees. In fact I have been unable to locate any previous valid solution to this sorites by any method at all, which, 114 years after the problem was first published, is surprising.

I have tried to apply the methods described by Lewis Carroll to this problem as far as I am able. I confess I am not totally happy with the result and I am sure I am missing at least something (but hopefully not everything). The results of my efforts are contained here on these pages. The solution which I obtain is, in subscript notation, Ea'b'd₀ which can be written as No Ea'd are b' or in English "If Froggy's hair was a mass of curls and he had his mother's permission he would go a-wooing today". I would be interested to hear from anyone who arrives at a different solution using the methods descrribed by Lewis Carroll. I have also produced what seems to me a validation of the conclusion. The alternative method referred to by Carroll is his method of underscores plus the concept of "barred premisses". The only guide to how this method works is contained in a manuscript dated 7/2/93, reprinted in Bartley as part of Book XIII Chapter XII. I have derived the same conclusion as that given above, using this alternative method and you can find the full derivation on page underlines_and_bars.html.

Lewis Carroll stated that this problem contains a "beautiful 'trap' ". It seems to me that this trap relates to the form of propositions 3, 9 and 11. Consider proposition 9, "My railway shares are going up like anything!" I think the trap to which Carroll refers is the danger of treating "My railway shares are going up" in the same way as one would treat "Socrates is a man". The clue to this is in the dictionary for the problem which Carroll produced and which is presented in Bartley's book. The universe of discourse is stated to be "cosmophases" and the first item is given as ε=this. The fact that Carroll used epsilon, whereas in all other cases he uses the english alphabet, seems to me significant and suggests that this may well have been the trap to which he refers. His definition of "cosmophases" is "the state of the Universe at some particular moment" and his use of this concept is described in his essay, dated March 15, 1897 on DeMorgan's Problem (page 480 of Bartely's book).

Since producing this solution I have analysed more thoroughly the use of language in Carroll's formulation of the problem and arrived at a slightly different interpretation of the meaning of some of the premises, which removes the "mass of curls" condition from the solution. This can be found here and a re-working of the new formulation using Carroll's methods is in preparation (as of 25 January 2013)

Carroll requires the Complete Conclusion which he explains (Book XIII Chapter I) means stating "all the relations, among the Retinends only, which can be deduced from the Premisses."

The dictionary is the only fragment that remains in the documents so far found and published in "Lewis Carroll's Symbolic Logic" Edited by William Warren Bartley, III Published by Harvester Press 1977 ISBN 0-85527-984-2: