Those who want to understand logic, if they manage to pass at least an initial, though far from simple, modern course of study, eventually conclude that practically logic consists in formulating premises and a taken-from-nowhere assertion in an incomprehensible language and then proving or disproving cause-consequence links between them. Conversely, many topical tasks of logical analysis, such as forming and testing hypotheses, inferring consequences with predefined properties, and searching for, and analysis of, logical errors and inconsistencies in reasoning, among others, are outside the scope of this discourse. They are scattered haphazardly in works on theory of argumentation, non-classical logics, and artificial intelligence. This book demonstrates the capabilities of two relatively simple mathematical systems developed by the authors, namely E-structures and n-tuple algebra, which allow the modelling of various types of reasoning and solve the above and some other tasks of logical analysis.
Author(s): Boris Kulik, Alexander Fridman
Publisher: Cambridge Scholars Publishing
Year: 2022
Language: English
Pages: 195
City: Newcastle upon Tyne
Epigraph
Table of Contents
Foreword
Preface
Acknowledgments
List of Reference Designations and Acronyms
Part I
Part II
Appendix A
Appendix B
Appendix C
References
