#logik — Public Fediverse posts

@micki

Vielleicht wird das Einsparen des "lo" ein ganz großer Trend und wir werden #KatharinaReiche noch sehr dankbar sein für die Einsparung Seltener Buchstaben, wenn #SelteneErden aus #China schon so ein großes Problem für sie sind.

#Technogie ist nur der Anfang!

Wer hat Ideen für eine #LO-Einsparung?

Ich fange mal an:

1. Ornithogie (Vogelkunde)
2. Gopädie (Sprecherziehung)
3. Pitʔin (Luftfahrzeugführerʔin)
4. Gik (Schlussfolgerungslehre)
5. Po (Ballsportart und VW-Kleinwagen)
6. B (Ausdruck der Anerkennung)
7. Iserhn (Stadt in NRW)

#Orthographie #DeutscheSprache #Linguistik #Ornithologie #Logopädie #Pilot #Pilotin #Logik #Polo #Lob #Iserlohn

@micki

Vielleicht wird das Einsparen des "lo" ein ganz großer Trend und wir werden #KatharinaReiche noch sehr dankbar sein für die Einsparung Seltener Buchstaben, wenn #SelteneErden aus #China schon so ein großes Problem für sie sind.

#Technogie ist nur der Anfang!

Wer hat Ideen für eine #LO-Einsparung?

Ich fange mal an:

1. Ornithogie (Vogelkunde)
2. Gopädie (Sprecherziehung)
3. Pitʔin (Luftfahrzeugführerʔin)
4. Gik (Schlussfolgerungslehre)
5. Po (Ballsportart und VW-Kleinwagen)
6. B (Ausdruck der Anerkennung)
7. Iserhn (Stadt in NRW)

#Orthographie #DeutscheSprache #Linguistik #Ornithologie #Logopädie #Pilot #Pilotin #Logik #Polo #Lob #Iserlohn

@micki

Vielleicht wird das Einsparen des "lo" ein ganz großer Trend und wir werden #KatharinaReiche noch sehr dankbar sein für die Einsparung Seltener Buchstaben, wenn #SelteneErden aus #China schon so ein großes Problem für sie sind.

#Technogie ist nur der Anfang!

Wer hat Ideen für eine #LO-Einsparung?

Ich fange mal an:

1. Ornithogie (Vogelkunde)
2. Gopädie (Sprecherziehung)
3. Pitʔin (Luftfahrzeugführerʔin)
4. Gik (Schlussfolgerungslehre)
5. Po (Ballsportart und VW-Kleinwagen)
6. B (Ausdruck der Anerkennung)
7. Iserhn (Stadt in NRW)

#Orthographie #DeutscheSprache #Linguistik #Ornithologie #Logopädie #Pilot #Pilotin #Logik #Polo #Lob #Iserlohn

@micki

Vielleicht wird das Einsparen des "lo" ein ganz großer Trend und wir werden #KatharinaReiche noch sehr dankbar sein für die Einsparung Seltener Buchstaben, wenn #SelteneErden aus #China schon so ein großes Problem für sie sind.

#Technogie ist nur der Anfang!

Wer hat Ideen für eine #LO-Einsparung?

Ich fange mal an:

1. Ornithogie (Vogelkunde)
2. Gopädie (Sprecherziehung)
3. Pitʔin (Luftfahrzeugführerʔin)
4. Gik (Schlussfolgerungslehre)
5. Po (Ballsportart und VW-Kleinwagen)
6. B (Ausdruck der Anerkennung)
7. Iserhn (Stadt in NRW)

#Orthographie #DeutscheSprache #Linguistik #Ornithologie #Logopädie #Pilot #Pilotin #Logik #Polo #Lob #Iserlohn

📚 📈#Worte entwickeln sich weiter: Warum #Sprache, #Meme und #Gehirne der #Logik der #Evolution folgen 🧬🧠

📽 https://youtu.be/M2qiVz95ZYk

