Matches in SemOpenAlex for { <https://semopenalex.org/work/W2249617106> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2249617106 endingPage "114" @default.
- W2249617106 startingPage "95" @default.
- W2249617106 abstract "There are two camps in the theory of meaning: the referentialist one including Davidson, and the inferentialist one including Dummett and Brandom. Proof-theoretic semantics is a semantic enterprise to articulate an inferentialist account of the meaning of logical constants and inferences within the proof-theoretic tradition of Gentzen, Prawitz, and Martin-Löf, replacing Davidson’s path “from truth to meaning” by another path “from proof to meaning”. The present paper aims at contributing to developments of categorical proof-theoretic semantics, proposing the principle of categorical harmony, and thereby shedding structural light on Prior’s “tonk” and related paradoxical logical constants. Categorical harmony builds upon Lawvere’s conception of logical constants as adjoint functors, which amount to double-line rules of certain form in inferential terms. Conceptually, categorical harmony supports the iterative conception of logic. According to categorical harmony, there are intensional degrees of paradoxicality of logical constants; in the light of the intensional distinction, Russell-type paradoxical constants are maximally paradoxical, and tonk is less paradoxical. The categorical diagnosis of the tonk problem is that tonk mixes up the binary truth and falsity constants, equating truth with falsity; hence Prior’s tonk paradox is caused by equivocation, whereas Russell’s paradox is not. This tells us Prior’s tonk-type paradoxes can be resolved via disambiguation while Russell-type paradoxes cannot. Categorical harmony thus allows us to demarcate a border between tonk-type pseudo-paradoxes and Russell-type genuine paradoxes. I finally argue that categorical semantics based on the methods of categorical logic might even pave the way for reconciling and uniting the two camps." @default.
- W2249617106 created "2016-06-24" @default.
- W2249617106 creator A5074219449 @default.
- W2249617106 date "2015-10-25" @default.
- W2249617106 modified "2023-09-27" @default.
- W2249617106 title "Categorical Harmony and Paradoxes in Proof-Theoretic Semantics" @default.
- W2249617106 cites W1512457525 @default.
- W2249617106 cites W1986532158 @default.
- W2249617106 cites W1987839131 @default.
- W2249617106 cites W1994755826 @default.
- W2249617106 cites W2003339379 @default.
- W2249617106 cites W2007078003 @default.
- W2249617106 cites W2067172985 @default.
- W2249617106 cites W2099684400 @default.
- W2249617106 cites W2108840809 @default.
- W2249617106 cites W2112738015 @default.
- W2249617106 cites W2126414330 @default.
- W2249617106 cites W4213419297 @default.
- W2249617106 cites W4244525635 @default.
- W2249617106 cites W4251799386 @default.
- W2249617106 doi "https://doi.org/10.1007/978-3-319-22686-6_6" @default.
- W2249617106 hasPublicationYear "2015" @default.
- W2249617106 type Work @default.
- W2249617106 sameAs 2249617106 @default.
- W2249617106 citedByCount "11" @default.
- W2249617106 countsByYear W22496171062015 @default.
- W2249617106 countsByYear W22496171062017 @default.
- W2249617106 countsByYear W22496171062021 @default.
- W2249617106 countsByYear W22496171062022 @default.
- W2249617106 countsByYear W22496171062023 @default.
- W2249617106 crossrefType "book-chapter" @default.
- W2249617106 hasAuthorship W2249617106A5074219449 @default.
- W2249617106 hasBestOaLocation W22496171061 @default.
- W2249617106 hasConcept C105795698 @default.
- W2249617106 hasConcept C111472728 @default.
- W2249617106 hasConcept C138885662 @default.
- W2249617106 hasConcept C142362112 @default.
- W2249617106 hasConcept C153349607 @default.
- W2249617106 hasConcept C2776453491 @default.
- W2249617106 hasConcept C2777152325 @default.
- W2249617106 hasConcept C2777685122 @default.
- W2249617106 hasConcept C2780876879 @default.
- W2249617106 hasConcept C33923547 @default.
- W2249617106 hasConcept C5274069 @default.
- W2249617106 hasConcept C61341680 @default.
- W2249617106 hasConceptScore W2249617106C105795698 @default.
- W2249617106 hasConceptScore W2249617106C111472728 @default.
- W2249617106 hasConceptScore W2249617106C138885662 @default.
- W2249617106 hasConceptScore W2249617106C142362112 @default.
- W2249617106 hasConceptScore W2249617106C153349607 @default.
- W2249617106 hasConceptScore W2249617106C2776453491 @default.
- W2249617106 hasConceptScore W2249617106C2777152325 @default.
- W2249617106 hasConceptScore W2249617106C2777685122 @default.
- W2249617106 hasConceptScore W2249617106C2780876879 @default.
- W2249617106 hasConceptScore W2249617106C33923547 @default.
- W2249617106 hasConceptScore W2249617106C5274069 @default.
- W2249617106 hasConceptScore W2249617106C61341680 @default.
- W2249617106 hasLocation W22496171061 @default.
- W2249617106 hasOpenAccess W2249617106 @default.
- W2249617106 hasPrimaryLocation W22496171061 @default.
- W2249617106 hasRelatedWork W1803752318 @default.
- W2249617106 hasRelatedWork W1987346758 @default.
- W2249617106 hasRelatedWork W1990468455 @default.
- W2249617106 hasRelatedWork W2045477685 @default.
- W2249617106 hasRelatedWork W2367046743 @default.
- W2249617106 hasRelatedWork W2373778529 @default.
- W2249617106 hasRelatedWork W2392841063 @default.
- W2249617106 hasRelatedWork W3125897859 @default.
- W2249617106 hasRelatedWork W381337764 @default.
- W2249617106 hasRelatedWork W4313500413 @default.
- W2249617106 isParatext "false" @default.
- W2249617106 isRetracted "false" @default.
- W2249617106 magId "2249617106" @default.
- W2249617106 workType "book-chapter" @default.