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
    If counterexamples can succeed by semantic transparency r... — 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.

    If counterexamples can succeed by semantic transparency rather than structural analysis, the demarcation of logical constants is a post-hoc theoretical artifact, not a presupposition.

    ?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

    Post-hoc theoretical artifact(suggests that logical constants may be invented categories, not discovered truths)
    Something created after the fact by theorists to organize their thinking, rather than something that was actually fundamental from the start.
    Structural analysis(as an approach that claims neutrality)
    A method of studying how society works by looking at the systems and institutions (like laws, workplaces, families) rather than just individual people's choices.
    counterexample([IHT] arg. 2)
    A possible obligational situation (casus possibilis positus) that verifies the antecedent and falsifies the consequent of an inference
    demarcation(describing the core issue shared by both conceptions)
    The problem of drawing a clear line between two things—in this case, figuring out where one concept ends and another begins.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    logical constants
    The special expressions whose meanings must be fixed in order to evaluate the formal validity of an inference or the truth of a logical truth.
    presupposition(Used to distinguish conditions required for an obligation from the grounds of the obligation)
    A necessary condition for something (such as an obligation) that is not itself part of the ground of that thing
    semantic transparency(Attributed to linguistic expressions of facts in the slingshot argument)
    A property of linguistic expressions such that co-referring terms or logically equivalent expressions can be substituted salva veritate, enabling Fregean substitution arguments.

    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