📎 https://philosophies.de/index.php/2023/12/25/naturalistic-view/

#DanielDennett #PhilosophieDesGeistes #Kognitionswissenschaft #Memetik #KulturelleEvolution #Evolutionstheorie #Bewusstsein #KünstlicheIntelligenz #AGI #Neurowissenschaft #ComputationalNeuroscience #Zoomposium #SelbstUndIdentität #GeistUndGehirn #Naturalismus #Funktionalismus #Embodiment #Informationstheorie #Wissenschaftskommunikation

Am Anfang wirkt komplexer Code oft beeindruckend. Da steckt viel Logik drin, es gibt verschachtelte Bedingungen, generische Konstrukte und Methoden, die scheinbar alles gleichzeitig lösen. Auf den ersten Blick sieht das nach Können aus. In der Praxis ist das aber selten ein Vorteil.

https://magicmarcy.de/warum-du-mit-sauberem-code-weiter-kommst-als-mit-komplizierten-loesungen

#Coding #Code #Java #Logik #Methoden #Bedingungen #Programming

Am Anfang wirkt komplexer Code oft beeindruckend. Da steckt viel Logik drin, es gibt verschachtelte Bedingungen, generische Konstrukte und Methoden, die scheinbar alles gleichzeitig lösen. Auf den ersten Blick sieht das nach Können aus. In der Praxis ist das aber selten ein Vorteil.

https://magicmarcy.de/warum-du-mit-sauberem-code-weiter-kommst-als-mit-komplizierten-loesungen

#Coding #Code #Java #Logik #Methoden #Bedingungen #Programming

Am Anfang wirkt komplexer Code oft beeindruckend. Da steckt viel Logik drin, es gibt verschachtelte Bedingungen, generische Konstrukte und Methoden, die scheinbar alles gleichzeitig lösen. Auf den ersten Blick sieht das nach Können aus. In der Praxis ist das aber selten ein Vorteil.

https://magicmarcy.de/warum-du-mit-sauberem-code-weiter-kommst-als-mit-komplizierten-loesungen

#Coding #Code #Java #Logik #Methoden #Bedingungen #Programming

Logik löst alles – außer deine Angst

Logik löst alles – außer deine Angst. Vertrauen? Ein Bug im System. Innere Leere trotz perfektem Code. Was, wenn Urvertrauen energetisch ist? Intuition zurückgewinnen?

👉 Mehr erfahren & direkt reinschauen:
https://www.ehrliche-empfehlungen.de/urvertrauen?utm_source=mastodon

#Urvertrauen #Intuition #InnereFührung #Logik

Die folgende Arbeit entwickelt den borromäischen Knoten als Denkfigur für ein rotierendes Zusammenspiel von drei Registern in einer selbstreflexiven, dreiwertigen, paradoxen Logik mit drei involutiven Negationsoperatoren.

#psychology #lacan #polykontextualitat #polykontextural #logic #reflection #philosophy #ai #ki #paradox #Paradoxien #logik #semiotik #semiotic #semiotics #cybernetics #kybernetik #semioticsystem #cybernetic #kybernetiker #kybernethik

https://infosophia.eu/Borromaeische-Logik.pdf

Die folgende Arbeit entwickelt den borromäischen Knoten als Denkfigur für ein rotierendes Zusammenspiel von drei Registern in einer selbstreflexiven, dreiwertigen, paradoxen Logik mit drei involutiven Negationsoperatoren.

#psychology #lacan #polykontextualitat #polykontextural #logic #reflection #philosophy #ai #ki #paradox #Paradoxien #logik #semiotik #semiotic #semiotics #cybernetics #kybernetik #semioticsystem #cybernetic #kybernetiker #kybernethik

https://infosophia.eu/Borromaeische-Logik.pdf

Die folgende Arbeit entwickelt den borromäischen Knoten als Denkfigur für ein rotierendes Zusammenspiel von drei Registern in einer selbstreflexiven, dreiwertigen, paradoxen Logik mit drei involutiven Negationsoperatoren.

