#logik — Public Fediverse posts

"Ich habe Probleme mit der Software."
"Welche Probleme?"
"Alle."
"Gehts auch etwas präziser?"
"'Alle' ist präzise."

#Isso #Software #Logik

@simsalabim Nach der #Logik solltest du dann aber auch konsequent fordern, sofort jedes #Kraftwerk abzuschalten... Die produzieren über ihre Kühltürme nämlich weitaus mehr #Dampf. Bei der nächsten #Dunkelflaute hast du dann immerhin die freie Wahl: Entweder gemütlich bei Kerzenschein sitzen oder französischen Atomstrom importieren – der ironischerweise genau für den gigantischen Kühlwasserbedarf bekannt ist, über den du dich hier gerade beschwerst.

1/ Bin gerade auf dem #GALL-Workshop und da sind Wissenschaftler*innen aus den verschiedensten Ländern (GB, Schweden, Bulgarien, Israel, Kanada, D).
Aus den Bereichen #Informatik, #Mathematik, #Logik, #Linguistik.
Die Mathematiker*innen und Informatiker sagen, dass Student*innen zu großen Teilen betrügen und LLMs für Hausaufgaben und Prüfungen verwenden.

Die Frage, die sich alle stellen: Wie soll man Menschen ausbilden? Was kann man machen, wenn sie nicht lernen wollen?

Shuly Winter hatte die Idee, einfach Bestätigungen auszustellen, dass sie ihre Studiengebühren bezahlt haben. In der Bundesrepublik gibt es keine Studiengebühren, deshalb würde das nicht funktionieren. Aber Lesitungsnachweise werden zunehmend wertlos und selbst Anwesenheitsbescheinigungen kann man nicht geben, weil oft nicht mal die Anwesenheit kontrolliert werden kann. Abgesehen davon, dass man das irgendwie auch nicht erfassen will.

Letztendlich ist der Punkt aber, dass wir eigentlich gar keine benoteten Abschlüsse vergeben wollen. Die Industrie will eine 1 oder 2 auf dem Zeugnis, aber das ist ihr Problem. Wenn wir einfach nicht mehr prüfen würden, würden die Prüfungen auf die Einstellung verlagert. Das ist eigentlich ein cooler Ansatz, denn wenn das Ziel ist, einen Job zu bekommen, dann wäre dadurch, dass dann eine Jobeignungsprüfung kommt, eine Motivation gegeben, für diese Prüfung zu lernen.

Vilka terapeuter är det som inte är för alla?

Alla terapeuter.

Ergo, det finns ingen terapeut som är för alla.

#logik

Solche Momente gehören in der Softwareentwicklung ganz automatisch dazu: Du sitzt vor deinem Code, alles sieht auf den ersten Blick okay aus und trotzdem passt das Ergebnis nicht. Das kann frustrierend sein, ist aber völlig normal. Genau für solche Situationen gibt es das RubberDuck Prinzip. Gera

https://magicmarcy.de/so-loest-du-bugs-mit-dem-rubberduck-prinzip

#RubberDuck #Coding #Java #Problem #Programming #Debugging #Logik #Softwareentwicklung #Gummiente #Trick

“Die Einrichtung hat nach eigenen Angaben Anzeige gegen Unbekannt erstattet. Seit 2019 hat die Frucht schon erstaunliche Eingriffe erlebt: Sie wurde mehrfach verzehrt.”

Hmmm, ja klar. Frage in die Runde: Wie kann man etwas mehrfach verzehren?

https://www.watson.ch/!142638911

@watson_news #Logik #Kunst #Kunstwerk #Kunstmuseum #Journalismus #JournalismusAmLimit

📚 📈#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

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

"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/

„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)

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

Ich versuche das nun schon seit Ewigkeiten zu erklären, aber mir hört keiner zu:

#LLM s wie #ChatGPT können nicht denken. Ich hab das hier ausprobiert (Link)

https://www.fz-juelich.de/de/aktuelles/news/meldungen/2024/studie-mit-hoher-jsc-beteiligung-zeigt-dramatisches-scheitern-von-llm-im-logischen-denken

Und das hier war das Ergebnis:

https://telegra.ph/Alice-und-Max-01-07

Leute, #LLM s sind keine Künstliche Intelligenz. Sie basteln #Texte aufgrund ihrer Trainingsdaten und von Wahrscheinlichkeiten. Das hat NICHTS mit #Denken oder #Logik zu tun.

#fediLZ #fediLZ_INF

@peer @stefanmuelller

Ihr versteht grundsätzlich etwas nicht: Eine LLM kann keine Schlussfolgerungen ziehen. Das sind Gelabermaschinen, die NICHT denken, sondern nur Text produzieren können:

ChatGPT, Heute:

https://telegra.ph/Alice-und-Max-01-07

Wir Menschen sind inzwischen so dumm, das wir auch solche offensichtlichen Fehler nicht merken.

#AI #KI #denken #logik #philosophie #llm

Sorry, geh sterben, Menschheit.

@scinexx

In der mathematischen Logik lernt man, dass man aus einer falschen Prämisse jede beliebige Aussage herleiten kann.

Gegeben, dass Axionen rein hypothetisch, also möglicherweise die Annahme ihrer Existenz falsch ist, ist die Herleitung irgendwelcher Aussagen daraus witzigerweise eher ein Hinweis darauf, dass Axionen nicht existieren.🤣

#logik #axionen #mathematik

❗BITTE FOLGENDE METAPHERÄHNLICHE THESE AUF RICHTIGKEIT UND LOGIK ÜBERPRÜFEN ❗

"Eine nicht absichtlich gestellte Falle könnte man auch "Irrweg" nennen."

Ehrliche, logisch schlüssige und freundliche Rückmeldungen sind ❤lich willkommen
#logik

„#Makroökonomie ist im Kern logisches Denken. Man könnte sie problemlos in #Mathematik unterbringen.“

Niemals! Geht weg.

https://www.taz.de/!6137287

#Logik

Er "upolitisk korrekt" virkelig det samme som "politisk ukorrekt"? Eller har det en særlig betydning, som jeg ikke lige forstår?
#logik #sprog #hørtpåP1

Anteil der Nutzer von Social-Media-Plattformen nach Altersgruppen in Deutschland im Jahr 2025

#Gespräch darüber, dass die #Logik #massenmedial​er #Berichterstattung mit der #Unterscheidung zwischen #Massenmedium und #Publikum eine #Alternative hat: #Kommunikation zwischen #Unbekannte​n;

#Fedistammtisch #Statista #SocialMedia #Plattform

Tipp des Tages:

Wenn jemand von "kleinstem gemeinsamen Nenner" redet, dann ist in der Regel der "größte gemeinsame Nenner" gemeint. Alles andere wäre kompletter Blödsinn, da der kleinste ja immer die völlig fehlende Gemeinsamkeit ist. Und darum geht es halt typischerweise genau nicht.

Das kommt davon wenn es niemanden peinlich ist mit "in Mathe war ich immer schlecht" zu kokettieren.🤦‍♀️

#servicetröt #mathematik #sprache #logik #alltagssprache

#HPI Adventskalender: Jeden Tag eine kurze Aufgabe, die euch spielerisch in Themen wie #Datenbanken, #Algorithmen oder #Logik hineinzieht. Nebenbei lernt ihr unterschiedliche Bereiche des HPI kennen, wie die Engine oder die d-school. https://open.hpi.de/courses/xmas2025