Diskussion:Begriffsschrift
Diese Diskussionsseite dient dazu, Verbesserungen am Artikel Begriffsschrift zu besprechen. Persönliche Betrachtungen zum Artikelthema gehören nicht hierher. Sei mutig im Verbessern dieses Artikels. Wenn du im Bearbeiten der Wikipedia unsicher bist, findest du hier das Wichtigste in Kürze. Schwerwiegende Qualitätsprobleme kannst du der Qualitätssicherung des Projekts Philosophie melden. |
Auf dieser Seite werden Abschnitte ab Überschriftenebene 2 automatisch archiviert, die seit 7 Tagen mit dem Baustein {{Erledigt|1=--~~~~}} versehen sind. |
Archiv |
Wie wird ein Archiv angelegt? |
Reviewdiskussion
[Quelltext bearbeiten][Verschoben von WP:RVS durch Jan Schreiber Diskussion:Begriffsschrift#c-Jan Schreiber-2007-09-01T12:13:00.000Z-Reviewdiskussion11]
Ich habe den Artikel erheblich ausgebaut. Logik ist zwar nicht jedermanns Sache, aber vielleicht findet sich ja doch jemand, der den einen oder anderen hilfreichen Kommentar beisteuern möchte. --Jan Schreiber Diskussion:Begriffsschrift#c-Jan Schreiber-2007-08-24T13:38:00.000Z-Reviewdiskussion11
- Ich würde den Abschnitt "siehe auch" rausnehmen. Ergibt sich durch vorhandene Links.
- -- ErledigtJan Schreiber Diskussion:Begriffsschrift#c-Jan Schreiber-2007-08-29T10:04:00.000Z-Jan Schreiber-2007-08-24T13:38:00.000Z11
- Mich würde interessieren, was Schröder in seiner Rezension sagt.
- Vielleicht pauschal . -- ErledigtJan Schreiber Diskussion:Begriffsschrift#c-Jan Schreiber-2007-08-29T10:04:00.000Z-Jan Schreiber-2007-08-24T13:38:00.000Z-111
- Im Artikel Gottlob Frege gibt es noch mehr Hinweise auf die Rzeption (David Hilbert).
- Ich hoffe, das ist durch den Schlusssatz . Da eigentlich alle auf Frege aufbauen, auch Hilbert. -- ErledigtJan Schreiber Diskussion:Begriffsschrift#c-Jan Schreiber-2007-08-29T13:33:00.000Z-Jan Schreiber-2007-08-24T13:38:00.000Z11
Alles in allem ist der Artikel auch für interessierte Nicht-Logiker gut lesbar. Gruß --Lutz Hartmann Diskussion:Begriffsschrift#c-Luha-2007-08-27T13:53:00.000Z-Reviewdiskussion11
- Danke schon mal, auch für die Arbeit an den Formulierungen. --Jan Schreiber Diskussion:Begriffsschrift#c-Jan Schreiber-2007-08-29T10:04:00.000Z-Luha-2007-08-27T13:53:00.000Z11
- Junktoren: Gewöhnlich ist doch die zweite falsch.
--Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T06:40:00.000Z-Reviewdiskussion11
- Nein, jetzt hab ichs gesehen, es "steht auf dem Kopf". --Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T12:43:00.000Z-Roomsixhu-2007-08-30T06:40:00.000Z11
- Vielleicht ein Hinweis, dass die Subalternation keine zwingende logische Folgerung ist. --Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T06:45:00.000Z-Roomsixhu-2007-08-30T06:40:00.000Z11
- Lustig: Axiom drei ist der typische Ausdruck einer Urteilslogik, und dort auch nur ein Satz. Er hat also von heute aus gesehen noch zu viele Axiome. Und Axiom sieben sieht ein bißchen seltsam aus, was passiert mit c und d, fallen die dann heraus? --Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T06:48:00.000Z-Roomsixhu-2007-08-30T06:45:00.000Z11
- Die Generalisierungsregel ist auch ein Urteil, keine logische Folgerung. Blödsinnige Überlegung eines Begriffslogikers. Und ich würde gerne wissen, wie Frege seinen Allquantor in Bezug auf die natürlichen Zahlen auffasst. Wahrscheinlich aktual unendlich. --Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T06:55:00.000Z-Roomsixhu-2007-08-30T06:48:00.000Z11
- Dafür werde ich mal über erbliche Eigenschaft nachdenken.
- Kannst Du in einer Fußnote mal x nicht frei in P andeuten. Bei mir rauchts da immer. Toller Artikel. --Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T06:59:00.000Z-Roomsixhu-2007-08-30T06:55:00.000Z11
- Die Generalisierungsregel ist auch ein Urteil, keine logische Folgerung. Blödsinnige Überlegung eines Begriffslogikers. Und ich würde gerne wissen, wie Frege seinen Allquantor in Bezug auf die natürlichen Zahlen auffasst. Wahrscheinlich aktual unendlich. --Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T06:55:00.000Z-Roomsixhu-2007-08-30T06:48:00.000Z11
- Lustig: Axiom drei ist der typische Ausdruck einer Urteilslogik, und dort auch nur ein Satz. Er hat also von heute aus gesehen noch zu viele Axiome. Und Axiom sieben sieht ein bißchen seltsam aus, was passiert mit c und d, fallen die dann heraus? --Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T06:48:00.000Z-Roomsixhu-2007-08-30T06:45:00.000Z11
- Danke. (1) Axiom 7 sieht wahrscheinlich wegen dem Gleicheitszeichen so vermurkst aus. Heute würde man eher schreiben (Leibniz's law). Für Frege sind auch Aussagen singuläre Terme, quasi Namen für Wahr und Falsch.
- Aber sehen wir das heute nicht ein klein wenig anders? --Room 608
- (2) Da steht doch: "wenn die Variable 'x' nicht in P vorkommt," wie bei Frege. Oder meinst du woanders?
- Genau: Was heißt dann x frei in P? P ist eine boolesche Funktion, die x enthält? --Room 608
- (3) Frege war Platonist, er hätte das aktual Unendliche wahrscheinlich nicht als Problem gesehen.
- --Jan Schreiber Diskussion:Begriffsschrift#c-Jan Schreiber-2007-08-30T12:49:00.000Z-Roomsixhu-2007-08-30T06:59:00.000Z11
- Danke. (1) Axiom 7 sieht wahrscheinlich wegen dem Gleicheitszeichen so vermurkst aus. Heute würde man eher schreiben (Leibniz's law). Für Frege sind auch Aussagen singuläre Terme, quasi Namen für Wahr und Falsch.
- "Wahrheitswerte Wahr und Falsch" bedeutet Zweiwertigkeit. , was sie zwangsläufig gleichzeitig zu einer angewandten macht. 1 ist das einzige Individuum.
- "Für Frege sind auch Aussagen singuläre Terme, quasi Namen für Wahr und Falsch." Das ist Leibniz Urteilsprinzip A = ( A = 1). Wenn man das irgendwie durch ihn belegen kann, wäre das sehr klärend.
Schröder war Begriffslogiker, der in seiner späten Arbeit der Urteilslogik zuneigte.
Macht das Sinn, das einzuarbeiten? --Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T18:47:00.000Z-Reviewdiskussion11
- Nein, es macht keinen Sinn, Nonsenssätze wie "1 ist das einzige Individuum" oder "Nachts ist es kälter als draußen" zu äußern, weder in einem Artikel noch in einer Diskussion. --GottschallCh Diskussion:Begriffsschrift#c-GottschallCh-2007-08-30T19:12:00.000Z-Roomsixhu-2007-08-30T18:47:00.000Z11
- Na, auf jeden Fall macht Frege zwei Schritte in einem. Der Artikel bleibt auch ohne meine Mitarbeit gut. @Gottschall: Aber Dich hatte ich ja schon mal erfolglos nach Axiom drei gefragt. --Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-08-30T22:00:00.000Z-GottschallCh-2007-08-30T19:12:00.000Z11
Mich würde vor allem interessieren, ob der Artikel offensichtliche Schwächen hat, die vor einer Exzellenzkandidatur auszuräumen wären. Ich habe bislang weder eine Liste mit Kriterien für die "Exzellenz" gefunden, noch einen ähnlichen Artikel, den man zum Vorbild nehmen könnte. --Jan Schreiber Diskussion:Begriffsschrift#c-Jan Schreiber-2007-08-31T11:03:00.000Z-Reviewdiskussion11
- "Harte" Kriterien oder eine Checkliste gibt es nicht, es hängt auch stark davon ab, welche Art von Lesern auf die Kandidatur aufmerksam wird. Manchmal wird justament gegen einen Fachartikel gestimmt (ein krasses Beispiel war Methodischer Kulturalismus).
- Ausgezeichnete Artikel über logische Grundlagenwerke kenne ich keine; von dem, was ich kenne, kommen Syllogismus (lesenswert) und Existential Graphs (exzellent) thematisch am nächsten, vielleicht auch Gotthard Günther (lesenswert, wobei ich persönlich mit diesem Artikel nicht 100%-ig klarkomme).
- Methodisch würde ich empfehlen, den Artikel Begriffsschrift zuerst fürs Prädikat lesenswert aufzustellen: Bei einer Kandidatur gibt es normalerweise wertvolles Feedback (mehr als im Review), und bei lesenswert geht es auch freundlicher zu, zudem ist die Wartefrist kürzer. Mit den Anregungen aus dieser Kandidatur kannst du dann beruhigt für exzellent antreten.
- Viele Grüße, --GottschallCh Diskussion:Begriffsschrift#c-GottschallCh-2007-08-31T13:55:00.000Z-Jan Schreiber-2007-08-31T11:03:00.000Z11
- Ad Schwächen: Ich habe den Artikel noch einmal langsam und sorgfältig durchgelesen und sehe keine. Unsortierte Gedanken sind mir folgende durch den Kopf gegangen:
- Das "aufgrund ihres Umfangs" könnte möglicherweise negativ ausgelegt werden, weil Umfang und Bedeutung ja nicht notwendigerweise proportional sind.
- Bei Werktiteln und Bezeichnungen wird im Review gerne gefragt, wie und warum es zu der Bezeichnung kam. Die Bezeichnung "Begriffsschrift" ist ja nicht selbsterklärend.
- Das Abgehen von algebraischen Ansätzen war ja eine der revolutionären Leistungen der Begriffsschrift, deshalb würde ich nicht unbedingt schreiben "Vor allem warfen sie Frege vor, den algebraischen Ansatz [...] zu ignorieren. Dieses Versäumnis holte er in einigen unmittelbar auf die Begriffsschrift folgenden Aufsätzen nach" (Hervorhebung von mir), sondern z.B. "Vor allem warfen sie Frege vor, den algebraischen Ansatz [...] zu ignorieren, worauf er in einigen unmittelbar auf die Begriffsschrift folgenden Aufsätzen einging".
- Zusätzlich würde ich möglichst stark hervorheben, dass der Kalkül der "Begriffsschrift" konsistent ist und sich die Russell'sche Antinomie erst aus den "Grundgesetzen" herleiten lässt.
- Viele Grüße, --GottschallCh Diskussion:Begriffsschrift#c-GottschallCh-2007-08-31T14:58:00.000Z-Jan Schreiber-2007-08-31T11:03:00.000Z11
- Vielen Dank für die wertvollen Hinweise.
- Zum ersten Punkt: Muss ich tatsächlich noch einmal überdenken.
- ad 2: Das Beste, was ich dazu bisher finden konnte, in dem Text von Vilkko: "Schröder also considered the name ‘‘Begriffsschrift’’ (‘‘conceptual notation’’) as somewhat misplaced—in his opinion the name of Frege’s book should have been ‘‘Urtheilsschrift’’ (‘‘judgmental notation’’). In Frege’s defence it can be said that he adopted the name for his book from Adolf Trendelenburg’s essay, Über Leibnizens Entwurf einer allgemeinen Charakteristik, where Trendelenburg used the term ‘‘Begriffsschrift’’ as synonymous with the term ‘‘universal language’’." -- Ich persönlich bin hier ganz auf Schröders Seite, denn Begriffe scheinen mir in der BS in der Tat keine besondere Rolle zu spielen. Umso mehr ein Grund, auf den Titel kurz einzugehen. Das ist auch eine Gelegenheit, Leibniz mal zu erwähnen – immerhin auch einmal ein Philosoph, den die meisten Fachfremden kennen dürften.
- ad 3: In meinen Augen ist es tatsächlich ein Versäumnis, dass Frege die zeitgenössischen Ansätze, die ja immerhin in eine ähnliche Richtung gehen, mit keinem Wort erwähnt (außer vielleicht in der Einleitung in einem Nebensatz, ohne Namen zu nennen). Aber du hast recht: Da muss an der Formulierung noch gefeilt werden.
- Mit dankbaren Grüßen, Jan Schreiber Diskussion:Begriffsschrift#c-Jan Schreiber-2007-08-31T15:35:00.000Z-GottschallCh-2007-08-31T14:58:00.000Z11
- Vielen Dank für die wertvollen Hinweise.
- Zum zweiten Punkt gibt es meines Wissens mehrere Erklärungen – ich habe nur noch nicht darüber nachgedacht (bzw. das Nachdenken vermieden), wie man die in einem Artikel kompakt und gut belegt unterbringen könnte:
- Am üblichsten ist meiner Einschätzung nach die Erklärung von "Begriffsschrift" als deutsche Übersetzung von "Ideographie" ("die Sache selbst als Bild wiedergeben" – zu meiner Überraschung sogar schon im Wikipedia-Artikel Ideographie erwähnt). Das ist konsistent z.B. mit Meyers Großem Konversations-Lexikon von 1905, wo es unter "Logikkalkül" heißt: "In neuerer Zeit tritt immer mehr das Bestreben hervor, diesen logischen Kalkül zu einer allgemeinen Begriffsschrift, zu einer Universalschrift zu erweitern, von deren Möglichkeit schon Leibniz überzeugt war." (Bd. 12, S. 661) oder "Über Peanos Begriffsschrift vgl. dessen »Introduction au formulaire de mathématique« (Tur. 1894). Eine andre Begriffsschrift hat G. Frege erdacht (vgl. dessen »Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet«" (loc.cit.) Das wäre auch konsistent mit Vilkko, bloß dass nicht (wie dieser schreibt) nur Trendelenburg das Wort "Begriffsschrift" in diesem Sinn verwendet hat, sondern dass es zu dieser Zeit (wie gesagt, ist ist der Meyer aus 1905) allgemeiner Sprachgebrauch war.
- Begriffsschrift als ein Werk, das (Grund-) Begriffe der Mathematik klären möchte (der SEP-Artikel geht ein bisschen in diese Richtung, "define interesting mathematical concepts") – scheint mir aber weniger schlüssig und ist mir auch sonst nicht untergekommen
- Begriffsschrift eben doch im Zusammenhang mit dem Begriff "Begriff" – immerhin wird in der Begriffsschrift ja erstmals in der Geschichte der Begriff "Begriff" stringent definiert (eine Funktion, die Individuen auf Wahrheitswerte abbildet).
- Unabhängig davon (aber da sind natürlich unterschiedliche Meinungen möglich und üblich) würde ich die Rolle der Begriffe in der Begriffsschrift auch nicht unterschätzen – aber der Artikel tut das ohnedies nicht.
- Die anderen Punkte sind weniger wichtig; bezüglich (1) könnte man (das aber rein optional) z.B. mit "die auch aufgrund ihres Umfangs als Freges Hauptwerk gelten können" (statt "schon") missmeinenden Lesenden den Wind aus den Segeln nehmen. Zu (3) könnte man gegebenenfalls etwas mehr schreiben, aber außer (unabhängig von Frege) Peirce (und der war etwas später dran) gab es meines Wissens nichts wesentlich Vergleichbares.
- Viele Grüße, --GottschallCh Diskussion:Begriffsschrift#c-GottschallCh-2007-08-31T17:43:00.000Z-Jan Schreiber-2007-08-31T11:03:00.000Z11
- Ich stimme auf jeden Fall für lesenswert, sogar für exzellent, wobei es hier nicht das Publikum für solche Artikel gibt. Ich verstehe den Artikel sogar halbwegs. Was ich noch nicht verstehe, lasse ich mal ruhen. Aber taktisch ist zuerst eine Lesenswertkandidatur ratsam, ist auch wirklich netter da als bei exzellent. Ich widerspreche Gottschall ja grundsätzlich. Nur da Du es oben so salopp formuliert hast, kam mir die Frage zu den Urteilen, aber das ist nicht so wichtig, denn es gehört eher in die Wirkungsgeschichte. Die Russellsche Antinomie folgt nirgends, denn sie ist eine Antilogie, also immer "das Falsche". Hier mein altbekannter Link zur Widerlegung der Antinomie. In den Anmerkungen steht auch einiges zu Schröders Verhältnis zu Freges Logik: Das Verhältnis von Begriffs- und Urteilslogik, 1975. Gottschall konnte hellsehen, er wußte, dass der link kommt. Das schöne aussagenlogische Urteilsquadrat habe ich so bis jetzt nur einmal gesehen, bei Bochenski. Gruß Room 608 Diskussion:Begriffsschrift#c-Roomsixhu-2007-09-01T00:37:00.000Z-GottschallCh-2007-08-31T17:43:00.000Z11
Buch und Begriffsschrift an sich getrennt behandeln?
[Quelltext bearbeiten]Ich halte eine von der Begriffsschrift an sich getrennte Behandlung des Buches für besser als die Behandlung von beidem in einem Artikel. (nicht signierter Beitrag von David23x (Diskussion | Beiträge) Diskussion:Begriffsschrift#c-David23x-2015-06-24T13:16:00.000Z-Buch und Begriffsschrift an sich getrennt behandeln?11)
- Ein sehr interessanter Vorschlag, danke! Ich habe eine Weile drüber nachgedacht und sehe im Moment zwei Möglichkeiten:
- Man könnte die Abschnitte 2, 3 und 5 aus diesem Artikel in einen eigenen Artikel verschieben oder kopieren;
- man könnte einen eigenen Artikel "Freges logizistische Grundlegung der Arithmetik" schaffen und darin das große Projekt im Zusammenhang darstellen, das im Wesentlichen die Begriffsschrift, die Grundlagen der Arithmetik und die Grundgesetze der Arithmetik umfasst.
- Die zweite Möglichkeit fände ich sehr sexy, aber beides ist furchtbar viel Arbeit. Ich bin im Moment nicht so richtig motiviert. Wenn mich jemand einen Monat lang dafür bezahlen würde, würde ich es machen, aber einfach so?
- Grüße, -- Jan Schreiber (Diskussion) Diskussion:Begriffsschrift#c-Jan Schreiber-2015-06-24T20:35:00.000Z-David23x-2015-06-24T13:16:00.000Z11
Mathematik Teil der Logik: nicht für die ganze Mathematik
[Quelltext bearbeiten]Freges vorrangiges Ziel war es, die Mathematik als Teil der Logik auszuweisen
- Das galt nicht für die ganze Mathematik, zwar für die Arithmetik, aber nicht für die Geometrie. Andres (Diskussion) Diskussion:Begriffsschrift#c-Andres-2016-03-08T20:58:00.000Z-Mathematik Teil der Logik: nicht für die ganze Mathematik11
- Tja. Allerdings: Analysis.-- Leif Czerny Diskussion:Begriffsschrift#c-Leif Czerny-2016-03-10T18:03:00.000Z-Andres-2016-03-08T20:58:00.000Z11
- Wie formuliert man das denn möglichst elegant? --Jan Schreiber (Diskussion) Diskussion:Begriffsschrift#c-Jan Schreiber-2016-03-13T17:02:00.000Z-Andres-2016-03-08T20:58:00.000Z11
- Nochmal ganz deutlich: Frege geht davon aus, dass eine hinreichend starke Arithmetik die ganze Mathematik ist. ---- Leif Czerny Diskussion:Begriffsschrift#c-Leif Czerny-20240617104600-Jan Schreiber-2016-03-13T17:02:00.000Z11
- Könntest du das mal mit einer Quelle belegen? Ich würde einen sehr hohen Betrag wetten, dass Frege nie geschrieben hat, dass man z.B. die Geometrie auf die Arithmetik "reduzieren" kann. Vgl. z.B. Grundlagen, § 13, wo Frege schreibt, dass man "in der Geometrie allgemeine Sätze aus der Anschauung" gewinnt. --Toto (Diskussion) Diskussion:Begriffsschrift#c-Toto~dewiki-20240618071100-Leif Czerny-2024061710460011
- Den Punkt gebe ich dir, da hast Du recht. Vgl. https://link.springer.com/article/10.1007/s11229-017-1489-6.
- Wir können und vielleicht einigen, dass Frege die Arithmetik und ihre Axiome als Teil der Logik bzw. rein logisch begründbar betrachtet, die Axiome der Geometrie jedoch nicht. Allerdings würde ich vermuten, dass es auch für ihn in der Logik über die Axiome hinaus keine von der Arithmetik unabhängigen Gesetzmäßigkeiten, insbesondere keine zusätzlichen Schlussregeln gibt? ---- Leif Czerny Diskussion:Begriffsschrift#c-Leif Czerny-20240619122000-Toto~dewiki-2024061807110011
- Könntest du das mal mit einer Quelle belegen? Ich würde einen sehr hohen Betrag wetten, dass Frege nie geschrieben hat, dass man z.B. die Geometrie auf die Arithmetik "reduzieren" kann. Vgl. z.B. Grundlagen, § 13, wo Frege schreibt, dass man "in der Geometrie allgemeine Sätze aus der Anschauung" gewinnt. --Toto (Diskussion) Diskussion:Begriffsschrift#c-Toto~dewiki-20240618071100-Leif Czerny-2024061710460011
- Nochmal ganz deutlich: Frege geht davon aus, dass eine hinreichend starke Arithmetik die ganze Mathematik ist. ---- Leif Czerny Diskussion:Begriffsschrift#c-Leif Czerny-20240617104600-Jan Schreiber-2016-03-13T17:02:00.000Z11