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
    Jan Łukasiewicz — Carmelics
    Thinkers/Jan Łukasiewicz
    JŁ

    Jan Łukasiewicz

    contemporaryAnalytic Philosophy, Mathematical Logic, Lvov-Warsaw School

    1878 – 1956

    Jan Łukasiewicz (1878–1956) was a Polish logician and philosopher, one of the founders of the Lvov-Warsaw School and a pioneer of modern mathematical logic. He is best known for inventing Polish notation (prefix notation) and developing multi-valued logics, including his three-valued logic designed to handle future contingents and the problem of determinism.

    WWikipediaSEPStanford EncyclopediaIEPInternet Encyclopedia

    Notable Achievements

    1

    Developed Łukasiewicz three-valued logic (Ł3) as a formal response to the problem of future contingents

    2

    Invented Polish (prefix) notation, a parenthesis-free logical notation still used in computer science

    3

    Co-founded the Lvov-Warsaw School, one of the most influential analytic philosophy movements of the 20th century

    4

    Produced landmark historical-critical work on Aristotle's syllogistic and the principle of non-contradiction

    5

    Developed a family of many-valued logics (Łn and Łω) generalizing classical bivalent logic

    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, Mathematical Logic, Lvov-Warsaw School

    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→