Barbara Stanosz, Wprowadzenie do logiki formalnej

Wybrane zagadnienia metodologii nauk, naukoznawstwa i informacji naukowej.

Podręcznik logiki języka naturalnego, wydanie IV.

Dzieło, które nazywano "podręcznikiem" a jednocześnie traktowano jako wykład filozofii, która zasługuje - jak każde indywidualna teoria - na polemikę i krytykę. Pół tysiąca stron rozważań o języku, teorii poznania, logice formalnej, metodologii nauk, reizmie. Od swego pierwszego wydania we Lwowie w 1929 roku, przez wydanie drugie we Wrocławiu, w 1961 roku, po wydanie oferowane, książka przeszła wiele modyfikacji, redakcji i uzupełnień.

Badania logiczne. Tom I: "Prolegomena do czystej logiki". Dla filozofów zawodowych rzecz, której doniosłość wszyscy podnoszą (zgodność u filozofów rzadko spotykana), a dla amatorów rzecz, której obecność na półce wszyscy doceniają.

Podtytuł: Wstęp do metateorii standardowej logiki pierwszego rzędu.

Logiczna analiza języka religii - formalne zasady dyskursu religijnego. Zakonnik i filozof analityczny w jednej osobie na tropie racjonalności religii. Analityczna filozofia chrześcijańska. Jeden z najwybitniejszych polskich filozofów i patriotów, żołnierz w sensie dosłownym i w sensie przenośnym - bojownik prawdy. Znienawidzony przez lewicę bezkompromisowy krytyk ich zaczadzenia intelektualnego i ich intelektualnej miernoty ("zgniłki" - przedstawiciele rozkładającego się społeczeństwa). Bezlitosny w obnażania antyintelektualnego, irracjonalnego i zbrodniczego charakteru ideologii (i filozofii) wyrosłych z filozofii Marksa. Dziełko - "Logika religii" - małe, ale wiele ważące intelektualnie i duchowo. Każdy, kto ma pretensje do racjonalizmu powinien znać pisma O. Bocheńskiego. Racjonalizm w służbie religii: katolicyzm jest racjonalnością. Prawda objawiona jest prawdą. Ludzki rozum poznający Boga jest rozumem. Reszta nie jest (niestety) milczeniem - jest czymś znacznie gorszym: jest "zabobonem" (por. "Sto zabobonów" tegoż autora).