Author: Bertrand Russell
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 254
Book Description
Mysticism and Logic
Author: Bertrand Russell
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 254
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 254
Book Description
The Logic of Knowledge Bases
Author: Hector J. Levesque
Publisher: MIT Press
ISBN: 9780262263498
Category : Computers
Languages : en
Pages : 316
Book Description
This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it.
Publisher: MIT Press
ISBN: 9780262263498
Category : Computers
Languages : en
Pages : 316
Book Description
This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it.
Logic and Knowledge
Author: Carlo Cellucci
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 484
Book Description
The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VIâ "VII of Platoâ (TM)s Republic and Aristotleâ (TM)s Prior and Posterior Analytics, to Kantâ (TM)s Critique of Pure Reason and Millâ (TM)s A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers by Bertrand Russell (Logic and Knowledge. Essays, 1901â "1950). However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge. This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors.
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 484
Book Description
The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VIâ "VII of Platoâ (TM)s Republic and Aristotleâ (TM)s Prior and Posterior Analytics, to Kantâ (TM)s Critique of Pure Reason and Millâ (TM)s A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers by Bertrand Russell (Logic and Knowledge. Essays, 1901â "1950). However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge. This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors.
Epistemic Logic
Author: Nicholas Rescher
Publisher: University of Pittsburgh Pre
ISBN: 0822970929
Category : Philosophy
Languages : en
Pages : 153
Book Description
Epistemic logic is the branch of philosophical thought that seeks to formalize the discourse about knowledge. Its object is to articulate and clarify the general principles of reasoning about claims to and attributions of knowledge. This comprehensive survey of the topic offers the first systematic account of the subject as it has developed in the journal literature over recent decades. Rescher gives an overview of the discipline by setting out the general principles for reasoning about such matters as propositional knowledge and interrogative knowledge. Aimed at graduate students and specialists, Epistemic Logic elucidates both Rescher's pragmatic view of knowledge and the field in general.
Publisher: University of Pittsburgh Pre
ISBN: 0822970929
Category : Philosophy
Languages : en
Pages : 153
Book Description
Epistemic logic is the branch of philosophical thought that seeks to formalize the discourse about knowledge. Its object is to articulate and clarify the general principles of reasoning about claims to and attributions of knowledge. This comprehensive survey of the topic offers the first systematic account of the subject as it has developed in the journal literature over recent decades. Rescher gives an overview of the discipline by setting out the general principles for reasoning about such matters as propositional knowledge and interrogative knowledge. Aimed at graduate students and specialists, Epistemic Logic elucidates both Rescher's pragmatic view of knowledge and the field in general.
Introduction to Logic and Theory of Knowledge
Author: Edmund Husserl
Publisher: Springer Science & Business Media
ISBN: 1402067275
Category : Philosophy
Languages : en
Pages : 500
Book Description
Claire Ortiz Hill The publication of all but a small, unfound, part of the complete text of the lecture course on logic and theory of knowledge that Edmund Husserl gave at Göttingen during the winter semester of 1906/07 became a reality in 1984 with the publication of Einleitung in die Logik und Erkenntnistheorie, Vorlesungen 1906/07 edited by 1 Ullrich Melle. Published in that volume were also 27 appendices containing material selected to complement the content of the main text in significant ways. They provide valuable insight into the evolution of Husserl’s thought between the Logical Investigations and Ideas I and, therefore, into the origins of phenomenology. That text and all those appendices but one are translated and published in the present volume. Omitted are only the “Personal Notes” dated September 25, 1906, November 4, 1907, and March 6, 1908, which were translated by Dallas Willard and published in his translation of Husserl’s Early 2 Writings in the Philosophy of Logic and Mathematics. Introduction to Logic and Theory of Knowledge, Lectures 1906/07 provides valuable insight into the development of the ideas fun- mental to phenomenology. Besides shedding considerable light on the genesis of phenomenology, it sheds needed light on many other dimensions of Husserl’s thought that have puzzled and challenged scholars.
Publisher: Springer Science & Business Media
ISBN: 1402067275
Category : Philosophy
Languages : en
Pages : 500
Book Description
Claire Ortiz Hill The publication of all but a small, unfound, part of the complete text of the lecture course on logic and theory of knowledge that Edmund Husserl gave at Göttingen during the winter semester of 1906/07 became a reality in 1984 with the publication of Einleitung in die Logik und Erkenntnistheorie, Vorlesungen 1906/07 edited by 1 Ullrich Melle. Published in that volume were also 27 appendices containing material selected to complement the content of the main text in significant ways. They provide valuable insight into the evolution of Husserl’s thought between the Logical Investigations and Ideas I and, therefore, into the origins of phenomenology. That text and all those appendices but one are translated and published in the present volume. Omitted are only the “Personal Notes” dated September 25, 1906, November 4, 1907, and March 6, 1908, which were translated by Dallas Willard and published in his translation of Husserl’s Early 2 Writings in the Philosophy of Logic and Mathematics. Introduction to Logic and Theory of Knowledge, Lectures 1906/07 provides valuable insight into the development of the ideas fun- mental to phenomenology. Besides shedding considerable light on the genesis of phenomenology, it sheds needed light on many other dimensions of Husserl’s thought that have puzzled and challenged scholars.
Elements of Knowledge
Author: Arthur Franklin Stewart
Publisher: Vanderbilt University Press
ISBN: 9780826513038
Category : Philosophy
Languages : en
Pages : 178
Book Description
Elements of Knowledge is an introductory text designed to bring a working understanding and appreciation of the fundamental tenets and methods of the American school of philosophy known as pragmatism, as articulated by its founder C.S. Peirce, to undergraduates and general readers. It presents and explains the basic pragmatic tools that are the common thread in our acquisition and development of knowledge, whether in an academic, vocational, or professional setting, or in life at large.
Publisher: Vanderbilt University Press
ISBN: 9780826513038
Category : Philosophy
Languages : en
Pages : 178
Book Description
Elements of Knowledge is an introductory text designed to bring a working understanding and appreciation of the fundamental tenets and methods of the American school of philosophy known as pragmatism, as articulated by its founder C.S. Peirce, to undergraduates and general readers. It presents and explains the basic pragmatic tools that are the common thread in our acquisition and development of knowledge, whether in an academic, vocational, or professional setting, or in life at large.
Acquaintance, Knowledge, and Logic
Author: Donovan Wishon
Publisher: Center for the Study of Language and Information Publica Tion
ISBN: 9781575868462
Category : First philosophy
Languages : en
Pages : 0
Book Description
Bertrand Russell, the recipient of the 1950 Nobel Prize for Literature, was one of the most distinguished, influential, and prolific philosophers of the twentieth century. Part of his importance consists in the significant contributions he made to mathematical logic, epistemology, philosophy of language, philosophy of mind, metaphysics, and philosophy of science. But he is also widely recognized for his achievements as a public figure, social activist, and gifted popularizer who brought philosophy and science outside of the ivory tower with rare clarity and wit. Both of these elements harmoniously come together in his 1912 "The Problems of Philosophy," a deceptively short book originally intended for a mass-audience of working adults but which has since become a core reading in the philosophical canon. This volume brings together 10 new essays on "The Problems of Philosophy" by some of the foremost scholars of Russell s life and works. These essays reexamine Russell s famous distinction between knowledge by acquaintance and knowledge by description, his developing views about our knowledge of physical reality, and his views about our knowledge of logic, mathematics, and other abstract matters. In addition, it includes an editors introduction, which summarizes Russell s book, highlights its continued significance for contemporary philosophy, and presents new biographical details about how and why Russell wrote it. "
Publisher: Center for the Study of Language and Information Publica Tion
ISBN: 9781575868462
Category : First philosophy
Languages : en
Pages : 0
Book Description
Bertrand Russell, the recipient of the 1950 Nobel Prize for Literature, was one of the most distinguished, influential, and prolific philosophers of the twentieth century. Part of his importance consists in the significant contributions he made to mathematical logic, epistemology, philosophy of language, philosophy of mind, metaphysics, and philosophy of science. But he is also widely recognized for his achievements as a public figure, social activist, and gifted popularizer who brought philosophy and science outside of the ivory tower with rare clarity and wit. Both of these elements harmoniously come together in his 1912 "The Problems of Philosophy," a deceptively short book originally intended for a mass-audience of working adults but which has since become a core reading in the philosophical canon. This volume brings together 10 new essays on "The Problems of Philosophy" by some of the foremost scholars of Russell s life and works. These essays reexamine Russell s famous distinction between knowledge by acquaintance and knowledge by description, his developing views about our knowledge of physical reality, and his views about our knowledge of logic, mathematics, and other abstract matters. In addition, it includes an editors introduction, which summarizes Russell s book, highlights its continued significance for contemporary philosophy, and presents new biographical details about how and why Russell wrote it. "
Foundations of the Logical Theory of Scientific Knowledge (Complex Logic)
Author: A.A. Zinov'ev
Publisher: Springer Science & Business Media
ISBN: 9401025010
Category : Science
Languages : en
Pages : 323
Book Description
Boston Studies in the Philosophy of Science are devoted to symposia, con gresses, colloquia, monographs and collected papers on the philosophical foundations of the sciences. It is now our pleasure to include A. A. Zi nov'ev's treatise on complex logic among these volumes. Zinov'ev is one of the most creative of modern Soviet logicians, and at the same time an innovative worker on the methodological foundations of science. More over, Zinov'ev, although still a developing scholar, has exerted a sub stantial and stimulating influence upon his colleagues and students in Moscow and within other philosophical and logical circles of the Soviet Union. Hence it may be helpful, in bringing this present work to an English-reading audience, to review briefly some contemporary Soviet investigations into scientific methodology. During the 1950's, a vigorous new research program in logic was under taken, and the initial published work -characteristic of most Soviet pub lications in the logic and methodology of the sciences - was a collection of essays, Logical Investigations (Moscow, 1959). Among the authors, in addition to Zinov'ev himself, were the philosophers A. Kol'man and P. V. Tavanec, and the mathematicians and linguists, S. A. Janovskaja, A. S. Esenin-Vol'pin, S. K. Saumjan, G. N. Povarov.
Publisher: Springer Science & Business Media
ISBN: 9401025010
Category : Science
Languages : en
Pages : 323
Book Description
Boston Studies in the Philosophy of Science are devoted to symposia, con gresses, colloquia, monographs and collected papers on the philosophical foundations of the sciences. It is now our pleasure to include A. A. Zi nov'ev's treatise on complex logic among these volumes. Zinov'ev is one of the most creative of modern Soviet logicians, and at the same time an innovative worker on the methodological foundations of science. More over, Zinov'ev, although still a developing scholar, has exerted a sub stantial and stimulating influence upon his colleagues and students in Moscow and within other philosophical and logical circles of the Soviet Union. Hence it may be helpful, in bringing this present work to an English-reading audience, to review briefly some contemporary Soviet investigations into scientific methodology. During the 1950's, a vigorous new research program in logic was under taken, and the initial published work -characteristic of most Soviet pub lications in the logic and methodology of the sciences - was a collection of essays, Logical Investigations (Moscow, 1959). Among the authors, in addition to Zinov'ev himself, were the philosophers A. Kol'man and P. V. Tavanec, and the mathematicians and linguists, S. A. Janovskaja, A. S. Esenin-Vol'pin, S. K. Saumjan, G. N. Povarov.
The Logic of Personal Knowledge
Author: Polanyi Festschrift Committee
Publisher: Routledge
ISBN: 1317440226
Category : Philosophy
Languages : en
Pages : 279
Book Description
Originally published in 1961. Michael Polanyi was a polymath who influenced economics and the sciences as well as philosophy. His wide-ranging research in physical science is as well-known as his work on freedom and knowledge and his arguments against positivism and reductionism. This collection of essays written for him touches on all aspects of his influence but rotates around his published lectures Personal Knowledge: Towards a Post-Critical Philosophy. The contributors address four areas – The Scientist as Knower, Historical Perspectives, The Knowledge of Society and the Knowledge of Living Things.
Publisher: Routledge
ISBN: 1317440226
Category : Philosophy
Languages : en
Pages : 279
Book Description
Originally published in 1961. Michael Polanyi was a polymath who influenced economics and the sciences as well as philosophy. His wide-ranging research in physical science is as well-known as his work on freedom and knowledge and his arguments against positivism and reductionism. This collection of essays written for him touches on all aspects of his influence but rotates around his published lectures Personal Knowledge: Towards a Post-Critical Philosophy. The contributors address four areas – The Scientist as Knower, Historical Perspectives, The Knowledge of Society and the Knowledge of Living Things.
Logic-based Knowledge Representation
Author: Peter Jackson
Publisher: Mit Press
ISBN: 9780262100380
Category : Computers
Languages : en
Pages : 255
Book Description
This book explores the building of expert systems using logic for knowledge representation and meta-level inference for control. It presents research done by members of the expert systems group of the Department of Artificial Intelligence in Edinburgh, often in collaboration with others, based on two hypotheses: that logic is a suitable knowledge representation language, and that an explicit representation of the control regime of the theorem prover has many advantages. The editors introduce these hypotheses and present the arguments in their favor They then describe Socrates' a tool for the construction of expert systems that is based on these assumptions. They devote the remaining chapters to the solution of problems that arise from the restrictions imposed by Socrates's representation language and from the system's inefficiency. The chapters dealing with the representation problem present a reified approach to temporal logic that makes it possible to use nonstandard logics without extending the system, and describe a general proof method for arbitrary modal logics. Those dealing with the efficiency problem discuss the technique of partial evaluation and its limitations, as well as another possible solution known as assertion-time inference. Peter Jackson is a Senior Scientist in the Department of Applied Mathematics and Computer Sciences at the McDonnell Douglas Research Laboratory in St. Louis. Han Reichgelt is a Lecturer in Department of Psychology at the University of Nottingham. Frank van Harmelen is a Research Fellow in the Mathematical Reasoning Group at the University of Edinburgh.
Publisher: Mit Press
ISBN: 9780262100380
Category : Computers
Languages : en
Pages : 255
Book Description
This book explores the building of expert systems using logic for knowledge representation and meta-level inference for control. It presents research done by members of the expert systems group of the Department of Artificial Intelligence in Edinburgh, often in collaboration with others, based on two hypotheses: that logic is a suitable knowledge representation language, and that an explicit representation of the control regime of the theorem prover has many advantages. The editors introduce these hypotheses and present the arguments in their favor They then describe Socrates' a tool for the construction of expert systems that is based on these assumptions. They devote the remaining chapters to the solution of problems that arise from the restrictions imposed by Socrates's representation language and from the system's inefficiency. The chapters dealing with the representation problem present a reified approach to temporal logic that makes it possible to use nonstandard logics without extending the system, and describe a general proof method for arbitrary modal logics. Those dealing with the efficiency problem discuss the technique of partial evaluation and its limitations, as well as another possible solution known as assertion-time inference. Peter Jackson is a Senior Scientist in the Department of Applied Mathematics and Computer Sciences at the McDonnell Douglas Research Laboratory in St. Louis. Han Reichgelt is a Lecturer in Department of Psychology at the University of Nottingham. Frank van Harmelen is a Research Fellow in the Mathematical Reasoning Group at the University of Edinburgh.