On Nicod's reduction in the number of primitives of logic.
type: Item
instance of: scholarly article
title: On Nicod's reduction in the number of primitives of logic.
zbMATH Open document ID: 58.0064.04
DOI: 10.1017/S0305004100010665
author: B. A. Bernstein
published in: Proceedings of the Cambridge Philosophical Society
publication date: 1932-01-01T00:00:00Z
review text: \textit{Nicod} hat (Proceedings Cambridge 19 (1917), 32-41) für die \textit{Sheffer}sche Strichfunktion im Aussagenkalkül ein Axiomensystem angegeben, das die sechs primitiven Aussagen der ``Principia Mathematica'' aus drei Postulaten gewinnen läßt, von denen übrigens nur eines eine primitive Aussage ist. Verf. zeigt, daß die \textit{Nicod}schen Postulate voneinander unabhängig sind, und daß sich umgekehrt die \textit{Nicod}schen Postulate aus den Principia gewinnen lassen, falls sie in der gewöhnlichen mathematischen Sprache geschrieben werden.
zbMATH DE Number: 2549017
MaRDI profile type: Publication
full work available at URL: s0305004100010665
OpenAlex ID: W2123598358
description: scientific article; zbMATH DE number 2549017