Prawitz and Dummett's harmony criterion accommodates introduction rules that appeal to absurdity without violating inferentialist purity, since falsum carries no non-inferential content.

?Rate how convincing each reason is below to see the overall strength.

1 reason for

1 reason against

Reasons For

1 perspective

Reason for

1.Falsum is defined purely through elimination rules (ex falso quodlibet), having no introduction conditions independent of inference.
?
Think about whether this reason is strong or weak
2.Introduction rules appealing to absurdity preserve harmony by deriving falsum through standard inference, not by asserting it non-inferentially.
?
Think about whether this reason is strong or weak
3.Inferentialist purity requires only that content is determined by inferential role, not that all rules avoid negation or contradiction.
?
Think about whether this reason is strong or weak

Reasons Against

1 perspective

Reason against

1.Falsum's elimination rule (ex falso) itself presupposes understanding what absurdity is, suggesting non-inferential conceptual content.
?
Think about whether this reason is strong or weak
2.Reductio ad absurdum introduces negation indirectly; harmony requires explicit bidirectional rules, which absurdity-based rules seem to lack.
?
Think about whether this reason is strong or weak
3.If falsum has purely inferential content, the harmony criterion becomes circular: falsum's role is defined only by rules already being checked for harmony.
?
Think about whether this reason is strong or weak

Next step

Based on where you are in your exploration

Strongest counterpoint

Explore the most compelling reason on the other side.

Key Terms

Dummett(philosopher name): Michael Dummett was a 20th-century British philosopher who developed arguments against the idea that causes can work backward in time.
Falsum(One of the four one-place connectives in propositional logic): A one-place logical connective representing contradiction
Harmony criterion(technical concept in proof theory): A rule for checking whether logical introduction and elimination rules 'match up' properly—roughly, whether what you can introduce in a proof can be fairly eliminated later.
Introduction rules(Proof-theoretic semantics): Rules in proof-theoretic semantics that are considered basic, meaning-giving, or self-justifying for logical connectives
Non-inferential content(used in contrast with inferential meaning): Meaning or information that doesn't come from logical reasoning—for example, meaning that comes directly from experience or observation instead.
Prawitz(as a philosopher and logician): Dag Prawitz is a Swedish logician who developed important theories about how we can prove things are true using logical rules, rather than relying on what the world is actually like.
absurdity(Camus's understanding): The condition in which humans cannot help but ask after the meaning of life, only to see their answers fail, as captured in the image of Sisyphus.
inferentialism(Contrasted with classical (representationalist) semantics): A semantic theory according to which the semantic properties of expressions are grounded in inferential relations, with sentences taking explanatory priority over subsentential expressions.

Connections

1 topic

Philosophy of Language1 linked

Falsum is defined purely through elimination rules (ex falso quodlibet), having ...Falsum's elimination rule (ex falso) itself presupposes understanding what absur...If falsum has purely inferential content, the harmony criterion becomes circular...Inferentialist purity requires only that content is determined by inferential ro...

Details

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