W artykule przedstawiono koncepcję filozofii in silico wraz z implementacją tej idei do fragmentów Etyki Barucha Spinozy. Zbudowano model deklaratywny w języku Prolog. Sprawdzono jego zgodność z danym fragmentem metafizyki Spinozy. Zaproponowano dalszy rozwój deklaratywnego modelowania w filozofii w kierunku dydaktycznym lub teoretycznym.

The author recounts his part in the Warsaw Uprising through the prism of general human concepts like brotherhood, death, faith, freedom, memory, etc. in an attempt to show what such ideals meant for his comrades in battle and himself, how they functioned in later years—and how they influenced his generation's world outlook and life. For Strzelecki the Warsaw Uprising stood in defense of supreme human values, was a necessity without which there would have been no hope of survival either for (...) human values or the Polish nation. (shrink)

W artykule przedstawiam i wyjaśniam graficzną metodę przeprowadzania logicznych dowodów - prawdokrzew. Swoją prezentację ograniczyłem do klasycznego rachunku zdań. Artykuł jest również propozycją polskiego tłumaczenia pojęć występujących w tej metodzie. Tak dobrałem polską terminologię, aby przez wywoływanie emocjonalnych obrazów omawiana metoda stała się bardziej zrozumiała i łatwiejsza do zapamiętania.