Jaina Logic

Author(s): T G Kalghatgi
Publisher: Raja Krisen Jain Charitable Trust New Delhi

Page 98

Syadvada
8
V
u
f
Ns
t
u
V
5
t
V
sc t
V
ט
Y
V
V
ย
V
u U
V
u
f
u
f v
V
fu
V
f f V
u
f
V
#7
The n-valued and 3-valued logics of Post and Lukasiewicz are interesting in themselves and are important for certain parts of metamathematics.
The n-valued and 3-valued logics are more concerned with the analysis of the truth-falsity and uncertainty statements concerning propositions and not so much connected with the epistemological and psychological background of the statements. It has primarily linguistic overtones.""
It is now recognised that all demonstration is purely formal. So that the validity of reasoning with regard to any matter of fact is wholly dependent upon the formal properties of the objects that enter into the reasoning. Thus logic is purely formal.156
This brief reference to the path that logic has taken in the West has left us wondering as to where we are going. In the Modern age logicians have tried to free logic from the bondage of Aristotle's formalism. But they have, strange to say, built a super-formal structure of logical analysis far removed from experience and concreteness of thought. We wanted to find a methodology of thought and to discover truth values. We have,
155. Nidditch (P. H.): The development of Mathematical Logic (Routledge Kegan Paul. 1962) pp. 80-82. 156. Stebbing (L. S.): pp. 487.
A Modern Introduction to Logic: (Machoun. 1930