Author: Admir Skodo
Publisher: BRILL
ISBN: 9004270183
Category : Philosophy
Languages : en
Pages : 249
Book Description
Other Logics: Alternatives to Formal Logic in the History of Thought and Contemporary Philosophy challenges the widespread idea of formal logic as inherently monolithic, universal, and ahistorical. Written by both leading and up-and-coming scholars, and edited by Admir Skodo, Other Logics offers a wide variety of historical and philosophical alternatives to this idea, all arguing that logic is a historical, concrete, and multi-dimensional phenomenon. To name a few examples, Frank Ankersmit lays down a representationalist logic, Alessandra Tanesini forcefully argues for the possibility of logical aliens, Christopher Watkin analyzes how leading contemporary French philosophers view the idea of logic, and Aaron Wendland unearths Heidegger's critique of formal logic. In Other Logics readers will find provocative interventions in a highly contested field in contemporary philosophy. Contributors include: Frank Ankersmit, Christopher Watkin, Giuseppina D'Oro, Alessandra Tanesini, Admir Skodo, Aaron Wendland, Ervik Cejvan, Anders Kraal, Christopher Fear, Karim Dharamsi, Johan Modée, and Thord Svensson.
Other Logics
Author: Admir Skodo
Publisher: BRILL
ISBN: 9004270183
Category : Philosophy
Languages : en
Pages : 249
Book Description
Other Logics: Alternatives to Formal Logic in the History of Thought and Contemporary Philosophy challenges the widespread idea of formal logic as inherently monolithic, universal, and ahistorical. Written by both leading and up-and-coming scholars, and edited by Admir Skodo, Other Logics offers a wide variety of historical and philosophical alternatives to this idea, all arguing that logic is a historical, concrete, and multi-dimensional phenomenon. To name a few examples, Frank Ankersmit lays down a representationalist logic, Alessandra Tanesini forcefully argues for the possibility of logical aliens, Christopher Watkin analyzes how leading contemporary French philosophers view the idea of logic, and Aaron Wendland unearths Heidegger's critique of formal logic. In Other Logics readers will find provocative interventions in a highly contested field in contemporary philosophy. Contributors include: Frank Ankersmit, Christopher Watkin, Giuseppina D'Oro, Alessandra Tanesini, Admir Skodo, Aaron Wendland, Ervik Cejvan, Anders Kraal, Christopher Fear, Karim Dharamsi, Johan Modée, and Thord Svensson.
Publisher: BRILL
ISBN: 9004270183
Category : Philosophy
Languages : en
Pages : 249
Book Description
Other Logics: Alternatives to Formal Logic in the History of Thought and Contemporary Philosophy challenges the widespread idea of formal logic as inherently monolithic, universal, and ahistorical. Written by both leading and up-and-coming scholars, and edited by Admir Skodo, Other Logics offers a wide variety of historical and philosophical alternatives to this idea, all arguing that logic is a historical, concrete, and multi-dimensional phenomenon. To name a few examples, Frank Ankersmit lays down a representationalist logic, Alessandra Tanesini forcefully argues for the possibility of logical aliens, Christopher Watkin analyzes how leading contemporary French philosophers view the idea of logic, and Aaron Wendland unearths Heidegger's critique of formal logic. In Other Logics readers will find provocative interventions in a highly contested field in contemporary philosophy. Contributors include: Frank Ankersmit, Christopher Watkin, Giuseppina D'Oro, Alessandra Tanesini, Admir Skodo, Aaron Wendland, Ervik Cejvan, Anders Kraal, Christopher Fear, Karim Dharamsi, Johan Modée, and Thord Svensson.
Logical Options
Author: John L. Bell
Publisher: Broadview Press
ISBN: 1551112973
Category : Philosophy
Languages : en
Pages : 313
Book Description
Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some classical first-order logic and would like to learn about other logics important to their philosophical work.
Publisher: Broadview Press
ISBN: 1551112973
Category : Philosophy
Languages : en
Pages : 313
Book Description
Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some classical first-order logic and would like to learn about other logics important to their philosophical work.
Classical and Nonclassical Logics
Author: Eric Schechter
Publisher: Princeton University Press
ISBN: 9780691122793
Category : Mathematics
Languages : en
Pages : 530
Book Description
Classical logic is traditionally introduced by itself, but that makes it seem arbitrary and unnatural. This text introduces classical alongside several nonclassical logics (relevant, constructive, quantative, paraconsistent).
Publisher: Princeton University Press
ISBN: 9780691122793
Category : Mathematics
Languages : en
Pages : 530
Book Description
Classical logic is traditionally introduced by itself, but that makes it seem arbitrary and unnatural. This text introduces classical alongside several nonclassical logics (relevant, constructive, quantative, paraconsistent).
Logics of Organization Theory
Author: Michael T. Hannan
Publisher: Princeton University Press
ISBN: 1400843014
Category : Social Science
Languages : en
Pages : 381
Book Description
Building theories of organizations is challenging: theories are partial and "folk" categories are fuzzy. The commonly used tools--first-order logic and its foundational set theory--are ill-suited for handling these complications. Here, three leading authorities rethink organization theory. Logics of Organization Theory sets forth and applies a new language for theory building based on a nonmonotonic logic and fuzzy set theory. In doing so, not only does it mark a major advance in organizational theory, but it also draws lessons for theory building elsewhere in the social sciences. Organizational research typically analyzes organizations in categories such as "bank," "hospital," or "university." These categories have been treated as crisp analytical constructs designed by researchers. But sociologists increasingly view categories as constructed by audiences. This book builds on cognitive psychology and anthropology to develop an audience-based theory of organizational categories. It applies this framework and the new language of theory building to organizational ecology. It reconstructs and integrates four central theory fragments, and in so doing reveals unexpected connections and new insights.
Publisher: Princeton University Press
ISBN: 1400843014
Category : Social Science
Languages : en
Pages : 381
Book Description
Building theories of organizations is challenging: theories are partial and "folk" categories are fuzzy. The commonly used tools--first-order logic and its foundational set theory--are ill-suited for handling these complications. Here, three leading authorities rethink organization theory. Logics of Organization Theory sets forth and applies a new language for theory building based on a nonmonotonic logic and fuzzy set theory. In doing so, not only does it mark a major advance in organizational theory, but it also draws lessons for theory building elsewhere in the social sciences. Organizational research typically analyzes organizations in categories such as "bank," "hospital," or "university." These categories have been treated as crisp analytical constructs designed by researchers. But sociologists increasingly view categories as constructed by audiences. This book builds on cognitive psychology and anthropology to develop an audience-based theory of organizational categories. It applies this framework and the new language of theory building to organizational ecology. It reconstructs and integrates four central theory fragments, and in so doing reveals unexpected connections and new insights.
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.
Philosophy in Process
Author: Paul Weiss
Publisher: SUNY Press
ISBN: 9780887067679
Category : Philosophy
Languages : en
Pages : 420
Book Description
Publisher: SUNY Press
ISBN: 9780887067679
Category : Philosophy
Languages : en
Pages : 420
Book Description
Labelled Non-Classical Logics
Author: Luca Viganò
Publisher: Springer Science & Business Media
ISBN: 1475732082
Category : Philosophy
Languages : en
Pages : 295
Book Description
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.
Publisher: Springer Science & Business Media
ISBN: 1475732082
Category : Philosophy
Languages : en
Pages : 295
Book Description
I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.
Gentzen Calculi for Modal Propositional Logic
Author: Francesca Poggiolesi
Publisher: Springer Science & Business Media
ISBN: 9048196701
Category : Philosophy
Languages : en
Pages : 224
Book Description
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50’s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.
Publisher: Springer Science & Business Media
ISBN: 9048196701
Category : Philosophy
Languages : en
Pages : 224
Book Description
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50’s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.
Logic and the Modalities in the Twentieth Century
Author: Dov M. Gabbay
Publisher: Elsevier
ISBN: 0080463037
Category : Mathematics
Languages : en
Pages : 733
Book Description
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings in logic's long history. Written by the leading researchers and scholars in the field, the volume explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more. Both this volume and the Handbook as a whole are definitive reference tools for students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration.· Detailed and comprehensive chapters covering the entire range of modal logic.· Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic.
Publisher: Elsevier
ISBN: 0080463037
Category : Mathematics
Languages : en
Pages : 733
Book Description
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings in logic's long history. Written by the leading researchers and scholars in the field, the volume explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more. Both this volume and the Handbook as a whole are definitive reference tools for students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration.· Detailed and comprehensive chapters covering the entire range of modal logic.· Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic.
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