wyszukanych pozycji: 213
![]() |
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. 16-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:
1139,23 |
![]() |
Fibring Logics
ISBN: 9780198503811 / Angielski / Twarda / 1998 / 496 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.
Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working t...
|
cena:
591,02 |
![]() |
Handbook of Philosophical Logic
ISBN: 9789048160112 / Angielski / Miękka / 2012 / 350 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
cena:
606,65 |
![]() |
Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic
ISBN: 9789400962613 / Angielski / Miękka / 2011 / 788 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'. The inclusion of such 'indices' has turned out to be the semantic mainstay in dealing with a number of issues having to do with intensional features of natural and artificial languages. It is, of course, an open question whether 'possible world' semantics is in the final analysis the proper solution to the many problems and puzzles intensional constructions raise for the logical...
The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic c...
|
cena:
525,76 |
![]() |
Interpolation and Definability: Modal and Intuitionistic Logic
ISBN: 9780198511748 / Angielski / Twarda / 2005 / 522 str. Termin realizacji zamówienia: ok. 22 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:
918,47 |
![]() |
Greek, Indian and Arabic Logic: Volume 1
ISBN: 9780444504661 / Angielski / Twarda / 2004 / 628 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Godel, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the...
Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published...
|
cena:
1112,25 |
![]() |
Handbook of Philosophical Logic: Volume 8
ISBN: 9781402006654 / Angielski / Twarda / 2002 / 354 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher ...
suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, areabstrac...
|
cena:
647,09 |
![]() |
Labelled Deductive Systems: Volume 1
ISBN: 9780198538332 / Angielski / Twarda / 1996 / 512 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the...
|
cena:
436,65 |
![]() |
Quantification in Nonclassical Logic: Volume 153
ISBN: 9780444520128 / Angielski / Twarda / 2009 / 615 str. Termin realizacji zamówienia: ok. 16-18 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:
854,21 |
![]() |
Philosophy of Ecology: Volume 11
ISBN: 9780444516732 / Angielski / Twarda / 2011 / 444 str. Termin realizacji zamówienia: ok. 16-18 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:
735,70 |
![]() |
Semantical Investigations in Heyting's Intuitionistic Logic
ISBN: 9789048183623 / Angielski / Miękka / 2010 / 294 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt- ing's implication. I have not included anything on entailment, al- though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be of interest to the intuitionist mathematician. Originally, I...
From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book stu...
|
cena:
606,65 |
![]() |
Handbook of Philosophical Logic: Volume IV: Topics in the Philosophy of Language
ISBN: 9789401070218 / Angielski / Miękka / 2011 / 733 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quantities: mass expressions. This chapter reviews the most well-known approaches to mass terms and the ontological proposals related to them. In addition to quantification and predication, matters of reference have constituted the other overriding theme for semantic theories in both philosophical logic and the semantics of natural languages. Chapter IV.5 of how the semantics of proper names and descrip- presents an overview tions have been dealt with...
conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quanti...
|
cena:
202,19 |
![]() |
Handbook of Philosophical Logic, Volume 13
ISBN: 9781402035203 / Angielski / Twarda / 2005 / 376 str. Termin realizacji zamówienia: ok. 16-18 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:
808,88 |
![]() |
Philosophy of Medicine: Volume 16
ISBN: 9780444517876 / Angielski / Twarda / 2011 / 600 str. Termin realizacji zamówienia: ok. 16-18 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:
735,70 |
![]() |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning
ISBN: 9789048156030 / Angielski / Miękka / 2010 / 517 str. Termin realizacji zamówienia: 22 dni roboczych Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its associated inference mechanism. In the present volume of the handbook the last aspect, the algorithmic aspects of uncertainty calculi are presented. Theory has suffi- ciently advanced to unfold some generally applicable fundamental structures and methods. On the other hand, particular features of specific formalisms and ap- proaches to uncertainty of course still influence strongly the computational meth- ods to be used. Both general as well as...
Reasoning under uncertainty is always based on a specified language or for- malism, including its particular syntax and semantics, but also on its ass...
|
588,29 |
![]() |
The International Directory of Logicians: Who's Who in Logic
ISBN: 9781904987901 / Angielski / Miękka / 2009 / 408 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The International Directory of Logicians is a listing of over 260 of the world's most foremost living logicians, representing the most important and influential developments of our day. It provides a compact summary of each entrant's eduction, professional appointments, honours and awards, principal publications, as well as a description of the nature and significance of his or her contributions to logic, and a "vision statement" concerning logic's future prospects. Logic here is understood in its broad sense, encompassing all branches of mathematical logic, philosophical logic and the...
The International Directory of Logicians is a listing of over 260 of the world's most foremost living logicians, representing the most important and i...
|
cena:
135,95 |
![]() |
Handbook of Philosophical Logic: Volume 16
ISBN: 9789400734609 / Angielski / Miękka / 2013 / 310 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems."
Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Sy...
|
cena:
606,65 |
![]() |
The Many Valued and Nonmonotonic Turn in Logic: Volume 8
ISBN: 9780444516237 / Angielski / Twarda / 2007 / 689 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are allowed as inputs and outputs to consequence relations. Many-valued, dialetheic, fuzzy and quantum logics are, among other things, principled attempts to regulate the flow-through of sentences that are neither true nor false. On the second, or...
The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic....
|
cena:
1355,03 |
![]() |
Handbook of Philosophical Logic: Volume 18
ISBN: 9783319977546 / Angielski / Twarda / 2018 / 377 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This includes obligations and prohibitions in Talmudic deontic logic, the handling of loops in Talmudic logic, Temporal Talmudic logic, and quantum states and disjunctive attacks in Talmudic logic.
This includes obligations and prohibitions in Talmudic deontic logic, the handling of loops in Talmudic logic, Temporal Talmudic logic, and quantum st...
|
cena:
525,76 |
![]() |
Handbook of Philosophical Logic
ISBN: 9789048160044 / Angielski / Miękka / 2011 / 406 str. Termin realizacji zamówienia: ok. 16-18 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:
727,99 |