The predicate fabric of abstraction: the hard test of logical inversion

The paper starts with an ultra-compact deposition on the two ubiquitouscomplementary dual pairwise organized methodological proceduresof episteme, i.e. the analytic method (analysis – synthesis)& the abstract process (abstraction – structure). Next, the authors examinesome ground rules and concepts pervading causality and inference andtheir junctions, attempting to discriminate between information flow inempiricism and theoretical causality of proof; only then is a connectionbetween them attempted and investigated. In the authors’ effort to establisha consistent theoretical outlook, if not approach, the technique of logicalinversions is also used as a partial yet powerful guide elucidating how successfultheir attempts were. Apart from clarifying some opaque concepts inlogic, in set theory and in the staple empiricism of science, this paper alsosets the stage for questioning whether some grave flaws could be locatedin traditional, save ill-founded, notions in hardcore science, on occasion ofthe par excellence typical example of fundamental and never challenged approaches in physics. The fact that something has been accepted as holdingdoes not at all mean that cracks may not be located in its epistemologicalmakeup at some posterior time. And it is the text’s task here to ask somepainful questions and try to set some realistic boundaries to things by aptlyutilizing available irresistible standard «tricks» from logic and from theclassical scientific method and from reverting to fruitful techniques and totelling examples, pushing hard for convincing answers.