Lexicon of Arguments

Philosophical and Scientific Issues in Dispute
 
[german]


Complaints - Corrections

Table
Concepts
Versus
Sc. Camps
Theses I
Theses II

Concept/Author*  

What is wrong?
Page
Other metadata
Translation
Excerpt or content
Other

Correction: Year / Place / Page
/ /

Correction:
(max 500 charact.)

Your username*
or User-ID

Email address*

The complaint
will not be published.

 
Berka I 58
Normal form/Berka: the normal form is another method to replace truth tables. An excellent (canonical) normal form was introduced by Hilbert/Ackermann (1928).
Berka I 112
Definition convertible/Hilbert/Berka: a formula is convertible into another means when the equivalence of the two is derivable.

Definition pranex/Hilbert: pranex is a formula in which all quantifiers are at the beginning and the ranges extend to the end.

Definiton deduction-equal/Hilbert: two formulas are deduction-equal, if each is derivable from the other.
Each formula is deduction-equal to each such formula, which results from it by replacing any free individual variable (IV) with a bound variable which has not previously occurred, and the universal quantifier belonging to the introduced bound variables (in any order) are placed at the beginning. ("Exchange of free variables against bound ones").
This can also be done in reverse order.

Definition Skolem's normal form/Hilbert: the Skolem's normal form is a prenexic formula (that is, all quantifiers at the beginning, range to the end), where there is nowhere among the previous quantifiers a universal quantifier before an existential quantifier.
Each formula is deduction-equal to a Skolem normal form.
(s) Each formula can be transformed into a Skolem normal form.

Note (I 116)
This Skolem normal form is the "proof-theoretic" one.
Definiton fulfillment theoretic Skolem normal form/Hilbert: the fulfillment of the theoretic Skolem normal form is dual to the proof-theoretic Skolem normal form, i.e. the universal quantifiers and existence quantifiers exchange their roles.
>Duality.

Insert/Hilbert/(s): inserting is used here for free variables.
Rename/Hilbert/(s): renaming is used here for bound variables(1).

1. D. Hilbert & P. Bernays: Grundlagen der Mathematik, I, II, Berlin 1934-1939 (2. Aufl. 1968-1970).

Found an error? Use our Complaint Form. Perhaps someone forgot to close a bracket? A page number is wrong?
Help us to improve our lexicon.
However, if you are of a different opinion, as regards the validity of the argument, post your own argument beside the contested one.
The correction will be sent to the contributor of the original entry to get his opinion about.