Abstract
The idea of rejection originated by Aristotle. The notion of rejection
was introduced into formal logic by Łukasiewicz [20]. He applied it to
complete syntactic characterization of deductive systems using an axiomatic
method of rejection of propositions [22, 23]. The paper gives not only genesis,
but also development and generalization of the notion of rejection. It also
emphasizes the methodological approach to biaspectual axiomatic method of
characterization of deductive systems as acceptance (asserted) systems and
rejection (refutation) systems, introduced by Łukasiewicz and developed by
his student Słupecki, the pioneers of the method, which becomes relevant in
modern approaches to logic.