Unsere nächsten Veranstaltungen:
110. Ernst-Schröder-Kolloquium
Fr, 13. Juni 2025, 16 Uhr s.t.
Was liefert ein Beweis mehr als die
bloße Wahrheit?
Prof. Dr. Ulrich Kohlenbach
Arbeitsgruppe Logik, FB Mathematik, TU Darmstadt
In den letzten Jahrzehnten hat sich unter dem Namen
Proof Mining ein neues Gebiet der Mathematischen Logik
etabliert, das als eine angewandte Neuorientierung der auf
D. Hilbert zurückgehenden Beweistheorie aufgefasst
werden kann.
In Hilberts Programm ging es darum nachzuweisen, dass sich der
Gebrauch ineffektiver und infinitärer (idealer ) Prinzipien,
die in der 2. Hälfte des 19.Jhd. mit dem Aufkommen
mengentheoretischer Methoden in der Mathematik mehr und mehr an
Bedeutung gewonnen hatten, in Beweisen von kombinatorischen
(realen ) Aussagen im Prinzip stets eliminieren lassen
sollten, insbesondere also zu keinen Widersprüchen führen können.
Während fundamentale Resultate von K. Gödel aus dem Jahre
1931 zeigen, dass dieses Programm im ursprünglichen Sinne nicht
(im vollem Umfang) durchführbar ist (sondern nur in einem
relativierten Sinne), so hat sich in den letzten Jahren doch
herausgestellt, dass solche Finitisierungen von Beweisen in
vielen Fällen möglich sind. Ferner lassen sich beweistheoretische
Methoden, die im Rahmen des modifizierten Hilbert-Programms
entwickelt wurden, dazu verwenden, so neue Informationen aus
gegebenen Beweisen zu extrahieren.
Dies hat mittlerweile zu zahlreichen Anwendungen in
verschiedenen Gebieten der Mathematik wie z.B. der nichtlinearen
Analysis, Fixpunkttheorie, Ergodentheorie, PDE Theorie und der
kontinuierlichen Optimierung geführt.
Prof. Kohlenbach ist Professor für Mathematische Logik an der
TU Darmstadt und Nachfolger von Prof. Rudolf Wille.
Für seine herausragenden Beiträge zur mathematischen Logik und
insbesondere zum Schürfen von Beweisen (proof mining) wurde ihm
vor kurzem der Ernst-Zermelo-Ring verliehen –
die höchste Auszeichnung der Deutschen Vereinigung für
Mathematische Logik und Grundlagenforschung der Exakten
Wissenschaften .
Technische Universität Darmstadt,
(Mathe-Gebäude, S2|15-244)
110. Ernst-Schröder-Seminar
Sa, 14. Juni 2025, 10 Uhr s.t.
Rational Inference and
Defeasible Reasoning in Formal Concept Analysis
Dr. Sergei Obiedkov
TU Dresden and ScaDS.AI Dresden/Leipzig
Joint work with Lucas Carr, Nicholas Leisegang,
and Thomas Meyer (University of Cape Town and CAIR, South Africa)
Formal Concept Analysis (FCA) provides a rich framework for
understanding dependencies between attributes through implications.
However, classical implications fall short when dealing with
noisy or exception-prone data. In this talk, I explore how the
well-established KLM framework for defeasible reasoning—originally
developed for propositional logic—can be adapted to FCA.
I will present the construction of this framework within FCA,
discuss its fidelity to the original KLM principles,
and argue that it offers a more nuanced, context-aware
approach to inference.
Immanuel Kant, Zum ewigen Frieden ,
ein philosophischer Entwurf
Dr. phil. Veronika Schlüter
Darmstadt
Diese schmale Schrift Immanuel Kants erscheint 1795 als
Spätwerk und subsummiert die Erkenntnisse seiner großen Kritiken
mit dem Ziel, einen Weg für einen möglichen ewigen Frieden
zu finden. Sie stellt sittliche Forderungen, basierend auf der
Idee der Freiheit, an den Menschen als vernünftigem Wesen.
Damit handelt es sich auch um eine Erziehungsaufgabe.
Die Schrift richtet sich von Beginn an nicht an Philosophen,
sondern an alle Menschen, deren Vernunft soweit entwickelt ist,
dass sie den Krieg schlechterdings verdammen, den Friedenszustand
dagegen zur Pflicht machen.
Technische Universität Darmstadt,
(Mathe-Gebäude, S2|15-244)
111. Ernst-Schröder-Kolloquium
Fr, 27. Juni 2025, 16 Uhr s.t.
Interactions between the psychology of concepts
and conceptual exploration of data
Prof. Dr. Radim Belohlavek
Department of Computer Science,
Both the psychology of concepts and the conceptual exploration
of data have developed a rich body of knowledge, including a
repertoire of theories and tools.
Naturally, these two areas have different aims.
We argue that, despite their focus on different phenomena,
proper interactions between the psychology of concepts and the
conceptual exploration of data can benefit both areas.
To illustrate this, we will provide examples from recent work
involving human categorization, typicality, similarity, and factor
analysis, and will present the results of experiments with the
largest psychological data built around certain common language
concepts.
Radim Belohlavek is professor of computer science at
Palacky University Olomouc. Earlier in his career he was research
fellow and, from 2007 to 2009, tenured professor at the
State University of New York.
His academic interests include logic, discrete mathematics,
artificial intelligence, data analysis, and uncertainty and
information.
Belohlavek has authored or co-authored four books published by
Kluwer, Springer, the MIT Press, and the Oxford University Press,
and over 200 papers in conference proceedings and journals.
He served as editor-in-chief of the Int. J. General Systems in
2015-2023, and is on the editorial boards of the J. Computer and
System Sciences, Annals of Mathematics and Artificial Intelligence,
Fuzzy Sets and Systems, and others.
R. Belohlavek is married and has four children. His hobbies
include literature and sports.
Technische Universität Darmstadt,
(Mathe-Gebäude, S2|15-244)
111. Ernst-Schröder-Seminar
Sa, 28. Juni 2025, 10 Uhr s.t.
Typicality: Revisiting classic theories of a fundamental psychological phenomenon
Prof. Dr. Radim Belohlavek
Department of Computer Science,
The typicality of objects in human concepts is one of the
most studied phenomena in the psychology of concepts.
Its importance derives from the cognitive significance of
typicality: Typical objects are learned faster, recognized more
quickly, listed first.
In this talk, we revisit Eleanor Rosch's family-resemblance
theory of typicality, the most influential theory originating in
the 1970s, as well as Rosch & Mervis's formula for computing
typicality. We demonstrate mathematically that this formula is
a particular instance of a more general formula that incorporates
a measure of similarity between objects.
Using experiments with a large psychological dataset on human
categories, we show that Rosch and Mervis's formula is a very good
instance of the general formula, as it aligns well with human
typicality judgments. We then propose a substantially different
formula for computing typicality, which is interesting for
two reasons.
First, it results in a higher agreement with human judgments
of typicality.
Second, it suggests a new psychological theory of typicality
that differs from Rosch's family-resemblance theory.
11:30 Uhr
Representing Concept Lattices with
Euler Diagrams
Ms. Dr. Uta Priss
Ostfalia University of Applied Sciences
(Wolfenbüttel)
In Formal Concept Analysis, concept lattices are usually
graphically represented as line diagrams. For inexperienced users,
however, line diagrams may be more difficult to read than
Euler diagrams which visualize sets and their intersections using
closed curves in a similar manner to Venn diagrams. Unfortunately,
drawing Euler diagrams can be difficult, and in some cases
even impossible, unless Euler diagrams are extended with other
graphical features.
In this talk, I will discuss the advantages and disadvantages
of Euler diagrams compared to line diagrams (including nested
line diagrams), as well as extensions, algorithms, and methods
for drawing Euler diagrams of concept lattices.
Technische Universität Darmstadt,
(Mathe-Gebäude, S2|15-244)
Sommerfest
Sa, 28. Juni 2025, 16 Uhr
Sommerfest
Wie in jedem Jahr möchten wir den Sommer nutzen um mit Euch zu
feiern – in geselliger Runde, mit guten Gesprächen, Speis und Trank
in entspannter Atmosphäre.
Alle Mitglieder, Freundinnen und Freunde des Zentrums sind
herzlich eingeladen – auch (Ehe-)Partner und Familienangehörige sind
wie immer willkommen.
Wir treffen uns in einem Ausflugslokal in der Umgebung –
bei hoffentlich schönem Wetter mit der Möglichkeit, draußen zu sitzen.
Für die Auswahl an Speisen und Getränken sorgt das Lokal.
Wir freuen uns auf einen heiteren Sommerabend mit Ihnen und Euch!
Hinweise zu befreundeten Organisationen:
Darmstädter Ontologenkreis
Der Ontologenkreis befasst sich mit Themen, die unseren sehr
nahe stehen. Seit Jahren verbindet uns daher eine enge Partnerschaft
— ebenso wie persönliche Freundschaften.
Die Veranstaltungen des Darmstädter Ontologenkreises finden Sie auf
dessen Webseite: Link .
Studierendenwerk
(K)ein Zimmer fürs Studium!
Studierende brauchen ein Dach über dem Kopf — ein Zimmer mit
Bett und Schreibtisch. Doch in Uni-Städten ist bezahlbarer Wohnraum
Mangelware!
Die Studierendenwerke bauen Wohnheime, doch das reicht nicht aus.
Deshalb wird dringend privater Wohnraum gesucht!
Haben Sie ein Zimmer zu vermieten — bezahlbar für Studierende?
Dann helfen Sie bitte mit!
Das Studierendenwerk Darmstadt bietet eine Hotline und
weitere Infos an:
Auch andere Uni-Städte haben ähnliche Angebote.
