X hits on this document

# Logic Book - page 6 / 8

16 views

0 shares

0 downloads

0 comments

6 / 8

k

. . . postulating the validity resp. satisfiability of a logical state- ment is equivalent to a statement about the size of the domain.

In the most general sense one can say the decision problem is solved if one has a procedure that determines for each logical expression for which domains it is valid resp. satisfiable.

is valid for all domains

Examples of formulas which are valid in every domain are those derived from the predicate calculus. Since one suspects that this system gives all such [valid] formulas, one would move closer to the solution of the decision problem with a characterization of the formulas provable in the system.

# A general solution of the decision problem, whether in the first

or second formulation, has not appeared till now. Special of the decision problem · · · have been attacked and solved

cases by P.

# Bernays,

and

M.

Schoenfinkel, as

well as

. Ackermann.

2One finds Schro¨der alluding to this fact in Vol. III of Al ebra der Lo ik, but he does not try to justify his remarks.

 Document views 16 Page views 16 Page last viewed Sat Dec 03 09:43:03 UTC 2016 Pages 8 Paragraphs 126 Words 1050

Comments