Matches in SemOpenAlex for { <https://semopenalex.org/work/W2163474315> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2163474315 endingPage "14" @default.
- W2163474315 startingPage "10" @default.
- W2163474315 abstract "In my American Academy paper of 1937 I gave a mathematical clarification and extension of C. I. Lewis's theory of strict implication using as the base ( K, T , ×, ′, ≣). In that paper the element a ⊰ b (read “ a hook b ”) was defined by ( a ⊰ b ) = ( ab ′= cc ′). The main purpose of the present paper is to show that this definition may be replaced by the simpler definition ( a ⊰ b ) = ( ab ≣ a ), provided Postulate 15 is replaced by two simpler postulates, 15a and 15b (see below). The paper may also serve to throw further light on the essential difference between Lewis's theory of “strict” implication and the more familiar theory of “material” implication. This paper and the earlier one, when read together, are entirely self-contained, all proofs (including proofs of independence) being given in full and no reference to earlier literature being required. We begin by reviewing briefly the rôle which logical deduction plays in the writing of any scientific book. Suppose you sit down to write. What do you actually do? In the last analysis, your activity as an author is a process of voluntary selection, restricted by certain inescapable rules. From an indefinite number of possible propositions which may occur to your imagination, you voluntarily select certain propositions which you accept as being worthy of being written down, one after another, in your book. Every proposition which occurs to you is either accepted, or rejected, or laid aside for further consideration." @default.
- W2163474315 created "2016-06-24" @default.
- W2163474315 creator A5085937906 @default.
- W2163474315 date "1939-03-01" @default.
- W2163474315 modified "2023-10-17" @default.
- W2163474315 title "Note on a recent set of postulates for the calculus of propositions " @default.
- W2163474315 cites W2015374966 @default.
- W2163474315 cites W2028076386 @default.
- W2163474315 cites W2331171291 @default.
- W2163474315 cites W2802680130 @default.
- W2163474315 doi "https://doi.org/10.2307/2266212" @default.
- W2163474315 hasPublicationYear "1939" @default.
- W2163474315 type Work @default.
- W2163474315 sameAs 2163474315 @default.
- W2163474315 citedByCount "1" @default.
- W2163474315 crossrefType "journal-article" @default.
- W2163474315 hasAuthorship W2163474315A5085937906 @default.
- W2163474315 hasConcept C105795698 @default.
- W2163474315 hasConcept C108710211 @default.
- W2163474315 hasConcept C111472728 @default.
- W2163474315 hasConcept C138885662 @default.
- W2163474315 hasConcept C144237770 @default.
- W2163474315 hasConcept C177264268 @default.
- W2163474315 hasConcept C17744445 @default.
- W2163474315 hasConcept C199343813 @default.
- W2163474315 hasConcept C199360897 @default.
- W2163474315 hasConcept C199539241 @default.
- W2163474315 hasConcept C200288055 @default.
- W2163474315 hasConcept C2524010 @default.
- W2163474315 hasConcept C2777152325 @default.
- W2163474315 hasConcept C2777686260 @default.
- W2163474315 hasConcept C2778029271 @default.
- W2163474315 hasConcept C2778120072 @default.
- W2163474315 hasConcept C33923547 @default.
- W2163474315 hasConcept C35651441 @default.
- W2163474315 hasConcept C41008148 @default.
- W2163474315 hasConcept C41895202 @default.
- W2163474315 hasConcept C71924100 @default.
- W2163474315 hasConceptScore W2163474315C105795698 @default.
- W2163474315 hasConceptScore W2163474315C108710211 @default.
- W2163474315 hasConceptScore W2163474315C111472728 @default.
- W2163474315 hasConceptScore W2163474315C138885662 @default.
- W2163474315 hasConceptScore W2163474315C144237770 @default.
- W2163474315 hasConceptScore W2163474315C177264268 @default.
- W2163474315 hasConceptScore W2163474315C17744445 @default.
- W2163474315 hasConceptScore W2163474315C199343813 @default.
- W2163474315 hasConceptScore W2163474315C199360897 @default.
- W2163474315 hasConceptScore W2163474315C199539241 @default.
- W2163474315 hasConceptScore W2163474315C200288055 @default.
- W2163474315 hasConceptScore W2163474315C2524010 @default.
- W2163474315 hasConceptScore W2163474315C2777152325 @default.
- W2163474315 hasConceptScore W2163474315C2777686260 @default.
- W2163474315 hasConceptScore W2163474315C2778029271 @default.
- W2163474315 hasConceptScore W2163474315C2778120072 @default.
- W2163474315 hasConceptScore W2163474315C33923547 @default.
- W2163474315 hasConceptScore W2163474315C35651441 @default.
- W2163474315 hasConceptScore W2163474315C41008148 @default.
- W2163474315 hasConceptScore W2163474315C41895202 @default.
- W2163474315 hasConceptScore W2163474315C71924100 @default.
- W2163474315 hasIssue "01" @default.
- W2163474315 hasLocation W21634743151 @default.
- W2163474315 hasOpenAccess W2163474315 @default.
- W2163474315 hasPrimaryLocation W21634743151 @default.
- W2163474315 hasRelatedWork W1499046683 @default.
- W2163474315 hasRelatedWork W1614044604 @default.
- W2163474315 hasRelatedWork W1987346758 @default.
- W2163474315 hasRelatedWork W2044559302 @default.
- W2163474315 hasRelatedWork W2092960421 @default.
- W2163474315 hasRelatedWork W2182962426 @default.
- W2163474315 hasRelatedWork W2364337937 @default.
- W2163474315 hasRelatedWork W2367637429 @default.
- W2163474315 hasRelatedWork W2394199736 @default.
- W2163474315 hasRelatedWork W2610554504 @default.
- W2163474315 hasVolume "4" @default.
- W2163474315 isParatext "false" @default.
- W2163474315 isRetracted "false" @default.
- W2163474315 magId "2163474315" @default.
- W2163474315 workType "article" @default.