» książki » Philosophy - Logic
topmenu
 |
Quantified Representation of Uncertainty and Imprecision
ISBN: 9780792351009 / Angielski / Twarda / 477 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are happy to present the first volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of uncertainty is a ma- jor concern of philosophers, logicians, artificial intelligence researchers and com- puter sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. This Handbook was produced in the style of previous handbook series like the Handbook of...
We are happy to present the first volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real wor...
|
cena:
1207,67 |
 |
Reasoning with Actual and Potential Contradictions
ISBN: 9780792351610 / Angielski / Twarda / 333 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be addressed by every system that attempts to represent reality. The representation of un- certainty is a major concern of philosophers, logicians, artificial intelligence researchers and computer sciencists, psychologists, statisticians, economists and engineers. The present Handbook volumes provide frontline coverage of this area. This Handbook was produced in the style of previous handbook series like the Handbook of...
We are happy to present the second volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real wo...
|
cena:
603,81 |
 |
Belief Change
ISBN: 9780792351627 / Angielski / Twarda / 453 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations. It deals with the addition, deletion and combination of pieces of information and, more generally, with the revision, updating and fusion of knowledge bases. The book offers an extensive coverage of, and seeks to reconcile, two traditions in the kinematics of belief that often ignore each other - the symbolic and the numerical (often probabilistic) approaches. Moreover, the work...
Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book pr...
|
cena:
805,10 |
 |
Displaying Modal Logic
ISBN: 9780792352051 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a...
The present monograph is a slightly revised version of my Habilitations- schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, succ...
|
cena:
563,56 |
 |
