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
    Propositions have parts that correspond to functions, spe... — Carmelics
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Home/Philosophy of Language
    HistoryEditSee Inverse

    Propositions have parts that correspond to functions, specifically conditional functions that map arguments onto special values reflecting truth or falsity.

    Philosophy of LanguageTruth & Knowledge
    ?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 held that propositions have parts that correspond to functions.
      ?

      Think about whether this reason is strong or weak

    • 2.Frege held that these include conditional functions mapping arguments onto values reflecting the truth or falsity of propositions/sentences.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    2 perspectives
    Reason against 1 of 2
    ?
    • 1.Davidson argued that truth conditions for propositions are given by T-sentences, not by functions mapping arguments onto Fregean truth-values.
      ?

      Think about whether this reason is strong or weak

    • 2.If Tarski's semantic theory adequately captures propositional truth without positing abstract truth-values as objects, Frege's functional ontology is explanatorily redundant.
      ?

      Think about whether this reason is strong or weak

    • 3.Quine's criterion of ontological commitment gives us principled grounds to reject abstract truth-values as unnecessary posits in a parsimonious semantic theory.
      ?

      Think about whether this reason is strong or weak

    Reason against 2 of 2
    ?
    • 1.Wittgenstein's Tractatus shows propositions are pictures of facts, not function-argument structures mapping onto truth-values.
      ?

      Think about whether this reason is strong or weak

    • 2.The picture theory entails that logical form is shown, not said, making functional decomposition a category error.
      ?

      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 LanguageTruth & Knowledge

    Related

    Davidson argued that truth conditions for propositions are given by T-sentences,...Frege held that propositions have parts that correspond to functions.Frege held that these include conditional functions mapping arguments onto value...If Tarski's semantic theory adequately captures propositional truth without posi...
    +3 moreShow less
    Quine's criterion of ontological commitment gives us principled grounds to rejec...The picture theory entails that logical form is shown, not said, making function...Wittgenstein's Tractatus shows propositions are pictures of facts, not function-...

    Similar

    Frege held that these include conditional functions mapping arguments ...86%Frege held that propositions have parts that correspond to functions.79%Proposition-parts are subsentential ways of presenting functions and a...78%A particular argument goes together with a function (not a set) to mak...75%

    Source

    AI-extracted1/3 agreementValid
    SEP: logical-form
    View source passageHide passage
    For purposes of capturing valid arguments concerning relations, the more important point is that functions need not be unary. For example, arithmetic division can be represented as a function from ordered pairs of numbers onto quotients: \(Q(x, y) = \frac{x}{y}\). Mappings can also be conditional. Consider the function that maps every even integer onto itself, and every odd integer onto its successor: \(C(x) = x\) if \(x\) is even, and \(x + 1\) otherwise; \(C(1) = 2\), \(C(2) = 2\), \(C(3) = 4\
    Extraction notes

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

    Details

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