#psychology #lacan #polykontextualitat #polykontextural #logic #reflection #philosophy #ai #ki #paradox #Paradoxien #logik #semiotik #semiotic #semiotics #cybernetics #kybernetik #semioticsystem #cybernetic #kybernetiker #kybernethik

https://infosophia.eu/Borromaeische-Logik.pdf

Die folgende Arbeit entwickelt den borromäischen Knoten als Denkfigur für ein rotierendes Zusammenspiel von drei Registern in einer selbstreflexiven, dreiwertigen, paradoxen Logik mit drei involutiven Negationsoperatoren.

#psychology #lacan #polykontextualitat #polykontextural #logic #reflection #philosophy #ai #ki #paradox #Paradoxien #logik #semiotik #semiotic #semiotics #cybernetics #kybernetik #semioticsystem #cybernetic #kybernetiker #kybernethik

https://infosophia.eu/Borromaeische-Logik.pdf

Die folgende Arbeit entwickelt den borromäischen Knoten als Denkfigur für ein rotierendes Zusammenspiel von drei Registern in einer selbstreflexiven, dreiwertigen, paradoxen Logik mit drei involutiven Negationsoperatoren.

#psychology #lacan #polykontextualitat #polykontextural #logic #reflection #philosophy #ai #ki #paradox #Paradoxien #logik #semiotik #semiotic #semiotics #cybernetics #kybernetik #semioticsystem #cybernetic #kybernetiker #kybernethik

https://infosophia.eu/Borromaeische-Logik.pdf

@kloeffi Die Crux leicht verfügbaren Wissens besteht in der Gefahr, die eigene Unkenntnis falsch einzuschätzen.
Ich bin immer wieder auf’s Neue schockiert, wie verschwindend gering das Verständnis vieler Menschen für die Grundzüge wissenschaftlicher Methodik ist. Kombiniert mit der modernen Unart, sich auch komplett ohne Ahnung lautstark zu Wort zu melden ist das quasi nicht auszuhalten.

#Wissenschaft #Meinung #Methodik #Stringenz #Logik #Konsens vs #Geschwätz

@kloeffi Die Crux leicht verfügbaren Wissens besteht in der Gefahr, die eigene Unkenntnis falsch einzuschätzen.
Ich bin immer wieder auf’s Neue schockiert, wie verschwindend gering das Verständnis vieler Menschen für die Grundzüge wissenschaftlicher Methodik ist. Kombiniert mit der modernen Unart, sich auch komplett ohne Ahnung lautstark zu Wort zu melden ist das quasi nicht auszuhalten.

#Wissenschaft #Meinung #Methodik #Stringenz #Logik #Konsens vs #Geschwätz

Spaltung von Gesellschaft hat als Ursache zweiwertige Logik, welche verschiedene Kontexturen nicht verbinden kann. Funktionierende Politik muss diese Grenzen überwinden können.

#Demokratie #Logik #Gesellschaft

https://www.linkedin.com/pulse/wenn-logik-auf-ihre-eigene-grenze-trifft-wie-conny-dethloff-zwmbe/

Spaltung von Gesellschaft hat als Ursache zweiwertige Logik, welche verschiedene Kontexturen nicht verbinden kann. Funktionierende Politik muss diese Grenzen überwinden können.

#Demokratie #Logik #Gesellschaft

https://www.linkedin.com/pulse/wenn-logik-auf-ihre-eigene-grenze-trifft-wie-conny-dethloff-zwmbe/

Und ich höre schon die #noCDU schreien " Nein, das ist zu klug und nutzt den Vermögenden nichts. Das unterstützen wir nicht!"
#Logik #Vernunft #Klugheit

