Matches in SemOpenAlex for { <https://semopenalex.org/work/W1491165029> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1491165029 abstract "The aim of this work is to provide an account of the meanings of the standard logical operators meeting the following requirements: 1) It should meet Dummettian standards of intelligibility; specifically, it should do without any notion of recognition-transcendent truth. 2) It should validate Classical logic. Two theories – essentially variations on a common theme – are offered, the one aiming for formal simplicity, the other aspiring to slightly greater philosophical sophistication. In both theories, the basic idea – adopted from writers such as Prawitz and Tennant – is to regard inferential relations among logically complex sentences as supervenient on, and motivated by, a base of conceptually and/or empirically grounded inferential relations among the logical atoms. In the simple version, such a base is taken to be any (single-conclusion) consequence relation closed under Cut and the other standard structural rules. The more complex theory takes bases to be finite sets of inference rules for atomic sentences, notably including some rules embodying disjunctive judgments. The object-language syntax is quite liberal, capable of accommodating, but not limited to, second-order logic. Surprisingly, in both of its variants, this Intuitionistically flavoured semantics turns out, by constructively valid meta-reasoning, to validate Excluded Middle in the object language – despite failure, from the semantic perspective, of Bivalence. That is to say, a base neither supporting A nor not-A will nevertheless support A-or-not-A. For the simpler semantics, Classical logic is shown to be both sound and complete. By contrast, the more complex version turns out to render valid, in addition to Classical logic, a limited, predicative principle of Comprehension, as well as the Axiom of Choice." @default.
- W1491165029 created "2016-06-24" @default.
- W1491165029 creator A5067690927 @default.
- W1491165029 date "2005-01-01" @default.
- W1491165029 modified "2023-09-23" @default.
- W1491165029 title "An Inferentialist Interpretation of Classical Logic" @default.
- W1491165029 hasPublicationYear "2005" @default.
- W1491165029 type Work @default.
- W1491165029 sameAs 1491165029 @default.
- W1491165029 citedByCount "3" @default.
- W1491165029 crossrefType "journal-article" @default.
- W1491165029 hasAuthorship W1491165029A5067690927 @default.
- W1491165029 hasConcept C111472728 @default.
- W1491165029 hasConcept C138885662 @default.
- W1491165029 hasConcept C154945302 @default.
- W1491165029 hasConcept C199360897 @default.
- W1491165029 hasConcept C204321447 @default.
- W1491165029 hasConcept C2776214188 @default.
- W1491165029 hasConcept C2781238097 @default.
- W1491165029 hasConcept C32241873 @default.
- W1491165029 hasConcept C41008148 @default.
- W1491165029 hasConcept C527412718 @default.
- W1491165029 hasConcept C60048249 @default.
- W1491165029 hasConceptScore W1491165029C111472728 @default.
- W1491165029 hasConceptScore W1491165029C138885662 @default.
- W1491165029 hasConceptScore W1491165029C154945302 @default.
- W1491165029 hasConceptScore W1491165029C199360897 @default.
- W1491165029 hasConceptScore W1491165029C204321447 @default.
- W1491165029 hasConceptScore W1491165029C2776214188 @default.
- W1491165029 hasConceptScore W1491165029C2781238097 @default.
- W1491165029 hasConceptScore W1491165029C32241873 @default.
- W1491165029 hasConceptScore W1491165029C41008148 @default.
- W1491165029 hasConceptScore W1491165029C527412718 @default.
- W1491165029 hasConceptScore W1491165029C60048249 @default.
- W1491165029 hasLocation W14911650291 @default.
- W1491165029 hasOpenAccess W1491165029 @default.
- W1491165029 hasPrimaryLocation W14911650291 @default.
- W1491165029 hasRelatedWork W106432389 @default.
- W1491165029 hasRelatedWork W1437405962 @default.
- W1491165029 hasRelatedWork W1630055178 @default.
- W1491165029 hasRelatedWork W1685929431 @default.
- W1491165029 hasRelatedWork W170965667 @default.
- W1491165029 hasRelatedWork W1743494 @default.
- W1491165029 hasRelatedWork W1983770323 @default.
- W1491165029 hasRelatedWork W1993148732 @default.
- W1491165029 hasRelatedWork W2009614430 @default.
- W1491165029 hasRelatedWork W2031154837 @default.
- W1491165029 hasRelatedWork W2077804919 @default.
- W1491165029 hasRelatedWork W2081040658 @default.
- W1491165029 hasRelatedWork W2117018695 @default.
- W1491165029 hasRelatedWork W2411312592 @default.
- W1491165029 hasRelatedWork W2568801474 @default.
- W1491165029 hasRelatedWork W2581655278 @default.
- W1491165029 hasRelatedWork W2899881414 @default.
- W1491165029 hasRelatedWork W2902869759 @default.
- W1491165029 hasRelatedWork W2994730061 @default.
- W1491165029 hasRelatedWork W3159600721 @default.
- W1491165029 isParatext "false" @default.
- W1491165029 isRetracted "false" @default.
- W1491165029 magId "1491165029" @default.
- W1491165029 workType "article" @default.