PLAUSIBLE REASONING EXPRESSED BY p-CONSEQUENCE
Szymon Frankowski · 2008
In this paper we present a formal way of describing plausible (or non-deductive) reasoning. Ajdukiewicz’s distinction between deductive and non-deductive reasoning [1] provides our theoretical framework. Our formal approach is given by so called operation of p-consequence, which has been described earlier e.g. in [2]. At every stage of our work we try to show that Ajdukiewicz’s framework is relevant for our investigations. In the last paragraph axiomatization of ”plausible” counterpart of Lukasiewicz’s many valued logics is given.