Walter Carnielli - Böcker

W. V. Quine was one of the most influential figures of twentieth-century American analytic philosophy. Although he wrote predominantly in English, in Brazil in 1942 he gave a series of lectures on logic and its philosophy in Portuguese, subsequently published as the book O Sentido da Nova Lógica. The book has never before been fully translated into English, and this volume is the first to make its content accessible to Anglophone philosophers. Quine would go on to develop revolutionary ideas about semantic holism and ontology, and this book provides a snapshot of his views on logic and language at a pivotal stage of his intellectual development. The volume also includes an essay on logic which Quine also published in Portuguese, together with an extensive historical-philosophical essay by Frederique Janssen-Lauret. The valuable and previously neglected works first translated in this volume will be essential for scholars of twentieth-century philosophy.

W. V. Quine was one of the most influential figures of twentieth-century American analytic philosophy. Although he wrote predominantly in English, in Brazil in 1942 he gave a series of lectures on logic and its philosophy in Portuguese, subsequently published as the book O Sentido da Nova Lógica. The book has never before been fully translated into English, and this volume is the first to make its content accessible to Anglophone philosophers. Quine would go on to develop revolutionary ideas about semantic holism and ontology, and this book provides a snapshot of his views on logic and language at a pivotal stage of his intellectual development. The volume also includes an essay on logic which Quine also published in Portuguese, together with an extensive historical-philosophical essay by Frederique Janssen-Lauret. The valuable and previously neglected works first translated in this volume will be essential for scholars of twentieth-century philosophy.

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning.This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (for instance, temporal, epistemic and probabilistic logics).

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists. The aim which oriented the composition of this book was not to write a new manual of modal logic (there are a lot of excellent textbooks on the market, and the expert reader will realize how much we bene?ted from manyofthem)buttoo?ertoeveryreader,evenwithnospeci?cbackground in logic, a conceptually linear path in the labyrinth of the current panorama of modal logic. The notion which in our opinion looked suitable to work as a compass in this enterprise was the notion of multimodality, or, more speci?cally, the basic idea of grounding systems on languages admitting more than one primitive modal operator.

Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion.

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science.

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science.

Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion.

This volume is a collection of selected papers that were presented at the international conference Model-Based Reasoning in Science and Technology. Abduction, Logic, and Computational Discovery (MBR09 BRAZIL), held at the University of Campinas, Campinas, Brazil in December 2009. A previous volume,Model-Based Reasoning in Scienti?c Discovery,edited by L. Magnani, N.J. Nersessian, and P. Thagard (Kluwer Academic/Plenum Publishers, New York, 1999; Chinese edition, China Science and Techn- ogy Press, Beijing, 2000), was based on the papers presented at the ?rst "model-based reasoning"international conference, held at the University of Pavia, Pavia, Italy in December 1998. Other two volumes were based on the papers presented at the second "model-based reasoning" international c- ference, held at the same place in May 2001: Model-Based Reasoning. Sci- ti?c Discovery, Technological Innovation, Values, edited by L. Magnani and N.J. Nersessian(Kluwer Academic/PlenumPublishers,New York, 2002)and Logical and Computational Aspects of Model-Based Reasoning,editedbyL. Magnani,N.J. Nersessian,and C. Pizzi(KluwerAcademic, Dordrecht,2002).Another volume Model-Based Reasoning in Science and Engineering,edited byL.Magnani(CollegePublications,London,2006),wasbasedonthepapers presentedat the third"model-basedreasoning"internationalconference,held at the same place in December 2004. Finally, volume Model-Based Reasoning inScienceandMedicine,editedbyL.MagnaniandL.Ping(Springer,Heid- berg/Berlin 2006), was based on the papers presented at the fourth"mod- based"reasoning conference, held at Sun Yat-sen University, Guangzhou, P. R. China.

This volume is a collection of selected papers that were presented at the international conference Model-Based Reasoning in Science and Technology. Abduction, Logic, and Computational Discovery (MBR09 BRAZIL), held at the University of Campinas, Campinas, Brazil in December 2009. A previous volume,Model-Based Reasoning in Scienti?c Discovery,edited by L. Magnani, N.J. Nersessian, and P. Thagard (Kluwer Academic/Plenum Publishers, New York, 1999; Chinese edition, China Science and Techn- ogy Press, Beijing, 2000), was based on the papers presented at the ?rst "model-based reasoning"international conference, held at the University of Pavia, Pavia, Italy in December 1998. Other two volumes were based on the papers presented at the second "model-based reasoning" international c- ference, held at the same place in May 2001: Model-Based Reasoning. Sci- ti?c Discovery, Technological Innovation, Values, edited by L. Magnani and N.J. Nersessian(Kluwer Academic/PlenumPublishers,New York, 2002)and Logical and Computational Aspects of Model-Based Reasoning,editedbyL. Magnani,N.J. Nersessian,and C. Pizzi(KluwerAcademic, Dordrecht,2002).Another volume Model-Based Reasoning in Science and Engineering,edited byL.Magnani(CollegePublications,London,2006),wasbasedonthepapers presentedat the third"model-basedreasoning"internationalconference,held at the same place in December 2004. Finally, volume Model-Based Reasoning inScienceandMedicine,editedbyL.MagnaniandL.Ping(Springer,Heid- berg/Berlin 2006), was based on the papers presented at the fourth"mod- based"reasoning conference, held at Sun Yat-sen University, Guangzhou, P. R. China.

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would ?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could have foreseen that in a short time modal logic would become a lively source of ideas and methods for analytical philosophers,historians of philosophy,linguists, epistemologists and computer scientists. The aim which oriented the composition of this book was not to write a new manual of modal logic (there are a lot of excellent textbooks on the market, and the expert reader will realize how much we bene?ted from manyofthem)buttoo?ertoeveryreader,evenwithnospeci?cbackground in logic, a conceptually linear path in the labyrinth of the current panorama of modal logic. The notion which in our opinion looked suitable to work as a compass in this enterprise was the notion of multimodality, or, more speci?cally, the basic idea of grounding systems on languages admitting more than one primitive modal operator.

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning.This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (for instance, temporal, epistemic and probabilistic logics).