Matches in SemOpenAlex for { <https://semopenalex.org/work/W71761585> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W71761585 endingPage "312" @default.
- W71761585 startingPage "293" @default.
- W71761585 abstract "Michael Dummett introduced the notion of harmony in response to Arthur Prior’s tonkish attack on the idea of proof-theoretic justification of logical laws (or analytic validity). But Dummett vacillated between different conceptions of harmony, in an attempt to use the idea to underpin his anti-realism. Dag Prawitz had already articulated an idea of Gerhard Gentzen’s into a procedure whereby elimination-rules are in some sense functions of the corresponding introduction-rules. The resulting conception of general-elimination harmony ensures that the rules are transparent in the meaning they confer, in that the elimination-rules match the meaning the introduction-rules confer. The general-elimination rules which result may be of higher level, in that the assumptions discharged by the rule may be of (the existence of) derivations rather than just of formulae. In many cases, such higher-level rules may be “flattened” to rules discharging only formulae. However, such flattening is often only possible in the richer context of so-called “classical” or realist negation, or in a multiple-conclusion environment. In a constructivist context, the flattened rules are harmonious but not stable." @default.
- W71761585 created "2016-06-24" @default.
- W71761585 creator A5062972201 @default.
- W71761585 date "2014-11-28" @default.
- W71761585 modified "2023-09-27" @default.
- W71761585 title "General-Elimination Harmony and Higher-Level Rules" @default.
- W71761585 cites W1528233644 @default.
- W71761585 cites W1556018465 @default.
- W71761585 cites W1557413548 @default.
- W71761585 cites W1596025996 @default.
- W71761585 cites W197679765 @default.
- W71761585 cites W1987839131 @default.
- W71761585 cites W1987976586 @default.
- W71761585 cites W1999915591 @default.
- W71761585 cites W2021296883 @default.
- W71761585 cites W2027229388 @default.
- W71761585 cites W2029408547 @default.
- W71761585 cites W2029681874 @default.
- W71761585 cites W2047063760 @default.
- W71761585 cites W2047495800 @default.
- W71761585 cites W2091225478 @default.
- W71761585 cites W2105703407 @default.
- W71761585 cites W4210927669 @default.
- W71761585 cites W4249736722 @default.
- W71761585 cites W4251206353 @default.
- W71761585 doi "https://doi.org/10.1007/978-3-319-11041-7_13" @default.
- W71761585 hasPublicationYear "2014" @default.
- W71761585 type Work @default.
- W71761585 sameAs 71761585 @default.
- W71761585 citedByCount "10" @default.
- W71761585 countsByYear W717615852014 @default.
- W71761585 countsByYear W717615852015 @default.
- W71761585 countsByYear W717615852016 @default.
- W71761585 countsByYear W717615852017 @default.
- W71761585 crossrefType "book-chapter" @default.
- W71761585 hasAuthorship W71761585A5062972201 @default.
- W71761585 hasConcept C111472728 @default.
- W71761585 hasConcept C138885662 @default.
- W71761585 hasConcept C142362112 @default.
- W71761585 hasConcept C144237770 @default.
- W71761585 hasConcept C153349607 @default.
- W71761585 hasConcept C2185349 @default.
- W71761585 hasConcept C2776453491 @default.
- W71761585 hasConcept C2777152325 @default.
- W71761585 hasConcept C2780876879 @default.
- W71761585 hasConcept C33923547 @default.
- W71761585 hasConcept C41008148 @default.
- W71761585 hasConcept C41895202 @default.
- W71761585 hasConceptScore W71761585C111472728 @default.
- W71761585 hasConceptScore W71761585C138885662 @default.
- W71761585 hasConceptScore W71761585C142362112 @default.
- W71761585 hasConceptScore W71761585C144237770 @default.
- W71761585 hasConceptScore W71761585C153349607 @default.
- W71761585 hasConceptScore W71761585C2185349 @default.
- W71761585 hasConceptScore W71761585C2776453491 @default.
- W71761585 hasConceptScore W71761585C2777152325 @default.
- W71761585 hasConceptScore W71761585C2780876879 @default.
- W71761585 hasConceptScore W71761585C33923547 @default.
- W71761585 hasConceptScore W71761585C41008148 @default.
- W71761585 hasConceptScore W71761585C41895202 @default.
- W71761585 hasLocation W717615851 @default.
- W71761585 hasOpenAccess W71761585 @default.
- W71761585 hasPrimaryLocation W717615851 @default.
- W71761585 hasRelatedWork W1987346758 @default.
- W71761585 hasRelatedWork W2359077325 @default.
- W71761585 hasRelatedWork W2367046743 @default.
- W71761585 hasRelatedWork W2373778529 @default.
- W71761585 hasRelatedWork W2394199736 @default.
- W71761585 hasRelatedWork W2477767191 @default.
- W71761585 hasRelatedWork W2748952813 @default.
- W71761585 hasRelatedWork W2899084033 @default.
- W71761585 hasRelatedWork W3125897859 @default.
- W71761585 hasRelatedWork W4315783385 @default.
- W71761585 isParatext "false" @default.
- W71761585 isRetracted "false" @default.
- W71761585 magId "71761585" @default.
- W71761585 workType "book-chapter" @default.