84 pages matching formal in this book
Results 1-3 of 84
What people are saying - Write a review
We haven't found any reviews in the usual places.
Preface to the English edition
4 other sections not shown
algebra of sets applied Assertion assume assumption axioms B(Re behaviour binary relation Boolean algebra Borel sets c(ap called Clearly codecidable coincide concept conditions are satisfied considerations considered decide deductively definition denote determined discussion domain easily elementary systems elements empirical phenomena empirical systems empirical theories equivalent examined example exists experiment experimenter fact finite following conditions formal given holds true homomorphism hypotheses instance interval involve isomorphic language Lindenbaum-Tarski algebra mathematical identities mathematical logic matter measurement structure measurement theory metho methodology notation numerical systems object arguments objects Observe obvious operational ordered set parameters particle mechanics particular phenomenon physical possible probability measure probability space problem proof quantity real numbers referred regularities respect restricted rules of inference schema semantic sense sequence set of sentences set-theoretical sound standard interpretation state-determined subsets symbols system variables testing procedures theorems treated valid values verify well-formed formula