![]() |
Philosophical Logic and Logical Philosophy
ISBN: 9780792342700 / Angielski / Twarda / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in philosophy and logic at the Tomsk University. Since 1961 his scientific activity continued in Moscow at the Institute of Philosophy of Academy of Sciences of the USSR. From 1970 and till the last days of his life V. A. Smirnov was lecturer and then Professor at the Chair of Logic at Moscow State University. V. A. Smirnov played an important role at the Institute of Philosophy of Russian Academy of Sciences being the Head of Department of...
Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in...
|
cena:
402,53 |
![]() |
Logic, Language and Computation
ISBN: 9780792343769 / Angielski / Twarda / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1...
The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language a...
|
cena:
402,53 |
![]() |
Denying Existence: The Logic, Epistemology and Pragmatics of Negative Existentials and Fictional Discourse
ISBN: 9780792343882 / Angielski / Twarda / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thanks to the Inlaks Foundation in India, I was able to do my doctoral research on Our Talk About Nonexistents at Oxford in the early eighties. The two greatest philosophers of that heaven of analytical philosophy - Peter Strawson and Michael Dummett - supervised my work, reading and criticising all the fledgling philosophy that I wrote during those three years. At Sir Peter's request, Gareth Evans, shortly before his death, lent me an unpublished transcript of Kripke's John Locke Lectures. Work on the Appendix about Indian Philosophy was supervised by the late Professor Bimal Krishna Matilal...
Thanks to the Inlaks Foundation in India, I was able to do my doctoral research on Our Talk About Nonexistents at Oxford in the early eighties. The tw...
|
cena:
603,81 |
![]() |
The Is-Ought Problem: An Investigation in Philosophical Logic
ISBN: 9780792344100 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Can OUGHT be derived from IS? This book presents an investigation of this time-honored problem by means of alethic-deontic predicate logic. New in this study is the leitmotif of relevance: is-ought inferences indeed exist, but they are all irrelevant in a precise logical sense. New proof techniques establish this result for very broad classes of logics. A profound philosophical analysis of is-ought bridge principles supplements the logical study. The final results imply incisive limitations for the justifiability of ethics as opposed to empirical science.
Can OUGHT be derived from IS? This book presents an investigation of this time-honored problem by means of alethic-deontic predicate logic. New in thi...
|
cena:
805,10 |
![]() |
Defeasible Deontic Logic
ISBN: 9780792346302 / Angielski / Twarda / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Relevant to philosophy, law, management, and artificial intelligence, these papers explore the applicability of nonmonotonic or defeasible logic to normative reasoning. The resulting systems purport to solve well-known deontic paradoxes and to provide a better treatment than classical deontic logic does of prima facie obligation, conditional obligation, and priorities of normative principles.
Relevant to philosophy, law, management, and artificial intelligence, these papers explore the applicability of nonmonotonic or defeasible logic to no...
|
cena:
724,58 |
![]() |
Advances in Intensional Logic
ISBN: 9780792347118 / Angielski / Twarda / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book is a most welcome addition to our series. The Editors CONTENTS...
Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artifi...
|
cena:
603,81 |
![]() |
Language, Truth and Logic in Mathematics
ISBN: 9780792347668 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the one hand, some philosophers (and some mathematicians) take the nature and the results of mathematicians' activities as given, and go on to ask what philosophical morals one might perhaps find in their story. On the other hand, some philosophers, logicians and mathematicians have tried or are trying to subject the very concepts which mathematicians are using in their work to critical scrutiny. In practice this usually means scrutinizing the logical and linguistic tools mathematicians wield....
One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the one hand, some philosophers (and some mathema...
|
cena:
603,81 |
![]() |
The Logic of Intentional Objects: A Meinongian Version of Classical Logic
ISBN: 9780792348801 / Angielski / Twarda / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intentionality is one of the most frequently discussed topics in contemporary phenomenology and analytic philosophy. This book investigates intentionality from the point of view of intentional objects. According to the classical approach to this concept, whatever can be consciously experienced is regarded as an intentional object. Thus, not only ordinary existing individuals but also various kinds of non-existents and non-individuals are considered as intentional (including such bizarre entities as quantifier objects: some dog', every dog').
Alexius Meinong, an Austrian philosopher, is... Intentionality is one of the most frequently discussed topics in contemporary phenomenology and analytic philosophy. This book investigates intentiona...
|
cena:
402,53 |
![]() |
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 |