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
    We need a Begriffsschrift, distinct from natural language... — Carmelics
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Home/Philosophy of Language
    HistoryEditSee Inverse

    We need a Begriffsschrift, distinct from natural languages, to depict the structures of propositions expressed by ordinary sentences.

    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.Frege's logic handles a wide range of inferences (such as the valid inference from 'every young doctor' to 'every doctor' in the patient-doctor example) that had puzzled medieval logicians.
      ?

      Think about whether this reason is strong or weak

    • 2.The Fregean logical forms seem to differ dramatically from the grammatical forms of ordinary sentences like (13–16).
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    2 perspectives
    Reason against 1 of 2
    ?
    • 1.Wittgenstein's later work shows that meaning is constituted by rule-governed use within practices, not by hidden logical structures underlying surface grammar.
      ?

      Think about whether this reason is strong or weak

    • 2.Frege's puzzle cases (e.g., 'every young doctor') can be resolved by attending carefully to the inferential norms already operative in natural language without positing a distinct formal language.
      ?

      Think about whether this reason is strong or weak

    • 3.Positing a Begriffsschrift as the true bearer of propositional structure presupposes a picture theory of meaning that the ordinary language tradition has given substantial independent reasons to reject.
      ?

      Think about whether this reason is strong or weak

    Reason against 2 of 2
    ?
    • 1.Montague demonstrated that natural language has a rigorous compositional semantics expressible within intensional type theory without recourse to a separate Begriffsschrift.
      ?

      Think about whether this reason is strong or weak

    • 2.If natural language itself admits formal semantic treatment via lambda abstraction and type-theoretic composition, the gap between grammatical and logical form collapses.
      ?

      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

    Frege's logic handles a wide range of inferences (such as the valid inference fr...Frege's puzzle cases (e.g., 'every young doctor') can be resolved by attending c...If natural language itself admits formal semantic treatment via lambda abstracti...Montague demonstrated that natural language has a rigorous compositional semanti...
    +3 moreShow less
    Positing a Begriffsschrift as the true bearer of propositional structure presupp...The Fregean logical forms seem to differ dramatically from the grammatical forms...Wittgenstein's later work shows that meaning is constituted by rule-governed use...

    Similar

    The very possibility of such meaningful sentences requires proposition...82%Speakers typically mean to convey propositions other than the one lite...79%The logico-linguistic structure of propositions can be used to represe...79%The contents of sentences—what sentences express—are known as proposit...79%

    Source

    AI-extracted1/3 agreementValid
    SEP: logical-form
    View source passageHide passage
    For suppose it is false that some individual has the following conjunctive property: he\(x\) is a patient; and he\(x\) saw every young doctor (i.e., every individual\(y\) is such that if she\(y\) is a young doctor, then he\(x\) saw her\(y\)); and he\(x\) is healthy. Then intuitively, and also given the rules of Frege’s logic, it is false that some individual has the following conjunctive property: he\(x\) is a patient; and he\(x\) saw every doctor; and he\(x\) is healthy. This captures the fact
    Extraction notes

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

    Details

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