Sie logen über Überlebensausrüstung - die 7 Werkzeuge, die man tatsächlich braucht, wenn man...
https://youtube.com/watch?v=-V1qo_tczYA&is=Yf_AF4FtPjHVFuVr
Es spielt keine Rolle, ob es #AI generiert ist. Die #Logik schreit es einfach nur so heraus! An alle möchtegern #Prepper, Pepper und Weltuntergangsleute: Schraubt es euch rein; und ihr werdet leben!!!
Genug der #Dramatik ...'n schönen Abend noch...;]

Wenn du zum ersten Mal eine Java-EE-Anwendung auf WildFly deployest, wirkt die Struktur oft wie ein Detail, das man „später“ aufräumt. Es läuft ja auch, wenn du alles in eine WAR packst. Genau deshalb stolpern viele erst dann über das Thema, wenn die Anwendung wächst oder wenn du dieselbe L

https://magicmarcy.de/wiederverwendbare-business-logik-in-java-ee-ejbs-richtig-schneiden

#Logik #Java #EJB #WAR #Coding #Fachlogik #Service #Web #Wiederverwendbarkeit #Programming

Wenn du zum ersten Mal eine Java-EE-Anwendung auf WildFly deployest, wirkt die Struktur oft wie ein Detail, das man „später“ aufräumt. Es läuft ja auch, wenn du alles in eine WAR packst. Genau deshalb stolpern viele erst dann über das Thema, wenn die Anwendung wächst oder wenn du dieselbe L

https://magicmarcy.de/wiederverwendbare-business-logik-in-java-ee-ejbs-richtig-schneiden

#Logik #Java #EJB #WAR #Coding #Fachlogik #Service #Web #Wiederverwendbarkeit #Programming

Wenn du zum ersten Mal eine Java-EE-Anwendung auf WildFly deployest, wirkt die Struktur oft wie ein Detail, das man „später“ aufräumt. Es läuft ja auch, wenn du alles in eine WAR packst. Genau deshalb stolpern viele erst dann über das Thema, wenn die Anwendung wächst oder wenn du dieselbe L

https://magicmarcy.de/wiederverwendbare-business-logik-in-java-ee-ejbs-richtig-schneiden

#Logik #Java #EJB #WAR #Coding #Fachlogik #Service #Web #Wiederverwendbarkeit #Programming

Ihr raffts einfach nicht:

∀ Mann: Mann=Arschloch

Ist nicht das selbe wie

∃ Mann: Mann=Arschloch

Sondern es ist tatsächlich so, das

∃ Mann: Mann=¬Arschloch

so das gilt:

∀ Mann: Mann=(Arschloch ∪ ¬Arschloch)

Nur das man das sprachlich halt so nicht ausdrückt.

#notallmen #logik

Und jetzt ehrlich, Geschlechtsgenossen: Viele von uns benehmen sich echt total daneben. Und das ist SEHR milde ausgedrückt.

Ihr raffts einfach nicht:

∀ Mann: Mann=Arschloch

Ist nicht das selbe wie

∃ Mann: Mann=Arschloch

Sondern es ist tatsächlich so, das

∃ Mann: Mann=¬Arschloch

so das gilt:

∀ Mann: Mann=(Arschloch ∪ ¬Arschloch)

Nur das man das sprachlich halt so nicht ausdrückt.

#notallmen #logik

Und jetzt ehrlich, Geschlechtsgenossen: Viele von uns benehmen sich echt total daneben. Und das ist SEHR milde ausgedrückt.

Code Smells sind Hinweise darauf, dass im Code etwas nicht sauber ist - etwas schlecht riecht. Es geht nicht um Syntaxfehler oder Bugs, sondern um Strukturen, die dich langfristig ausbremsen. Der Code funktioniert vielleicht heute, aber er wird schwerer zu verstehen, zu testen und zu erweitern. Gera

https://magicmarcy.de/code-smells-was-riecht-denn-hier-so-streng

#CodeSmells #Methoden #Logik #Parameter #MagicStrings #MagicNumbers #Programming #Awareness

