Laws of FormAllen & Unwin, 1969 - 141 pagina's |
Vanuit het boek
Resultaten 1-3 van 28
Pagina xv
... example , the nearest approach to my theorem 16 seems to be a weaker and less central theorem apparently first proved ? by Quine , as a lemma to a completeness proof for a propositional calculus . It was only after contemplating this ...
... example , the nearest approach to my theorem 16 seems to be a weaker and less central theorem apparently first proved ? by Quine , as a lemma to a completeness proof for a propositional calculus . It was only after contemplating this ...
Pagina 85
... example to justify another theorem . One of the most ' useless ' theorems in mathematics is Gold- bach's conjecture . We do not frequently find ourselves saying ' if only we knew that every even number greater than 2 could be ...
... example to justify another theorem . One of the most ' useless ' theorems in mathematics is Gold- bach's conjecture . We do not frequently find ourselves saying ' if only we knew that every even number greater than 2 could be ...
Pagina 119
... example , in transcribing the alleged dilemma above , we first cross the transcription of each individual premiss and then cross the result to give the conjunction , and finally cross all this again for the implication . We have , in ...
... example , in transcribing the alleged dilemma above , we first cross the transcription of each individual premiss and then cross the result to give the conjunction , and finally cross all this again for the implication . We have , in ...
Inhoudsopgave
Independence | 53 |
Reentry into the form | 69 |
Notes | 77 |
Copyright | |
3 andere gedeelten niet getoond
Veelvoorkomende woorden en zinsdelen
Alfred North Whitehead already appear argument arrangement axiom Boole Boolean algebras boundary calculus of indications called cancellation canon Chapter circumference condensation connexion consequence consider constant constructed cross r cross deepest space degree demonstration distinct variables distinguished empty cross evident example existence existential experience fact finite formal George Boole George Spencer-Brown hitherto hypothesis of simplification identical illustrated indicate the marked injunction inside interpretation justified K-elements Kurt Gödel LAWS OF FORM logic logical conjunction marker mathe mathematical matical number of crosses number of steps ourselves plane possible pr qr premisses primary algebra primary arithmetic primitive equation principle procedure proposition prove R D Laing reader reference rule seen sentential calculus sentential logic Sheffer's simple expression Sn+2 Spencer Brown stand statements substitution Suppose syllogism symbol theorem 16 tion token universal unmarked valid wave structure write Yehoshua Bar-Hillel ать רר