Philosophical Dimensions of Logic and Science Selected Contributed P
Philosophical Dimensions of Logic and Science is a collection of outstanding contributed papers presented at the 11th International Congress of Logic, Methodology, and Philosophy of Science held in Kraków in 1999. The Congress was a follow-up to the serie
- PDF / 37,607,243 Bytes
- 392 Pages / 419.528 x 595.276 pts Page_size
- 91 Downloads / 194 Views
SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE
Editor-in-Chief:
JOHN SYMONS, University of Texas at El Paso, U.S.A.
Senior Advisory Editor: JAAKKO HINTIKKA, Boston University, U.S.A.
Editors: DIRK VAN DALEN, University of Utrecht, The Netherlands DONALD DAVIDSON, University of California, Berkeley, U.S.A. THEO A.F. KUIPERS, University of Groningen, The Netherlands PATRICK SUPPES, Stanford University, California, U.S.A. JAN WOLEN´SKI, Jagiellonian University, Kraków, Poland
VOLUME 320
PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999 edited by
ARTUR ROJSZCZAK† The Jagiellonian University, Kraków, Poland
JACEK CACHRO The Jagiellonian University, Kraków, Poland and
GABRIEL KURCZEWSKI The University of Information Technology and Management, Rzeszów, Poland
SPRINGER-SCIENCE+BUSINESS MEDIA, B.V.
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN 978-90-481-6432-5
ISBN 978-94-017-2612-2 (eBook)
DOI 10.1007/978-94-017-2612-2
Printed on acid-free paper
All Rights Reserved © 2003 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 2003 No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work.
Contents
ix
Preface Part I
Logic and Metamathematics
1
A CLASSIFICATION OF LOGICS OVER FLew HIROAKIRA ONO, MASAKI UEDA
3
2
ON REPRESENTING SEMANTICS IN FINITE MODELS MARCIN MOSTOWSKI 3 SPECTRA OF FORMULAE WITH HENKIN QUANTIFIERS JOANNA GOLINSKA, KONRAD ZDANOWSKI
15
29
4
ON EN-DEFINABILITY IN ARITHMETIC J. BORREGO-DIAZ, A. FERNANDEZ-MARGARIT, M. J. PEREZ-JIMENEZ 5 ARITHMETIC COMPLEXITY OF THE PREDICATE LOGICS VALERI PLISKO
47
57
6
STRAIGHTFORWARD PROOF OF KOBLER-MESSNER'S RESULT ZENON SADOWSKI
67
7 ON THE PERSISTENT DIFFICULTY OF DISJUNCTION WIM VELDMAN v
77
v1
PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE
Part TT
Science
8
SCIENCE, LIFEWORLD, AND REALISM SAM! PIHLSTROM
93
9
EXPLAINING LAWS BY REDUCTION ERIK WEBER
109
10 AKAIKE'S THEOREM AND BAYESIAN METHODOLOGY I. A. KIESEPPA
117
11
DOES A LIVING SYSTEM HAVE A STATE? GIORA HON
139
12 DO GENES CODE FOR TRAITS? MICHAEL WHEELER
151
13 CHEMISTRY AND THE COMPLETENESS OF PHYSICS ROBIN FINDLAY HENDRY
165
14
THE THERMODYNAMIC ARROW OF TIME KATINKA RIDDERBOS
179
15 MODAL INTERPRETATIONS PIETER E. VERMAAS
195
16 CARTWRIGHT'S MODELS ARE NOT ADEQUATE FOR EPR JACEK CACHRO, TOMASZ PLACEK
Part 111
213
Language
17 RADICAL ANTI-REALISM AND SUBSTRUCTURAL LOGICS JACQUES DUDUCS, MATHIEU MARION
235
CONTENTS
vu
18
THE MINIMALIST CONCEPTION OF TRUT
