Listing 1 - 10 of 49 | << page >> |
Sort by
|
Choose an application
The Handbook of the Logic of Argument and Inference is an authoritative reference work in a single volume, designed for the attention of senior undergraduates, graduate students and researchers in all the leading research areas concerned with the logic of practical argument and inference. After an introductory chapter, the role of standard logics is surveyed in two chapters. These chapters can serve as a mini-course for interested readers, in deductive and inductive logic, or as a refresher. Then follow two chapters of criticism; one the internal critique and the other the empirical critique. The first deals with objections to standard logics (as theories of argument and inference) arising from the research programme in philosophical logic. The second canvasses criticisms arising from work in cognitive and experimental psychology. The next five chapters deal with developments in dialogue logic, interrogative logic, informal logic, probability logic and artificial intelligence. The last chapter surveys formal approaches to practical reasoning and anticipates possible future developments. Taken as a whole the Handbook is a single-volume indication of the present state of the logic of argument and inference at its conceptual and theoretical best. Future editions will periodically incorporate significant new developments.
Choose an application
This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at Rutgers University. It emphasizes connections between the representational aspects of mixed integer programming and applied logic, as well as discussing logic-based approaches to decision support which help to create more `intelligent' systems. Dividing naturally into two parts, the first four chapters are an overview of mixed-integer programming representability techniques. This is followed by five chapters on applied logic, expert syste
Choose an application
Pragmatics --- Pragmalinguistics --- General semantics --- Language and languages --- Logic, Symbolic and mathematical --- Semantics (Philosophy) --- Philosophy
Choose an application
Mathematical logic --- Mathematics --- Logic, Symbolic and mathematical --- Physical Sciences & Mathematics --- Mathematical Theory --- Congresses
Choose an application
Choose an application
Logic, Methodology and Philosophy of Science VII
Science --- Mathematical logic --- Logic, Symbolic and mathematical --- Philosophy --- Methodology --- Logique mathématique --- Philosophie des sciences
Choose an application
The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. Completely revised and updated - includes over 25% new materialDiscusses the interface between logic and langua
Choose an application
The congruences of a lattice form the congruence lattice. Over the last several decades, the study of congruence lattices has established itself as a large and important field with a great number of interesting and deep results, as well as many open problems. Written by one of the leading experts in lattice theory, this text provides a self-contained introduction to congruences of finite lattices and presents the major results of the last 90 years. It features the author’s signature “Proof-by-Picture” method, which is used to convey the ideas behind formal proofs in a visual, more intuitive manner. Key features include: an insightful discussion of techniques to construct "nice" finite lattices with given congruence lattices and "nice" congruence-preserving extensions complete proofs, an extensive bibliography and index, and over 180 illustrations additional chapters covering new results of the last seven years, increasing the size of this edition to 430 pages, 360 statements, and 262 references This text is appropriate for a one-semester graduate course in lattice theory, and it will also serve as a valuable reference for researchers studying lattices. Reviews of previous editions: “[This] monograph…is an exceptional work in lattice theory, like all the contributions by this author. The way this book is written makes it extremely interesting for the specialists in the field but also for the students in lattice theory. — Cosmin Pelea, Studia Universitatis Babes-Bolyai Mathematica LII (1), 2007 "The book is self-contained, with many detailed proofs presented that can be followed step-by-step. I believe that this book is a much-needed tool for any mathematician wishing a gentle introduction to the field of congruences representations of finite lattices, with emphasis on the more 'geometric' aspects." — Mathematical Reviews.
Group theory --- Ordered algebraic structures --- Algebra --- Geometry --- Discrete mathematics --- Geology. Earth sciences --- algebra --- discrete wiskunde --- wiskunde --- geofysica --- geometrie --- Logic, Symbolic and mathematical. --- Logic, Symbolic and mathematical --- Teoria dels reticles --- Àlgebra --- Estructures algebraiques ordenades --- Lògica matemàtica --- Graphic methods.
Choose an application
"Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical history of the collaboration between logic and philosophy during this period. After World War II, mathematical logic became a recognized subdiscipline in mathematics departments, and consequently but unfortunately philosophers have lost touch with its monuments. This book aims to make four of them (consistency and independence of the continuum hypothesis, Post's problem, and Morley's theorem) more accessible to philosophers, making available the tools necessary for modern scholars of philosophy to renew a productive dialogue between logic and philosophy"--Provided by publisher.
Logic --- Logique --- History --- Histoire --- History. --- Histoire. --- Science --- Scientific method --- Logic, Symbolic and mathematical --- Methodology. --- Arts and Humanities --- Philosophy --- Logic - History
Choose an application
Originally published in 1989, this book offers a comprehensive overview of the work of scholars in several different disciplines contributing to the development of the psychology of science: the systematic elaboration and application of psychological concepts and methods to clarify the nature of the scientific enterprise. The psychology of science of course overlaps in important ways with the philosophy, history, and sociology of science, but its predominant and distinctive focus is on individuals and small groups employing concepts elucidated via experimental methods.
Philosophy of science --- Science --- Methodology. --- Philosophy. --- Psychological aspects. --- Health Sciences --- Psychiatry & Psychology --- Scientific method --- Logic, Symbolic and mathematical --- Normal science
Listing 1 - 10 of 49 | << page >> |
Sort by
|