Truth, Proof and Infinity: A Theory of Constructive Reasoning
ISBN: 9780792352624 / Angielski / Twarda / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms construction' and proof' has never been adequately explained (although Kriesel, Goodman and Martin-Lof have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis...
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what...
|
cena:
724,58 |
 |
Alfred Tarski and the Vienna Circle
ISBN: 9780792355380 / Angielski / Twarda / 347 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Godel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan...
The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on...
|
cena:
603,81 |
 |
Logic, Truth and the Modalities: From a Phenomenological Perspective
ISBN: 9780792355502 / Angielski / Twarda / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a collection of my essays on philosophy of logic from a phenomenological perspective. They deal with the four kinds of logic I have been concerned with: formal logic, transcendental logic, speculative logic and hermeneutic logic. Of these, only one, the essay on Hegel, touches upon 'speculative logic', and two, those on Heidegger and Konig, are concerned with hermeneutic logic. The rest have to do with Husser and Kant. I have not tried to show that the four logics are compatible. I believe, they are--once they are given a phenomenological underpinning. The original plan of...
This volume is a collection of my essays on philosophy of logic from a phenomenological perspective. They deal with the four kinds of logic I have bee...
|
cena:
402,53 |
 |
What Is Negation?
ISBN: 9780792355694 / Angielski / Twarda / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. The properties of negation-in combination with those of other logical operations and structural features of the deducibility relation-serve as gateways among logical systems. Therefore negation plays an important role in selecting logical systems for particular applications. At the moment negation is a 'hot topic', and there is an urgent need for...
The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in...
|
cena:
805,10 |
 |
Mathematical Intuitionism and Intersubjectivity: A Critical Exposition of Arguments for Intuitionism
ISBN: 9780792356301 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being. Brouwer attacked the main currents of the philosophy of mathematics: the formalists and the Platonists. In tum, both these schools began viewing intuitionism as the most harmful party among all known philosophies of mathematics. That was the origin of the now-90-year-old debate over intuitionism. As both sides have appealed in their arguments to philosophical propositions, the discussions have attracted...
In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mat...
|
cena:
402,53 |
 |
Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science,
ISBN: 9780792356592 / Angielski / Twarda / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection of selected contributed papers. Due to the large number of...
The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comp...
|
cena:
402,53 |
 |
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems
ISBN: 9780792359043 / Angielski / Twarda / 395 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Godel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse...
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theo...
|
cena:
644,07 |
 |
Fuzzy Sets, Logics and Reasoning about Knowledge
ISBN: 9780792359777 / Angielski / Twarda / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebraic considerations, knowledge representation and commonsense reasoning. It takes a state-of-the-art look at multiple-valued and fuzzy set-based logics, in an artificial intelligence perspective. The papers, all of which are written by leading contributors in their respective fields, are grouped into four sections.
The first section presents a panorama of many-valued logics in connection with fuzzy sets. The second explores algebraic... Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to...
|
cena:
603,81 |
 |
In Defense of Informal Logic
ISBN: 9780792361480 / Angielski / Twarda / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. My impulse when I decided to collect into a single volume the essays on topics in logical theory and related subjects that I have written in the last fifteen years was to borrow from the title of a work by Sextus Empiricus, and call my collection "Against the Logicians." Although the essays address a variety of problems that interest me, the thread that runs through them is a scepticism about how logicians see things. So, the title appealed to me. However, I had second thoughts and chose instead a title of one of my own essays, "In Defense of Informal Logic," which emphasizes my support for...
My impulse when I decided to collect into a single volume the essays on topics in logical theory and related subjects that I have written in the last ...
|
cena:
402,53 |
 |
Abduction and Induction: Essays on Their Relation and Integration
ISBN: 9780792362500 / Angielski / Twarda / 309 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction. Deduction is now fairly well understood, but abduction and induction have eluded a similar level of understanding. The papers collected here address the relationship between abduction and induction and their possible integration. The approach is sometimes philosophical, sometimes that of pure logic, and some papers adopt the more task-oriented approach of AI.
The book will command the attention of... From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which...
|
cena:
603,81 |
 |
Formal Aspects of Context
ISBN: 9780792363507 / Angielski / Twarda / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi- cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents...
We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and ...
|
cena:
402,53 |
 |
Scare Tactics: Arguments That Appeal to Fear and Threats
ISBN: 9780792365433 / Angielski / Twarda / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Scare Tactics, the first book on the subject, provides a theory of the structure of reasoning used in fear and threat appeal argumentation. Such arguments come under the heading of the argumentum ad baculum, the argument to the stick/club', traditionally treated as a fallacy in the logic textbooks. The new dialectical theory is based on case studies of many interesting examples of the use of these arguments in advertising, public relations, politics, international negotiations, and everyday argumentation on all kinds of subjects. Many of these arguments are amusing, once you...
Scare Tactics, the first book on the subject, provides a theory of the structure of reasoning used in fear and threat appeal argumentation. S...
|
cena:
402,53 |
 |
Proof Theory
ISBN: 9780792365440 / Angielski / Twarda / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math- ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide...
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997...
|
cena:
402,53 |
 |
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning
ISBN: 9780792366720 / Angielski / Twarda / 517 str. Termin realizacji zamówienia: ok. 5-8 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...
|
cena:
805,10 |
 |
Logik Vorlesung 1896
ISBN: 9780792369110 / Angielski / Twarda / 333 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der vorliegende Band enthalt Husserls einzige weitgehend vollstandig erhaltene Vorlesung aus seiner Hallenser Zeit, die er 1896 unter dem Titel Logik' gehalten und im Hinblick auf eine Veroffentlichung teilweise bearbeitet hat. Dieses husserlsche Buchprojekt wird hier der Offentlichkeit zum ersten Mal zuganglich gemacht. In der Vorlesung entwirft Husserl hauptsachlich eine in den Logischen Untersuchungen zwar angekundigte, aber nicht mehr realisierte objektive Logik, die sich in Idee und Terminologie eng an Bolzano anschliesst. Die einleitenden Bemerkungen der Vorlesung uber...
Der vorliegende Band enthalt Husserls einzige weitgehend vollstandig erhaltene Vorlesung aus seiner Hallenser Zeit, die er 1896 unter dem Titel Logik'...
|
cena:
1053,40 |
 |
Logik: Vorlesung 1902/03
ISBN: 9780792369127 / Angielski / Twarda / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der vorliegende Band enthalt den Text der dreistundigen Vorlesung, die Husserl unter dem Titel Logik' in Gottingen im Wintersemester 1902/03 gehalten hat. Sie fusst auf der Vorlesung Logik und Erkenntnistheorie' des Winters 1901/02, der ersten von Husserl nach dem Erscheinen der Logischen Untersuchungen und nach seiner Berufung an die Universitat Gottingen neu entworfenen Vorlesung. Aus ihr hat Husserl 1902/03 eine Reihe von Blattern zur Urteilstheorie und zur Lehre von den hypothetischen Satzen und Schlussen ubernommen. Die Lehre von den logischen Modalitaten arbeitete er...
Der vorliegende Band enthalt den Text der dreistundigen Vorlesung, die Husserl unter dem Titel Logik' in Gottingen im Wintersemester 1902/03 gehalten ...
|
cena:
677,21 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
