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
    Carnap's syntactic frameworks, as purely formal rule-gove... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Supports→Carnap's formalist position has not adequately answered the problem of applicability of mathematics

    Carnap's syntactic frameworks, as purely formal rule-governed calculi, cannot themselves specify which physical domain a given mathematical structure maps onto, leaving the correspondence relation unexplained.

    ?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

    Carnap
    Rudolf Carnap (1891-1970) was a highly influential German-American philosopher who believed that many traditional philosophical problems could be solved by carefully analyzing the language we use to talk about them. He pioneered the idea that philosophy should work closely with science and mathematics, using precise logical methods to clarify confused thinking. His work fundamentally changed how philosophers approach their discipline, making language analysis and logical rigor central to philosophical practice.
    Formal rule-governed calculi(how syntactic frameworks operate)
    A purely abstract system with strict, precisely-defined rules (like the rules of math) that tells you how to manipulate symbols, without any connection to the real world yet.
    Maps onto(logic and mathematics in philosophy)
    Corresponds to or matches up with; when one thing 'maps onto' another, there's a systematic relationship between them.
    Mathematical structure(what structural realists claim is what we actually know about reality)

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    The abstract patterns, equations, and relationships that describe how something works, stripped of real-world details.
    Physical domain(what a mathematical structure is supposed to represent)
    A specific part of the actual physical world—like a particular set of objects, events, or measurements—that we're trying to understand or describe.
    Syntactic frameworks(one of the things linguists revise)
    Overall systems or theories that explain the rules for how words combine together to make grammatically correct sentences.
    correspondence relation(correspondence theory of truth)
    A relation between truthbearers and the world that, on this objection, is construed as requiring resemblance

    Connections

    2 topics

    Truth & Knowledge1 linkedPhilosophy of Language1 linked

    Related

    Carnap's formalist position has not adequately answered the problem of applicabi...

    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