Philosophical Dimensions of Logic and Science: Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999 - Softcover
Book 174 of 304: Synthese Library
Synopsis
Preface. I: Logic and Metamathematics. 1. A classification of logics over FLew; H. Ono, M. Ueda. 2. On representing semantics in finite models; M. Mostowiski. 3. Spectra of formulae with Henkin quantifiers; J. Golinska, K. Zdanowski. 4. On SigmaN-definability in arithmetic; J. Borrego-Diaz, et al. 5. Arithmetic complexity of the predicate logics; V. Plisko. 6. Straightforward proof of Köbler-Messner's result; Z. Sadowski. 7. On the persistent difficulty of disjunction; W. Veldman. II: Science. 8. Science, lifeworld and realism; S. Pihlström. 9. Explaining laws by reduction; E. Weber. 10. Akaike's theorem and Bayesian methodology; I.A. Kieseppä. 11. Does a living system have a state?; G.Hon. 12. Do genes code for traits? M. Wheeler. 13. Chemistry and the completeness of physics; R. Findlay Hendry. 14. The thermodynamic arrow of time; K. Ridderbos. 15. Modal interpretations; P.E. Vermaas. 16. Cartwright's models are not adequate for EPR; J. Cachro, T. Placek. III: Language. 17. Radical anti-realism and substructural logics; J. Dubucs, M. Marion. 18. The minimalist conception of truth; M. Witek. 19. Truth and satisfaction by the empty sequence; J. Wolenski. 20. Truth, propositions and context; C. Gauker. 21. Actuality and possibility; P. Materna. 22. Possible worlds semantics and the liar; S. Lindström. IV: Cognition.23. The triplet modeling of concept connections; V. Kuznetzov. 24. Evaluation and testing in creativity; I. Brinck. 25. Assessment in the limits of scientific inquiry; V.F. Hendricks, et al. 26. Inferential traps in an escalation process; R. Dacey. Index of Names.
"synopsis" may belong to another edition of this title.
