Read and Download eBook Full
Author: Robert S. Cohen
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 475
ISBN-13: 9401026564
DOWNLOAD EBOOKProceedings of the Boston Colloquium for the Philosophy of Science 1969/1972
Author: Dov M. Gabbay
Publisher: Springer Science & Business Media
Published: 2013-11-11
Total Pages: 304
ISBN-13: 9401729778
DOWNLOAD EBOOKFrom the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be of interest to the intuitionist mathematician. Originally, I intended to include more material in that spirit but I decided against it. There is no coherent body of material to include that builds naturally on the present book. There are some serious results on topological models, second order Beth and Kripke models, theories of types, etc., but it would require further research to be able to present a general theory, possibly using sheaves. That would have postponed pUblication for too long. I would like to dedicate this book to my colleagues, Professors G. Kreisel, M.O. Rabin and D. Scott. I have benefited greatly from Professor Kreisel's criticism and suggestions. Professor Rabin's fun damental results on decidability and undecidability provided the powerful tools used in obtaining the majority of the results reported in this book. Professor Scott's approach to non-classical logics and especially his analysis of the Scott consequence relation makes it possible to present Heyting's logic as a beautiful, integral part of non-classical logics.
Author: A. Orenstein
Publisher: Springer Science & Business Media
Published: 2001-11-30
Total Pages: 464
ISBN-13: 9781402002533
DOWNLOAD EBOOKQuine is one of the twentieth century's most important and influential philosophers. The essays in this collection are by some of the leading figures in their fields and they touch on the most recent turnings in Quine's work. The book also features an essay by Quine himself, and his replies to each of the papers. Questions are raised concerning Quine's views on knowledge: observation, holism, truth, naturalized epistemology; about language: meaning, the indeterminacy of translation, conjecture; and about the philosophy of logic: ontology, singular terms, vagueness, identity, and intensional contexts. Given Quine's preeminent position, this book must be of interest to students of philosophy in general, Quine aficionados, and most particularly to those working in the areas of epistemology, ontology, philosophies of language, of logic, and of science.
Author: Robert S. Cohen
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 410
ISBN-13: 9401021287
DOWNLOAD EBOOKModem philosophy of science has turned out to be a Pandora's box. Once opened, the puzzling monsters appeared: not only was the neat structure of classical physics radically changed, but a variety of broader questions were let loose, bearing on the nature of scientific inquiry and of human knowledge in general. Philosophy of science could not help becoming epistemological and historical, and could no longer avoid metaphysical questions, even when these were posed in disguise. Once the identification of scientific methodology with that of physics had been queried, not only did biology and psychology come under scrutiny as major modes of scientific inquiry, but so too did history and the social sciences - particularly economics, sociology and anthropology. And now, new 'monsters' are emerging - for example, medicine and political science as disciplined inquiries. This raises anew a much older question, namely whether the conception of science is to be distinguished from a wider conception of learning and inquiry? Or is science to be more deeply understood as the most adequate form of learning and inquiry, whose methods reach every domain of rational thought? Is modern science matured reason, or is it simply one historically adapted and limited species of western reason? In our colloquia at Boston University, over the past fourteen years, we have been probing and testing the scope of philosophy of science.
Author: M.H. Salmon
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 795
ISBN-13: 9400994044
DOWNLOAD EBOOKLogical empiricism - not to be confused with logical positivism (see pp. 40-44) - is a movement which has left an indelible mark on twentieth century philosophy; Hans Reichenbach (1891-1953) was one of its found ers and one of its most productive advocates. His sudden and untimely death in 1953 halted his work when he was at the height of his intellectual powers; nevertheless, he bequeathed to us a handsome philosophical inheritance. At the present time, twenty-five years later, we can survey our heritage and see to what extent we have been enriched. The present collection of essays constitutes an effort to do just that - to exhibit the scope and unity of Reichenbach's philosophy, and its relevance to current philosophical issues. There is no Nobel Prize in philosophy - the closest analogue is a volume in The Library of Living Philosophers, an honor which, like the Nobel Prize, cannot be awarded posthumously. Among 'scientific philosophers,' Rudolf Carnap, Albert Einstein, Karl Popper, and Bertrand Russell have been so honored. Had Reichenbach lived longer, he would have shared the honor with Carnap, for at the time of his death a volume on Logical Empiricism, treating the works of Carnap and Reichenbach, was in its early stages of preparation. In the volume which emerged, Carnap wrote, "In 1953, when Reichenbach's creative activity was suddenly ended by his premature death, our movement lost one of its most active leaders.
Author: Peter Mittelstaedt
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 168
ISBN-13: 9400998716
DOWNLOAD EBOOKIn 1936, G. Birkhoff and J. v. Neumann published an article with the title The logic of quantum mechanics'. In this paper, the authors demonstrated that in quantum mechanics the most simple observables which correspond to yes-no propositions about a quantum physical system constitute an algebraic structure, the most important proper ties of which are given by an orthocomplemented and quasimodular lattice Lq. Furthermore, this lattice of quantum mechanical proposi tions has, from a formal point of view, many similarities with a Boolean lattice L8 which is known to be the lattice of classical propositional logic. Therefore, one could conjecture that due to the algebraic structure of quantum mechanical observables a logical calculus Q of quantum mechanical propositions is established, which is slightly different from the calculus L of classical propositional logic but which is applicable to all quantum mechanical propositions (C. F. v. Weizsacker, 1955). This calculus has sometimes been called 'quan tum logic'. However, the statement that propositions about quantum physical systems are governed by the laws of quantum logic, which differ from ordinary classical logic and which are based on the empirically well-established quantum theory, is exposed to two serious objec tions: (a) Logic is a theory which deals with those relationships between various propositions that are valid independent of the content of the respective propositions. Thus, the validity of logical relationships is not restricted to a special type of proposition, e. g. to propositions about classical physical systems.
Author: Alfons Keupink
Publisher: Springer Science & Business Media
Published: 2006-03-30
Total Pages: 405
ISBN-13: 140204299X
DOWNLOAD EBOOKThis volume collects some of the most significant papers of Arthur Pap. Pap’s work played an important role in the development of the analytic tradition. This goes beyond the merely historical fact of Pap’s influential views of dispositional and modal concepts. Pap's writings in philosophy of science, modality, and philosophy of mathematics provide insightful alternative perspectives on philosophical problems of current interest.
Author: Jaakko Hintikka
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 459
ISBN-13: 9400998252
DOWNLOAD EBOOKThe Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Logic Conference were held in JyvaskyIa, Finland, June 29-July 6, 1976. The Conferences were organized by a committee which consisted of the editors of the present volume. The Conferences were supported financially by the Ministry of Education of Finland, by the Academy of Finland, and by the Division of Logic, Methodology, and Philosophy of Science of the International Union of History of Science. The Philosophical Society of Finland and the Jyvaskyla Summer Festival gave valuable help in various practicalities. 35 papers by authors representing 10 countries were presented at the two meetings. Of those papers 24 appear here. THE EDITORS v TABLE OF CONTENTS PREFACE v PART 1/ PROOF THEORY GEORG KREISEL / Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory 3 DAG PRAWITZ / Proofs and the Meaning and Completeness of the Logical Constants 25 v. A. SMIRNOV / Theory of Quantification and tff-calculi 41 LARS SVENONIUS/Two Kinds of Extensions of Primitive Recursive Arithmetic 49 DIRK VAN DALEN and R. STATMAN / Equality in the Presence of Apartness 95 PART II / INFINITARY LANGUAGES VEIKKO RANTALA / Game-Theoretical Semantics and Back-and- Forth 119 MAARET KAR TTUNEN / Infinitary Languages N oo~.
Author: C. Anthony Anderson
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 632
ISBN-13: 9401005265
DOWNLOAD EBOOKThis volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.
Author: E.W. Adams
Publisher: Springer Science & Business Media
Published: 2013-03-09
Total Pages: 173
ISBN-13: 940157622X
DOWNLOAD EBOOKOf the four chapters in this book, the first two discuss (albeit in consider ably modified form) matters previously discussed in my papers 'On the Logic of Conditionals' [1] and 'Probability and the Logic of Conditionals' [2], while the last two present essentially new material. Chapter I is relatively informal and roughly parallels the first of the above papers in discussing the basic ideas of a probabilistic approach to the logic of the indicative conditional, according to which these constructions do not have truth values, but they do have probabilities (equal to conditional probabilities), and the appropriate criterion of soundness for inferences involving them is that it should not be possible for all premises of the inference to be probable while the conclusion is improbable. Applying this criterion is shown to have radically different consequences from the orthodox 'material conditional' theory, not only in application to the standard 'fallacies' of the material conditional, but to many forms (e. g. , Contraposition) which have hitherto been regarded as above suspi cion. Many more applications are considered in Chapter I, as well as certain related theoretical matters. The chief of these, which is the most important new topic treated in Chapter I (i. e.
