Józef Maria Bochenski (geb. 1902)

Der polnische Philosoph und Logiker studierte zunächst Wirtschaftswissenschaften, später Theologie und wurde 1934 Dozent für Logik an der Dominikanerhochschule Angelicum in Rom. Er wird zur Lwow-Warschau-Schule gezählt und gehörte dem Krakower Kreis an.

1946 wurde er Professor für Philosophie der Gegenwart an der Universität Freiburg (Schweiz).

Über den Neuthomismus und die Phänomenologie kam er zur analytischen Philosophie.

Sein Interesse galt neben der Geschichte der Logik vor allem der Metalogik und der Anwendung der Logik auf philosophische, sprachwissenschaftliche und theologische Probleme.

So untersuchte er die Theorie der Universalien bei Thomas von Aquin, den Begriff der Kausalität bei den Neoscholastikern und die Geschichte der Modallogik.

Er vertrat wie &;ukasiewicz, Ajdukiewicz und Borowski nominalistische Positionen und untersuchte u. a. die Begriffe Autorität, katholischer Rationalismus und Irrationalismus sowie den kausalen Gottesbeweis und die Analogie.

Online-Texte

• On logical "relativism" (1937)

Weblinks

• Polish Philosophy Page (engl.)
• Biographie

Dmitri Analtoljewitsch Bocvar

Der Logiker D. A. Bocvar befasste sich vor allem mit dem Problem der Paradoxa, das von ihm auf der terminologischen Ebene eines erweiterten Prädikatenkalküls gelöst wird.

Ein zentrales Ergebnis der mehrwertigen Logik ist seine Anwendung dreiwertiger Systeme auf die Diskussion der Antinomien, wobei der dritte Wahrheitswert als sinnlos gedeutet wurde [1].

Bei Bocvar geht es um die Analyse logischer und semantischer Antinomien, die in Logiken höherer Stufen bei unkritischem Gebrauch des Komprehensionsprinzips bzw. von metalogischen Begriffen auftreten können. Deswegen interpretierte er in seinen dreiwertigen Systemen den zusätzlichen Wahrheitswert als sinnlos, paradox, bedeutungslos, unsinnig. Er interpretiert die Quasiwahrheitswerte 1, 0 als die Wahrheitswerte W, F. 1 ist der einzige ausgezeichnete Quasiwahrheitswert.

Bocvar unterscheidet zwischen inneren Wahrheitswertfunktionen und äußeren Wahrheitswertfunktionen.

---

[1] Bocvar, D. A.: Ob odnom trechznacnom iscislenii i ego primenenii ik analizu paradoksov klassiceskogo rasširennogo funkcional’nogo iscislenija. Matematiceskij Sbornik 46 (1938) 12, 287 – 308

Eduard Bernstein (1850 – 1932)

Bernstein wurde in der Familie eines Lokführers geboren, besuchte das Gymnaisum und lernte in einem Berliner Bankhaus.

Zeitweise stand er unter dem Einfluss der Ansichten Dührings.

1879 veröffentlichte er gemeinsam mit Karl Höchberg und Karl Schramm das Credo Rückblicke auf die sozialistische Bewegung in Deutschland.

Nach 1895 floßen zunehmend Auffassungen der Marburger Schule vermittelt durch die Arbeiten von Ludwig Woltmann, Franz Staudinger und Conrad Schmidt in seine Konzeption ein.

Everett Willem Beth (1908 – 1964)

Der niederländische Mathematiker und Logiker Everett Willem Beth befasste sich vor allem mit logisch-philosophische Fragen der Mathematik. Insbesondere untersuchte er Fragen der semantischen Interpreation der intuitionistischen Logik.

Von Beth stammt die Methode des semantischen Tableaus. Er untersuchte die Vollständigkeitsproblematik des zweiwertigen Prädikatenkalküls und fand eine topologische Beweisvariante für das Gödel-Malzew-Theorem.

Beth forschte auch zur Geschichte der Logik.

Johann Erich Biester (1749 – 1816)

Johann Erich Biester ist ein Vertreter der Popularphilosophie.