A Handbook of LogicHarper, 1961 - 250 עמודים |
מתוך הספר
תוצאות 1-3 מתוך 15
עמוד 21
... assert that " There are Platonic ideas . " This interpretation of general propositions is rather different from that most often used in daily discourse . For in ordinary conversation , when we assert a universal proposition , such as ...
... assert that " There are Platonic ideas . " This interpretation of general propositions is rather different from that most often used in daily discourse . For in ordinary conversation , when we assert a universal proposition , such as ...
עמוד 22
... assert that there are seasick men . What these two notices do assert is ( 1 ) if there is a trespasser , then he is subject to prosecution , and ( 2 ) if there is a seasick man , he is not excused from duty . On the other hand ...
... assert that there are seasick men . What these two notices do assert is ( 1 ) if there is a trespasser , then he is subject to prosecution , and ( 2 ) if there is a seasick man , he is not excused from duty . On the other hand ...
עמוד 34
... assert that kangaroos exhaust the class of intro- verts . Nor when we say " All Hawaiians are good swim- mers " do we mean that Hawaiians are all of the good swimmers . From the information given to us by the proposi- tion at hand , we ...
... assert that kangaroos exhaust the class of intro- verts . Nor when we say " All Hawaiians are good swim- mers " do we mean that Hawaiians are all of the good swimmers . From the information given to us by the proposi- tion at hand , we ...
תוכן
What is logic? I CHIGAN | 13 |
Inferences from simple propositions | 37 |
The syllogism II | 70 |
זכויות יוצרים | |
7 קטעים אחרים שאינם מוצגים
מהדורות אחרות - הצג הכל
מונחים וביטויים נפוצים
affirmative affirming the consequent alternation analytic antecedent antilogism argue argument Aristotle assert axioms called categorical syllogisms cats causal CHIGAN class calculus classical logic classical logicians conclusion construct contradictory deductive system definition enthymemes example expression F F F figure formal logic formalist formula girls Gödel's proof grampuses Hence Id.S Id.T implies q inductive inference invalid large number law of noncontradiction least logical machines main column major premise material equivalence mathematics means method MICHIGAN Mill's Mill's methods minor negation negative notation number of instances obverse Ɔ q paradox particular postulates predicate term principle probability propositional calculus prove PV q q is true question relation rule sorites statements subject term substitution superaltern Suppose syllogistic symbolic tautology theorem things tion tive truth functions truth table truth values undistributed UNIVERS universal valid variables Venn diagrams Τ Τ