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
    Carnap's so-called 'syntactic' method in the Logical Synt... — Carmelics
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Home/Philosophy of Language
    HistoryEditSee Inverse

    Carnap's so-called 'syntactic' method in the Logical Syntax actually includes much of what should properly be called semantics

    Philosophy of Language
    ?Rate how convincing each reason is below to see the overall strength.
    1 reason for
    2 reasons against

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Languages I and II are interpreted languages, not formal languages in the modern sense
      ?

      Think about whether this reason is strong or weak

    • 2.While the syntactic method requires disregarding interpretations, a fixed interpretation implicitly remains in place throughout
      ?

      Think about whether this reason is strong or weak

    • 3.Carnap himself later recognized that his 'syntax' included much of what he would later call 'semantics'
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    2 perspectives
    Reason against 1 of 2
    ?
    • 1.Carnap's c-terms are defined purely by derivability relations within a calculus, requiring no reference to truth in a model or domain of objects.
      ?

      Think about whether this reason is strong or weak

    • 2.The absence of a Tarskian satisfaction relation—not the presence of intended interpretation—is the principled criterion distinguishing syntax from semantics.
      ?

      Think about whether this reason is strong or weak

    • 3.Therefore, that Languages I and II have intended readings does not entail their governing metalanguage employs genuinely semantic concepts in the post-Tarskian sense.
      ?

      Think about whether this reason is strong or weak

    Reason against 2 of 2
    ?
    • 1.Carnap's retrospective concession in 'Introduction to Semantics' that his earlier 'syntax' contained semantic elements reflects his own later terminological stipulations, not a discovery of error.
      ?

      Think about whether this reason is strong or weak

    • 2.Judging Logical Syntax by semantic vocabulary Carnap had not yet developed conflates a subsequent redescription of a framework with evidence that the framework was semantically committed all along.
      ?

      Think about whether this reason is strong or weak

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

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.

    Topics

    Philosophy of Language

    Related

    Carnap himself later recognized that his 'syntax' included much of what he would...Carnap's c-terms are defined purely by derivability relations within a calculus,...Carnap's retrospective concession in 'Introduction to Semantics' that his earlie...Judging Logical Syntax by semantic vocabulary Carnap had not yet developed confl...
    +5 moreShow less
    Languages I and II are interpreted languages, not formal languages in the modern...The absence of a Tarskian satisfaction relation—not the presence of intended int...The c-terms (consequence, valid, contravalid, synonymous) that Carnap classifies...Therefore, that Languages I and II have intended readings does not entail their ...While the syntactic method requires disregarding interpretations, a fixed interp...

    Similar

    The Tarskian/Davidsonian approach to semantics is parsimonious compare...82%King's syntactic approach represents one such broadly syntactic soluti...81%Mental contents require genuine semantics, not merely syntactic manipu...81%Natural logic is closer to Montagovian semantics than to FOL-based app...80%

    Source

    AI-extracted1/3 agreementValid
    SEP: carnap
    View source passageHide passage
    That the main concepts of deductive logic (“e.g., provability, derivability from given premises, logical independence, etc”.) are purely syntactical was argued primarily by showing how they could be defined in two exemplary languages without reference to the meanings of any terms. Language I is a form of primitive recursive arithmetic, and was intended to exemplify a constructivist kind of language, while Language II contains classical mathematics. (In modern terminology, both of these “language
    Extraction notes

    Validity: Extracted via Max plan + API grounding/validity checks

    Details

    Type
    claim
    Perspectives
    3 (1 for, 2 against)
    Edits
    1 edit