Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571915905> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1571915905 abstract "The sign ‘ ⊃ ’ (or ‘→’ or ‘ C ’) functions in many logical systems in a way which precludes its interpretation as either strict or material implication. For example, in the systems of Heyting, Johansson, Fitch and Bernays (positive logic), the following are theorems: Now if ‘ ⊃ ’ were interpreted as strict implication, ⊃ 2 would mean ‘if p is true, then p is strictly implied by every proposition’, i.e. ‘if p is true, it is necessarily true’, which is false for contingently true p . If on the other hand ‘ ⊃ ’ were interpreted as material implication, ⊃ 1 would reduce to ‘~ p ∨ p ’, i.e. to the law of excluded middle, which is conspicuously lacking in the systems mentioned. The reader is likely in practice to veer between these two interpretations. Thus in Fitch or Heyting on realizing that ‘~ p ⊃ ▪ p ⊃ q ’ is a theorem, one thinks of it as meaning ‘a false proposition implies everything’ and regards the implication as material; but the presence of ‘ p ⊃ p ’ as a theorem, even for choices of p which do not satisfy excluded middle, inclines one again to the strict interpretation. This vacillation, while it need not lead to the commission of any formal fallacies, tends to hamstring one's intuition and thus waste time. The purpose of this paper is to suggest an interpretation of ‘ ⊃ ’ which will prevent such havering. Let two formulae A and B be called interdeducible if A ⊢ B and B ⊢ A." @default.
- W1571915905 created "2016-06-24" @default.
- W1571915905 creator A5060119550 @default.
- W1571915905 date "1953-03-01" @default.
- W1571915905 modified "2023-09-24" @default.
- W1571915905 title "On the interpretation of the sign ‘⊃’ " @default.
- W1571915905 cites W1975810242 @default.
- W1571915905 cites W2581929268 @default.
- W1571915905 cites W578063101 @default.
- W1571915905 doi "https://doi.org/10.2307/2266328" @default.
- W1571915905 hasPublicationYear "1953" @default.
- W1571915905 type Work @default.
- W1571915905 sameAs 1571915905 @default.
- W1571915905 citedByCount "8" @default.
- W1571915905 crossrefType "journal-article" @default.
- W1571915905 hasAuthorship W1571915905A5060119550 @default.
- W1571915905 hasConcept C111472728 @default.
- W1571915905 hasConcept C132010649 @default.
- W1571915905 hasConcept C134306372 @default.
- W1571915905 hasConcept C137155000 @default.
- W1571915905 hasConcept C138885662 @default.
- W1571915905 hasConcept C139676723 @default.
- W1571915905 hasConcept C144237770 @default.
- W1571915905 hasConcept C199343813 @default.
- W1571915905 hasConcept C2777152325 @default.
- W1571915905 hasConcept C2777686260 @default.
- W1571915905 hasConcept C2780876879 @default.
- W1571915905 hasConcept C33923547 @default.
- W1571915905 hasConcept C41895202 @default.
- W1571915905 hasConcept C527412718 @default.
- W1571915905 hasConcept C71924100 @default.
- W1571915905 hasConceptScore W1571915905C111472728 @default.
- W1571915905 hasConceptScore W1571915905C132010649 @default.
- W1571915905 hasConceptScore W1571915905C134306372 @default.
- W1571915905 hasConceptScore W1571915905C137155000 @default.
- W1571915905 hasConceptScore W1571915905C138885662 @default.
- W1571915905 hasConceptScore W1571915905C139676723 @default.
- W1571915905 hasConceptScore W1571915905C144237770 @default.
- W1571915905 hasConceptScore W1571915905C199343813 @default.
- W1571915905 hasConceptScore W1571915905C2777152325 @default.
- W1571915905 hasConceptScore W1571915905C2777686260 @default.
- W1571915905 hasConceptScore W1571915905C2780876879 @default.
- W1571915905 hasConceptScore W1571915905C33923547 @default.
- W1571915905 hasConceptScore W1571915905C41895202 @default.
- W1571915905 hasConceptScore W1571915905C527412718 @default.
- W1571915905 hasConceptScore W1571915905C71924100 @default.
- W1571915905 hasLocation W15719159051 @default.
- W1571915905 hasOpenAccess W1571915905 @default.
- W1571915905 hasPrimaryLocation W15719159051 @default.
- W1571915905 hasRelatedWork W102448063 @default.
- W1571915905 hasRelatedWork W1975988381 @default.
- W1571915905 hasRelatedWork W1985295282 @default.
- W1571915905 hasRelatedWork W1986866142 @default.
- W1571915905 hasRelatedWork W2003780643 @default.
- W1571915905 hasRelatedWork W2023406655 @default.
- W1571915905 hasRelatedWork W2024782937 @default.
- W1571915905 hasRelatedWork W2057431038 @default.
- W1571915905 hasRelatedWork W2079217167 @default.
- W1571915905 hasRelatedWork W2088664009 @default.
- W1571915905 hasRelatedWork W2282976379 @default.
- W1571915905 hasRelatedWork W2313280564 @default.
- W1571915905 hasRelatedWork W2314197230 @default.
- W1571915905 hasRelatedWork W2315282999 @default.
- W1571915905 hasRelatedWork W2320372669 @default.
- W1571915905 hasRelatedWork W2333758991 @default.
- W1571915905 hasRelatedWork W2334156613 @default.
- W1571915905 hasRelatedWork W2335343407 @default.
- W1571915905 hasRelatedWork W2556013778 @default.
- W1571915905 hasRelatedWork W2599543810 @default.
- W1571915905 isParatext "false" @default.
- W1571915905 isRetracted "false" @default.
- W1571915905 magId "1571915905" @default.
- W1571915905 workType "article" @default.