Applied Logic

An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition

By: Hannes Leitgeb

Write A Review

Hardcover | 13 August 2004

At a Glance

Hardcover
398 Pages

Dimensions(cm)
24.13 x 16.51 x 2.54

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

In contrast to the prevailing tradition in epistemology, the focus in this book is on low-level inferences, i.e., those inferences that we are usually not consciously aware of and that we share with the cat nearby which infers that the bird which she sees picking grains from the dirt, is able to fly. Presumably, such inferences are not generated by explicit logical reasoning, but logical methods can be used to describe and analyze such inferences.

Part 1 gives a purely system-theoretic explication of belief and inference. Part 2 adds a reliabilist theory of justification for inference, with a qualitative notion of reliability being employed. Part 3 recalls and extends various systems of deductive and nonmonotonic logic and thereby explains the semantics of absolute and high reliability. In Part 4 it is proven that qualitative neural networks are able to draw justified deductive and nonmonotonic inferences on the basis of distributed representations. This is derived from a soundness/completeness theorem with regard to cognitive semantics of nonmonotonic reasoning. The appendix extends the theory both logically and ontologically, and relates it to A. Goldman's reliability account of justified belief.

Industry Reviews

From the reviews:

"The ambitious goal of the book is the formal development of realistic (in particular: dynamic and neuronal) models of the cognitive process of reasoning. ... In sum, Leitgeb's book contains highly original and far-reaching results concerning the relation between three important areas: the epistemology of belief, the logic of reasoning, and the structure and dynamics of neuronal networks. The book is recommended for every reader who is interested in at least one of these areas ... ." (Gerhard Schurz, Journal for General Philosophy of Science, Vol. 38, 2007)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Psychology Cognition & Cognitive Psychology Philosophy Philosophy & Logic Epistemology & The Theory of Knowledge Computing & I.T.Computer Science Artificial Intelligence Mathematics Probability & Statistics Science

Physics Mathematical Physics Reference, Information & Interdisciplinary Subjects Research & Information Information theory Cybernetics & Systems Theory

Introduction	p. 1
Preliminaries	p. 7
The explication of monotonic and nonmonotonic inference	p. 23
Belief	p. 25
Inference	p. 55
The justification of monotonic and nonmonotonic inference	p. 87
General remarks on justification and justified belief	p. 89
An informal account of our theory of justified inference	p. 101
A discussion of reliability	p. 121
A theory of justified inference	p. 145
The logic of justified monotonic and nonmonotonic inference	p. 163
The semantics of deductive and nonmonotonic logic	p. 165
Systems of deductive and nonmonotonic logic	p. 189
Soundness and completeness results	p. 197
Further consequences for justified inference	p. 203
The cognition of justified monotonic and non-monotonic inference by low-level agents	p. 209
Introductory remarks	p. 211
Inhibition nets as simple neural networks	p. 225
Interpreted inhibition net agents	p. 241
Cumulative-ordered interpreted Inh. net agents and the system CL	p. 261
Cumulative-ordered interpreted inhibition net agents as ideal agents	p. 281
Inhibition nets and other forms of nonmonotonic reasoning	p. 285
Inhibition nets and artificial neural networks	p. 291
Discussion	p. 295
Appendix	p. 299
Digression on states, dispositions, causation, processes	p. 301
Goldman's reliability account of justified belief	p. 327
A sketch of logic programming	p. 345
Preferential interpreted inhibition net agents and the system P	p. 349
Cumulative interpreted inhibition net agents and the system C	p. 361
Simple cumulative interpreted inhibition net agents and the system CM	p. 367
Simple preferential interpreted inhibition net agents and the system M	p. 371
Table of Contents provided by Blackwell. All Rights Reserved.

Applied Logic

An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Physics

High Order Methods and Applications in Computational Mechanics

Fluid Mechanics and Its Applications

Quantum Physics For Dummies

For Dummies

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

A Physicist's Introduction to Algebraic Structures

Vector Spaces, Groups, Topological Spaces and More

Darboux Transformation of Nonlinear Schrodinger Equations

A Guide and a Tutorial

Abstract Cauchy Problems

Three Approaches

Kirchhoff Equations

A Variational Approach

Mathematical Methods for Physics and Engineering

Practical Applications

Mathematical Methods for Physics and Engineering

Practical Applications

Noncommutative measures and Orlicz Spaces, with Applications to Quantum Physic

Oxford Graduate Texts in Mathematics

Scattering of Waves

Theory and Applications

Computational Problems for Physics

With Guided Solutions Using Python

Computational Problems for Physics

With Guided Solutions Using Python

Mathematical Methods using Python

Applications in Physics and Engineering

Mathematical Modelling for Engineering and Physical Applications

Practical Examples and Case Studies

Problems in Quantum Mechanics and Field Theory with Mathematical Modelling

Is Mind Just a Computation?

How Computer Science Dispels the Myths of the Age of AI

Elements of Mathematical Methods for Physics

Proofs and Logical Arguments Supporting the Foundational Laws of Physics

A Handy Guide for Students and Scientists

Computational Modelling with Single Prompts

Series in Computational Physics

The Physics and Mathematics of MRI

Imaging in Medical Diagnosis and Therapy

The Physics and Mathematics of MRI

Imaging in Medical Diagnosis and Therapy

Gauge Fields, Knots And Gravity

Series on Knots & Everything

Mathematical Advances in Theoretical Chemistry

Developments in Physical & Theoretical Chemistry

This product is categorised by