Open Access
Verification in theory and in the sciences
Author(s) -
Κ. Παπαγεωργίου,
Demetrios E. Lekkas
Publication year - 2020
Publication title -
epistēmēs metron logos
Language(s) - English
Resource type - Journals
eISSN - 2653-8822
pISSN - 2585-2973
DOI - 10.12681/eml.22106
Subject(s) - epistemology , negation , semantic theory of truth , set (abstract data type) , perception , logical consequence , sociology , computer science , linguistics , philosophy , programming language
In this work, we undertake the task of laying out some basic considerations towards straightening out the foundations of an abstract logical system. We venture to explain what theory is as well as what is not theory, to discriminate between the roles of truth in theory and in reality, as well as to open the road towards clarifying the relationship between theory and the real world. Etymological, cultural and conceptual analyses of truth are brought forth in order to reveal problems in modern approaches and to set the stage for more consistent solutions. One such problem addressed here is related to negation per se, to its asymmetry towards affirmative statements and to the essential ramifications of this duality with respect to the common perceptual and linguistic aspects of words indicating concepts akin to truth in various languages and to attitudes reflected and perpetuated in them and to their consequent use in attempted informal or formal logic and its understanding. Finally, a case study invoking the causes or “causes” of gravity both clarifies and reinforces the points made in this paper.