Author: Willard Van Orman Quine
Publisher: Harvard University Press
ISBN: 9780674798366
Category : Mathematics
Languages : en
Pages : 326
Book Description
For more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. Selected Logic Papers, long out of print and now reissued with eight additional essays, includes much of the author's important work on mathematical logic and the philosophy of mathematics from the past sixty years.
Selected Logic Papers
Author: Willard Van Orman Quine
Publisher: Harvard University Press
ISBN: 9780674798366
Category : Mathematics
Languages : en
Pages : 326
Book Description
For more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. Selected Logic Papers, long out of print and now reissued with eight additional essays, includes much of the author's important work on mathematical logic and the philosophy of mathematics from the past sixty years.
Publisher: Harvard University Press
ISBN: 9780674798366
Category : Mathematics
Languages : en
Pages : 326
Book Description
For more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. Selected Logic Papers, long out of print and now reissued with eight additional essays, includes much of the author's important work on mathematical logic and the philosophy of mathematics from the past sixty years.
Selected Papers in Logic and Foundations, Didactics, Economics
Author: Karl Menger
Publisher: Springer Science & Business Media
ISBN: 9400993471
Category : Philosophy
Languages : en
Pages : 343
Book Description
This volume brings together those papers of mine which may be of interest not only to various specialists but also to philosophers. Many of my writings in mathematics were motivated by epistemological considerations; some papers originated in the critique of certain views that at one time dominated the discussions of the Vienna Cirele; others grew out of problems in teaching fundamental ideas of mathematics; sti II others were occasioned by personal relations with economists. Hence a wide range of subjects will be discussed: epistemology, logic, basic concepts of pure and applied mathematics, philosophical ideas resulting from geometric studies, mathematical didactics and, finally, economics. The papers also span a period of more than fifty years. What unifies the various parts of the book is the spirit of searching for the elarification of basic concepts and methods and of articulating hidden ideas and tacit procedures. Part 1 ineludes papers published about 1930 which expound an idea that Carnap, after a short period of opposition in the Cirele, fully adopted ; and, under the name "Princip/e of To/erance", he eloquently formulated it in great generality in his book, Logica/ Syntax of Language (1934), through which it was widely disseminated. "The New Logic" in Chapter 1 furthermore ineludes the first report (I932) to a larger public of Godel's epochal discovery presented among the great logic results of ali time. Chapter 2 is a translation of an often quoted 1930 paper presenting a detailed exposition and critique of intuitionism.
Publisher: Springer Science & Business Media
ISBN: 9400993471
Category : Philosophy
Languages : en
Pages : 343
Book Description
This volume brings together those papers of mine which may be of interest not only to various specialists but also to philosophers. Many of my writings in mathematics were motivated by epistemological considerations; some papers originated in the critique of certain views that at one time dominated the discussions of the Vienna Cirele; others grew out of problems in teaching fundamental ideas of mathematics; sti II others were occasioned by personal relations with economists. Hence a wide range of subjects will be discussed: epistemology, logic, basic concepts of pure and applied mathematics, philosophical ideas resulting from geometric studies, mathematical didactics and, finally, economics. The papers also span a period of more than fifty years. What unifies the various parts of the book is the spirit of searching for the elarification of basic concepts and methods and of articulating hidden ideas and tacit procedures. Part 1 ineludes papers published about 1930 which expound an idea that Carnap, after a short period of opposition in the Cirele, fully adopted ; and, under the name "Princip/e of To/erance", he eloquently formulated it in great generality in his book, Logica/ Syntax of Language (1934), through which it was widely disseminated. "The New Logic" in Chapter 1 furthermore ineludes the first report (I932) to a larger public of Godel's epochal discovery presented among the great logic results of ali time. Chapter 2 is a translation of an often quoted 1930 paper presenting a detailed exposition and critique of intuitionism.
Fuzzy Sets, Fuzzy Logic, And Fuzzy Systems: Selected Papers By Lotfi A Zadeh
Author: George J Klir
Publisher: World Scientific
ISBN: 9814499811
Category : Computers
Languages : en
Pages : 842
Book Description
This book consists of selected papers written by the founder of fuzzy set theory, Lotfi A Zadeh. Since Zadeh is not only the founder of this field, but has also been the principal contributor to its development over the last 30 years, the papers contain virtually all the major ideas in fuzzy set theory, fuzzy logic, and fuzzy systems in their historical context. Many of the ideas presented in the papers are still open to further development. The book is thus an important resource for anyone interested in the areas of fuzzy set theory, fuzzy logic, and fuzzy systems, as well as their applications. Moreover, the book is also intended to play a useful role in higher education, as a rich source of supplementary reading in relevant courses and seminars.The book contains a bibliography of all papers published by Zadeh in the period 1949-1995. It also contains an introduction that traces the development of Zadeh's ideas pertaining to fuzzy sets, fuzzy logic, and fuzzy systems via his papers. The ideas range from his 1965 seminal idea of the concept of a fuzzy set to ideas reflecting his current interest in computing with words — a computing in which linguistic expressions are used in place of numbers.Places in the papers, where each idea is presented can easily be found by the reader via the Subject Index.
Publisher: World Scientific
ISBN: 9814499811
Category : Computers
Languages : en
Pages : 842
Book Description
This book consists of selected papers written by the founder of fuzzy set theory, Lotfi A Zadeh. Since Zadeh is not only the founder of this field, but has also been the principal contributor to its development over the last 30 years, the papers contain virtually all the major ideas in fuzzy set theory, fuzzy logic, and fuzzy systems in their historical context. Many of the ideas presented in the papers are still open to further development. The book is thus an important resource for anyone interested in the areas of fuzzy set theory, fuzzy logic, and fuzzy systems, as well as their applications. Moreover, the book is also intended to play a useful role in higher education, as a rich source of supplementary reading in relevant courses and seminars.The book contains a bibliography of all papers published by Zadeh in the period 1949-1995. It also contains an introduction that traces the development of Zadeh's ideas pertaining to fuzzy sets, fuzzy logic, and fuzzy systems via his papers. The ideas range from his 1965 seminal idea of the concept of a fuzzy set to ideas reflecting his current interest in computing with words — a computing in which linguistic expressions are used in place of numbers.Places in the papers, where each idea is presented can easily be found by the reader via the Subject Index.
Fallacies
Author: John Woods
Publisher: College Publications
ISBN: 9781904987161
Category : Philosophy
Languages : en
Pages : 356
Book Description
In the past forty years there has been a revolution in logic. There is a widening consensus that mathematical logic has not been a satisfactory theory of argumentation, where argumentation is taken as a means of rational belief-revision and conflict resolution. It is also widely held that the traditional informal fallacies are inadequately analyzed in standard accounts found in the logical writings of the period 1950-1970. Here in nineteen chapters are the classical papers of Woods and Walton published in the decade 1972-1982, and constituting the so-called Woods-Walton Approach to fallacy theory. Originally published as a collection in 1989, the book is now re-issued with a new Forward by Dale Jacquette. Woods and Walton are recognized for their seminal role in reviving the fallacies project in logic and giving to the fallacies research programme much of its evolving character and emphasis. It is one of their principal contentions that the fallacies respond best to theoretical pluralism and that different analytical tools are needed for different fallacies. Again conveniently available in a single volume, these papers are indispensable reading for a new generation of researchers in informal logic, argumentation theory, critical thinking, computer science, linguistics and cognitive psychology. John Woods is also author of The Death of Argument: Fallacies in Agent-Based Reasoning 2005. Douglas Walton is author of A Pragmatic Theory of Fallacy 1995.
Publisher: College Publications
ISBN: 9781904987161
Category : Philosophy
Languages : en
Pages : 356
Book Description
In the past forty years there has been a revolution in logic. There is a widening consensus that mathematical logic has not been a satisfactory theory of argumentation, where argumentation is taken as a means of rational belief-revision and conflict resolution. It is also widely held that the traditional informal fallacies are inadequately analyzed in standard accounts found in the logical writings of the period 1950-1970. Here in nineteen chapters are the classical papers of Woods and Walton published in the decade 1972-1982, and constituting the so-called Woods-Walton Approach to fallacy theory. Originally published as a collection in 1989, the book is now re-issued with a new Forward by Dale Jacquette. Woods and Walton are recognized for their seminal role in reviving the fallacies project in logic and giving to the fallacies research programme much of its evolving character and emphasis. It is one of their principal contentions that the fallacies respond best to theoretical pluralism and that different analytical tools are needed for different fallacies. Again conveniently available in a single volume, these papers are indispensable reading for a new generation of researchers in informal logic, argumentation theory, critical thinking, computer science, linguistics and cognitive psychology. John Woods is also author of The Death of Argument: Fallacies in Agent-Based Reasoning 2005. Douglas Walton is author of A Pragmatic Theory of Fallacy 1995.
George Boole
Author: Ivor Grattan-Guinness
Publisher: Birkhäuser
ISBN: 3034888597
Category : Mathematics
Languages : en
Pages : 297
Book Description
George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his name has spread world-wide for his innovations in symbolic logic and the development and applications made since his day. The utility of "Boolean algebra" in computing has greatly increased curiosity in the nature and extent of his achievements. His work is most accessible in his two books on logic, "A mathematical analysis of logic" (1947) and "An investigation of the laws of thought" (1954). But at various times he wrote manuscript essays, especially after the publication of the second book; several were intended for a non-technical work, "The Philosophy of logic", which he was not able to complete. This volume contains an edited selection which not only relates them to Boole's publications and the historical context of his time, but also describes their strange history of family, followers and scholars have treid to confect an edition. The book will appeal to logicians, mathematicians and philosophers, and those interested in the histories of the corresponding subjects; and also students of the early Victorian Britain in which they were written.
Publisher: Birkhäuser
ISBN: 3034888597
Category : Mathematics
Languages : en
Pages : 297
Book Description
George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his name has spread world-wide for his innovations in symbolic logic and the development and applications made since his day. The utility of "Boolean algebra" in computing has greatly increased curiosity in the nature and extent of his achievements. His work is most accessible in his two books on logic, "A mathematical analysis of logic" (1947) and "An investigation of the laws of thought" (1954). But at various times he wrote manuscript essays, especially after the publication of the second book; several were intended for a non-technical work, "The Philosophy of logic", which he was not able to complete. This volume contains an edited selection which not only relates them to Boole's publications and the historical context of his time, but also describes their strange history of family, followers and scholars have treid to confect an edition. The book will appeal to logicians, mathematicians and philosophers, and those interested in the histories of the corresponding subjects; and also students of the early Victorian Britain in which they were written.
Edited Versions of Selected Papers from the International Conference on "Logic, Informatics, Law," Florence, Italy, April 1981: Deontic logic, computational linguistics, and legal information systems
Author: Costantino Ciampi
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 570
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 570
Book Description
Methods of Logic
Author: Willard Van Orman Quine
Publisher: Harvard University Press
ISBN: 9780674571761
Category : Philosophy
Languages : en
Pages : 348
Book Description
This widely used textbook of modern formal logic now offers a number of new features. Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate-functor logic and the affinities between higher set theory and the elementary logic of terms, W. V. Quine's new edition will serve admirably for both classroom and independent use.
Publisher: Harvard University Press
ISBN: 9780674571761
Category : Philosophy
Languages : en
Pages : 348
Book Description
This widely used textbook of modern formal logic now offers a number of new features. Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate-functor logic and the affinities between higher set theory and the elementary logic of terms, W. V. Quine's new edition will serve admirably for both classroom and independent use.
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
Selected Papers on Logic Synthesis for Integrated Circuit Design
Author: Arthur Richard Newton
Publisher: IEEE Computer Society Press
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 148
Book Description
Publisher: IEEE Computer Society Press
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 148
Book Description
Logic, Semantics, Metamathematics
Author: Alfred Tarski
Publisher: Hackett Publishing
ISBN: 9780915144761
Category : Philosophy
Languages : en
Pages : 542
Book Description
Publisher: Hackett Publishing
ISBN: 9780915144761
Category : Philosophy
Languages : en
Pages : 542
Book Description