Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities

Geneva, Switzerland: CreateSpace & Kindle; Lulu. (1990)
  Copy   BIBTEX

Abstract

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. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all but totally ignored. As for induction, apart from the elucidation of adductive processes (the scientific method), almost no formal work has been done. 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. Future Logic contains a great many other new discoveries, organized into a unified, consistent and empirical system, with precise definitions of the various categories and types of modality (including logical modality), and full awareness of the epistemological and ontological issues involved. Though strictly formal, it uses ordinary language, wherever symbols can be avoided. Among its other contributions: a full list of the valid modal syllogisms (which is more restrictive than previous lists); the main formalities of the logic of change (which introduces a dynamic instead of merely static approach to classification); the first formal definitions of the modal types of causality; a new theory of class logic, free of the Russell Paradox; as well as a critical review of modern metalogic. But it is impossible to list briefly all the innovations in logical science — and therefore, epistemology and ontology — this book presents; it has to be read for its scope to be appreciated.

Other Versions

original Sion, Avi (1990) "Future logic: categorical and conditional deduction and induction of the natural, temporal, extensional, and logical modalities". CreateSpace

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Applied Logic: How, What and Why: Logical Approaches to Natural Language.László Pólos & Michael Masuch (eds.) - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
Natural Deduction for Modal Logic of Judgment Aggregation.Tin Perkov - 2016 - Journal of Logic, Language and Information 25 (3-4):335-354.
A Natural Deduction Calculus for S4.2.Simone Martini, Andrea Masini & Margherita Zorzi - 2024 - Notre Dame Journal of Formal Logic 65 (2):127-150.
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
Bertrand Russell on modality and logical relevance.Bernard Linsky - 2015 - [North Charleston, South Carolina]: [CreateSpace].
The Metalogic of Quantum Logic.Peter Mittelstaedt - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:249 - 256.
Modal logic and invariance.Johan Van Benthem & Denis Bonnay - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):153-173.

Analytics

Added to PP
2009-01-28

Downloads
889 (#25,715)

6 months
179 (#20,005)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Logical Geometries and Information in the Square of Oppositions.Hans Smessaert & Lorenz Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.

Add more citations

References found in this work

A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
Opposition.[author unknown] - 1940 - Archives de Philosophie 16:85.

Add more references