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
    Priest and Berto's work on impossible worlds shows that f... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Supports→Van Inwagen has not shown the logical possibility of any Trinity theory.

    Priest and Berto's work on impossible worlds shows that formal consistency within a non-classical logic does not preclude the described scenario from obtaining in no possible world.

    ?Rate how convincing each reason is below to see the overall strength.

    No one has weighed in yet. Be the first to share reasons for or against this statement.

    Sign in or register to share your perspective on this statement.

    Key Terms

    Berto(as a philosopher who built on Rantala's work)
    Francesco Berto, a contemporary philosopher who developed and expanded impossible-worlds semantics further, making it more useful for analyzing belief and knowledge.
    Formal consistency(what the argument contrasts with explanatory success)
    Whether a system of logic or mathematics follows its own rules without contradiction—if the rules don't contradict each other, the system is consistent.
    Non-classical logic(the type of logical infrastructure involved)
    A system of reasoning that doesn't follow the traditional rules of logic (like the law of contradiction); these are alternatives developed to handle special cases or problems that regular logic struggles with.
    Priest
    A priest is a religious official who has been ordained or formally appointed to lead spiritual ceremonies and guide people in their faith. Priests typically perform rituals like weddings, funerals, and religious services, and they often serve as counselors and teachers within their religious community. The specific duties and authority of a priest vary depending on the religion—for example, Catholic priests administer sacraments, while Protestant ministers may have different roles.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    impossible worlds(Rantala 1982)
    A modification to the semantics of epistemic logic in which worlds where logical laws fail are admitted, used to avoid the logical omniscience problem
    obtaining(as used in formal philosophy)
    To exist or be true; a formal way of saying 'to hold' or 'to actually happen'.
    possible world(Leibniz's account of modality; 'existence' of possible worlds is shorthand for compossibility, not literal existence)
    A set of compossible essences — a maximal collection of individual natures that can co-exist without contradiction

    Connections

    1 topic

    Trinity1 linked

    Related

    Van Inwagen has not shown the logical possibility of any Trinity theory.

    Details

    Type
    claim
    Perspectives
    0 (0 for, 0 against)
    Edits
    1 edit

    Open for perspectives

    This idea is waiting for its first supporting or challenging perspective.

    Share the first perspective