Walter Carnielli – författare
Visar alla böcker från författaren Walter Carnielli. Handla med fri frakt och snabb leverans.
19 produkter
19 produkter
Inbunden, Engelska, 2018
1 379 kr
Skickas inom 7-10 vardagar
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.
Häftad, Engelska, 2020
368 kr
Skickas inom 7-10 vardagar
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.
Inbunden, Engelska, 2008
1 623 kr
Skickas inom 10-15 vardagar
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).
E-bok
PDF, Engelska, 20082 049 kr
Läs direkt efter köp
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).
Inbunden, Engelska, 2008
1 623 kr
Skickas inom 10-15 vardagar
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.
E-bok
PDF, Engelska, 20082 049 kr
Läs direkt efter köp
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.
Häftad, Engelska, 2019
1 084 kr
Skickas inom 10-15 vardagar
This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions. 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. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths. Readers should understand the title of this book in a broad way,because it is not so obvious to deal with notions like contradictions, consistency, inconsistency, and triviality. The papers collected here present groundbreaking ideas related to consistency and inconsistency.
Inbunden, Engelska, 2026
2 133 kr
Kommande
This volume brings together original contributions in algebraic logic, semantics, and a broad range of topics in non-classical logics. It offers a pluralistic perspective on contemporary logical research, encompassing developments in modal and higher-order frameworks, as well as paraconsistent, intuitionistic, and multivalued logics. The contributions place particular emphasis on semantic methods and algebraic structures, while also engaging with proof-theoretical and model-theoretical approaches, including a variety of consequence relations. Covering topics such as novel semantic frameworks, algebraic characterizations, and formal systems, the volume reflects the diversity and ongoing development of research in non-classical logics.By gathering both established and emerging scholars, it provides a snapshot of current work at the intersection of algebra, semantics, and logical theory, and will be of interest to researchers and advanced students seeking a deeper understanding of contemporary developments across a wide spectrum of logical systems and methodologies.
Del 40 - Logic, Epistemology, and the Unity of Science
Paraconsistent Logic: Consistency, Contradiction and Negation
Inbunden, Engelska, 2016
1 514 kr
Skickas inom 10-15 vardagar
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. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistencyThis book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.
E-bok
PDF, Engelska, 20161 891 kr
Läs direkt efter köp
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. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency
This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.
Del 40 - Logic, Epistemology, and the Unity of Science
Paraconsistent Logic: Consistency, Contradiction and Negation
Häftad, Engelska, 2018
1 514 kr
Skickas inom 10-15 vardagar
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. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistencyThis book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.
Inbunden, Engelska, 2018
1 084 kr
Skickas inom 10-15 vardagar
This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions. 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. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths. Readers should understand the title of this book in a broad way,because it is not so obvious to deal with notions like contradictions, consistency, inconsistency, and triviality. The papers collected here present groundbreaking ideas related to consistency and inconsistency.
E-bok
Engelska, 20181 424 kr
Läs direkt efter köp
This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions. 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. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths. Readers should understand the title of this book in a broad way,because it is not so obvious to deal with notions like contradictions, consistency, inconsistency, and triviality. The papers collected here present groundbreaking ideas related to consistency and inconsistency.
Inbunden, Engelska, 2010
2 099 kr
Skickas inom 10-15 vardagar
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.
E-bok
PDF, Engelska, 20102 760 kr
Läs direkt efter köp
Del 314 - Studies in Computational Intelligence
Model-Based Reasoning in Science and Technology
Abduction, Logic, and Computational Discovery
Häftad, Engelska, 2012
2 099 kr
Skickas inom 10-15 vardagar
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.
Häftad, Engelska, 2009
1 622 kr
Skickas inom 10-15 vardagar
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.
Del 35 - Applied Logic Series
Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems
Häftad, Engelska, 2010
1 622 kr
Skickas inom 10-15 vardagar
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).
Häftad, Engelska, 2010
961 kr
Skickas inom 5-8 vardagar
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.