Logique et analyse
Author | : |
Publisher | : |
Total Pages | : 106 |
Release | : 2009 |
Genre | : Logic |
ISBN | : |
Download Logique et analyse Book in PDF, ePub and Kindle
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Logique Et Analyse PDF full book. Access full book title Logique Et Analyse.
Author | : |
Publisher | : |
Total Pages | : 106 |
Release | : 2009 |
Genre | : Logic |
ISBN | : |
Author | : |
Publisher | : |
Total Pages | : 376 |
Release | : 2007 |
Genre | : Logic |
ISBN | : |
Author | : Dov M. Gabbay |
Publisher | : Springer Science & Business Media |
Total Pages | : 366 |
Release | : 2003-10-31 |
Genre | : Philosophy |
ISBN | : 9781402016448 |
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 weIl 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 in logic'. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.
Author | : INTERNATIONAL INSTITUTE OF PHILOSOPHY. |
Publisher | : |
Total Pages | : 142 |
Release | : 1963 |
Genre | : |
ISBN | : |
Author | : Haskell Brooks Curry |
Publisher | : Courier Corporation |
Total Pages | : 420 |
Release | : 1977-01-01 |
Genre | : Mathematics |
ISBN | : 9780486634623 |
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
Author | : Nicholas Rescher |
Publisher | : University of Pittsburgh Pre |
Total Pages | : 237 |
Release | : 2010-11-23 |
Genre | : Philosophy |
ISBN | : 0822975653 |
The four main essays in this volume investigate new sectors of the theory of decision, preference, act-characteristics, and action analysis. Herbert A. Simon applies tools developed in the theory of decision-making to the logic of action, and thereby develops a novel concept of heuristic power. Adapting ideas from utility and decision theory, Nicholas Rescher proposes a logic of preference by which conflicting theories proposed by G. H. von Wright, R. M. Chisholm, and others can be systematized. Donald Davidson discusses difficulties in specifying the structure of action sentences to elucidate how their meaning depends on that structure. G. H. von Wright devises a method for describing each "state of the world" that results from an action, in a revision of his own earlier work. Additionally, a study of the logic of norms by Alan Ross Anderson is presented as an appendix, along with an appendix by Rescher outlining the aspects of action.
Author | : Charles-Constant Le Tellier |
Publisher | : |
Total Pages | : 234 |
Release | : 1824 |
Genre | : |
ISBN | : |
Author | : Paul A. Weingartner |
Publisher | : Springer Science & Business Media |
Total Pages | : 372 |
Release | : 2013-03-09 |
Genre | : Computers |
ISBN | : 3662056798 |
Initially proposed as rivals of classical logic, alternative logics have become increasingly important in sciences such as quantum physics, computer science, and artificial intelligence. The contributions collected here address the question whether the usage of logic in the sciences, especially in modern physics, requires a deviation from classical mathematical logic. The articles in the first part of the book set the scene by describing the context and the dilemma when applying logic in science. In Part II the authors offer several logics that deviate in different ways. The twelve papers in Part III investigate in detail specific aspects such as quantum logic, quantum computation, computer-science considerations, praxic logic, and quantum probability. The monograph provides a succinct picture of recent research in alternative logics as they have been developed for applications in the sciences.
Author | : N. Rescher |
Publisher | : Springer Science & Business Media |
Total Pages | : 360 |
Release | : 2013-03-09 |
Genre | : Philosophy |
ISBN | : 9401735468 |
The aim of the book is to introduce the reader to some new areas oflogic which have yet to find their way into the bulk of modern logic books written from the more orthodox direction of the mainstream of develop ments. Such a work seems to me much needed, both because of the in trinsic value and increasing prominence of the nonstandard sector of logic, and because this particular sector is of the greatest interest from the standpoint of philosophical implications and applications. This book unites a series of studies in philosophical logic, drawing for the most part on material which I have contributed to the journal liter ature of the subject over the past ten years. Despite the fact that some of these essays have been published in various journals at different times, they possess a high degree of thematic and methodological unity. All of these studies deal with material of substantial current interest in philo sophical logic and embody a fusion of the modern techniques of logical and linguistic-philosophical analysis for the exploration of areas of logic that are of substantial philosophical relevance.
Author | : Jair Minoro Abe |
Publisher | : Springer Nature |
Total Pages | : 210 |
Release | : 2023-12-01 |
Genre | : Technology & Engineering |
ISBN | : 3031357590 |
This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational aspects of the various techniques are also covered, notably non-classical formalisms. The tome is intended for researchers, undergraduate and graduate students, and lay readers. The book is dedicated to researcher Seiki Akama on his sixtieth birthday. Akama is one of the critical scientists who dedicated himself to understanding the use of alternative logic in the various issues of AI, ranging from its foundations to concrete applications and philosophical reflections.