Author: M.H. Salmon
Publisher: Springer Science & Business Media
ISBN: 940090987X
Category : Science
Languages : en
Pages : 554
Book Description
This work is divided into two parts. Part I contains sixteen critical es says by prominent philosophers and computer scientists. Their papers offer insightful, well-argued contemporary views of a broad range of topics that lie at the heart of philosophy in the second half of the twen tieth century: semantics and ontology, induction, the nature of prob ability, the foundations of science, scientific objectivity, the theory of naming, the logic of conditionals, simulation modeling, the relatiOn be tween minds and machines, and the nature of rules that guide be havior. In this volume honoring Arthur W. Burks, the philosophical breadth of his work is thus manifested in the diverse aspects of that work chosen for discussion and development by the contributors to his Festschrift. Part II consists of a book-length essay by Burks in which he lays out his philosophy of logical mechanism while responding to the papers in Part I. In doing so, he provides a unified and coherent context for the range of problems raised in Part I, and he highlights interesting relationships among the topics that might otherwise have gone un noticed. Part II is followed by a bibliography of Burks's published works.
The Philosophy of Logical Mechanism
Author: M.H. Salmon
Publisher: Springer Science & Business Media
ISBN: 940090987X
Category : Science
Languages : en
Pages : 554
Book Description
This work is divided into two parts. Part I contains sixteen critical es says by prominent philosophers and computer scientists. Their papers offer insightful, well-argued contemporary views of a broad range of topics that lie at the heart of philosophy in the second half of the twen tieth century: semantics and ontology, induction, the nature of prob ability, the foundations of science, scientific objectivity, the theory of naming, the logic of conditionals, simulation modeling, the relatiOn be tween minds and machines, and the nature of rules that guide be havior. In this volume honoring Arthur W. Burks, the philosophical breadth of his work is thus manifested in the diverse aspects of that work chosen for discussion and development by the contributors to his Festschrift. Part II consists of a book-length essay by Burks in which he lays out his philosophy of logical mechanism while responding to the papers in Part I. In doing so, he provides a unified and coherent context for the range of problems raised in Part I, and he highlights interesting relationships among the topics that might otherwise have gone un noticed. Part II is followed by a bibliography of Burks's published works.
Publisher: Springer Science & Business Media
ISBN: 940090987X
Category : Science
Languages : en
Pages : 554
Book Description
This work is divided into two parts. Part I contains sixteen critical es says by prominent philosophers and computer scientists. Their papers offer insightful, well-argued contemporary views of a broad range of topics that lie at the heart of philosophy in the second half of the twen tieth century: semantics and ontology, induction, the nature of prob ability, the foundations of science, scientific objectivity, the theory of naming, the logic of conditionals, simulation modeling, the relatiOn be tween minds and machines, and the nature of rules that guide be havior. In this volume honoring Arthur W. Burks, the philosophical breadth of his work is thus manifested in the diverse aspects of that work chosen for discussion and development by the contributors to his Festschrift. Part II consists of a book-length essay by Burks in which he lays out his philosophy of logical mechanism while responding to the papers in Part I. In doing so, he provides a unified and coherent context for the range of problems raised in Part I, and he highlights interesting relationships among the topics that might otherwise have gone un noticed. Part II is followed by a bibliography of Burks's published works.
Philosophy of Logic
Author:
Publisher: Elsevier
ISBN: 008046663X
Category : Mathematics
Languages : en
Pages : 1219
Book Description
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter
Publisher: Elsevier
ISBN: 008046663X
Category : Mathematics
Languages : en
Pages : 1219
Book Description
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter
The Logical Structure of Kinds
Author: Eric Funkhouser
Publisher:
ISBN: 0198713304
Category : Philosophy
Languages : en
Pages : 193
Book Description
Eric Funkhouser uncovers a logical structure that is common to many, if not all, classificatory systems or taxonomies. Every conceptual scheme--including the sciences, mathematics, and ethics--classifies things into kinds. Given their ubiquity across theoretical contexts, we would benefit from understanding the nature of such kinds. Significantly, most conceptual schemes posit kinds that vary in their degree of specificity. Species-genus taxonomiesprovide us with familiar examples, with the species classification being more specific than the genus classification. This book instead focuses on adjectival kinds--classifications picked out by kind-terms like'mass', 'shape', or 'belief', to give but a few examples. One of its fundamental claims is that studying the determination relation provides deep insight into the essences of adjectival kinds and their instances (properties). The determination relation is found to contain two components, which are employed to structure kinds at the same level of abstraction into property spaces. In turn, these property space models lead to a theory for individuating properties, which has profound consequenceswhen it comes to reduction, autonomy, and causation. Funkhouser argues that determination and realization are mutually exclusive relations. He defends the claim that multiple realizability entailsvarious senses of autonomy from various reductionist challenges. These theories of determination and realization ultimately provide general standards for establishing the autonomy of the special sciences or, conversely, their reduction.
Publisher:
ISBN: 0198713304
Category : Philosophy
Languages : en
Pages : 193
Book Description
Eric Funkhouser uncovers a logical structure that is common to many, if not all, classificatory systems or taxonomies. Every conceptual scheme--including the sciences, mathematics, and ethics--classifies things into kinds. Given their ubiquity across theoretical contexts, we would benefit from understanding the nature of such kinds. Significantly, most conceptual schemes posit kinds that vary in their degree of specificity. Species-genus taxonomiesprovide us with familiar examples, with the species classification being more specific than the genus classification. This book instead focuses on adjectival kinds--classifications picked out by kind-terms like'mass', 'shape', or 'belief', to give but a few examples. One of its fundamental claims is that studying the determination relation provides deep insight into the essences of adjectival kinds and their instances (properties). The determination relation is found to contain two components, which are employed to structure kinds at the same level of abstraction into property spaces. In turn, these property space models lead to a theory for individuating properties, which has profound consequenceswhen it comes to reduction, autonomy, and causation. Funkhouser argues that determination and realization are mutually exclusive relations. He defends the claim that multiple realizability entailsvarious senses of autonomy from various reductionist challenges. These theories of determination and realization ultimately provide general standards for establishing the autonomy of the special sciences or, conversely, their reduction.
From Darwinian Metaphysics Towards Understanding the Evolution of Evolutionary Mechanisms
Author: Momme von Sydow
Publisher: Universitätsverlag Göttingen
ISBN: 3863950062
Category : Science
Languages : en
Pages : 502
Book Description
"Although Charles Darwin predicted that his theory 'would give zest to ... metaphysics, ' even he would be astonished at the variety of paths his theory has in fact taken. This holds with regard to both gene-Darwinism, a purified Darwinian approach biologizing the social sciences, and process- Darwinism found in the disciplines of psychology, philosophy of science, and economics. Although Darwinism is often linked to highly confirmed biological theories, some of its interpretations seem to profit from tautological claims as well, where scientific reputation cloaks ideological usage. This book discusses central tenets of Darwinism historically as well as systematically, for example the history of different Darwinian paradigms, the units-of-selection debate, and the philosophical problem of induction as basis of metaphysical Darwinism. Crucially the book addresses the Darwinian claim that evolution is governed by an immutable and unrelentingly cruel law of natural selection. Paradoxically, Darwins theory is a static, non-evolutionary theory of evolution. The current book sketches the historical background and provides suggestions that may help to replace this approach by the idea of an evolution of evolutionary mechanisms (see Escher's 'Drawing Hands' on the cover). This view even suggests a tendency to overcome the blindness of the knowledge acquisition of primordial Darwinian processes and allows for some freedom from external environments. This book first develops a radically Darwinian approach, then criticises this approach from within. Even Darwinism has a tendency to transcend itself. Although the book addresses several empirical issues, it does not challenge particular findings. Instead it builds on many insights of Darwinism and provides a proposal for interpreting known empirical evidence in a different light. It should help pave the way for further developing an understanding of nature that transcends Darwinian metaphysics"--Publisher's description.
Publisher: Universitätsverlag Göttingen
ISBN: 3863950062
Category : Science
Languages : en
Pages : 502
Book Description
"Although Charles Darwin predicted that his theory 'would give zest to ... metaphysics, ' even he would be astonished at the variety of paths his theory has in fact taken. This holds with regard to both gene-Darwinism, a purified Darwinian approach biologizing the social sciences, and process- Darwinism found in the disciplines of psychology, philosophy of science, and economics. Although Darwinism is often linked to highly confirmed biological theories, some of its interpretations seem to profit from tautological claims as well, where scientific reputation cloaks ideological usage. This book discusses central tenets of Darwinism historically as well as systematically, for example the history of different Darwinian paradigms, the units-of-selection debate, and the philosophical problem of induction as basis of metaphysical Darwinism. Crucially the book addresses the Darwinian claim that evolution is governed by an immutable and unrelentingly cruel law of natural selection. Paradoxically, Darwins theory is a static, non-evolutionary theory of evolution. The current book sketches the historical background and provides suggestions that may help to replace this approach by the idea of an evolution of evolutionary mechanisms (see Escher's 'Drawing Hands' on the cover). This view even suggests a tendency to overcome the blindness of the knowledge acquisition of primordial Darwinian processes and allows for some freedom from external environments. This book first develops a radically Darwinian approach, then criticises this approach from within. Even Darwinism has a tendency to transcend itself. Although the book addresses several empirical issues, it does not challenge particular findings. Instead it builds on many insights of Darwinism and provides a proposal for interpreting known empirical evidence in a different light. It should help pave the way for further developing an understanding of nature that transcends Darwinian metaphysics"--Publisher's description.
Brouwer meets Husserl
Author: Mark van Atten
Publisher: Springer Science & Business Media
ISBN: 1402050879
Category : Mathematics
Languages : en
Pages : 213
Book Description
Can a line be analysed mathematically such a way that it does not fall apart into a set of discrete points? Are there objects of pure mathematics that can change through time? L. E. J. Brouwer argued that the two questions are related and that the answer to both is "yes", introducing the concept of choice sequences. This book subjects Brouwer's choice sequences to a phenomenological critique in the style of Husserl.
Publisher: Springer Science & Business Media
ISBN: 1402050879
Category : Mathematics
Languages : en
Pages : 213
Book Description
Can a line be analysed mathematically such a way that it does not fall apart into a set of discrete points? Are there objects of pure mathematics that can change through time? L. E. J. Brouwer argued that the two questions are related and that the answer to both is "yes", introducing the concept of choice sequences. This book subjects Brouwer's choice sequences to a phenomenological critique in the style of Husserl.
The Dawn of Cognitive Science
Author: L. Albertazzi
Publisher: Springer Science & Business Media
ISBN: 9401596565
Category : Philosophy
Languages : en
Pages : 384
Book Description
Current debate in cognitive science, from robotics to analysis of vision, deals with problems like the perception of form, the structure and formation of mental images and their modelling, the ecological development of artificial intelligence, and cognitive analysis of natural language. It focuses in particular on the presence of a hierarchy of intellectual constructions in different formats of representation. These diverse approaches, which share a common assumption of the inner nature of representation, call for a new epistemology - even a new psychophysics - based on a theory of reference which is intrinsically cognitive. As a contribution to contemporary research, the reading presents the core of theories developed in Central Europe between the late nineteenth and early twentieth centuries by philosophers, physicists, psychologists and semanticists who shared a dynamic approach and a pronounced concern with problems of interaction and dependence. These theories offer innovative solutions to some of the epistemological and philosophical problems currently at the centre of debate, like part-whole, theory of relations, and conceptual and linguistic categorization.
Publisher: Springer Science & Business Media
ISBN: 9401596565
Category : Philosophy
Languages : en
Pages : 384
Book Description
Current debate in cognitive science, from robotics to analysis of vision, deals with problems like the perception of form, the structure and formation of mental images and their modelling, the ecological development of artificial intelligence, and cognitive analysis of natural language. It focuses in particular on the presence of a hierarchy of intellectual constructions in different formats of representation. These diverse approaches, which share a common assumption of the inner nature of representation, call for a new epistemology - even a new psychophysics - based on a theory of reference which is intrinsically cognitive. As a contribution to contemporary research, the reading presents the core of theories developed in Central Europe between the late nineteenth and early twentieth centuries by philosophers, physicists, psychologists and semanticists who shared a dynamic approach and a pronounced concern with problems of interaction and dependence. These theories offer innovative solutions to some of the epistemological and philosophical problems currently at the centre of debate, like part-whole, theory of relations, and conceptual and linguistic categorization.
A Model-Theoretic Realist Interpretation of Science
Author: E.B. Ruttkamp
Publisher: Springer Science & Business Media
ISBN: 9401705836
Category : Science
Languages : en
Pages : 236
Book Description
In this book Emma Ruttkamp demonstrates the power of the full-blown employment of the model-theoretic paradigm in the philosophy of science. Within this paradigm she gives an account of sciences as process and product. She expounds the "received statement" and the "non-statement" views of science, and shows how the model-theoretic approach resolves the spurious tension between these views. In this endeavour she also engages the views of a number of contemporary philosophers of science with affinity to model theory. This text can be read by specialists working in philosophy of science or formal semantics, by logicians working on the structure of theories, and by students in philosophy of science - this text offers a thorough introduction to non-statement accounts of sciences as well as a discussion of the traditional statement account of science.
Publisher: Springer Science & Business Media
ISBN: 9401705836
Category : Science
Languages : en
Pages : 236
Book Description
In this book Emma Ruttkamp demonstrates the power of the full-blown employment of the model-theoretic paradigm in the philosophy of science. Within this paradigm she gives an account of sciences as process and product. She expounds the "received statement" and the "non-statement" views of science, and shows how the model-theoretic approach resolves the spurious tension between these views. In this endeavour she also engages the views of a number of contemporary philosophers of science with affinity to model theory. This text can be read by specialists working in philosophy of science or formal semantics, by logicians working on the structure of theories, and by students in philosophy of science - this text offers a thorough introduction to non-statement accounts of sciences as well as a discussion of the traditional statement account of science.
Philosophical Lectures on Probability
Author: Bruno de Finetti
Publisher: Springer Science & Business Media
ISBN: 1402082029
Category : Science
Languages : en
Pages : 239
Book Description
Bruno de Finetti (1906–1985) is the founder of the subjective interpretation of probability, together with the British philosopher Frank Plumpton Ramsey. His related notion of “exchangeability” revolutionized the statistical methodology. This book (based on a course held in 1979) explains in a language accessible also to non-mathematicians the fundamental tenets and implications of subjectivism, according to which the probability of any well specified fact F refers to the degree of belief actually held by someone, on the ground of her whole knowledge, on the truth of the assertion that F obtains.
Publisher: Springer Science & Business Media
ISBN: 1402082029
Category : Science
Languages : en
Pages : 239
Book Description
Bruno de Finetti (1906–1985) is the founder of the subjective interpretation of probability, together with the British philosopher Frank Plumpton Ramsey. His related notion of “exchangeability” revolutionized the statistical methodology. This book (based on a course held in 1979) explains in a language accessible also to non-mathematicians the fundamental tenets and implications of subjectivism, according to which the probability of any well specified fact F refers to the degree of belief actually held by someone, on the ground of her whole knowledge, on the truth of the assertion that F obtains.
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Author: Peter Schuster
Publisher: Springer Science & Business Media
ISBN: 940159757X
Category : Mathematics
Languages : en
Pages : 330
Book Description
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. Recent developments, however, have given rise to the hope that the distance between constructive and nonstandard mathematics is actually much smaller than it appears. So the time was ripe for the first meeting dedicated simultaneously to both ways of doing mathematics – and to the current and future reunion of these seeming opposites. Consisting of peer-reviewed research and survey articles written on the occasion of such an event, this volume offers views of the continuum from various standpoints. Including historical and philosophical issues, the topics of the contributions range from the foundations, the practice, and the applications of constructive and nonstandard mathematics, to the interplay of these areas and the development of a unified theory.
Publisher: Springer Science & Business Media
ISBN: 940159757X
Category : Mathematics
Languages : en
Pages : 330
Book Description
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. Recent developments, however, have given rise to the hope that the distance between constructive and nonstandard mathematics is actually much smaller than it appears. So the time was ripe for the first meeting dedicated simultaneously to both ways of doing mathematics – and to the current and future reunion of these seeming opposites. Consisting of peer-reviewed research and survey articles written on the occasion of such an event, this volume offers views of the continuum from various standpoints. Including historical and philosophical issues, the topics of the contributions range from the foundations, the practice, and the applications of constructive and nonstandard mathematics, to the interplay of these areas and the development of a unified theory.
Attitudes and Changing Contexts
Author: Robert van Rooij
Publisher: Springer Science & Business Media
ISBN: 1402041772
Category : Philosophy
Languages : en
Pages : 291
Book Description
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes this view within possible world semantics. He establishes a link between philosophical analyses of intentionality and reference, and formal semantic theories of discourse representation and context change. The relation between belief change and the semantic analyses of conditional sentences and evidential (knowledge) and buletic (desire) propositional attitudes is discussed extensively.
Publisher: Springer Science & Business Media
ISBN: 1402041772
Category : Philosophy
Languages : en
Pages : 291
Book Description
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes this view within possible world semantics. He establishes a link between philosophical analyses of intentionality and reference, and formal semantic theories of discourse representation and context change. The relation between belief change and the semantic analyses of conditional sentences and evidential (knowledge) and buletic (desire) propositional attitudes is discussed extensively.