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
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 Logic in Philosophy of Science
Author: Hans Halvorson
Publisher: Cambridge University Press
ISBN: 1107110998
Category : Philosophy
Languages : en
Pages : 305
Book Description
Reconsiders the role of formal logic in the analytic approach to philosophy, using cutting-edge mathematical techniques to elucidate twentieth-century debates.
Publisher: Cambridge University Press
ISBN: 1107110998
Category : Philosophy
Languages : en
Pages : 305
Book Description
Reconsiders the role of formal logic in the analytic approach to philosophy, using cutting-edge mathematical techniques to elucidate twentieth-century debates.
The Age of Alternative Logics
Author: Johan van Benthem
Publisher: Springer Science & Business Media
ISBN: 1402050127
Category : Philosophy
Languages : en
Pages : 338
Book Description
In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from the world's leading scholars on new trends and possible developments for research.
Publisher: Springer Science & Business Media
ISBN: 1402050127
Category : Philosophy
Languages : en
Pages : 338
Book Description
In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from the world's leading scholars on new trends and possible developments for research.
Logic, Language and Reality
Author: Bimal Krishna Matilal
Publisher: Motilal Banarsidass
ISBN: 8120800087
Category : Philosophy
Languages : en
Pages : 464
Book Description
The word 'philosophy' as well as the conjuring expression 'Indian philosophy' has meant different things to different people-endeavours and activities, old and new, grave and frivolous, edifying and banal, esoteric and exoteric. In this book, the author has chosen deliberately a very dominant trend of the classical (Sanskrit) philosophical literature as his subject of study. The age of the material used here demands both philological scholarship and philosophical amplification. Classical pramanasastras usually deal with the theory of knowledge, the nature of inference and language, and the related questions of ontology and semantics. Several important concepts and theories have been singled out for critical analysis and clarification in modern terms so that the results may be intelligible to modern students of both Sanskrit and philosophy. It is hoped that such an attempt will kindle the enthusiasm of young scholars in the field and inspire them to proceed in this comparatively new area of research and explore further and more interesting possibilities.
Publisher: Motilal Banarsidass
ISBN: 8120800087
Category : Philosophy
Languages : en
Pages : 464
Book Description
The word 'philosophy' as well as the conjuring expression 'Indian philosophy' has meant different things to different people-endeavours and activities, old and new, grave and frivolous, edifying and banal, esoteric and exoteric. In this book, the author has chosen deliberately a very dominant trend of the classical (Sanskrit) philosophical literature as his subject of study. The age of the material used here demands both philological scholarship and philosophical amplification. Classical pramanasastras usually deal with the theory of knowledge, the nature of inference and language, and the related questions of ontology and semantics. Several important concepts and theories have been singled out for critical analysis and clarification in modern terms so that the results may be intelligible to modern students of both Sanskrit and philosophy. It is hoped that such an attempt will kindle the enthusiasm of young scholars in the field and inspire them to proceed in this comparatively new area of research and explore further and more interesting possibilities.
Philosophical Logic
Author: John P. Burgess
Publisher: Princeton University Press
ISBN: 0691137897
Category : Philosophy
Languages : en
Pages : 167
Book Description
"Philosophical Logic is a clear and concise critical survey of nonclassical logic, written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, modal, conditional, relevantistic, and intuitionistic), focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. The book provides a thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Requiring minimal background and arranged to make the more technical material optional, Philosophical Logic offers a choice between an overview and in-depth study, and it balances the philosophical and technical aspects of the subject."--Page 4 de la couverture.
Publisher: Princeton University Press
ISBN: 0691137897
Category : Philosophy
Languages : en
Pages : 167
Book Description
"Philosophical Logic is a clear and concise critical survey of nonclassical logic, written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, modal, conditional, relevantistic, and intuitionistic), focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. The book provides a thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Requiring minimal background and arranged to make the more technical material optional, Philosophical Logic offers a choice between an overview and in-depth study, and it balances the philosophical and technical aspects of the subject."--Page 4 de la couverture.
Logic for Philosophy
Author: Theodore Sider
Publisher: Oxford University Press
ISBN: 0192658816
Category : Philosophy
Languages : en
Pages : 305
Book Description
Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.
Publisher: Oxford University Press
ISBN: 0192658816
Category : Philosophy
Languages : en
Pages : 305
Book Description
Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.
On Logic and the Theory of Science
Author: Jean Cavailles
Publisher: MIT Press
ISBN: 1913029417
Category : Philosophy
Languages : en
Pages : 143
Book Description
A new translation of the final work of French philosopher Jean Cavaillès. In this short, dense essay, Jean Cavaillès evaluates philosophical efforts to determine the origin—logical or ontological—of scientific thought, arguing that, rather than seeking to found science in original intentional acts, a priori meanings, or foundational logical relations, any adequate theory must involve a history of the concept. Cavaillès insists on a historical epistemology that is conceptual rather than phenomenological, and a logic that is dialectical rather than transcendental. His famous call (cited by Foucault) to abandon "a philosophy of consciousness" for "a philosophy of the concept" was crucial in displacing the focus of philosophical enquiry from aprioristic foundations toward structural historical shifts in the conceptual fabric. This new translation of Cavaillès's final work, written in 1942 during his imprisonment for Resistance activities, presents an opportunity to reencounter an original and lucid thinker. Cavaillès's subtle adjudication between positivistic claims that science has no need of philosophy, and philosophers' obstinate disregard for actual scientific events, speaks to a dilemma that remains pertinent for us today. His affirmation of the authority of scientific thinking combined with his commitment to conceptual creation yields a radical defense of the freedom of thought and the possibility of the new.
Publisher: MIT Press
ISBN: 1913029417
Category : Philosophy
Languages : en
Pages : 143
Book Description
A new translation of the final work of French philosopher Jean Cavaillès. In this short, dense essay, Jean Cavaillès evaluates philosophical efforts to determine the origin—logical or ontological—of scientific thought, arguing that, rather than seeking to found science in original intentional acts, a priori meanings, or foundational logical relations, any adequate theory must involve a history of the concept. Cavaillès insists on a historical epistemology that is conceptual rather than phenomenological, and a logic that is dialectical rather than transcendental. His famous call (cited by Foucault) to abandon "a philosophy of consciousness" for "a philosophy of the concept" was crucial in displacing the focus of philosophical enquiry from aprioristic foundations toward structural historical shifts in the conceptual fabric. This new translation of Cavaillès's final work, written in 1942 during his imprisonment for Resistance activities, presents an opportunity to reencounter an original and lucid thinker. Cavaillès's subtle adjudication between positivistic claims that science has no need of philosophy, and philosophers' obstinate disregard for actual scientific events, speaks to a dilemma that remains pertinent for us today. His affirmation of the authority of scientific thinking combined with his commitment to conceptual creation yields a radical defense of the freedom of thought and the possibility of the new.
Philosophical Logic
Author: Sybil Wolfram
Publisher: Psychology Press
ISBN: 9780415023184
Category : Mathematics
Languages : en
Pages : 308
Book Description
First published in 1989. Routledge is an imprint of Taylor & Francis, an informa company.
Publisher: Psychology Press
ISBN: 9780415023184
Category : Mathematics
Languages : en
Pages : 308
Book Description
First published in 1989. Routledge is an imprint of Taylor & Francis, an informa company.
The Development of Modern Logic
Author: Leila Haaparanta
Publisher: OUP USA
ISBN: 0195137310
Category : Philosophy
Languages : en
Pages : 1005
Book Description
This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.
Publisher: OUP USA
ISBN: 0195137310
Category : Philosophy
Languages : en
Pages : 1005
Book Description
This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.
The Evolution of Logic
Author: W. D. Hart
Publisher: Cambridge University Press
ISBN: 1139491202
Category : Philosophy
Languages : en
Pages :
Book Description
Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical history of the collaboration between logic and philosophy during this period. After World War II, mathematical logic became a recognized subdiscipline in mathematics departments, and consequently but unfortunately philosophers have lost touch with its monuments. This book aims to make four of them (consistency and independence of the continuum hypothesis, Post's problem, and Morley's theorem) more accessible to philosophers, making available the tools necessary for modern scholars of philosophy to renew a productive dialogue between logic and philosophy.
Publisher: Cambridge University Press
ISBN: 1139491202
Category : Philosophy
Languages : en
Pages :
Book Description
Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical history of the collaboration between logic and philosophy during this period. After World War II, mathematical logic became a recognized subdiscipline in mathematics departments, and consequently but unfortunately philosophers have lost touch with its monuments. This book aims to make four of them (consistency and independence of the continuum hypothesis, Post's problem, and Morley's theorem) more accessible to philosophers, making available the tools necessary for modern scholars of philosophy to renew a productive dialogue between logic and philosophy.