Code Smells sind Hinweise darauf, dass im Code etwas nicht sauber ist - etwas schlecht riecht. Es geht nicht um Syntaxfehler oder Bugs, sondern um Strukturen, die dich langfristig ausbremsen. Der Code funktioniert vielleicht heute, aber er wird schwerer zu verstehen, zu testen und zu erweitern. Gera

https://magicmarcy.de/code-smells-was-riecht-denn-hier-so-streng

#CodeSmells #Methoden #Logik #Parameter #MagicStrings #MagicNumbers #Programming #Awareness

Code Smells sind Hinweise darauf, dass im Code etwas nicht sauber ist - etwas schlecht riecht. Es geht nicht um Syntaxfehler oder Bugs, sondern um Strukturen, die dich langfristig ausbremsen. Der Code funktioniert vielleicht heute, aber er wird schwerer zu verstehen, zu testen und zu erweitern. Gera

https://magicmarcy.de/code-smells-was-riecht-denn-hier-so-streng

#CodeSmells #Methoden #Logik #Parameter #MagicStrings #MagicNumbers #Programming #Awareness

Soweit zur #Logik der KIs. 😩
Wenn die "Blechdeppen" wenigstens einen Satz unfallfrei hinbekommen würden.
Und denen vertrauen nicht wenige sensible Daten an ... 😒
Ach ja, das ist eine Umfrage der #Mainova.

Logisch, oder alles nur ein Trick?
Was meint ihr, hat ChatGPT etwas daraus „gelernt“?

#chatgpt #ai #logik

Check out this video by @darkcoffee8 ! https://loops.video/v/dTLXZ6XnBM

Logisch, oder alles nur ein Trick?
Was meint ihr, hat ChatGPT etwas daraus „gelernt“?

#chatgpt #ai #logik

Check out this video by @darkcoffee8 ! https://loops.video/v/dTLXZ6XnBM

Logisch, oder alles nur ein Trick?
Was meint ihr, hat ChatGPT etwas daraus „gelernt“?

#chatgpt #ai #logik

Check out this video by @darkcoffee8 ! https://loops.video/v/dTLXZ6XnBM

Logisch, oder alles nur ein Trick?
Was meint ihr, hat ChatGPT etwas daraus „gelernt“?

#chatgpt #ai #logik

Check out this video by @darkcoffee8 ! https://loops.video/v/dTLXZ6XnBM

"Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
https://blog.tib.eu/2026/01/14/welttag-der-logik-ein-tag-im-zeichen-des-logischen-denkens/

"Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
https://blog.tib.eu/2026/01/14/welttag-der-logik-ein-tag-im-zeichen-des-logischen-denkens/

"Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
https://blog.tib.eu/2026/01/14/welttag-der-logik-ein-tag-im-zeichen-des-logischen-denkens/

"Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
https://blog.tib.eu/2026/01/14/welttag-der-logik-ein-tag-im-zeichen-des-logischen-denkens/

"Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
https://blog.tib.eu/2026/01/14/welttag-der-logik-ein-tag-im-zeichen-des-logischen-denkens/

#Kirchen promoten in D seit Jahrzehnten #Pazifismus und #Multikulti. Jetzt etwas anderes zu behaupten - was ist das in Begriffen von #Ethik, #Logik und #Methodik? | #Friedensdenkschrift - #Militärbischof: "Es gibt legitime Arten von #Gewalt-Anwendung" https://www.deutschlandfunk.de/frieden-schaffen-mit-waffen-ev-militaerbischof-felmberg-zur-friedensdenkschrift-100.html

„Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

Ein Offizieller UNESCO-Welttag

Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

Werke berühmter Logiker:innen im TIB-Bestand

Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

Georg Wilhelm Friedrich Hegel

Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

• Band (3),2 „Die Lehre vom Sein“
• Band (4),2 „Die Lehre vom Wesen“
• Band (5),2 „Die subjective Logik oder: Die Lehre vom Begriff“
• Band (6),2 „Die Logik“ von 1843

