wyszukanych pozycji: 206
What Is a Logical System?
ISBN: 9780198538592 / Angielski / Twarda / 1995 / 464 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in...
This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading...
|
|
cena:
824,65 zł |
Handbook of Philosophical Logic: Volume 12
ISBN: 9781402030918 / Angielski / Twarda / 2005 / 388 str. Termin realizacji zamówienia: ok. 20 dni roboczych. such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e?ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is...
such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, a...
|
|
cena:
771,08 zł |
Philosophy of Medicine: Volume 16
ISBN: 9780444517876 / Angielski / Twarda / 2011 / 600 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. This volume covers a wide range of conceptual, epistemological and methodological issues in the philosophy of science raised by reflection upon medical science and practice. Several chapters examine such general meta-scientific concepts as discovery, reduction, theories and models, causal inference and scientific realism as they apply to medicine or medical science in particular. Some discuss important concepts specific to medicine (diagnosis, health, disease, brain death). A topic such as evidence, for instance, is examined at a variety of levels, from social mechanisms for guiding...
This volume covers a wide range of conceptual, epistemological and methodological issues in the philosophy of science raised by reflection upon medica...
|
|
cena:
768,40 zł |
Sets and Extensions in the Twentieth Century: Volume 6
ISBN: 9780444516213 / Angielski / Twarda / 2012 / 865 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mathematics that both proceeds with its own internal questions and is capable of contextualizing over a broad range, which makes set theory an intriguing and highly distinctive subject. This handbook covers the rich history of scientific turning points in set theory, providing fresh insights and points of view. Written by leading researchers in the field, both this volume and the Handbook as a... Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging ... |
|
cena:
964,37 zł |
Handbook of Philosophical Logic: Volume 17
ISBN: 9789400765993 / Angielski / Twarda / 2013 / 269 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas...
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It ...
|
|
cena:
385,52 zł |
Computational Logic: Volume 9
ISBN: 9780444516244 / Angielski / Twarda / 2014 / 736 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness... Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarsh... |
|
cena:
964,37 zł |
Handbook of Philosophical Logic: Volume 14
ISBN: 9789048176083 / Angielski / Miękka / 2010 / 345 str. Termin realizacji zamówienia: ok. 20 dni roboczych. theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: - a chapter on non-monotonic logic - a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights,...
theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: - a chapter on non-monotonic logic - a chapter on combinatory logic and ?-...
|
|
cena:
771,08 zł |
Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic
ISBN: 9789401088015 / Angielski / Miękka / 2011 / 531 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume presents a number of systems of logic which can be considered as alternatives to classical logic. The notion of what counts as an alternative is a somewhat problematic one. There are extreme views on the matter of what is the 'correct' logical system and whether one logical system (e. g. classical logic) can represent (or contain) all the others. The choice of the systems presented in this volume was guided by the following criteria for including a logic as an alternative: (i) the departure from classical logic in accepting or rejecting certain theorems of classical logic...
This volume presents a number of systems of logic which can be considered as alternatives to classical logic. The notion of what counts as an alternat...
|
|
cena:
192,74 zł |
Interpolation and Definability: Modal and Intuitionistic Logic
ISBN: 9780198511748 / Angielski / Twarda / 2005 / 522 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigious world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of Intuitionism (Second Edition), J.M. Dunn and G. Hardegree's Algebraic Methods in Philosophical...
This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where ...
|
|
cena:
910,15 zł |
Quantification in Nonclassical Logic: Volume 153
ISBN: 9780444520128 / Angielski / Twarda / 2009 / 615 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and
language in ancient times; they were studied by traditional informal methods until the 20th century. In the last century the tools became highly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many other kinds of nonclassical logics were investigated and applied to Computer Science. Although there exist several good books in propositional modal logics, this book is the first... Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and
language in anc... |
|
cena:
892,17 zł |
Logic and the Modalities in the Twentieth Century: Volume 7
ISBN: 9780444516220 / Angielski / Twarda / 2006 / 719 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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... Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including resea...
|
|
cena:
1460,72 zł |
Inductive Logic: Volume 10
ISBN: 9780444529367 / Angielski / Twarda / 2011 / 785 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic - as this handbook attests - is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive Logic, including probability theory and decision... Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split f... |
|
cena:
1005,63 zł |
Handbook of Philosophical Logic
ISBN: 9789048160044 / Angielski / Miękka / 2011 / 406 str. Termin realizacji zamówienia: ok. 20 dni roboczych. such questions for centuries (unrestricted by the capabilities of any hard- ware). The principles governing the interaction of several processes, for example, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based effective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. I believe the day is not far away in the future when the computer scientist will wake up one morning with the...
such questions for centuries (unrestricted by the capabilities of any hard- ware). The principles governing the interaction of several processes, for ...
|
|
cena:
693,97 zł |
Handbook of Philosophical Logic: Volume 18
ISBN: 9783030073992 / Angielski / Miękka / 2019 / 377 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
346,96 zł |
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2
ISBN: 9780198537687 / Angielski / Twarda / 2000 / 616 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this...
This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily ...
|
|
cena:
1081,14 zł |
Philosophy of Ecology: Volume 11
ISBN: 9780444516732 / Angielski / Twarda / 2011 / 444 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. The most pressing problems facing humanity today -- over-population, energy shortages, climate change, soil erosion, species extinctions, the risk of epidemic disease, the threat of warfare that could destroy all the hard-won gains of civilization, and even the recent fibrillations of the stock market -- are all ecological or have a large ecological component. in this volume philosophers turn their attention to understanding the science of ecology and its huge implications for the human project. To get the application of ecology to policy or other practical concerns right, humanity needs...
The most pressing problems facing humanity today -- over-population, energy shortages, climate change, soil erosion, species extinctions, the risk of ...
|
|
cena:
768,40 zł |
Meta-logical Investigations in Argumentation Networks
ISBN: 9781848901032 / Angielski / Miękka / 2013 / 774 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book regards Dung's abstract argumentation frames as a general network, comparable to other networks such as general logics neural-nets, ecology nets, electrical networks, flow networks and so on. As such the book imports general meta-logical methods and applies them to argumentation and exports ideas from argumentation to general logics and networks. Among the topics discussed are Connection with modal logic Connections with the Peirce-Quine dagger connective Combining and merging networks Bipolar networks Numerical and weighted argumentation networks The equational approach to networks...
This book regards Dung's abstract argumentation frames as a general network, comparable to other networks such as general logics neural-nets, ecology ...
|
|
cena:
159,71 zł |
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
ISBN: 9780792356875 / Angielski / Twarda / 1999 / 440 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science.
This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has...
|
|
cena:
508,19 zł |
Handbook of Philosophical Logic, Volume 13
ISBN: 9781402035203 / Angielski / Twarda / 2005 / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e?ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is...
such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, a...
|
|
cena:
771,08 zł |
A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial
ISBN: 9780444517913 / Angielski / Twarda / 2005 / 496 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The present work is a continuation of the authors' acclaimed multi-volume A
Practical Logic of Cognitive Systems. After having investigated the notion of relevance in their previous volume, Gabbay and Woods now turn to abduction. In this highly original approach, abduction is construed as ignorance-preserving inference, in which conjecture plays a pivotal role. Abduction is a response to a cognitive target that cannot be hit on the basis of what the agent currently knows. The abducer selects a hypothesis which were it true would enable the reasoner to attain his target. He... The present work is a continuation of the authors' acclaimed multi-volume A
Practical Logic of Cognitive Systems. After having investigated the not... |
|
cena:
1204,06 zł |