Logic

Essays on Logic as the Art of Reasoning Well

Richard L. Epstein

The topic of this volume is the evaluation of reasoning about cause and effect, reasoning using conditionals, and reasoning that involves explanations.

Richard L. Epstein

The topic of this volume is the nature and evaluation of reasoning in science and mathematics. Science and mathematics can both be understood as proceeding by a method of abstraction from experience. Mathematics is distinguished from other sciences only in its greater abstraction and its demand for necessity in its inferences.

Richard L. Epstein

The question addressed in this volume is how we can justify our beliefs through reasoning.

Richard L. Epstein

The topic of this volume is prescriptive reasoning: why to view prescriptions as true or false and how to reason with them; in what way a theory can be prescriptive; and how descriptions of rationality are prescriptive.

Richard L. Epstein

This volume examines the metaphysical assumptions that are needed in order to develop formal systems.

 

Logic, Language, and the World

Richard L Epstein

Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science.

Richard L. Epstein

Computability

Richard L. Epstein and Walter A. Carnielli

The classic presentation of the theory of computable functions in the context of the foundations of mathematics.

The acclaimed 18” x 28” (45.7 cm x 71.1 cm) poster now in a new edition.

Semantic Foundations of Logic

Richard L. Epstein

This surveys and unifies the major systems of propositional logics, answering the question “If logic is the right way to reason, why are there so many logics?” It is the standard reference in the subject, as well as providing a clear and easy way to learn the subject from scratch.

Richard L. Epstein

This presents the basic syntax and semantics of predicate logic motivated by attempting to formalize ordinary language reasoning. It is the only textbook that takes formalization as a serious motive for the subject and a serious constraint on the formalism. It make it clear why predicate logic is worth studying. It provides a basis for all predicate logics.

Richard L. Epstein

This develops classical mathematical logic, viewing it as motivated by attempts to formalize mathematics. The scope and limitations of the formal system are explored: formalizations of theories of linear orders, arithmetic, groups, rings, fields, one- and two-dimensional Euclidean geometry, and second-order logic are all presented. It is the only place to see axiomatic geometry formulated in first-order logic where the syntax and semantics are clearly separated.

Copyright © Advanced Reasoning Forum 2017. All Rights Reserved.