George Boole

Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

• „A Treatise on the Calculus of Finite Differences” von 1872
• „A Treatise on Differential Equations” von 1859

Ernst Schröder

Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

„Vorlesungen über die Algebra der Logik (Exakte Logik)“:

• Band 1 von 1890
• Band 2,1 von 1891
• Band 2,2 von 1905
• Band 3,1 von 1895

„Abriss der Algebra der Logik“:

• Band 1 von 1909
• Band 2 von 1910

Gottlob Frege

Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

„Grundgesetze der Arithmetik“:

• Band 1 von 1893
• Band 2 von 1903

Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

Sophie Germain

Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

Christine Ladd-Franklin

Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

Sofja Kowalewskaja

Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

Emmy Noether

Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

Drei Bände der von ihr mitherausgegebenen „Gesammelte mathematische Werke“ wurden bereits digitalisiert:
Band 1 von 1930
Band 2 von 1931
Band 3 von 1932

Ihre Dissertation aus dem Jahr 1908 „Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

Susan Stebbing

Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

Retrodigitalisierung – vom Papier zum Pixel

Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

„Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

Ein Offizieller UNESCO-Welttag

Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

Werke berühmter Logiker:innen im TIB-Bestand

Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

Georg Wilhelm Friedrich Hegel

Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

• Band (3),2 „Die Lehre vom Sein“
• Band (4),2 „Die Lehre vom Wesen“
• Band (5),2 „Die subjective Logik oder: Die Lehre vom Begriff“
• Band (6),2 „Die Logik“ von 1843

George Boole

Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

• „A Treatise on the Calculus of Finite Differences” von 1872
• „A Treatise on Differential Equations” von 1859

Ernst Schröder

Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

„Vorlesungen über die Algebra der Logik (Exakte Logik)“:

• Band 1 von 1890
• Band 2,1 von 1891
• Band 2,2 von 1905
• Band 3,1 von 1895

„Abriss der Algebra der Logik“:

• Band 1 von 1909
• Band 2 von 1910

Gottlob Frege

Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

„Grundgesetze der Arithmetik“:

• Band 1 von 1893
• Band 2 von 1903

Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

Sophie Germain

Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

Christine Ladd-Franklin

Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

Sofja Kowalewskaja

Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

Emmy Noether

Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

Drei Bände der von ihr mitherausgegebenen „Gesammelte mathematische Werke“ wurden bereits digitalisiert:
Band 1 von 1930
Band 2 von 1931
Band 3 von 1932

Ihre Dissertation aus dem Jahr 1908 „Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

Susan Stebbing

Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

Retrodigitalisierung – vom Papier zum Pixel

Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

„Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

Ein Offizieller UNESCO-Welttag

Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

Werke berühmter Logiker:innen im TIB-Bestand

Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

Georg Wilhelm Friedrich Hegel

Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

• Band (3),2 „Die Lehre vom Sein“
• Band (4),2 „Die Lehre vom Wesen“
• Band (5),2 „Die subjective Logik oder: Die Lehre vom Begriff“
• Band (6),2 „Die Logik“ von 1843

George Boole

Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

• „A Treatise on the Calculus of Finite Differences” von 1872
• „A Treatise on Differential Equations” von 1859

Ernst Schröder

Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

„Vorlesungen über die Algebra der Logik (Exakte Logik)“:

• Band 1 von 1890
• Band 2,1 von 1891
• Band 2,2 von 1905
• Band 3,1 von 1895

„Abriss der Algebra der Logik“:

• Band 1 von 1909
• Band 2 von 1910

Gottlob Frege

Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

„Grundgesetze der Arithmetik“:

• Band 1 von 1893
• Band 2 von 1903

Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

Sophie Germain

Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

Christine Ladd-Franklin

Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

Sofja Kowalewskaja

Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

Emmy Noether

Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

Drei Bände der von ihr mitherausgegebenen „Gesammelte mathematische Werke“ wurden bereits digitalisiert:
Band 1 von 1930
Band 2 von 1931
Band 3 von 1932

