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
    The semantic bridge between a formal calculus and its phy... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

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

    The semantic bridge between a formal calculus and its physical application requires a substantive model-theoretic account that Carnap's deflationary, syntax-first approach is structurally prohibited from supplying.

    ?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(philosopher who extended Frege's ideas)
    An Austrian-American philosopher (1891–1970) who built on Frege's ideas and developed new ways of thinking about meaning and logic in formal languages.
    Deflationary approach(as used in philosophy of language)
    A way of thinking that tries to minimize or reduce something to its simplest form—in this case, treating meaning as just about logical symbols and rules rather than deeper reality.
    Semantic bridge(as used in philosophy of language and logic)
    A connection between abstract symbols or rules and what they actually mean or refer to in the real world.
    Structurally prohibited(as used in logic and philosophy)
    Something that a system or approach is fundamentally incapable of doing because of how it's built or organized.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Syntax-first(as used in philosophy of language)
    Prioritizing the structure and rules of a language or system (how symbols fit together) over what those symbols actually mean or refer to.
    formal calculus(as used in logic and philosophy of science)
    A system of rules and symbols (like math) that lets you work through problems step-by-step without having to think about what the symbols mean.
    model-theoretic(mathematical logic)
    Related to the study of how logical symbols and formulas correspond to real structures and meanings (rather than just abstract rules).

    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