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
    Lange's argument is undermined by its reliance on a probl... — Carmelics
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Home/Philosophy of Language
    HistoryEditSee Inverse

    Lange's argument is undermined by its reliance on a problematic notion of identity of proofs

    Philosophy of LanguageTruth & Knowledge
    ?Rate how convincing each reason is below to see the overall strength.
    0 reasons for
    1 reason against

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Lange's argument requires presupposing a notion of identity of proofs
      ?

      Think about whether this reason is strong or weak

    • 2.An alternative criterion of identity of proofs can be spelled out using homotopy type theory and algebraic representatives
      ?

      Think about whether this reason is strong or weak

    • 3.The alternative criterion calls into question Lange's presupposed notion of identity of proofs
      ?

      Think about whether this reason is strong or weak

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

    Topics

    Philosophy of LanguageTruth & Knowledge

    Connections

    Next step

    Based on where you are in your exploration

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

    2 topics

    Causation1 linkedModality & Possibility1 linked

    Related

    An alternative criterion of identity of proofs can be spelled out using homotopy...Lange's argument requires presupposing a notion of identity of proofsThe alternative criterion calls into question Lange's presupposed notion of iden...

    Similar

    Lange's argument requires presupposing a notion of identity of proofs92%Church's argument poses a genuine paradox of identity85%The alternative criterion calls into question Lange's presupposed noti...83%If identity is necessary, a theory committed to Hesperus is automatica...80%

    Source

    AI-extracted1/3 agreementValid
    SEP: mathematics-explanation
    View source passageHide passage
    Lange’s argument has been also contested in several recent articles such as Hoeltje et al. 2013, Baldwin 2016, and Dougherty 2017. Hoeltje et al. reject what they see as an unacknowledged assumption in Lange’s argument, namely that a universal sentence explains its instances. Baldwin offers positive considerations as to why inductive arguments are explanatory and he also focuses his criticisms of Lange’s argument on the latter’s assumption that an instance of a universal generalization cannot he
    Extraction notes

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

    Details

    Type
    claim
    Perspectives
    1 (0 for, 1 against)
    Edits
    1 edit