The book addresses problems like
Can we prove all that
is true ?
manipulation capture everything ?
Is there a general
method to solve a class of solvable problems ?
To answer these
fundamental questions, it comes up with results such as Deduction, reductio ad
absurdum, Monotonicity, Compactness, Completeness, Undecidability, and Incompleteness
as expounded in the works of Herbrand, Godel, Skolem, Lowenheim, Beth, Tarski, Post,
Turing and others It deals with the logic of sentences and predicates as formal languages
giving stress on formal semantics. It considers major styles of presenting these logics
such as axiomatics, Gentzen systems, analytic tableaux, resolution refutation as various
proof techniques. However, it requires nothing from the reader but a mere willingness to
remain logical and have a fearless attitude towards precise use of symbols.
Dr. Arindama Singh is working as an Assistant Professor on Mathematics at IIT,
Madras. He received his M.A. from Utkal University in 1984 and Ph.D. from IIT Kanpur in
1989. He taught at JNT University, Hyderabad (1989-91) and at the University of Hyderabad
(1991-95). He has many National and International publications in numerical analysis and
Goswami is working as a Reader in Philosophy at the University of Hyderabad.
Prior to his current position, he taught at North Bengal University. His Ph.D. is from BHU
in 1979. He has many National and International publications in logic and Philosophy.