Begriffsschrift (original) (raw)
Begriffsschrift, česky pojmové písmo, je název tenké knížky o logice od Gottloba Fregeho, vydané v roce 1879. Plný název knihy zní Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Jazyk formulí čistého myšlení, vystavěný podle jazyka aritmetiky. Kniha zavádí logický kalkul obsahující jako novinku kvantifikaci proměnných.
| Property | Value |
|---|---|
| dbo:abstract | Begriffsschrift, česky pojmové písmo, je název tenké knížky o logice od Gottloba Fregeho, vydané v roce 1879. Plný název knihy zní Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Jazyk formulí čistého myšlení, vystavěný podle jazyka aritmetiky. Kniha zavádí logický kalkul obsahující jako novinku kvantifikaci proměnných. (cs) Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik. Es wurde 1879 mit dem Untertitel „Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens“ veröffentlicht und gilt allgemein als die wichtigste Veröffentlichung im Bereich der Logik seit Aristoteles’ Organon. Frege gelang in diesem Buch zum ersten Mal eine Formalisierung der klassischen Prädikatenlogik und damit die erste Formalisierung einer Logik, in der sich ein hinreichend großer Teil der Mathematik, aber auch der natürlichen Sprache ausdrücken ließ. Gemeinsam mit George Booles Mathematical Analysis of Logic von 1847 markiert die Begriffsschrift deshalb den Beginn der modernen formalen Logik. Die Bezeichnung Begriffsschrift wird auch für den von Frege definierten logischen Kalkül sowie für Freges logische Notation verwendet. Frege entwarf die Begriffsschrift zur Unterstützung seiner Forschung an den Grundlagen der Mathematik. Freges Kalkül führte erstmals den Allquantor sowie mehrstellige Prädikate (Relationen) ein. Es handelt sich um einen klassischen prädikatenlogischen Kalkül zweiter Stufe mit Identität, allerdings in einer im Vergleich zu heute üblichen Schreibweisen eigenwilligen, zweidimensionalen Notation. (de) Begriffsschrift (German for, roughly, "concept-script") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book. Begriffsschrift is usually translated as concept writing or concept notation; the full title of the book identifies it as "a formula language, modeled on that of arithmetic, for pure thought." Frege's motivation for developing his formal approach to logic resembled Leibniz's motivation for his calculus ratiocinator (despite that, in the foreword Frege clearly denies that he achieved this aim, and also that his main aim would be constructing an ideal language like Leibniz's, which Frege declares to be a quite hard and idealistic—though not impossible—task). Frege went on to employ his logical calculus in his research on the foundations of mathematics, carried out over the next quarter century. This is the first work in Analytical Philosophy, a field that future British and Anglo philosophers such as Bertrand Russell further developed. (en) L'idéographie (Begriffsschrift) est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique. (fr) 『概念記法』（がいねんきほう、独: Begriffsschrift）は、ゴットロープ・フレーゲによって1879年に出版された論理学に関する短い本の題名であり、またその本で創始された形式体系の名称である。 この本の完全な書名は「算術の式言語を模した、純粋な思考のための一つの式言語 eine der arithmetischen nachgebildete Formelsprache des reinen Denkens」である。『概念記法』は、アリストテレスが論理学という主題を創設して以来、論理学に関するおそらく最も重要な出版物であった。フレーゲが自分の式を開発して論理に到達しようとした動機は、ライプニッツが彼の推論計算機に対して持った動機と似ている。続いてフレーゲは、数学の基礎の研究に彼の論理計算を用い、それは次の四半世紀にわたって遂行された。 (ja) Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro. Este é geralmente considerado a obra que marca o nascimento da lógica moderna. Begriffsschrift é usualmente traduzido como escrita conceitual ou notação conceitual ou conceitografia; o título completo deste livro o identifica como "uma fórmula de linguagem, modelada a partir da aritmética, para o pensamento puro." A motivação de Frege para desenvolver esta abordagem formal para a lógica era similar à motivação de Gottfried Leibniz para seu cálculo raciocinador (apesar disto, em seu "prefácio", Frege claramente nega que ele atingiu este objetivo, e também que seu principal objetivo poderia ser a construção de uma linguagem ideal como a de Leibniz, o que Frege declara ser uma tarefa bastante difícil e idealista, entretanto, não impossível). Frege passou a empregar seu cálculo lógico em pesquisas sobre os fundamentos da matemática, realizadas durante o quarto de século seguinte. (pt) 《概念文字》（德語：Begriffsschrift）是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书的完整标题把它标识为《模仿算术的纯思维的形式语言》。这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“”的渴望。 弗雷格定义了逻辑演算来支持他在数学基础上的研究。“概念文字”是书和其中定义的演算二者的名字。 (zh) |
| dbo:author | dbr:Gottlob_Frege |
| dbo:isbn | 978-3487-0062-39 |
| dbo:literaryGenre | dbr:Logic |
| dbo:numberOfPages | 124 (xsd:positiveInteger) |
| dbo:oclc | 851287 |
| dbo:thumbnail | wiki-commons:Special:FilePath/Begriffsschrift_Titel.png?width=300 |
| dbo:wikiPageExternalLink | https://esoteric.codes/blog/gottlob-write-code-in-freges-concept-notation http://gallica.bnf.fr/ark:/12148/bpt6k65658c https://web.archive.org/web/20061229202121/http:/www.southernct.edu/organizations/rccs/staff.html https://web.archive.org/web/20090720231814/http:/www.sciencedirect.com/science%3F_ob=PublicationURL&_cdi=6817&_pubType=J&_acct=C000007858&_version=1&_urlVersion=0&_userid=103118&md5=cdca08d0984650f66659ab072801d527&jchunk=25%2325 |
| dbo:wikiPageID | 900125 (xsd:integer) |
| dbo:wikiPageLength | 12934 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1120751420 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Calculus_ratiocinator dbc:Books_by_Gottlob_Frege dbc:Classical_logic dbr:Principia_Mathematica dbr:Tractatus_Logico_Philosophicus dbr:Bertrand_Russell dbr:Characteristica_universalis dbr:Prior_Analytics dbr:Universal_quantifier dbr:Ancestral_relation dbr:Material_conditional dbr:Esoteric_programming_language dbr:Negation dbc:Diagram_algebras dbr:Equality_(mathematics) dbr:Frege's_propositional_calculus dbr:George_Boolos dbr:Gerhard_Gentzen dbr:Gottfried_Wilhelm_Leibniz dbr:Gottlob_Frege dbr:Logic dbr:Ludwig_Wittgenstein dbr:Denotation_(semiotics) dbr:Identity_of_indiscernibles dbr:Mathematical_notation dbr:Thought dbr:Trichotomy_(mathematics) dbr:Ernst_Schröder_(mathematician) dbr:First-order_logic dbr:Formula dbr:Oxford_University_Press dbr:Formal_system dbr:Foundations_of_mathematics dbr:Material_equivalence dbr:Harvard_University_Press dbc:Predicate_logic dbr:Ivor_Grattan-Guinness dbr:Jean_van_Heijenoort dbr:The_Foundations_of_Arithmetic dbr:Arend_Heyting dbr:Arithmetic dbc:1879_non-fiction_books dbc:Analytic_philosophy_literature dbc:Logic_books dbc:Philosophy_of_logic dbr:Language dbr:Modus_ponens dbr:Axiom dbr:Natural_number dbr:Reflexive_relation dbr:Second-order_logic dbr:Calculus_of_equivalent_statements dbr:Generalization_(logic) dbr:Turnstile_(symbol) dbr:Existential_quantification dbr:The_Laws_of_Thought dbr:Intuitionistic dbr:Analytical_Philosophy dbr:Inference_rule dbr:On_Sense_and_Reference dbr:File:BS-05-Kondicionaliskis-svg.svg dbr:File:BS-12-Begriffsschrift_Quantifier1-svg.svg dbr:File:BS-14-Begriffsschrift_Quantifier3-svg.svg dbr:File:Begriffsschrift_connective1.svg dbr:File:Begriffsschrift_connective2.svg dbr:File:Kondicionaliskis_wb.png |
| dbp:author | Gottlob Frege (en) |
| dbp:caption | The title page of the original 1879 edition (en) |
| dbp:genre | dbr:Logic |
| dbp:isbn | 978 (xsd:integer) |
| dbp:language | English (en) |
| dbp:name | Begriffsschrift (en) |
| dbp:oclc | 851287 (xsd:integer) |
| dbp:pages | 124 (xsd:integer) |
| dbp:pubDate | 1879 (xsd:integer) |
| dbp:publisher | Lubrecht & Cramer (en) |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Blockquote dbt:Cite_web dbt:Commons_category dbt:Infobox_book dbt:Refbegin dbt:Refend dbt:Reflist dbt:Short_description dbt:Cite_SEP dbt:Computable_knowledge |
| dc:publisher | Lubrecht & Cramer |
| dcterms:subject | dbc:Books_by_Gottlob_Frege dbc:Classical_logic dbc:Diagram_algebras dbc:Predicate_logic dbc:1879_non-fiction_books dbc:Analytic_philosophy_literature dbc:Logic_books dbc:Philosophy_of_logic |
| gold:hypernym | dbr:Book |
| rdf:type | owl:Thing bibo:Book schema:Book schema:CreativeWork dbo:Work wikidata:Q234460 wikidata:Q386724 wikidata:Q571 yago:WikicatBooksByGottlobFrege yago:WikicatLogicBooks yago:Artifact100021939 yago:Book106410904 yago:Creation103129123 yago:Object100002684 yago:PhysicalEntity100001930 yago:Product104007894 yago:Publication106589574 yago:Work104599396 dbo:Book dbo:WrittenWork yago:Whole100003553 yago:Wikicat1879Books |
| rdfs:comment | Begriffsschrift, česky pojmové písmo, je název tenké knížky o logice od Gottloba Fregeho, vydané v roce 1879. Plný název knihy zní Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Jazyk formulí čistého myšlení, vystavěný podle jazyka aritmetiky. Kniha zavádí logický kalkul obsahující jako novinku kvantifikaci proměnných. (cs) L'idéographie (Begriffsschrift) est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique. (fr) 『概念記法』（がいねんきほう、独: Begriffsschrift）は、ゴットロープ・フレーゲによって1879年に出版された論理学に関する短い本の題名であり、またその本で創始された形式体系の名称である。 この本の完全な書名は「算術の式言語を模した、純粋な思考のための一つの式言語 eine der arithmetischen nachgebildete Formelsprache des reinen Denkens」である。『概念記法』は、アリストテレスが論理学という主題を創設して以来、論理学に関するおそらく最も重要な出版物であった。フレーゲが自分の式を開発して論理に到達しようとした動機は、ライプニッツが彼の推論計算機に対して持った動機と似ている。続いてフレーゲは、数学の基礎の研究に彼の論理計算を用い、それは次の四半世紀にわたって遂行された。 (ja) 《概念文字》（德語：Begriffsschrift）是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书的完整标题把它标识为《模仿算术的纯思维的形式语言》。这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“”的渴望。 弗雷格定义了逻辑演算来支持他在数学基础上的研究。“概念文字”是书和其中定义的演算二者的名字。 (zh) Begriffsschrift (German for, roughly, "concept-script") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book. Begriffsschrift is usually translated as concept writing or concept notation; the full title of the book identifies it as "a formula language, modeled on that of arithmetic, for pure thought." Frege's motivation for developing his formal approach to logic resembled Leibniz's motivation for his calculus ratiocinator (despite that, in the foreword Frege clearly denies that he achieved this aim, and also that his main aim would be constructing an ideal language like Leibniz's, which Frege declares to be a quite hard and idealistic—though not impossible—task). Frege went on to employ his logical calculus in his research on the foundations o (en) Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik. Es wurde 1879 mit dem Untertitel „Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens“ veröffentlicht und gilt allgemein als die wichtigste Veröffentlichung im Bereich der Logik seit Aristoteles’ Organon. (de) Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro. Este é geralmente considerado a obra que marca o nascimento da lógica moderna. (pt) |
| rdfs:label | Begriffsschrift (en) Begriffsschrift (cs) Begriffsschrift (de) Idéographie (fr) 概念記法 (ja) Begriffsschrift (pt) 概念文字 (zh) |
| owl:sameAs | dbpedia-ja:Begriffsschrift freebase:Begriffsschrift yago-res:Begriffsschrift http://d-nb.info/gnd/4283480-6 wikidata:Begriffsschrift dbpedia-cs:Begriffsschrift dbpedia-de:Begriffsschrift dbpedia-et:Begriffsschrift dbpedia-fa:Begriffsschrift dbpedia-fi:Begriffsschrift dbpedia-fr:Begriffsschrift dbpedia-he:Begriffsschrift dbpedia-hu:Begriffsschrift dbpedia-pt:Begriffsschrift http://tl.dbpedia.org/resource/Begriffsschrift dbpedia-zh:Begriffsschrift https://global.dbpedia.org/id/4yMg8 |
| prov:wasDerivedFrom | wikipedia-en:Begriffsschrift?oldid=1120751420&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Begriffsschrift_Titel.png wiki-commons:Special:FilePath/BS-05-Kondicionaliskis-svg.svg wiki-commons:Special:FilePath/BS-12-Begriffsschrift_Quantifier1-svg.svg wiki-commons:Special:FilePath/BS-14-Begriffsschrift_Quantifier3-svg.svg wiki-commons:Special:FilePath/Begriffsschrift_connective1.svg wiki-commons:Special:FilePath/Begriffsschrift_connective2.svg wiki-commons:Special:FilePath/Kondicionaliskis_wb.png |
| foaf:homepage | http://esoteric.codes |
| foaf:isPrimaryTopicOf | wikipedia-en:Begriffsschrift |
| foaf:name | Begriffsschrift (en) |
| is dbo:influencedBy of | dbr:Plankalkül |
| is dbo:wikiPageRedirects of | dbr:Begriffschrift |
| is dbo:wikiPageWikiLink of | dbr:Calculus_ratiocinator dbr:Principia_Mathematica dbr:Rudolf_Carnap dbr:Metamathematics dbr:Problem_of_multiple_generality dbr:Benno_Kerry dbr:Argumentation_theory dbr:History_of_artificial_intelligence dbr:History_of_the_function_concept dbr:Peano_axioms dbr:Characteristica_universalis dbr:Index_of_analytic_philosophy_articles dbr:Index_of_logic_articles dbr:Index_of_philosophical_literature dbr:Index_of_philosophy_articles_(A–C) dbr:List_of_important_publications_in_mathematics dbr:List_of_important_publications_in_philosophy dbr:List_of_incomplete_proofs dbr:List_of_mathematical_logic_topics dbr:String_diagram dbr:Ancestral_relation dbr:Mathematical_logic dbr:Russell's_paradox dbr:Organon dbr:Square_of_opposition dbr:1879 dbr:1879_in_literature dbr:1879_in_science dbr:Frege's_propositional_calculus dbr:George_Boolos dbr:Gottlob_Frege dbr:Logic dbr:Polish_notation dbr:Mathematical_notation dbr:Automated_theorem_proving dbr:Timeline_of_programming_languages dbr:Law_of_trichotomy dbr:Danielle_Macbeth dbr:Formal_language dbr:Foundations_of_mathematics dbr:History_of_logic dbr:History_of_type_theory dbr:Logical_connective dbr:Quantifier_(logic) dbr:Sense_and_reference dbr:Jean_van_Heijenoort dbr:The_Foundations_of_Arithmetic dbr:Syllogism dbr:Term_logic dbr:Plankalkül dbr:Classical_logic dbr:Frege's_theorem dbr:Hugh_MacColl dbr:Impredicativity dbr:Patricia_Blanchette dbr:Proof_calculus dbr:Existential_graph dbr:Outline_of_logic dbr:Begriffschrift |
| is dbp:influencedBy of | dbr:Plankalkül |
| is foaf:primaryTopic of | wikipedia-en:Begriffsschrift |
