Algebraische Methoden in der philosophischen Logik

Originaltitel:

Algebraic Methods in Philosophical Logic

Inhalt des Buches:

Dieser umfassende Text zeigt, wie verschiedene Begriffe der Logik als Begriffe der universellen Algebra betrachtet werden können. Er richtet sich in erster Linie an Logiker aus den Bereichen Mathematik, Philosophie, Informatik und Linguistik, die sich für algebraische Logik interessieren, ist aber auch für Personen mit nicht-logistischem Hintergrund zugänglich.

Der Text geht von der Prämisse aus, dass algebraische Standardergebnisse (Darstellungen) in logische Standardergebnisse (Vollständigkeit) übersetzt werden können, und er identifiziert Klassen von Algebren, die für klassische und nicht-klassische Logikstudien geeignet sind, darunter: Gaggles, Distributoide, Partialgaggles und Tonoide. Außerdem wird die Idee erörtert, dass die Logik grundsätzlich informationsbasiert ist, wobei ihre Hauptelemente Propositionen sind, die als Mengen von Informationszuständen verstanden werden können. Die Logik wird in verschiedenen Formen betrachtet, z.

B. als System von Theoremen, Folgerelationen und symmetrischen Folgerelationen.