Skip to content
Carmelics
TopicsThinkersChangesContributorsLoading account…

    Carmelics

    A reasoning platform. Break down any belief into clear reasons, explore both sides, and weigh the evidence honestly.

    Navigate

    • Topics
    • Search
    • Recent Changes
    • Contribute
    • How It Works
    • Glossary
    • Thinkers
    • Contributors
    • About
    • Statistics
    • Terms
    • Privacy

    Database

    Statements
    —
    Perspectives
    —
    Topics
    —

    Press ? for keyboard shortcuts

    LoyalLoyalJusticeJustice
    Made withinDC&Austin
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Józef Bocheński — Carmelics
    Thinkers/Józef Bocheński
    JB

    Józef Bocheński

    contemporaryAnalytic Philosophy, Thomism, Mathematical Logic

    1902 – 1995

    Józef Maria Bocheński (1902–1995) was a Polish Dominican friar, mathematical logician, and analytic philosopher who applied formal logic to philosophical, theological, and political problems. He made foundational contributions to the history of logic and was a leading figure in the application of symbolic logic to metaphysics and the philosophy of religion. His work bridged Thomistic scholasticism and twentieth-century analytic philosophy.

    WWikipedia

    Notable Achievements

    1

    Authored 'A History of Formal Logic' (1956), a landmark survey of logic from antiquity through the modern period

    2

    Developed a formal logical analysis of authority in 'The Logic of Authority' (1974)

    3

    Applied symbolic logic to philosophy of religion in 'The Logic of Religion' (1965)

    4

    Conducted systematic logical critique of Soviet Marxism in 'Der sowjetrussische dialektische Materialismus' (1950)

    5

    Cofounded the journal Studia Logica and helped establish the analytic tradition in postwar European philosophy

    Positions & Arguments(1)

    Modality & Possibility

    claim

    The second 'broad assumption' (¬p ∧ ¬Fp) → P¬Fp is not true when p refers to a future contingency

    Free Will & Foreknowledge

    claim

    The second 'broad assumption' (¬p ∧ ¬Fp) → P¬Fp is not true when p refers to a future contingency

    At a Glance

    Ideas

    1

    Topics

    2

    Era

    contemporary

    Tradition

    Analytic Philosophy, Thomism, Mathematical Logic

    Topic Influence

    Free Will & Foreknowledge1
    Modality & Possibility1

    Related Thinkers

    David Lewis2 sharedImmanuel Kant2 sharedKenny2 sharedDavid Hume2 sharedPlato2 sharedAristotle2 sharedIsaac Newton2 sharedPeter van Inwagen2 shared

    Dive Deeper

    Explore Free Will & Foreknowledge→See Modality & Possibility→