The first axiomatization of relevant logic (Q1206805)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The first axiomatization of relevant logic |
scientific article |
Statements
The first axiomatization of relevant logic (English)
0 references
1 April 1993
0 references
This paper presents a survey review of a much neglected, but historically most interesting paper by the Russian \textit{I. E. Orlov} [Mat. Sb. 35, 263-286 (1928; JFM 54.0054.03)]. In that paper Orlov formulated the first known axiomatization of relevance logic, in particular the implication- negation fragment of the Anderson-Belnap system \(R\). Orlov considered this a `calculus of compatibility' (in modern terms, intensional conjunction) where compatibility is to be defined by means of the given implication and negation, and thus requires a connection of meaning. He consciously rejected the paradoxes of material implication, \(A\to.B\to A\), and \(A\to.\neg A\to B\). In addition to his axiomatization for relevant implication and negation, Orlov also presented the earliest formulation of what is now the standard form for postulates for modal \(S4\) which he adjoined to his axioms for implication and negation. His purpose was to capture formally Brouwer's intuitionistic principles of assertability and negation through interpreting the modal `necessity' operator as provability. Orlov thus anticipated Gödel's later translation of intuitionistic logic into classical \(S4\). (The present paper translates Orlov's formulations into modern notation, and compares his results with later counterparts).
0 references
modal logic \(S4\)
0 references
implication-negation fragment of the Anderson-Belnap system \(R\)
0 references
survey review
0 references
axiomatization of relevance logic
0 references
intensional conjunction
0 references
compatibility
0 references
paradoxes of material implication
0 references
provability
0 references