Ivan Efimovič Orlov’s paper “The calculus of the compatibility of propositions”, published in Russian in 1928, is fascinating for anyone interested in the early history of relevance, modal or intuitionistic logic. This is a guide that outlines Orlov's life and work, analyses the content of the paper, and relates it to work of his contemporaries and successors.

Le philosophe russe Nicolai Vasiliev est connu en tant que précurseur des logiques essentiellement non-classiques, c'est-à-dire de logiques qui diffèrent de la logique classique par l'abandon de principes qui sont corrects en logique classique. La gamme de telles logiques couvre la logique intuitionniste, la logique plurivalente, la logique paraconsistante et les logiques de la pertinence. Dans la première partie de ce texte, j'analyse brièvement les vues de Vasiliev, à savoir sa « logique imaginaire », qu'il présente comme une nouvelle logique (...) non-aristotélicienne. Dans les sections suivantes je discute l'impact des approches de Vasiliev sur la logique du consentement. Ici, les idées essentiellement non-classiques de Vasiliev seront reliées à des logiques non- essentiellement non-classiques, qui ne constituent pas une révision de la logique classique, mais étendent sa puissance expressive. (shrink)

Ivan Efimovič Orlov’s paper “The calculus of the compatibility of propositions”, published in Russian in 1928, is fascinating for anyone interested in the early history of relevance, modal or intuitionistic logic. This is a translation of that paper.

Amirouche Moktefi and Stephen Read, Hugh MacColl after One Hundred Years. Special issue: Philosophia Scientiae, Studies in History of Sciences and Philosophy, Editions Kimé, Paris, vol. 15,...

Le philosophe russe Nicolai Vasiliev est connu en tant que précurseur des logiques essentiellement non-classiques, c'est-à-dire de logiques qui diffèrent de la logique classique par l'abandon de principes qui sont corrects en logique classique. La gamme de telles logiques couvre la logique intuitionniste, la logique plurivalente, la logique paraconsistante et les logiques de la pertinence. Dans la première partie de ce texte, j'analyse brièvement les vues de Vasiliev, à savoir sa « logique imaginaire », qu'il présente comme une nouvelle logique (...) non-aristotélicienne. Dans les sections suivantes je discute l'impact des approches de Vasiliev sur la logique du consentement. Ici, les idées essentiellement non-classiques de Vasiliev seront reliées à des logiques non- essentiellement non-classiques, qui ne constituent pas une révision de la logique classique, mais étendent sa puissance expressive. (shrink)

As the titles of the two volumes indicate, the publication is a textbook on formal logic, whose first volume is aimed primarily at beginners, but in the volume on modal logic also has in mind those...