The theory of implication.
From MaRDI portal
\textit{Russell} geht von der Definition aus: Wenn ein Satz \(q\) eine Folgerung aus einem Satz \(p\) ist, so sagt man: ``\(p\) schließt \(q\) ein, und stellt diejenigen Grundsätze auf, durch die die Theorie der Einschließung für alle gewöhnlichen Schlußformen ausreichend bestimmt sind. In der symbolischen Beziehung schließt er sich im wesentlichen an \textit{Peano}, im Ideengang an \textit{Frege} (Grundgesetze der Arithmetik) an.
This page was built for publication: The theory of implication.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1496451)
