Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313446937> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4313446937 abstract "Accounting for the epistemic contribution of deduction has been a pervasive problem for logicians interested in deduction, such as, among others, Jakko Hintikka. The problem arises because the conclusion validly deduced from a set of premises is said to be contained in that set; because of this containment relation, the conclusion would be known from the moment the premises are known. Assuming this, it is problematic to explain how we can gain knowledge by deducing a logical consequence implied in a set of known premises. To address this problem, we offer an alternative account of the epistemic contribution of deduction as the process required to deduce a conclusion or a theorem, understanding such process not only in terms of the number of steps in the derivation but, more importantly, the reason for or justification for every step. That is, we do not know a proposition unless we have a justification or proof to hold that proposition. With this goal in mind, we develop a justification logic system which exhibits the epistemic contribution of a deductive derivation as the resulting justified formula." @default.
- W4313446937 created "2023-01-06" @default.
- W4313446937 creator A5011679267 @default.
- W4313446937 creator A5035245911 @default.
- W4313446937 date "2022-12-29" @default.
- W4313446937 modified "2023-10-18" @default.
- W4313446937 title "Justification logic and the epistemic contribution of deduction" @default.
- W4313446937 doi "https://doi.org/10.48550/arxiv.2212.14463" @default.
- W4313446937 hasPublicationYear "2022" @default.
- W4313446937 type Work @default.
- W4313446937 citedByCount "0" @default.
- W4313446937 crossrefType "posted-content" @default.
- W4313446937 hasAuthorship W4313446937A5011679267 @default.
- W4313446937 hasAuthorship W4313446937A5035245911 @default.
- W4313446937 hasBestOaLocation W43134469371 @default.
- W4313446937 hasConcept C102993220 @default.
- W4313446937 hasConcept C107247716 @default.
- W4313446937 hasConcept C111472728 @default.
- W4313446937 hasConcept C134752490 @default.
- W4313446937 hasConcept C138885662 @default.
- W4313446937 hasConcept C144237770 @default.
- W4313446937 hasConcept C154945302 @default.
- W4313446937 hasConcept C177264268 @default.
- W4313446937 hasConcept C199343813 @default.
- W4313446937 hasConcept C199360897 @default.
- W4313446937 hasConcept C203659156 @default.
- W4313446937 hasConcept C25343380 @default.
- W4313446937 hasConcept C2777152325 @default.
- W4313446937 hasConcept C2777686260 @default.
- W4313446937 hasConcept C33923547 @default.
- W4313446937 hasConcept C41008148 @default.
- W4313446937 hasConcept C71924100 @default.
- W4313446937 hasConcept C77088390 @default.
- W4313446937 hasConcept C97364631 @default.
- W4313446937 hasConcept C98045186 @default.
- W4313446937 hasConceptScore W4313446937C102993220 @default.
- W4313446937 hasConceptScore W4313446937C107247716 @default.
- W4313446937 hasConceptScore W4313446937C111472728 @default.
- W4313446937 hasConceptScore W4313446937C134752490 @default.
- W4313446937 hasConceptScore W4313446937C138885662 @default.
- W4313446937 hasConceptScore W4313446937C144237770 @default.
- W4313446937 hasConceptScore W4313446937C154945302 @default.
- W4313446937 hasConceptScore W4313446937C177264268 @default.
- W4313446937 hasConceptScore W4313446937C199343813 @default.
- W4313446937 hasConceptScore W4313446937C199360897 @default.
- W4313446937 hasConceptScore W4313446937C203659156 @default.
- W4313446937 hasConceptScore W4313446937C25343380 @default.
- W4313446937 hasConceptScore W4313446937C2777152325 @default.
- W4313446937 hasConceptScore W4313446937C2777686260 @default.
- W4313446937 hasConceptScore W4313446937C33923547 @default.
- W4313446937 hasConceptScore W4313446937C41008148 @default.
- W4313446937 hasConceptScore W4313446937C71924100 @default.
- W4313446937 hasConceptScore W4313446937C77088390 @default.
- W4313446937 hasConceptScore W4313446937C97364631 @default.
- W4313446937 hasConceptScore W4313446937C98045186 @default.
- W4313446937 hasLocation W43134469371 @default.
- W4313446937 hasOpenAccess W4313446937 @default.
- W4313446937 hasPrimaryLocation W43134469371 @default.
- W4313446937 hasRelatedWork W1499046683 @default.
- W4313446937 hasRelatedWork W1987346758 @default.
- W4313446937 hasRelatedWork W2007464185 @default.
- W4313446937 hasRelatedWork W2079803157 @default.
- W4313446937 hasRelatedWork W2262008118 @default.
- W4313446937 hasRelatedWork W2349384258 @default.
- W4313446937 hasRelatedWork W2394199736 @default.
- W4313446937 hasRelatedWork W2484287731 @default.
- W4313446937 hasRelatedWork W2610554504 @default.
- W4313446937 hasRelatedWork W2179727000 @default.
- W4313446937 isParatext "false" @default.
- W4313446937 isRetracted "false" @default.
- W4313446937 workType "article" @default.