Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science

✍ Scribed by L. Jonathan Cohen, Jerzy ЕЃoЕ›, Helmut Pfeiffer and Klaus-Peter Podewski (Eds.)

• Publisher: Elsevier Science Ltd
• Year: 1982
• Tongue: English
• Leaves: 803
• Series: Studies in Logic and the Foundations of Mathematics 104
• Category: Library

✦ Table of Contents

Content:
Edited by
Page iii

Copyright page
Page iv

Preface
Pages ix-xi

Officers of the Division
Page xii

Steering Committee
Page xii

Organising Committee
Page xiii

List of Donors
Page xiv

The RГґle of Mathematics in Present-Day Science Original Research Article
Pages 3-13
R. Thom

“Scientific” History and Traditional History Original Research Article
Pages 15-61
Robert William Fogel

The RГґle of Mathematics in Economics Original Research Article
Pages 63-76
Werner Hildenbrand

Work of Paul Bernays and Kurt Gödel Original Research Article
Pages 77-85
Gaisi Takeuti

A Survey Of в€ЏВЅ-Logic Original Research Article
Pages 89-107
J.-Y. Girard

Logical Approach to Programming Original Research Article
Pages 109-122
N.N. Nepeivoda

Admissibility in Proof Theory; A Survey Original Research Article
Pages 123-139
W. Pohlers

Symposium on Constructivity in Mathematics: Introductory Remarks Original Research Article
Pages 141-143
R.O. Gandy

Applications of Constructivity Original Research Article
Pages 145-152
J.M.E. Hyland

Constructive Mathematics and Computer Programming Original Research Article
Pages 153-175
Per Martin-Löf

Crumbly Spaces Original Research Article
Pages 179-191
Yuri Gurevich

Residue Fields of Models of P Original Research Article
Pages 193-206
Angus Macintyre

Number of Models in Complete Varieties Original Research Article
Pages 207-221
E.A. Palyutin

On Algebraically Closed Models of Theories of Commutative Rings Original Research Article
Pages 223-234
Joachim Reineke

Small Degrees in Ordinary Recursion Theory Original Research Article
Pages 237-240
A.N. Degtev

Non-Obtainable Continuous Functionals Original Research Article
Pages 241-249
Dag Normann

Dynamic Logic Original Research Article
Pages 251-261
Vaughan R. Pratt

Four Test Problems in Generalized Recursion Theory Original Research Article
Pages 263-270
Stephen G. Simpson

Ordinal Games and Their Applications Original Research Article
Pages 273-277
Leo A. Harrington, Alexander S. Kechris

The Simplest Counterexample to Compactness in the Constructive Universe Original Research Article
Pages 279-288
Menachem Magidor

Anderson and Belnap, and Lewy on Entailment Original Research Article
Pages 291-297
J. Michael Dunn

Truth-Value Gaps Original Research Article
Pages 299-313
John Mcdowell

Semantics of Generalized State Descriptions Original Research Article
Pages 315-323
E.K. Voishvillo

Referential Matrix Semantics for Propositional Calculi Original Research Article
Pages 325-334
Ryszard WГіjcicki

Realism in the Natural Sciences Original Research Article
Pages 337-354
Roy Bhaskar

Possible Worlds and the Ontology of a Scientific Theory Original Research Article
Pages 355-362
V.N. Kostiouk

Difficulties for Realism in the Philosophy of Science Original Research Article
Pages 363-375
J.J.C. Smart

Metatheoretical Dilemmas of the Social Sciences: The Case of Sociology Original Research Article
Pages 377-387
Piotr Sztompka

Probability: The Different Views and Terminologies in a Critical Analysis Original Research Article
Pages 391-394
Bruno De Finetti

Paradoxes of Conglomerability and Fiducial Inference Original Research Article
Pages 395-412
T. Seidenfeld

Review and Analysis of Some Inconsistencies Related to Improper Priors and Finite Additivity Original Research Article
Pages 413-426
Mervyn Stone

On the Problem of Irreversibility in Theoretical Physics Original Research Article
Pages 429-439
A.P. Grecos, I. Prigogine

Probability in Classical and Quantum Physics Original Research Article
Pages 441-447
Yu. V. Sachkov

The Scope and Limits of Scientific Change Original Research Article
Pages 449-459
Dudley Shapere

Aspects of Theory Construction in Biology Original Research Article
Pages 463-477
Lindley Darden

The Reality of Biological Species: A Conceptualistic and a Systemic Approach Original Research Article
Pages 479-499
Osvaldo A. Reig

Some Connections Between Ascriptions of Goals and Assumptions of Adaptiveness Original Research Article
Pages 501-516
Andrew Woodfteld

Functionalism Original Research Article
Pages 519-539
Ned J. Block

The Implications of Land's Theory of Colour Vision Original Research Article
Pages 541-552
Keith Campbell

Intentionality and Behaviorism Original Research Article
Pages 553-569
Dagfinn FГёllesdal

New Perspectives on Cognitive Psychology Original Research Article
Pages 571-582
B.M. Velichkovsky, V.P. Zinchenko

The Equilibrium Concept in Economics Original Research Article
Pages 585-594
E. Malinvaud

Rights and the Theory of Social Choice Original Research Article
Pages 595-605
Allan Gibbard

Liberalism, Independent Rights and the Pareto Principle Original Research Article
Pages 607-620
Peter J. Hammond

Mathematical Analysis of Language Original Research Article
Pages 623-637
Zellig Harris

Formal Capacity of Montague Grammars Original Research Article
Pages 639-656
Carl H. Heidrich

On Logico-Linguistics: Structure, Transformation and Paraphrase Original Research Article
Pages 657-675
R.M. Martin

Sociolinguistic Method and Linguistic Theory Original Research Article
Pages 677-689
David Sankoff

On the Methodological Problems of the History of Science: An Analytical Approach Original Research Article
Pages 693-710
Maurice A. Finocchiaro

On the Change of the Interrelations Between Science and Epistemology of Science in the Process of their Historical Development Original Research Article
Pages 711-717
V. Lektorsky

On the Origin and Subsequent Applications of the Concept of the Lindenbaum Algebra Original Research Article
Pages 719-734
StansЕ‚aw J. Surma

Frege's Notion of “Bedeutung” Original Research Article
Pages 735-753
Ignacio Angelelli

From Leibniz to Frege: Mathematical Logic Between 1679 and 1879 Original Research Article
Pages 755-770
Christian Thiel

Rational Allocation of Resources to Scientific Research Original Research Article
Pages 773-789
Patrick Suppes

Comments on Patrick Suppes's ‘Rational Allocation of Resources to Scientific Research’ Original Research Article
Pages 791-796
Bengt Hansson

Allocation of the Resources to Scientific Research: A Comment to the Report by P. Suppes Original Research Article
Pages 797-807
Boris Yudin

On Genetic Engineering, the Epistemology of Risk, and the Value of Life Original Research Article
Pages 809-834
Stephen P. Stick

Alleged Threats from Genetics Original Research Article
Pages 835-842
Bernard D. Davis

Programme
Pages 843-852

Index of Names
Pages 853-856