Foundations: Logic, Language, and Mathematics

✍ Scribed by Melvin Fitting (auth.), Hugues Leblanc, Elliott Mendelson, Alex Orenstein (eds.)

• Publisher: Springer Netherlands
• Year: 1984
• Tongue: English
• Leaves: 282
• Edition: 1
• Category: Library

✦ Synopsis

The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students. Finally, there are still other approaches that address some of the technical problems arising when we try to provide an account of belief and of rational choice. - These include efforts to provide logical frameworks within which we can make sense of these notions. This series will attempt to bring together work from all of these approaches to the history and philosophy of science and technology in the belief that each has something to add to our understanding. The volumes of this series have emerged either from lectures given by authors while they served as honorary visiting professors at the City College of New York or from conferences sponsored by that institution. The City College Program in the History and Philosophy of Science and Technology oversees and directs these lectures and conferences with the financial aid of the Association for Philosophy of Science, Psychotheraphy, and Ethics. MARTIN TAMNY RAPHAEL STERN PREFACE The papers in this collection stem largely from the conference 'Foun­ dations: Logic, Language, and Mathematics' held at the Graduate Center of the City University of New York on 14-15 November 1980.

✦ Table of Contents

Front Matter....Pages i-3
A Symmetric Approach to Axiomatizing Quantifiers and Modalities....Pages 5-19
The Knowing Mathematician....Pages 21-38
“Conservative” Kripke Closures....Pages 39-49
Frege, Leśniewski and Information Semantics on the Resolution of Antinomies....Pages 51-72
De Finetti’s Probabilism....Pages 73-90
Probability Functions and Their Assumption Sets — The Binary Case....Pages 91-106
Logic and Reasoning....Pages 107-127
Paradoxes....Pages 129-144
Referential and Nonreferential Substitutional Quantifiers....Pages 145-157
Foundations for Analysis and Proof Theory....Pages 159-200
Chameleonic Languages....Pages 201-224
Relational Model Systems: The Craft of Logic....Pages 225-252
Realizability and Intuitionistic Logic....Pages 253-282

✦ Subjects

Philosophy of Science; Logic