Search results

....</ref> [[Ernst Schröder (mathematician)|Schröder]] (also [[Gottlob Frege|Frege]]) calls the same concept 'subordination'.<ref>Vorlesungen I., 127.</ref> ...

...nalytic Philosophy|Early Analytic Philosophy]] (especially [[Gottlob Frege|Frege]] and [[Ludwig Wittgenstein|Wittgenstein]]) He is best known for proving that the fragment of [[Gottlob Frege|Frege's]] [[Consistency|inconsistent]] logical theory of ''Grundgesetze der Arith ...

...[[Hilbert system]]s in general [[proof theory]]) are named after [[Gottlob Frege]]. The name "Frege system" was first defined<ref name=":0">{{Cite book |last1=Pudlák |first1=P ...

...xiomatized the class term for the first time and used it fully. [[Gottlob Frege]] also tried establishing the arithmetic logic with class terms in 1893; [[ * [[Gottlob Frege|G. Frege]]: ''Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet.'' Band 1. ...

[[Gottlob Frege|Frege]]'s axiom system:<ref name = "Pro I">Yasuyuki Imai, Kiyoshi Iséki, On axiom ...

...tion, instead employing his equivalent of ~∀''x''~, or [[contraposition]]. Frege's treatment of quantification went largely unremarked until [[Bertrand Russ ...[[Begriffsschrift]]''. Translated in [[Jean van Heijenoort]], 1967. ''From Frege to Gödel: A Source Book on Mathematical Logic, 1879-1931''. Harvard Univers ...

...tion with the semantic paradoxes &mdash; by the schemes of [[Gottlob Frege|Frege]], [[Stephen Cole Kleene|Kleene]], [[Bas van Fraassen|van Fraassen]], or pe ...

...as a result of Russell's discovery of a paradox that could be derived from Frege's conception of "function", but also as a reaction against Russell's propos ===Frege's ''Begriffsschrift'' 1879=== ...

...1997-48">Dawson 1997:48</ref> – these three being the logicists ([[Gottlob Frege]] and [[Bertrand Russell]]), the formalists ([[David Hilbert]] and his coll ...t the only one to compare mathematics to a machine without an operator ... Frege claimed that he could not find out by Hilbert's axioms [of geometry] whethe ...

...berger2022"/><ref>{{cite journal |last1=Steinberger |first1=Florian |title=Frege and Carnap on the normativity of logic |journal=Synthese |date=January 2017 ...ks of [[George Boole]], [[Bernard Bolzano]], [[Franz Brentano]], [[Gottlob Frege]], and others.<ref name="Jacquette"/> These developments were often driven ...

...ts roots in the work of late 19th-century mathematicians such as [[Gottlob Frege]]. Today, the most commonly used system is [[classical logic]]. It consists ...=Symbol introduced by Gottlob Frege for the universal quantifier|[[Gottlob Frege]]'s ''[[Begriffschrift]]'' introduced the notion of quantifier in a graphic ...

...mate and illegitimate forms of abstraction, particularly in the context of Frege's Basic Law V and the paradoxes it generates.<ref>{{Citation |last=Tennant {{defn |1=A principle proposed by Gottlob Frege in his attempt to reduce arithmetic to logic, stating that the extension of ...

...nfinite developed in the late 19th century from works by Cantor, [[Gottlob Frege]], [[Richard Dedekind]] and others—using the idea of collections or sets.<r ...