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
    John Wallis — Carmelics
    Thinkers/John Wallis
    John Wallis

    John Wallis

    modernEarly Modern Philosophy, Reformed Scholasticism

    1616 – 1703

    John Wallis (1616–1703) was an English mathematician, logician, and theologian whose work bridged early modern mathematics and philosophical theology. He made foundational contributions to infinitesimal calculus and symbolic algebra, and engaged with debates in modal and temporal logic as part of his broader theological interests. As a ordained minister and Savilian Professor of Geometry at Oxford, he occupied an unusual position at the intersection of mathematical rigor and scholastic metaphysics.

    WWikipedia

    Notable Achievements

    1

    Introduced the lemniscate symbol ∞ for infinity in Arithmetica Infinitorum (1656)

    2

    Developed methods of indivisibles that directly influenced Newton's calculus

    3

    Co-founder of the Royal Society (1660)

    4

    Contributed to the analysis of temporal and modal propositions in the context of future contingents

    5

    Served as chief cryptographer for the Parliamentarian cause during the English Civil War

    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

    modern

    Tradition

    Early Modern Philosophy, Reformed Scholasticism

    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→