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
    Etchemendy's critique shows that Tarskian logical consequ... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Demonstrating the formal invalidity of an argument via counterexample presupposes a principled way of discerning the full logical structure of that argument, and hence of distinguishing logical constants from nonlogical constants.

    Etchemendy's critique shows that Tarskian logical consequence already conflates model-theoretic stipulation with genuine necessity, undermining the authority of any formal structural reading.

    ?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

    Conflates(in argumentation and logic)
    Treats two different things as if they're the same thing, or mixes them up in a way that causes confusion.
    Etchemendy(as a philosopher critiqued in this statement)
    John Etchemendy is a philosopher who studied logic and mathematics. He's known for pointing out problems with how other philosophers, particularly Tarski, explained logical consequence.
    Formal structural reading(as the kind of reading Etchemendy thinks loses authority)
    An interpretation or explanation of logic that focuses only on the abstract pattern and structure of statements, rather than what they actually mean in the real world.
    Genuine necessity(in metaphysics and philosophy of language)
    Real, substantive reasons something must be true, rather than just appearing necessary because of how we happen to define or think about words.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Tarskian logical consequence(as the main concept being criticized)
    A way of defining what it means for one statement to logically follow from other statements, developed by philosopher Alfred Tarski. It's based on the idea of checking whether something is true in all possible scenarios (called 'models') where the starting statements are true.
    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).
    stipulation(in philosophy and formal reasoning)
    A choice or assumption you decide to make for the sake of an argument, rather than something that must be true by logical necessity.

    Connections

    2 topics

    Truth & Knowledge1 linkedPhilosophy of Language1 linked

    Related

    Demonstrating the formal invalidity of an argument via counterexample presuppose...

    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