Repository | Zeitschrift | Band | Artikel
A positive information logic for inferential information
pp. 409-431
Abstrakt
Performing an inference involves irreducibly dynamic cognitive procedures. The article proposes that a non-associative information frame, corresponding to a residuated pogroupoid, underpins the information structure involved. The argument proceeds by expounding the informational turn in logic, before outlining the cognitive actions at work in deductive inference. The structural rules of Weakening, Contraction, Commutation, and Association are rejected on the grounds that they cause us to lose track of the information flow in inferential procedures. By taking the operation of information application as the primary operation, the fusion connective is retained, with commutative failure generating a double implication. The other connectives are rejected.
Publication details
Published in:
(2009) Synthese 167 (2).
Seiten: 409-431
DOI: 10.1007/s11229-008-9406-7
Referenz:
Sequoiah-Grayson Sebastian (2009) „A positive information logic for inferential information“. Synthese 167 (2), 409–431.