FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080777550> ?p ?o ?g. }

• W2080777550 abstract "We consider a “polarized” version of bi-intuitionistic logic [5, 2, 6, 4] as a logic of assertions and hypotheses and show that it supports a “rich proof theory” and an interesting categorical interpretation, unlike the standard approach of C. Rauszer’s Heyting-Brouwer logic [28, 29], whose categorical models are all partial orders by Crolard’s theorem [8]. We show that P.A. Mellies notion of chirality [21, 22] appears as the right mathematical representation of the mirror symmetry between the intuitionistic and co-intuitionistc sides of polarized bi-intuitionism. Philosophically, we extend Dalla Pozza and Garola’s pragmatic interpretation of intuitionism as a logic of assertions [10] to bi-intuitionism as a logic of assertions and hypotheses. We focus on the logical role of illocutionary forces and justification conditions in order to provide “intended interpretations” of logical systems that classify inferential uses in natural language and remain acceptable from an intuitionistic point of view. Although Dalla Pozza and Garola originally provide a constructive interpretation of intuitionism in a classical setting, we claim that some conceptual refinements suffice to make their “pragmatic interpretation” a bona fide representation of intuitionism. We sketch a meaning-asuse interpretation of co-intuitionism that seems to fulfil the requirements of Dummett and Prawitz’s justificationist approach. We extend the Brouwer-Heyting-Kolmogorov interpretation to bi-intuitionism by regarding co-intuitionistic formulas as types of the evidence for them: if conclusive evidence is needed to justify assertions, only a scintilla of evidence suffices to justify hypotheses." @default.
• W2080777550 created "2016-06-24" @default.
• W2080777550 creator A5018581775 @default.
• W2080777550 creator A5037222329 @default.
• W2080777550 creator A5045383214 @default.
• W2080777550 creator A5053007340 @default.
• W2080777550 date "2014-06-03" @default.
• W2080777550 modified "2023-09-23" @default.
• W2080777550 title "Pragmatic and dialogic interpretations of bi-intuitionism. Part I" @default.
• W2080777550 cites W106283100 @default.
• W2080777550 cites W10978468 @default.
• W2080777550 cites W12091626 @default.
• W2080777550 cites W1528441197 @default.
• W2080777550 cites W1602312920 @default.
• W2080777550 cites W1636613648 @default.
• W2080777550 cites W1838665644 @default.
• W2080777550 cites W1982413486 @default.
• W2080777550 cites W1992582651 @default.
• W2080777550 cites W1993745552 @default.
• W2080777550 cites W2014085418 @default.
• W2080777550 cites W2018240380 @default.
• W2080777550 cites W2031858211 @default.
• W2080777550 cites W2043413618 @default.
• W2080777550 cites W2058093611 @default.
• W2080777550 cites W2077879002 @default.
• W2080777550 cites W2084684966 @default.
• W2080777550 cites W2085057391 @default.
• W2080777550 cites W2094958055 @default.
• W2080777550 cites W2161063399 @default.
• W2080777550 cites W2893918740 @default.
• W2080777550 cites W2912464567 @default.
• W2080777550 doi "https://doi.org/10.12775/llp.2014.011" @default.
• W2080777550 hasPublicationYear "2014" @default.
• W2080777550 type Work @default.
• W2080777550 sameAs 2080777550 @default.
• W2080777550 citedByCount "7" @default.
• W2080777550 countsByYear W20807775502014 @default.
• W2080777550 countsByYear W20807775502015 @default.
• W2080777550 countsByYear W20807775502017 @default.
• W2080777550 countsByYear W20807775502018 @default.
• W2080777550 crossrefType "journal-article" @default.
• W2080777550 hasAuthorship W2080777550A5018581775 @default.
• W2080777550 hasAuthorship W2080777550A5037222329 @default.
• W2080777550 hasAuthorship W2080777550A5045383214 @default.
• W2080777550 hasAuthorship W2080777550A5053007340 @default.
• W2080777550 hasBestOaLocation W20807775501 @default.
• W2080777550 hasConcept C111472728 @default.
• W2080777550 hasConcept C138885662 @default.
• W2080777550 hasConcept C153107464 @default.
• W2080777550 hasConcept C178421362 @default.
• W2080777550 hasConcept C199343813 @default.
• W2080777550 hasConcept C202444582 @default.
• W2080777550 hasConcept C2776230367 @default.
• W2080777550 hasConcept C2777686260 @default.
• W2080777550 hasConcept C33923547 @default.
• W2080777550 hasConcept C41008148 @default.
• W2080777550 hasConcept C41895202 @default.
• W2080777550 hasConcept C527412718 @default.
• W2080777550 hasConcept C69562738 @default.
• W2080777550 hasConcept C71924100 @default.
• W2080777550 hasConceptScore W2080777550C111472728 @default.
• W2080777550 hasConceptScore W2080777550C138885662 @default.
• W2080777550 hasConceptScore W2080777550C153107464 @default.
• W2080777550 hasConceptScore W2080777550C178421362 @default.
• W2080777550 hasConceptScore W2080777550C199343813 @default.
• W2080777550 hasConceptScore W2080777550C202444582 @default.
• W2080777550 hasConceptScore W2080777550C2776230367 @default.
• W2080777550 hasConceptScore W2080777550C2777686260 @default.
• W2080777550 hasConceptScore W2080777550C33923547 @default.
• W2080777550 hasConceptScore W2080777550C41008148 @default.
• W2080777550 hasConceptScore W2080777550C41895202 @default.
• W2080777550 hasConceptScore W2080777550C527412718 @default.
• W2080777550 hasConceptScore W2080777550C69562738 @default.
• W2080777550 hasConceptScore W2080777550C71924100 @default.
• W2080777550 hasLocation W20807775501 @default.
• W2080777550 hasLocation W20807775502 @default.
• W2080777550 hasOpenAccess W2080777550 @default.
• W2080777550 hasPrimaryLocation W20807775501 @default.
• W2080777550 hasRelatedWork W106432389 @default.
• W2080777550 hasRelatedWork W106859061 @default.
• W2080777550 hasRelatedWork W1491165029 @default.
• W2080777550 hasRelatedWork W1965893669 @default.
• W2080777550 hasRelatedWork W1993745552 @default.
• W2080777550 hasRelatedWork W2009552408 @default.
• W2080777550 hasRelatedWork W2025229761 @default.
• W2080777550 hasRelatedWork W2031858211 @default.
• W2080777550 hasRelatedWork W2058093611 @default.
• W2080777550 hasRelatedWork W2122478249 @default.
• W2080777550 hasRelatedWork W2125151981 @default.
• W2080777550 hasRelatedWork W2265970859 @default.
• W2080777550 hasRelatedWork W2568801474 @default.
• W2080777550 hasRelatedWork W2912464567 @default.
• W2080777550 hasRelatedWork W30005235 @default.
• W2080777550 hasRelatedWork W49491928 @default.
• W2080777550 hasRelatedWork W946525731 @default.
• W2080777550 hasRelatedWork W97404581 @default.
• W2080777550 hasRelatedWork W2170997101 @default.
• W2080777550 hasRelatedWork W2508249339 @default.
• W2080777550 isParatext "false" @default.
• W2080777550 isRetracted "false" @default.

• next