Propositional calculus, which is an accomplished system for deductive reasoning, consists of binary operations. However representation of induction or abduction might need a calculation system based on unary operations. In the present paper, we propose a new calculation which consists of only unary operations, for propositional logic. The new calculation system, which is represented by 2 dimensional vectors and 2 × 2 matrices, can emulate truth tables of propositional logic. We call it curried propositional calculus. Moreover, we introduce diagrams which corresponds to logic gates for conventional logical connectives. Consequently, propositional logic which is one of the systems for deductive reasoning is connected to matrix algebra based on unary operations. This result gives a start point to reconstruct a new framework of mathematical logic to study the three types of reasoning, deduction, induction and abduction, comprehensively.

1.
G.
Boole
,
The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning
,
Macmillan, Barclay, & Macmillan
,
Cambridge
,
1847
.
2.
M.
Kamiura
,
Implication of Abduction: Complexity without Organized Interaction
,
AIP Conference Proceedings
, Vol.
1303
, pp.
60
67
,
2010
.
3.
M.
Kamiura
,
Abduction as Incomplete Parameter Estimation
,
triple C - Cognition, Communication, Co-operation
, Vol
9
, No
2
, pp.
494
501
,
2011
.
4.
K.
Sawa
and
Y.-P.
Gunji
,
Dynamical Logic Driven by Classified Inferences Including
,
AIP Conference Proceedings
, Vol.
1303
, pp.
52
59
,
2010
.
5.
C. S.
Peirce
, Some Consequences of Four Incapacities (
1868
), in:
Collected papers of Charls Sanders Peirce
, ed. by
Charles
Hartshorne
and
Paul
Weiss
,
Harvard University Press
, 1960.
6.
C. S.
Peirce
, Abduction and Induction. in: Chap.11,
Philosophical Writings of Peirce
,
Dover Publications
,
1955
.
7.
S.
Awodey
,
Category Theory
,
Oxford univ. press
,
Oxford
,
2006
.
This content is only available via PDF.
You do not currently have access to this content.