Logikkalkül

Logikkalkül

Logikkalkül, ein Verfahren, die Sätze und Schlußweisen der Logik mit Hilfe einiger weniger Zeichen durch mathematische Formeln auszudrücken. Man wird auf diese Weise in den Stand gesetzt, mit Begriffen und Urteilen zu rechnen, und wird dadurch unabhängig von Zweideutigkeiten, Mißverständnissen, ja Irrtümern, denen man beim Gebrauche der Sprache ausgesetzt ist. 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. Namentlich versucht der italienische Mathematiker Peano ein internationales System von Zeichen aufzustellen, das ermöglicht, alle mathematischen Untersuchungen ohne Anwendung von Worten in bloßen Formeln darzustellen, und auf seine Veranlassung erscheinen in dem »Formulaire de Mathématique« (Bd. 1, Turin 1895) derartige Darstellungen einzelner Zweige der Mathematik, die von ihm und andern bearbeitet sind. Den Vorteilen dieses Verfahrens, außerordentlicher Kürze und Schärfe der Darstellung, stehen freilich auch große Nachteile gegenüber: die lange Übung, die erforderlich ist, um das Formulaire mit einiger Leichtigkeit lesen zu können, das rasche Ermüden des Geistes, der nur eine Masse von Formeln vor sich sieht etc. Um die Entwickelung des Logikkalküls haben sich besondere Verdienste erworben: BooleThe mathematical analysis of logic«, Cambridge 1847), R. Graßmann, Peirce, E. Schröder u.a. Eine vortreffliche, kurze Übersicht gibt E. Schröders »Operationskreis des Logikkalküls« (Leipz. 1877), während seine »Vorlesungen über die Algebra des L.« in 3 Bänden eine ausführliche, alles bisher Geleistete umfassende Darstellung bringen (Bd. 1, das. 1890; Bd. 2 u. 3, 1891–95, sind unvollendet geblieben). Ü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«, Jena 1893 bis 1903, 2 Bde.), doch gehen seine Arbeiten über den Gegenstand bis 1879 zurück.


http://www.zeno.org/Meyers-1905. 1905–1909.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Logikkalkül — Logikkalkül, mathematische Behandlung der Logik auf Grund besonderer Zeichensprachen. Literatur: Schröder, E., Vorlesungen über die Algebra der Logik, 1–3, Leipzig 1890–95 …   Lexikon der gesamten Technik

  • Logikkalkül — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …   Deutsch Wikipedia

  • Logikkalkül — Lo|gik|kal|kül der; s, e <zu ↑Logik> formalisiertes Zeichen, das als logische Konstante, Variable, Aussage usw. gedeutet wird (Informatik) …   Das große Fremdwörterbuch

  • Boole — George Boole, etwa 1860 George Boole [ˌdʒɔːdʒ ˈbuːl] (* 2. November 1815 in Lincoln, England; † 8. Dezember 1864 in Ballintemple, in der Grafschaft Cork, Irland) war ein englischer …   Deutsch Wikipedia

  • George Boole — [ˌdʒɔːdʒ ˈbuːl] (* 2. November 1815 in Lincoln, England; † 8. Dezember 1864 in Ballintemple, in der Grafschaft Cork, Irland) war ein englischer Mathematiker (Autodidakt), Logiker und Philosoph …   Deutsch Wikipedia

  • Iwan Iwanowitsch Schegalkin — (Иван Иванович Жегалкин; wiss. Transliteration Ivan Ivanovič Žegalkin) (* 22. Julijul./ 3. August 1869greg. in Mzensk; † 28. März 1947 in Moskau ) war ein russischer Logiker und Mathematiker. Schegalkin war von 1902 bis 1911 Dozent …   Deutsch Wikipedia

  • Joseph Maria Bochenski — Joseph Maria Bocheński (* 30. August 1902 in Czuszów, Polen; † 8. Februar 1995 in Freiburg im Üchtland, Schweiz), meist kurz I. M. Bocheński, war ein polnischer Philosoph und Logiker. Bochenski im Dezember 1991 in seiner Wohnung im… …   Deutsch Wikipedia

  • Kalkül — Als Kalkül (der, das, fr. calcul „Rechnung“; von lat. calculus „Rechenstein, Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen …   Deutsch Wikipedia

  • Systeme natürlichen Schließens — Systeme (oder Kalküle) natürlichen Schließens bezeichnen in der mathematischen und philosophischen Logik einen Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski, einem Vertreter der Lemberg Warschau Schule,… …   Deutsch Wikipedia

  • Boole — I Boole   [buːl], George, britischer Mathematiker und Logiker, * Lincoln 2. 11. 1815, ✝ Ballintemple (bei Cork, Irland) 8. 12. 1864. Boole erwarb seine Kenntnisse der Mathematik auf autodidaktischen Weg und wurde 1849 Professor für Mathematik in… …   Universal-Lexikon

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”