Author: Paul Gochet
Publisher: Springer Science & Business Media
ISBN: 9400989490
Category : Science
Languages : en
Pages : 222
Book Description
1. IMPORTANCE OF THE SUBJECT In 1900, in A Critical Exposition of the Philosophy of Leihniz, Russell made the following assertion: "That all sound philosophy should begin with an analysis of propositions is a truth too evident, perhaps, to demand a proof". 1 Forty years later, the interest aroused by this notion had not decreased. C. J. Ducasse wrote in the Journal of Philosophy: "There is perhaps no question more basic for the theory of knowledge than that of the nature of 2 propositions and their relations to judgments, sentences, facts and inferences". Today, the great number of publications on the subject is proof that it is still of interest. One of the problems raised by propositions, the problem of deter mining whether propositions, statements or sentences are the primary bearers of truth and falsity, is even in the eyes of Bar-Hillel, "one of the major items that the future philosophy oflanguage will have to discuss". 3 gave a correct summary of the situation when he wrote in his Ph. Devaux Russell (1967): Since Peano and Schroder who, in fact, adhered more faithfully to Boole's logic of classes, the logical and epistemological status of the proposition together with its analysis have not ceased to be the object of productive philosophical controversies. And especially so since the establishment of contemporary symbolic logic, the foundations 4 of which have been laid out by Russell and Whitehead. * 2.
Outline of a Nominalist Theory of Propositions
Author: Paul Gochet
Publisher: Springer Science & Business Media
ISBN: 9400989490
Category : Science
Languages : en
Pages : 222
Book Description
1. IMPORTANCE OF THE SUBJECT In 1900, in A Critical Exposition of the Philosophy of Leihniz, Russell made the following assertion: "That all sound philosophy should begin with an analysis of propositions is a truth too evident, perhaps, to demand a proof". 1 Forty years later, the interest aroused by this notion had not decreased. C. J. Ducasse wrote in the Journal of Philosophy: "There is perhaps no question more basic for the theory of knowledge than that of the nature of 2 propositions and their relations to judgments, sentences, facts and inferences". Today, the great number of publications on the subject is proof that it is still of interest. One of the problems raised by propositions, the problem of deter mining whether propositions, statements or sentences are the primary bearers of truth and falsity, is even in the eyes of Bar-Hillel, "one of the major items that the future philosophy oflanguage will have to discuss". 3 gave a correct summary of the situation when he wrote in his Ph. Devaux Russell (1967): Since Peano and Schroder who, in fact, adhered more faithfully to Boole's logic of classes, the logical and epistemological status of the proposition together with its analysis have not ceased to be the object of productive philosophical controversies. And especially so since the establishment of contemporary symbolic logic, the foundations 4 of which have been laid out by Russell and Whitehead. * 2.
Publisher: Springer Science & Business Media
ISBN: 9400989490
Category : Science
Languages : en
Pages : 222
Book Description
1. IMPORTANCE OF THE SUBJECT In 1900, in A Critical Exposition of the Philosophy of Leihniz, Russell made the following assertion: "That all sound philosophy should begin with an analysis of propositions is a truth too evident, perhaps, to demand a proof". 1 Forty years later, the interest aroused by this notion had not decreased. C. J. Ducasse wrote in the Journal of Philosophy: "There is perhaps no question more basic for the theory of knowledge than that of the nature of 2 propositions and their relations to judgments, sentences, facts and inferences". Today, the great number of publications on the subject is proof that it is still of interest. One of the problems raised by propositions, the problem of deter mining whether propositions, statements or sentences are the primary bearers of truth and falsity, is even in the eyes of Bar-Hillel, "one of the major items that the future philosophy oflanguage will have to discuss". 3 gave a correct summary of the situation when he wrote in his Ph. Devaux Russell (1967): Since Peano and Schroder who, in fact, adhered more faithfully to Boole's logic of classes, the logical and epistemological status of the proposition together with its analysis have not ceased to be the object of productive philosophical controversies. And especially so since the establishment of contemporary symbolic logic, the foundations 4 of which have been laid out by Russell and Whitehead. * 2.
Representational Ideas
Author: R. A. Watson
Publisher: Springer Science & Business Media
ISBN: 9401100756
Category : Philosophy
Languages : en
Pages : 193
Book Description
In Representational Ideas: From Plato to Patricia Churchland Watson argues that all intelligible theories of representation by ideas are based on likeness between representations and objects. He concludes that 17th century materialist criticisms of `having' mental representations in the mind apply to contemporary material representations in the brain, as proposed by neurophilosophers. The argument begins with Plato, with particular stress on Descartes, Malebranche, and Arnauld. He then proceeds with an examination of the picture theory developed by Wittgenstein, Carnap, and Goodman, and concludes with an examination of Patricia Churchland, Ruth Millikan, Robert Cummins, and Mark Rollins. The use of the historical development of representationalism to pose a central problem in contemporary cognitive science is unique. For students, scholars and researchers in neuroscience, cognitive science, philosophy of mind, and modern philosophy.
Publisher: Springer Science & Business Media
ISBN: 9401100756
Category : Philosophy
Languages : en
Pages : 193
Book Description
In Representational Ideas: From Plato to Patricia Churchland Watson argues that all intelligible theories of representation by ideas are based on likeness between representations and objects. He concludes that 17th century materialist criticisms of `having' mental representations in the mind apply to contemporary material representations in the brain, as proposed by neurophilosophers. The argument begins with Plato, with particular stress on Descartes, Malebranche, and Arnauld. He then proceeds with an examination of the picture theory developed by Wittgenstein, Carnap, and Goodman, and concludes with an examination of Patricia Churchland, Ruth Millikan, Robert Cummins, and Mark Rollins. The use of the historical development of representationalism to pose a central problem in contemporary cognitive science is unique. For students, scholars and researchers in neuroscience, cognitive science, philosophy of mind, and modern philosophy.
Refined Verisimilitude
Author: S.D. Zwart
Publisher: Springer Science & Business Media
ISBN: 9401728704
Category : Science
Languages : en
Pages : 272
Book Description
The subject of the present inquiry is the approach-to-the-truth research, which started with the publication of Sir Karl Popper's Conjectures and Refutations. In the decade before this publication, Popper fiercely attacked the ideas of Rudolf Carnap about confirmation and induction; and ten years later, in the famous tenth chapter of Conjectures he introduced his own ideas about scientific progress and verisimilitude (cf. the quotation on page 6). Abhorring inductivism for its apprecia tion of logical weakness rather than strength, Popper tried to show that fallibilism could serve the purpose of approach to the truth. To substantiate this idea he formalized the common sense intuition about preferences, that is: B is to be preferred to A if B has more advantages andfewer drawbacks than A. In 1974, however, David Millerand Pavel Tichy proved that Popper's formal explication could not be used to compare false theories. Subsequently, many researchers proposed alternatives or tried to improve Popper's original definition.
Publisher: Springer Science & Business Media
ISBN: 9401728704
Category : Science
Languages : en
Pages : 272
Book Description
The subject of the present inquiry is the approach-to-the-truth research, which started with the publication of Sir Karl Popper's Conjectures and Refutations. In the decade before this publication, Popper fiercely attacked the ideas of Rudolf Carnap about confirmation and induction; and ten years later, in the famous tenth chapter of Conjectures he introduced his own ideas about scientific progress and verisimilitude (cf. the quotation on page 6). Abhorring inductivism for its apprecia tion of logical weakness rather than strength, Popper tried to show that fallibilism could serve the purpose of approach to the truth. To substantiate this idea he formalized the common sense intuition about preferences, that is: B is to be preferred to A if B has more advantages andfewer drawbacks than A. In 1974, however, David Millerand Pavel Tichy proved that Popper's formal explication could not be used to compare false theories. Subsequently, many researchers proposed alternatives or tried to improve Popper's original definition.
Internal Logic
Author: Y. Gauthier
Publisher: Springer Science & Business Media
ISBN: 9401700834
Category : Mathematics
Languages : en
Pages : 276
Book Description
Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.
Publisher: Springer Science & Business Media
ISBN: 9401700834
Category : Mathematics
Languages : en
Pages : 276
Book Description
Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.
Collected Papers of Stig Kanger with Essays on his Life and Work
Author: Ghita Holmström-Hintikka
Publisher: Springer Science & Business Media
ISBN: 9401005001
Category : Mathematics
Languages : en
Pages : 313
Book Description
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to action theory, preference logic, and the theory of measurement. This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.
Publisher: Springer Science & Business Media
ISBN: 9401005001
Category : Mathematics
Languages : en
Pages : 313
Book Description
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to action theory, preference logic, and the theory of measurement. This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.
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.
Logic, Meaning and Computation
Author: C. Anthony Anderson
Publisher: Springer Science & Business Media
ISBN: 9401005265
Category : Philosophy
Languages : en
Pages : 632
Book Description
This 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.
Publisher: Springer Science & Business Media
ISBN: 9401005265
Category : Philosophy
Languages : en
Pages : 632
Book Description
This 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.
Philosophical Lectures on Probability
Author: Bruno de Finetti
Publisher: Springer Science & Business Media
ISBN: 1402082010
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: 1402082010
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.
Explanation
Author: Giora Hon
Publisher: Springer Science & Business Media
ISBN: 9401597316
Category : Science
Languages : en
Pages : 348
Book Description
For some years we have been conducting at the University of Haifa an interdisciplinary seminar on explanation in philosophy and psychology. We habitually begin the seminar with some philosophical reflections on explanation - an analysis of the concept and its metaphysical underpinnings. We discuss the various models and proceed to examine explanation in the setting of psychology. Thus, from the outset, we have focused not only on the concept itself but also on its application. The objective that we have set for the seminar, attended by students from both departments, Philosophy and Psychology, has been a critical understanding of the concept of explanation, its use and limitations. We were keen on deepening our understanding of the concept and on exploring its applications in fields of knowledge other than psychology. This was the motivation for convening an international conference on explanation and its application. The conference took place in the spring of 1998 under the auspices of the University of Haifa. The present book is the fruit of this meeting. The reader should note that the second part of the Introduction presents a detailed analytical account of the book. We hope that this overview will facilitate efficient use of the book by directing the reader's attention to those issues that might be of interest to him or her.
Publisher: Springer Science & Business Media
ISBN: 9401597316
Category : Science
Languages : en
Pages : 348
Book Description
For some years we have been conducting at the University of Haifa an interdisciplinary seminar on explanation in philosophy and psychology. We habitually begin the seminar with some philosophical reflections on explanation - an analysis of the concept and its metaphysical underpinnings. We discuss the various models and proceed to examine explanation in the setting of psychology. Thus, from the outset, we have focused not only on the concept itself but also on its application. The objective that we have set for the seminar, attended by students from both departments, Philosophy and Psychology, has been a critical understanding of the concept of explanation, its use and limitations. We were keen on deepening our understanding of the concept and on exploring its applications in fields of knowledge other than psychology. This was the motivation for convening an international conference on explanation and its application. The conference took place in the spring of 1998 under the auspices of the University of Haifa. The present book is the fruit of this meeting. The reader should note that the second part of the Introduction presents a detailed analytical account of the book. We hope that this overview will facilitate efficient use of the book by directing the reader's attention to those issues that might be of interest to him or her.
A Boole Anthology
Author: James Gasser
Publisher: Springer Science & Business Media
ISBN: 940159385X
Category : Philosophy
Languages : en
Pages : 351
Book Description
Modern mathematical logic would not exist without the analytical tools first developed by George Boole in The Mathematical Analysis of Logic and The Laws of Thought. The influence of the Boolean school on the development of logic, always recognised but long underestimated, has recently become a major research topic. This collection is the first anthology of works on Boole. It contains two works published in 1865, the year of Boole's death, but never reprinted, as well as several classic studies of recent decades and ten original contributions appearing here for the first time. From the programme of the English Algebraic School to Boole's use of operator methods, from the problem of interpretability to that of psychologism, a full range of issues is covered. The Boole Anthology is indispensable to Boole studies and will remain so for years to come.
Publisher: Springer Science & Business Media
ISBN: 940159385X
Category : Philosophy
Languages : en
Pages : 351
Book Description
Modern mathematical logic would not exist without the analytical tools first developed by George Boole in The Mathematical Analysis of Logic and The Laws of Thought. The influence of the Boolean school on the development of logic, always recognised but long underestimated, has recently become a major research topic. This collection is the first anthology of works on Boole. It contains two works published in 1865, the year of Boole's death, but never reprinted, as well as several classic studies of recent decades and ten original contributions appearing here for the first time. From the programme of the English Algebraic School to Boole's use of operator methods, from the problem of interpretability to that of psychologism, a full range of issues is covered. The Boole Anthology is indispensable to Boole studies and will remain so for years to come.