Begriffsschrift
{"WorkMasterId":5903,"WpPageId":275811,"ParentWpPageId":193828,"Slug":"begriffsschrift","Url":"https://chrisdeasy.com/theos/humanities/philosophy/philosophers/gottlob-frege/begriffsschrift/","RelativeUrl":"theos/humanities/philosophy/philosophers/gottlob-frege/begriffsschrift/","HasFullText":false,"RawHtmlLength":68539,"CleanHtmlLength":15285,"Kicker":"Philosophy Work","Title":"Begriffsschrift","Deck":"Frege introduces a formal concept-script with variables, quantification, conditionals, and proof structure capable of representing multiple generality.","BackLink":{"Text":"Back to Gottlob Frege","Url":"https://chrisdeasy.com/theos/humanities/philosophy/philosophers/gottlob-frege/"},"AuthorCard":{"Label":"Author","Title":"Gottlob Frege","Url":"https://chrisdeasy.com/theos/humanities/philosophy/philosophers/gottlob-frege/","MediaHref":"","ImageSrc":"https://chrisdeasy.com/wp-content/uploads/gottlob-frege-01-frege-c-1879.jpg","ImageAlt":"Gottlob Frege, c. 1879","FilterTerra":"Western Europe","ClickText":"Gottlob Frege","ClickHref":"https://chrisdeasy.com/theos/humanities/philosophy/philosophers/gottlob-frege/","Copies":["1848 CE – 1925 CE","Wismar","German logician, mathematician, and philosopher whose concept-script, modern quantificational logic, logicism, sense-reference distinction, concept-object analysis, and anti-psychologism helped launch analytic philosophy and reshape logic, language, mathematics, and truth."]},"ContextCards":[{"Label":"Period","Key":"Period:4","Title":"Modern History","DateText":"1800 CE – 1944 CE","Url":"https://chrisdeasy.com/theos/humanities/philosophy/eras-of-thought/philosophers-of-modern-history/"},{"Label":"Era","Key":"Era:11","Title":"Long 19th Century","DateText":"1870 CE – 1913 CE","Url":"https://chrisdeasy.com/theos/humanities/philosophy/eras-of-thought/philosophers-of-modern-history/philosophers-of-the-long-19th-century/"},{"Label":"Composition","Title":"1879 CE","Url":"","DateText":""}],"DateNote":"Displayed year follows the 1879 publication date in SEP, Britannica, WorldCat, and standard Frege bibliographies.","GeoCards":[{"Label":"Region","Key":"Region:1"},{"Label":"Terra Avita","Key":"TerraAvita:1"},{"Label":"Terra Avita Region","Key":"TerraAvitaRegion:3"},{"Label":"Modern Country","Key":"Country:DEU:1"}],"OriginalTitle":"Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens","Language":"German","DisciplineCards":[{"Label":"Primary Discipline","Key":"Discipline:logic"},{"Label":"Secondary Discipline","Key":"Discipline:philosophy-of-language"}],"Tradition":"Modern logic / analytic philosophy / philosophy of mathematics","FullText":null,"CoreThesis":["Frege introduces a formal concept-script with variables, quantification, conditionals, and proof structure capable of representing multiple generality."],"Classification":{"AlternateTitles":"Concept Script; Conceptual Notation; A Formula Language, Modeled upon That of Arithmetic, for Pure Thought","KeyConcepts":"concept-script; predicate logic; quantification; variables; proof; function-argument analysis; formal language; implication; identity; ancestral relation; logicism","Methodology":"Formal symbolic construction, logical notation, proof-theoretic method, function-argument analysis, and reduction of inference to explicit rules.","Structure":"A monograph presenting Frege\u0027s first formal logical language and proofs, represented as a direct work page without full text import."},"Arguments":["Frege introduces a formal concept-script with variables, quantification, conditionals, and proof structure capable of representing multiple generality."],"Influence":{"InfluencedBy":"Leibniz, Kant, Bernard Bolzano, Hermann Lotze, Ernst Abbe, German mathematical training, nineteenth-century logic, arithmetic foundations, and anti-psychologism.","InfluenceOn":""},"Significance":["Accepted as the founding work of modern predicate logic and the starting point of Frege\u0027s logicist program.","Essential for mathematical logic, formal semantics, proof theory, logic programming history, and the philosophical analysis of language and inference."],"EvidenceNote":["Approved direct work. Facsimiles, translations, and catalog records remain evidence or Other Voices unless separately imported."],"MainSections":[{"Kind":"TextSection","Title":"Core Thesis","Paragraphs":["Frege introduces a formal concept-script with variables, quantification, conditionals, and proof structure capable of representing multiple generality."]},{"Kind":"FieldSection","Title":"Classification","Fields":[{"Label":"Alternate Titles","Value":"Concept Script; Conceptual Notation; A Formula Language, Modeled upon That of Arithmetic, for Pure Thought"},{"Label":"Key Concepts","Value":"concept-script; predicate logic; quantification; variables; proof; function-argument analysis; formal language; implication; identity; ancestral relation; logicism"},{"Label":"Methodology","Value":"Formal symbolic construction, logical notation, proof-theoretic method, function-argument analysis, and reduction of inference to explicit rules."},{"Label":"Structure","Value":"A monograph presenting Frege\u0027s first formal logical language and proofs, represented as a direct work page without full text import."}]},{"Kind":"TextSection","Title":"Arguments","Paragraphs":["Frege introduces a formal concept-script with variables, quantification, conditionals, and proof structure capable of representing multiple generality."]},{"Kind":"FieldSection","Title":"Influence","Fields":[{"Label":"Influenced By","Value":"Leibniz, Kant, Bernard Bolzano, Hermann Lotze, Ernst Abbe, German mathematical training, nineteenth-century logic, arithmetic foundations, and anti-psychologism."},{"Label":"Influence On","Value":"Russell, Wittgenstein, Carnap, Church, Quine, Dummett, analytic philosophy, mathematical logic, semantics, philosophy of language, philosophy of mathematics, type theory, and formal semantics."}]},{"Kind":"TextSection","Title":"Significance","Paragraphs":["Accepted as the founding work of modern predicate logic and the starting point of Frege\u0027s logicist program.","Essential for mathematical logic, formal semantics, proof theory, logic programming history, and the philosophical analysis of language and inference."]},{"Kind":"TextSection","Title":"Evidence Note","Paragraphs":["Approved direct work. Facsimiles, translations, and catalog records remain evidence or Other Voices unless separately imported."]}],"SectionSequence":["Back Link","Work Title","Deck","Author","Period","Era","Composition","Date Note","Region","Terra Avita","Terra Avita Region","Modern Country","Original Title","Language","Primary Discipline","Secondary Discipline","Tradition","Core Thesis","Classification","Arguments","Influence","Significance","Evidence Note"],"Counts":{"ContextCards":3,"GeoCards":4,"DisciplineCards":2,"Links":11,"Sections":23,"Styles":2,"Scripts":1}}