
Future Logic
Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities
Edición de la obra Future Logic
| Autor | Avi Sion |
|---|---|
| Editorial | Avi Sion |
| Fecha de publicación | 1990 |
| Lugar | Vancouver Island, B.C., Canada |
| Idioma | inglés |
| ISBN-10 | 2970009102 |
| LCCN | 98160637 |
| Número de Cutter | S618f |
Future Logic is an original and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct from logical conditioning), including their production from modal categorical premises.