Charles Dodgson, dit Lewis Carroll est né à Daresbury en 1832; Il décéda à l’âge de 66 ans à Guildford
Mathématicien et écrivain britannique. Il est l'auteur d'œuvres logiques telles que la Logique symbolique en 1896, adressée aux profanes et aux jeunes.
Ses récits unissent sa passion de la logique formelle et sa fascination pour l'imagination enfantine

On the Top of a High Wall (en anglais pour une fois) publié in Aunt Judy’s Magazine en 1870

Dreaming of apples on a wall,
And dreaming often, dear,
I dreamed that, if i counted all,
- How many would appear?

combien de pommes apparaîtrons sur le mur?

Solution: 10 (of-ten)

Une sorite de Lewis Carroll:

1. Quand je résous un exercice de logique sans ronchonner, vous pouvez être sûr que c'en est un que je comprends.

2. Ces sorites ne sont pas disposés régulièrement, comme les exercices auxquels je suis habitué.

3. Aucun exercice facile ne me donne jamais mal à la tête.

4. Je ne comprends pas les exercices qui ne sont pas disposés régulièrement, comme ceux auxquels je suis habitué.

5. Je ne ronchonne jamais devant un exercice, à moins qu'il ne me donne mal à la tête.

Solution:
Les propositions:
A : être un exercice qui me fait ronchonner
B : être un exercice que je comprends
C : être parmi ces sorites
D : être disposé régulièrement, comme les exercices auxquels je suis habitué
E : être un exercice facile
F : être un exercice qui me donne mal à la tête

Les prémisses dans l'ordre 2,4,1,5,3 donnent:
C => non D => non B => A => F => non E
Soit:
Ces sorites sont difficiles.