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
    Peter of Spain — Carmelics
    Thinkers/Peter of Spain
    Po

    Peter of Spain

    medievalScholasticism

    1205 – 1277

    Peter of Spain (Petrus Hispanus, c. 1205–1277) was a Portuguese scholastic philosopher, logician, and physician who later became Pope John XXI. He is best known for his Summulae Logicales, one of the most widely used logic textbooks in medieval European universities, which systematized Aristotelian logic and introduced influential terminology in the study of supposition theory and the properties of terms.

    WWikipediaSEPStanford Encyclopedia

    Notable Achievements

    1

    Authored the Summulae Logicales, the dominant logic textbook in medieval universities for over two centuries

    2

    Developed and systematized supposition theory, a key tool in medieval semantic analysis

    3

    Advanced the study of the properties of terms (proprietates terminorum) within Aristotelian logic

    4

    Served as Pope John XXI (1276–1277), the only Portuguese pope in history

    5

    Wrote medical treatises, including the Thesaurus Pauperum, reflecting his dual career in philosophy and medicine

    Positions & Arguments(2)

    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

    Philosophy of Language

    claim

    Lefèvre used mathematics to clarify and exemplify Aristotelian physical concepts rather than to make natural philosophy mathematical.

    Truth & Knowledge

    claim

    Lefèvre used mathematics to clarify and exemplify Aristotelian physical concepts rather than to make natural philosophy mathematical.

    At a Glance

    Ideas

    2

    Topics

    4

    Era

    medieval

    Tradition

    Scholasticism

    Topic Influence

    Truth & Knowledge1
    Free Will & Foreknowledge1
    Modality & Possibility1
    Philosophy of Language1

    Related Thinkers

    David Lewis4 sharedImmanuel Kant4 sharedAristotle4 sharedDavid Hume4 sharedPlato4 sharedRudolf Carnap4 sharedIsaac Newton4 shared

    Dive Deeper

    Explore Truth & Knowledge→See Free Will & Foreknowledge→
    Ludwig Wittgenstein4 shared