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
    Ancient Chinese texts lack explicit formalization of prop... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→A structured taxonomy of inferential grounds constitutes a formal logical apparatus; Hansen and Graham both acknowledge Mohist inference rules operate over propositional structures, not merely semantic resemblances.

    Ancient Chinese texts lack explicit formalization of propositional logic comparable to Aristotelian or modern systems, making 'formal logical apparatus' a potentially anachronistic imposition.

    ?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

    Ancient Chinese texts(as the subject being compared to Western logic)
    Early Chinese philosophical and logical writings, such as those from Confucianism and Daoism, that developed their own ways of reasoning about truth and meaning.
    Aristotelian logic(the statement compares it to other logical systems)
    The system of reasoning developed by the ancient Greek philosopher Aristotle, based on organizing statements into categories and drawing conclusions through a structured process called syllogisms.
    Formal logical apparatus(describing the tools used in logic)
    A structured system of rules and symbols used to test whether arguments are valid and conclusions follow from their starting points.
    Formalization(describing what Frege did with existence)
    The process of taking an idea and expressing it precisely using logical symbols and strict rules, like translating messy everyday language into mathematical logic.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    anachronistic(describing the conservative longing for the past)
    Something that belongs to an earlier time period and is out of place or outdated in the current era.
    propositional logic(Attributed to the Stoics as their advance beyond Aristotle)
    A branch of logic concerned with complex statements composed of complete propositions as parts, connected by logical connectives such as negation, conjunction, disjunction, and conditionals.

    Connections

    1 linked claim

    A structured taxonomy of inferential grounds constitutes a formal logical appara...

    Related

    A structured taxonomy of inferential grounds constitutes a formal logical appara...

    Details

    Type
    premise
    Perspectives
    0 (0 for, 0 against)

    Open for perspectives

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

    Share the first perspective