Ideas from 'works' by Hermann Weyl [1917], by Theme Structure

green numbers give full details    |     back to texts     |     unexpand this idea


2. Reason / D. Definition / 1. Definitions
Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification
                        Full Idea: For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain.
                        From: report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3
                        A reaction: Lavine summarises this as 'first-order logic with parameters'.