@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 22 Feb 2019},
author = {Hilbert,David},
subject = {Basic Concepts},
note = {Berka I 59
Axioms/Logic/Berka: for methodological reasons, systems with at least two basic concepts are preferred. (E.g. The pairs of functors N C, A N, or K N.
In general, one uses the one by Hilbert/Bernays (1934) today, with five basic concepts. N.B.: because of the 5 basic concepts it works without definitions.
I. Formulas of Implication
CpCqp - CCpCCpqCpq - CCpqCCqrCpr
II. Formulas of Conjunction
CKpqp - CKpqq - CCpqCCprCpKqr
III. Formulas of Alternatives (Disjunction)
CpApq - CqApq - CCprCCqrCApqr
IV. Formulas of equivalence
CEpqCpq - CEpqCqp - CCpqCCqpEpq
---
I 60
V. Formulas of Negation
CCpqCNqNp - CPNNp - CNNpp},
note = {
Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 },
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=410363}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=410363}
}