Ihre Dissertation aus dem Jahr 1908 „Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

Susan Stebbing

Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

Retrodigitalisierung – vom Papier zum Pixel

Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

„Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

Ein Offizieller UNESCO-Welttag

Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

Werke berühmter Logiker:innen im TIB-Bestand

Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

Georg Wilhelm Friedrich Hegel

Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

• Band (3),2 „Die Lehre vom Sein“
• Band (4),2 „Die Lehre vom Wesen“
• Band (5),2 „Die subjective Logik oder: Die Lehre vom Begriff“
• Band (6),2 „Die Logik“ von 1843

George Boole

Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

• „A Treatise on the Calculus of Finite Differences” von 1872
• „A Treatise on Differential Equations” von 1859

Ernst Schröder

Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

„Vorlesungen über die Algebra der Logik (Exakte Logik)“:

• Band 1 von 1890
• Band 2,1 von 1891
• Band 2,2 von 1905
• Band 3,1 von 1895

„Abriss der Algebra der Logik“:

• Band 1 von 1909
• Band 2 von 1910

Gottlob Frege

Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

„Grundgesetze der Arithmetik“:

• Band 1 von 1893
• Band 2 von 1903

Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

Sophie Germain

Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

Christine Ladd-Franklin

Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

Sofja Kowalewskaja

Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

Emmy Noether

Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

Drei Bände der von ihr mitherausgegebenen „Gesammelte mathematische Werke“ wurden bereits digitalisiert:
Band 1 von 1930
Band 2 von 1931
Band 3 von 1932

Ihre Dissertation aus dem Jahr 1908 „Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

Susan Stebbing

Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

Retrodigitalisierung – vom Papier zum Pixel

Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

„Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

Ein Offizieller UNESCO-Welttag

Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

Werke berühmter Logiker:innen im TIB-Bestand

Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

Georg Wilhelm Friedrich Hegel

Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

• Band (3),2 „Die Lehre vom Sein“
• Band (4),2 „Die Lehre vom Wesen“
• Band (5),2 „Die subjective Logik oder: Die Lehre vom Begriff“
• Band (6),2 „Die Logik“ von 1843

George Boole

Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

• „A Treatise on the Calculus of Finite Differences” von 1872
• „A Treatise on Differential Equations” von 1859

Ernst Schröder

Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

„Vorlesungen über die Algebra der Logik (Exakte Logik)“:

• Band 1 von 1890
• Band 2,1 von 1891
• Band 2,2 von 1905
• Band 3,1 von 1895

„Abriss der Algebra der Logik“:

• Band 1 von 1909
• Band 2 von 1910

Gottlob Frege

Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

„Grundgesetze der Arithmetik“:

• Band 1 von 1893
• Band 2 von 1903

Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

Sophie Germain

Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

Christine Ladd-Franklin

Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

Sofja Kowalewskaja

Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

Emmy Noether

Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

Drei Bände der von ihr mitherausgegebenen „Gesammelte mathematische Werke“ wurden bereits digitalisiert:
Band 1 von 1930
Band 2 von 1931
Band 3 von 1932

Ihre Dissertation aus dem Jahr 1908 „Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

Susan Stebbing

Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

Retrodigitalisierung – vom Papier zum Pixel

Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

https://de.wikipedia.org/wiki/OL_(Cartoonist)

2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

https://de.wikipedia.org/wiki/OL_(Cartoonist)

2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

https://de.wikipedia.org/wiki/OL_(Cartoonist)

2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

https://de.wikipedia.org/wiki/OL_(Cartoonist)

2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

https://de.wikipedia.org/wiki/OL_(Cartoonist)

https://www.donna-anna.org/de/kausalitaet.html Kausalität stellt ein zwölfdimensionales Netz, das sämtliche Realitätsebenen durchdringt. #Kausalität #Ursache #Wirkung #Logik #Philosophie #Metaphysik #Lexikon