Prädikatenlogik „sehr wertvoll UND NICHT vollkommen wertlos“
August 22, 2025 at 11:34 AM
Prädikatenlogik „sehr wertvoll UND NICHT vollkommen wertlos“
Die Vorabversion der Masterarbeit ist fertig. Morgen bekommt sie der Assistent. Nach den Prüfungen werde ich die Anmerkungen einarbeiten, dann ist das Thema abgeschlossen.
Ich treffe mich jetzt mit der Lerngruppe. Wir gehen alte Prüfungen durch, mit Schwerpunkt auf Aussagen- und Prädikatenlogik.
Ich treffe mich jetzt mit der Lerngruppe. Wir gehen alte Prüfungen durch, mit Schwerpunkt auf Aussagen- und Prädikatenlogik.
February 4, 2026 at 8:49 AM
Die Vorabversion der Masterarbeit ist fertig. Morgen bekommt sie der Assistent. Nach den Prüfungen werde ich die Anmerkungen einarbeiten, dann ist das Thema abgeschlossen.
Ich treffe mich jetzt mit der Lerngruppe. Wir gehen alte Prüfungen durch, mit Schwerpunkt auf Aussagen- und Prädikatenlogik.
Ich treffe mich jetzt mit der Lerngruppe. Wir gehen alte Prüfungen durch, mit Schwerpunkt auf Aussagen- und Prädikatenlogik.
Kurt Friedrich Gödel (28.04.1906 - 14.01.1978)
Er war ein österreichischer / US-amerikanischer Mathematiker, Philosoph und bedeutender Logiker.
Er leistete maßgebliche Beiträge zur Prädikatenlogik, klassischen Logik, Modallogik und zur Relativitätstheorie.
www.spektrum.de/wissen/kurt-...
Er war ein österreichischer / US-amerikanischer Mathematiker, Philosoph und bedeutender Logiker.
Er leistete maßgebliche Beiträge zur Prädikatenlogik, klassischen Logik, Modallogik und zur Relativitätstheorie.
www.spektrum.de/wissen/kurt-...
Der Mathematische Monatskalender: Kurt Gödel (1906–1978)
Der Mann mit dem Unvollständigkeitssatz
www.spektrum.de
April 28, 2025 at 5:47 AM
Kurt Friedrich Gödel (28.04.1906 - 14.01.1978)
Er war ein österreichischer / US-amerikanischer Mathematiker, Philosoph und bedeutender Logiker.
Er leistete maßgebliche Beiträge zur Prädikatenlogik, klassischen Logik, Modallogik und zur Relativitätstheorie.
www.spektrum.de/wissen/kurt-...
Er war ein österreichischer / US-amerikanischer Mathematiker, Philosoph und bedeutender Logiker.
Er leistete maßgebliche Beiträge zur Prädikatenlogik, klassischen Logik, Modallogik und zur Relativitätstheorie.
www.spektrum.de/wissen/kurt-...
Er war jedoch der erste, der mit Mitteln der axiomatisierten Stochastik, der Zahlentheorie und der fregeschen Prädikatenlogik zwingend beweisen konnte, dass die Dunkelziffer in der Tat vermutlich noch viel größer ist als befürchtet.
August 22, 2025 at 11:22 AM
Er war jedoch der erste, der mit Mitteln der axiomatisierten Stochastik, der Zahlentheorie und der fregeschen Prädikatenlogik zwingend beweisen konnte, dass die Dunkelziffer in der Tat vermutlich noch viel größer ist als befürchtet.
Muss man nicht, um „die meisten“ zu widerlegen.
Ach Willi, das mit der Prädikatenlogik üben wir aber nochmal.
Ach Willi, das mit der Prädikatenlogik üben wir aber nochmal.
April 3, 2026 at 12:45 PM
Muss man nicht, um „die meisten“ zu widerlegen.
Ach Willi, das mit der Prädikatenlogik üben wir aber nochmal.
Ach Willi, das mit der Prädikatenlogik üben wir aber nochmal.
Oh gott oh fick prädikatenlogik hätte ich mal in meinen 2 Semestern Philosophie besser aufgepasst
May 2, 2024 at 9:44 AM
Oh gott oh fick prädikatenlogik hätte ich mal in meinen 2 Semestern Philosophie besser aufgepasst
Wichtige Systeme der modalen Aussagenlogik
Die unterschiedlichen modallogischen Systeme der Aussagenlogik sind Erweiterungen der klassischen Aussagenlogik (auf die Prädikatenlogik gehe ich hier nicht ein).
Die beiden Modalitäten Notwendigkeit und Möglichkeit werden mit Hilfe der
Die unterschiedlichen modallogischen Systeme der Aussagenlogik sind Erweiterungen der klassischen Aussagenlogik (auf die Prädikatenlogik gehe ich hier nicht ein).
Die beiden Modalitäten Notwendigkeit und Möglichkeit werden mit Hilfe der
January 5, 2026 at 7:34 PM
Wichtige Systeme der modalen Aussagenlogik
Die unterschiedlichen modallogischen Systeme der Aussagenlogik sind Erweiterungen der klassischen Aussagenlogik (auf die Prädikatenlogik gehe ich hier nicht ein).
Die beiden Modalitäten Notwendigkeit und Möglichkeit werden mit Hilfe der
Die unterschiedlichen modallogischen Systeme der Aussagenlogik sind Erweiterungen der klassischen Aussagenlogik (auf die Prädikatenlogik gehe ich hier nicht ein).
Die beiden Modalitäten Notwendigkeit und Möglichkeit werden mit Hilfe der
Warum ist Gottlob Frege so wichtig für die Philosophie?
GOTTLOB FREGE (1848-1925) bildet u.a. den Ausgangspunkt der modernen Logik und der modernen Sprachphilosophie (sowie der analytischen Philosophie generell). Mit seiner „Begriffsschrift“ (1879) begründet FREGE die moderne Prädikatenlogik, wobei
GOTTLOB FREGE (1848-1925) bildet u.a. den Ausgangspunkt der modernen Logik und der modernen Sprachphilosophie (sowie der analytischen Philosophie generell). Mit seiner „Begriffsschrift“ (1879) begründet FREGE die moderne Prädikatenlogik, wobei
December 15, 2025 at 7:57 PM
Warum ist Gottlob Frege so wichtig für die Philosophie?
GOTTLOB FREGE (1848-1925) bildet u.a. den Ausgangspunkt der modernen Logik und der modernen Sprachphilosophie (sowie der analytischen Philosophie generell). Mit seiner „Begriffsschrift“ (1879) begründet FREGE die moderne Prädikatenlogik, wobei
GOTTLOB FREGE (1848-1925) bildet u.a. den Ausgangspunkt der modernen Logik und der modernen Sprachphilosophie (sowie der analytischen Philosophie generell). Mit seiner „Begriffsschrift“ (1879) begründet FREGE die moderne Prädikatenlogik, wobei
Wenn man so will, ist das nach Prädikatenlogik der mathematische Beweis dafür, dass Merz als Kanzler ungeeignet ist.
Aber das muss jeder selbst entscheiden.
Aber das muss jeder selbst entscheiden.
February 8, 2025 at 4:27 AM
Wenn man so will, ist das nach Prädikatenlogik der mathematische Beweis dafür, dass Merz als Kanzler ungeeignet ist.
Aber das muss jeder selbst entscheiden.
Aber das muss jeder selbst entscheiden.
Oh goooosh prädikatenlogik hab ich gehasst in dem kurzen versuch eines studiums...
December 8, 2024 at 4:55 PM
Oh goooosh prädikatenlogik hab ich gehasst in dem kurzen versuch eines studiums...
Servicepost:
Die Gödelschen Unvollständigkeitssätze betreffen nicht die Aussagenlogik oder Prädikatenlogik 1. Stufe: Nicht JEDES formale System ist unvollständig - sondern nur "hinreichend mächtige" formale Systeme.
Klassischer Bezugspunkt ist die Arithmetik, wobei hier nicht einmal auf
Die Gödelschen Unvollständigkeitssätze betreffen nicht die Aussagenlogik oder Prädikatenlogik 1. Stufe: Nicht JEDES formale System ist unvollständig - sondern nur "hinreichend mächtige" formale Systeme.
Klassischer Bezugspunkt ist die Arithmetik, wobei hier nicht einmal auf
October 24, 2025 at 2:27 PM
Servicepost:
Die Gödelschen Unvollständigkeitssätze betreffen nicht die Aussagenlogik oder Prädikatenlogik 1. Stufe: Nicht JEDES formale System ist unvollständig - sondern nur "hinreichend mächtige" formale Systeme.
Klassischer Bezugspunkt ist die Arithmetik, wobei hier nicht einmal auf
Die Gödelschen Unvollständigkeitssätze betreffen nicht die Aussagenlogik oder Prädikatenlogik 1. Stufe: Nicht JEDES formale System ist unvollständig - sondern nur "hinreichend mächtige" formale Systeme.
Klassischer Bezugspunkt ist die Arithmetik, wobei hier nicht einmal auf
Wenn ich jetzt frage welche Prädikatenlogik du hattest mach ich mich unbeliebt wa?
June 27, 2024 at 10:08 PM
Wenn ich jetzt frage welche Prädikatenlogik du hattest mach ich mich unbeliebt wa?
Auch die vielen Teilgebiete der Mathematik sind natürlich Antifa. Hier eine Auswahl (gern ergänzen):
Punkt, Gerade, Fläche da — Geometrie-Antifa
Tautologisch: da weil da — Aussagenlogik-Antifa
Es gibt welche, die sind da — Prädikatenlogik-Antifa
In allen möglichen Welten da — Modallogik-Antifa
1/3
Punkt, Gerade, Fläche da — Geometrie-Antifa
Tautologisch: da weil da — Aussagenlogik-Antifa
Es gibt welche, die sind da — Prädikatenlogik-Antifa
In allen möglichen Welten da — Modallogik-Antifa
1/3
February 1, 2024 at 8:51 AM
Auch die vielen Teilgebiete der Mathematik sind natürlich Antifa. Hier eine Auswahl (gern ergänzen):
Punkt, Gerade, Fläche da — Geometrie-Antifa
Tautologisch: da weil da — Aussagenlogik-Antifa
Es gibt welche, die sind da — Prädikatenlogik-Antifa
In allen möglichen Welten da — Modallogik-Antifa
1/3
Punkt, Gerade, Fläche da — Geometrie-Antifa
Tautologisch: da weil da — Aussagenlogik-Antifa
Es gibt welche, die sind da — Prädikatenlogik-Antifa
In allen möglichen Welten da — Modallogik-Antifa
1/3
Heute beginnt offiziell das Sommersemester 2026 (wenngleich noch nicht die Vorlesungszeit)!
Was werde ich unterrichten?
1. Einführung in die formale Logik
(Es gibt einen Einblick in die logisch-semantische Propädeutik, die Aussagenlogik und die Prädikatenlogik.)
2. Was ist Wissenschaft?
(Im
Was werde ich unterrichten?
1. Einführung in die formale Logik
(Es gibt einen Einblick in die logisch-semantische Propädeutik, die Aussagenlogik und die Prädikatenlogik.)
2. Was ist Wissenschaft?
(Im
April 1, 2026 at 1:40 PM
Heute beginnt offiziell das Sommersemester 2026 (wenngleich noch nicht die Vorlesungszeit)!
Was werde ich unterrichten?
1. Einführung in die formale Logik
(Es gibt einen Einblick in die logisch-semantische Propädeutik, die Aussagenlogik und die Prädikatenlogik.)
2. Was ist Wissenschaft?
(Im
Was werde ich unterrichten?
1. Einführung in die formale Logik
(Es gibt einen Einblick in die logisch-semantische Propädeutik, die Aussagenlogik und die Prädikatenlogik.)
2. Was ist Wissenschaft?
(Im
😂Das war Prädikatenlogik.
Gehört zur Mathematik.
Gehört zur Mathematik.
November 18, 2025 at 7:17 AM
😂Das war Prädikatenlogik.
Gehört zur Mathematik.
Gehört zur Mathematik.
In Logik wurde gesagt das das Programierer*innen oft mega gut können
Philosophie war nur zu spezifizierung
Es geht um Folgerungen und demnächst soll noch Prädikatenlogik dazukommen
Philosophie war nur zu spezifizierung
Es geht um Folgerungen und demnächst soll noch Prädikatenlogik dazukommen
December 8, 2024 at 4:26 PM
In Logik wurde gesagt das das Programierer*innen oft mega gut können
Philosophie war nur zu spezifizierung
Es geht um Folgerungen und demnächst soll noch Prädikatenlogik dazukommen
Philosophie war nur zu spezifizierung
Es geht um Folgerungen und demnächst soll noch Prädikatenlogik dazukommen
prädikatenlogik hatte ich mal, das kam mir aber nicht sonderlich abweichend von dem was man logik nennt vor
June 27, 2024 at 10:05 PM
prädikatenlogik hatte ich mal, das kam mir aber nicht sonderlich abweichend von dem was man logik nennt vor
die Peano-Arithmetik geblickt werden muss. Die Grenzen gelten auch schon für Systeme der Robinson-Arithmetik.
Funfact: Die in der Sprache der Prädikatenlogik 1. Stufe formulierte Presburger-Arithmetik, die die natürlichen Zahlen mit Addition behandelt, ist von den Grenzen nicht betroffen.
Funfact: Die in der Sprache der Prädikatenlogik 1. Stufe formulierte Presburger-Arithmetik, die die natürlichen Zahlen mit Addition behandelt, ist von den Grenzen nicht betroffen.
October 24, 2025 at 2:27 PM
die Peano-Arithmetik geblickt werden muss. Die Grenzen gelten auch schon für Systeme der Robinson-Arithmetik.
Funfact: Die in der Sprache der Prädikatenlogik 1. Stufe formulierte Presburger-Arithmetik, die die natürlichen Zahlen mit Addition behandelt, ist von den Grenzen nicht betroffen.
Funfact: Die in der Sprache der Prädikatenlogik 1. Stufe formulierte Presburger-Arithmetik, die die natürlichen Zahlen mit Addition behandelt, ist von den Grenzen nicht betroffen.
Wer diese ⬆️ #Medienkritik zu einem konkreten Thema für zu #pauschal hält, möge bitte die Gegenbeispiele aufzeigen.
Denn eine Allaussage der Prädikatenlogik über die reale Welt kann fast nie bewiesen werden, hier sind stets diejenigen, die eine Existenzaussage behaupten, zum Beweis verpflichtet.
Denn eine Allaussage der Prädikatenlogik über die reale Welt kann fast nie bewiesen werden, hier sind stets diejenigen, die eine Existenzaussage behaupten, zum Beweis verpflichtet.
October 2, 2026 at 9:53 AM
Wer diese ⬆️ #Medienkritik zu einem konkreten Thema für zu #pauschal hält, möge bitte die Gegenbeispiele aufzeigen.
Denn eine Allaussage der Prädikatenlogik über die reale Welt kann fast nie bewiesen werden, hier sind stets diejenigen, die eine Existenzaussage behaupten, zum Beweis verpflichtet.
Denn eine Allaussage der Prädikatenlogik über die reale Welt kann fast nie bewiesen werden, hier sind stets diejenigen, die eine Existenzaussage behaupten, zum Beweis verpflichtet.
Happy Birthday Kurt Gödel (28.04.1906)
Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge zur Prädikatenlogik, zu den Beziehungen der intuitionistischen Logik und zur Relativitätstheorie.
www.spektrum.de/kolumne/goed...
Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge zur Prädikatenlogik, zu den Beziehungen der intuitionistischen Logik und zur Relativitätstheorie.
www.spektrum.de/kolumne/goed...
Die fabelhafte Welt der Mathematik: Gödels Unvollständigkeitssätze: Ein Schock für Mathematiker
Ende der Träumerei: Mathematik ist unvollständig
www.spektrum.de
April 28, 2024 at 6:39 AM
Happy Birthday Kurt Gödel (28.04.1906)
Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge zur Prädikatenlogik, zu den Beziehungen der intuitionistischen Logik und zur Relativitätstheorie.
www.spektrum.de/kolumne/goed...
Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge zur Prädikatenlogik, zu den Beziehungen der intuitionistischen Logik und zur Relativitätstheorie.
www.spektrum.de/kolumne/goed...
NA TOLL!
Warte, ich blitzdingse die Info jetzt hiermit aus den Gehirnen der Lesenden:
„Die von Gottlob Frege entwickelte axiomatische zweiwertige Prädikatenlogik ermöglicht eine kritische Analyse der exakten Wissenschaften und der Sprache.“
Bitteschön. 😌
Warte, ich blitzdingse die Info jetzt hiermit aus den Gehirnen der Lesenden:
„Die von Gottlob Frege entwickelte axiomatische zweiwertige Prädikatenlogik ermöglicht eine kritische Analyse der exakten Wissenschaften und der Sprache.“
Bitteschön. 😌
June 15, 2026 at 9:10 PM
NA TOLL!
Warte, ich blitzdingse die Info jetzt hiermit aus den Gehirnen der Lesenden:
„Die von Gottlob Frege entwickelte axiomatische zweiwertige Prädikatenlogik ermöglicht eine kritische Analyse der exakten Wissenschaften und der Sprache.“
Bitteschön. 😌
Warte, ich blitzdingse die Info jetzt hiermit aus den Gehirnen der Lesenden:
„Die von Gottlob Frege entwickelte axiomatische zweiwertige Prädikatenlogik ermöglicht eine kritische Analyse der exakten Wissenschaften und der Sprache.“
Bitteschön. 😌
Nein. Er behauptet, daß das freirubbeln ein (!) notwendiger Schritt zum abmelden ist. Jeder, der es anders lesen kann, hat ein massives Problem mit Prädikatenlogik.
(Der Klugscheißer weiß, das der Ursprungsbeitrag auch logisch falsch ist. Wenn ich zum Amt gehe muss ich den Code nicht freirubbeln)
(Der Klugscheißer weiß, das der Ursprungsbeitrag auch logisch falsch ist. Wenn ich zum Amt gehe muss ich den Code nicht freirubbeln)
July 18, 2024 at 6:26 PM
Nein. Er behauptet, daß das freirubbeln ein (!) notwendiger Schritt zum abmelden ist. Jeder, der es anders lesen kann, hat ein massives Problem mit Prädikatenlogik.
(Der Klugscheißer weiß, das der Ursprungsbeitrag auch logisch falsch ist. Wenn ich zum Amt gehe muss ich den Code nicht freirubbeln)
(Der Klugscheißer weiß, das der Ursprungsbeitrag auch logisch falsch ist. Wenn ich zum Amt gehe muss ich den Code nicht freirubbeln)
15/15
Aussagenlogik gelten auch für Prädikatenlogik, wobei hier nun noch einige wenige hinzukommen, um in Beweisen die Quantoren einführen oder beseitigen zu können.
Aussagenlogik gelten auch für Prädikatenlogik, wobei hier nun noch einige wenige hinzukommen, um in Beweisen die Quantoren einführen oder beseitigen zu können.
July 13, 2025 at 2:42 PM
15/15
Aussagenlogik gelten auch für Prädikatenlogik, wobei hier nun noch einige wenige hinzukommen, um in Beweisen die Quantoren einführen oder beseitigen zu können.
Aussagenlogik gelten auch für Prädikatenlogik, wobei hier nun noch einige wenige hinzukommen, um in Beweisen die Quantoren einführen oder beseitigen zu können.
1/2
Die Gödelschen Unvollständigkeitssätze betreffen nicht die Aussagenlogik oder Prädikatenlogik 1. Stufe: Nicht JEDES formale System ist unvollständig - sondern nur hinreichend mächtige formale Systeme.
Klassischer Bezugspunkt ist die Arithmetik, wobei hier nicht einmal auf die Peano-Arithmetik
Die Gödelschen Unvollständigkeitssätze betreffen nicht die Aussagenlogik oder Prädikatenlogik 1. Stufe: Nicht JEDES formale System ist unvollständig - sondern nur hinreichend mächtige formale Systeme.
Klassischer Bezugspunkt ist die Arithmetik, wobei hier nicht einmal auf die Peano-Arithmetik
January 28, 2025 at 1:22 PM
1/2
Die Gödelschen Unvollständigkeitssätze betreffen nicht die Aussagenlogik oder Prädikatenlogik 1. Stufe: Nicht JEDES formale System ist unvollständig - sondern nur hinreichend mächtige formale Systeme.
Klassischer Bezugspunkt ist die Arithmetik, wobei hier nicht einmal auf die Peano-Arithmetik
Die Gödelschen Unvollständigkeitssätze betreffen nicht die Aussagenlogik oder Prädikatenlogik 1. Stufe: Nicht JEDES formale System ist unvollständig - sondern nur hinreichend mächtige formale Systeme.
Klassischer Bezugspunkt ist die Arithmetik, wobei hier nicht einmal auf die Peano-Arithmetik