In the Scope of Logic, Methodology and Philosophy of Science: Volume One of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999Peter Gärdenfors, Jan Wolenski, K. Kijania-Placek Springer Science & Business Media, 2002. gada 31. dec. - 384 lappuses This is the first of two volumes containing papers submitted by the invited speakers to the 11th International Congress of Logic, Methodology and Philosophy of Science, held in Cracow in 1999, under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited speakers are the leading researchers and accordingly the book presents the current state of the intellectual discourse in the respective fields. The papers delivered at the congress were divided into 17 sections. Thus the structure of the volume corresponds to the very schedule of the congress. Volume one contains the opening lecture by Andrzej K. Wróblewski as well as invited papers in sections of Proof Theory, Model Theory, Recursion Theory, Axiomatic Set Theory, Logic and Computation, Logic, Language and Cognition, Methodology, Probability, Induction, and Decision Theory, Philosophy of Logic, Mathematics, and Computer Science, and Philosophy of the Physical Sciences. |
Saturs
DEVELOPMENT OF SCIENCE | 3 |
LOWER BOUNDS ON PROOF LENGTH | 17 |
FEW NON MINIMAL TYPES ON | 29 |
MINIMISATION VS RECURSION | 57 |
GLOBAL PROPERTIES | 65 |
EFFECTIVE CARDINALITY | 99 |
ON HOARE LOGIC KLEENE ALGEBRA | 119 |
LOGIC AND COGNITION | 137 |
PREFERENCE LOGIC AND | 213 |
STEPS TOWARD | 263 |
ON THE DISTINCTION PROOFTRUTH | 287 |
TOPOS THEORY AS A FRAMEWORK FOR | 307 |
KANT GÖDEL AND RELATIVITY | 331 |
PHYSICS OR METAPHYSICS? | 349 |
370 | 368 |
XI PHILOSOPHY OF THE BIOLOGICAL SCIENCES | 369 |
EXPERIMENT AND THE GROWTH | 157 |
THEORY TESTING STATISTICAL | 171 |
NEW EVIDENCE FOR OLD | 191 |
Bieži izmantoti vārdi un frāzes
answer arithmetical arrow assumption axioms basic Boolean Borel Borel equivalence relations cardinality causal claim clause computable isomorphism computably categorical concept countable Davidson default reasoning defined definition degree spectrum elements equivalence relation evidence example exception object exclusive disjunction existence experimental knowledge fact finite formal formula function Gandy Gärdenfors given Gödel Goncharov hence Hilbert Hoare logic hypothesis idea induction inference interpretation intuition ISBN isomorphism K₂ Kechris Kijania-Placek Kleene algebra Kochen-Specker theorem Kozen language Lemma mathematics Mayo Methodology and Philosophy Minkowski spacetime model theory monic natural numbers notion object parameters partial phenomena Philosophy of Science physical preference presheaves problem proof propositions quantum recursion Section sense sentences severe test Sheffer stroke Shelah spacetime structure subobject subobject classifier subset symmetry Theorem theory tion topos truth truth-values Turing Turing degrees University Woleński