putnam has called for a renewal of philosophy by invoking the names of Wittgenstein and Dewey, both strong critics of traditional metaphysics. in the light of his own attacks on various forms of metaphysics (e.g. metaphysical realism, the fact/ value distinction), one question that arises is this: what is the fate of metaphysics in putnam’s vision of philosophy? The present paper explores this ...

We provide an introduction to automated theorem proving for the Mathematica community. Specifically, we show how to implement, in Mathematica, the Davis-Putnam algorithm, as modified in [3]. We then apply our program to show by computer, that in any group, a left inverse is also a right inverse, a problem that was left unsolved in [3] because the computers that were available at the time lacked...

Fuglede-Putnam theorem is not true in general for $ EP operators on Hilbert spaces. We prove that under some conditions the holds good. If adjoint operation replaced by Moore-Penrose inverse theorem, we get type -- however proofs are totally different. Finally, interesting results have been proved using several versions of theorems

The Davis-Putnam method is one of the major practical methods for the satiss-ability (SAT) problem of propositional logic. We show how to implement the Davis-Putnam method eeciently using the trie data structure for propositional clauses by presenting seven implementations of the method. We propose a new technique for implementing unit propagation whose complexity is sublinear to the number of ...