Lewis Carroll published a system of logic in the symbolic tradition that developed in his time. Carroll’s readers may be puzzled by his system. On the one hand, it introduced innovations, such as his logic notation, his diagrams and his method of trees, that secure Carroll’s place on the path that shaped modern logic. On the other hand, Carroll maintained the existential import of universal affirmative Propositions, a feature that is rather characteristic of traditional logic. The object of this paper (...) is to untangle this dilemma by exploring Carroll’s guidelines in the design of his logic, and in particular his theory of existential import. It will be argued that Carroll’s view reflected his belief in the social utility of symbolic logic. (shrink)

Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations rely heavily on the use of bitstrings, which are compact combinatorial representations of formulas that allow us to quickly determine their Aristotelian relations. However, because of their general nature, bitstrings can be applied to a wide variety of topics in philosophical logic beyond those of logical geometry. Hence, the main aim of this paper is to present a systematic technique for assigning bitstrings (...) to arbitrary finite fragments of formulas in arbitrary logical systems, and to study the logical and combinatorial properties of this technique. It is based on the partition of logical space that is induced by a given fragment, and sheds new light on a number of interesting issues, such as the logic-dependence of the Aristotelian relations and the subtle interplay between the Aristotelian and Boolean structure of logical fragments. Finally, the bitstring technique also allows us to systematically analyze fragments from contemporary logical systems, such as public announcement logic, which could not be done before. (shrink)

This paper suggests a new approach (with old roots) to the study of the connection between logic and geometry. Traditionally, most logic diagrams associate only vertices of shapes with propositions. The new approach, which can be dubbed ’full logical geometry’, aims to associate every element of a shape (edges, faces, etc.) with a proposition. The roots of this approach can be found in the works of Carroll, Jacoby, and more recently, Dubois and Prade. However, its potential has not been duly (...) appreciated, probably because of the complexity of the diagrams in these works. The following study demonstrates how the Hexagon of Opposition can be represented as a triangle and Classical Logic as a tetrahedron (rather than a rhombic dodecahedron). It then applies the approach to modal logic, extending the tetrahedron for the logic KT into a dipyramid and a cube for KD, and finally an octahedron for K. Some possible directions for further research are also indicated. (shrink)