Laws of FormAllen & Unwin, 1969 - 141 pagina's |
Vanuit het boek
Resultaten 1-3 van 13
Pagina 44
... evident , but we do not as a rule consider it worth recording if its evidence does not need , in some way , to be made evident . This rule is excepted in the case of an axiom , which may appear evident without further guidance . Both ...
... evident , but we do not as a rule consider it worth recording if its evidence does not need , in some way , to be made evident . This rule is excepted in the case of an axiom , which may appear evident without further guidance . Both ...
Pagina 57
... evident , then , that , by an unlimited number of steps from a given expression e , we can reach an expression e ' which is not equivalent to e . We see , in such a case , that the theorems of representation no longer hold , since the ...
... evident , then , that , by an unlimited number of steps from a given expression e , we can reach an expression e ' which is not equivalent to e . We see , in such a case , that the theorems of representation no longer hold , since the ...
Pagina 78
... evident in the injunctive faculty of language . Even natural science appears to be more dependent upon injunction than we are usually prepared to admit . The pro- fessional initiation of the man of science consists not so much in ...
... evident in the injunctive faculty of language . Even natural science appears to be more dependent upon injunction than we are usually prepared to admit . The pro- fessional initiation of the man of science consists not so much 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 ать רר