Abstract
We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Anderson, A. R., and N. D. Belnap, Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ, 1975.
Anderson, A. R., N. D. Belnap, and J. M. Dunn, Entailment: The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, NJ, 1992.
Arieli O., Avron A.: Reasoning with logical bilattices. Journal of Logic, Language and Information 5, 25–63 (1996)
Belnap N. D.: Tonk, plonk and plink. Analysis, n.s., 22, 130–134 (1962)
Belnap, N. D., A useful four-valued logic, in J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel Publishing Company, Dordrecht, 1977, pp. 8–37.
Belnap, N. D., How a computer should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press, 1977, pp. 30–55.
Buitelaar, P., P. Cimiano, and B. Magnini (eds.), Ontology Learning from Text: Methods, Evaluation and Applications, IOS Press, Amsterdam, 2005.
Church, A., Introduction to Mathematical Logic, Vol. I, revised and enlarged edition, Princeton University Press, Princeton, 1956.
Corcoran J.: Aristotle’s Prior Analytics and Boole’s Laws of Thought. History and Philosophy of Logic 24, 261–288 (2003)
Dunn, J. M., The Algebra of Intensional Logics, Doctoral Dissertation, University of Pittsburgh, Ann Arbor, 1966 (University Microfilms).
Dunn J. M.: Intuitive semantics for first-degree entailment and coupled trees. Philosophical Studies 29, 149–168 (1976)
Dunn, J. M., Relevance logic and entailment, in F. Guenthner and D. Gabbay (eds.), Handbook of Philosophical Logic, Volume 3, Dordrecht, Reidel, 1986, pp. 117–24.
Ellis, B., Constructing an ontology, in P. Valore (ed.), Topics on General and Formal Ontology, Polimetrica, International Scientific Publisher, 2005, pp. 15–26.
Ertola R.: On univocal connectives. Logic and Logical Philosophy 18, 5–13 (2009)
Fitting, M., Bilattices are nice things, in T. Bolander, V. Hendricks, and S. A. Pedersen (eds.), Self-Reference, CSLI-Publications, Stanford, 2006, pp. 53–77.
Frege, G., Function und Begriff, in G. Frege, Funktion, Begriff, Bedeutung. Fünf logische Studien, G. Patzig (ed.), Vandenhoeck & Ruprecht, G¨ottingen, 1986, pp. 18– 39.
Frege, G., Über Sinn und Bedeutung, in Frege, G. Funktion, Begriff, Bedeutung. Fünf logische Studien, G. Patzig (ed.), Vandenhoeck & Ruprecht, G¨ottingen, 1986, pp. 40–65.
Ginsberg, M., Multi-valued logics, in Proceedings of AAAI-86, Fifth National Conference on Artificial Intelligence, Morgan Kaufman Publishers, 1986, pp. 243–247.
Gruber T.: Toward Principles for the Design of Ontologies Used for Knowledge Sharing. International Journal of Human-Computer Studies 43, 907–928 (1995)
Łukasiewicz, J., Selected Works, L. Borkowski (ed.), Amsterdam: North-Holland and Warsaw: PWN, 1970.
Malinowski G.: Q-consequence operation. Reports on Mathematical Logic 24, 49–59 (1990)
Odintsov S.: On axiomatizing Shramko-Wansing’s logic. Studia Logica 93, 407–428 (2009)
Shramko Y., Dunn J. M., Takenaka T.: The trilaticce of constructive truth values. Journal of Logic and Computation 11, 761–788 (2001)
Shramko Y., Wansing H.: Some useful sixteen-valued logics: How a computer network should think. Journal of Philosophical Logic 34, 121–153 (2005)
Shramko Y., Wansing H.: Hyper-contradictions, generalized truth values and logics of truth and falsehood. Journal of Logic, Language and Information 15, 403–424 (2006)
Shramko, Y., and H.Wansing, Truth values, in Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Summer 2010 Edition), URL = 〈http://plato.stanford.edu/archives/sum2010/entries/truth-values/〉.
Shramko, Y., and H. Wansing, Truth and Falsehood. An Inquiry into Generalized Logical Values, Springer, Dordrecht, Heidelberg, London, New York, 2011.
Smith, B., Ontology, in L. Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information, Blackwell Publishing, 2004, pp. 155–166.
Wansing, H., and Y. Shramko, Harmonious many-valued propositional logics and the logic of computer networks, in C. Dégremont, L. Keiff and H. Rückert (eds.), Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, 2008, pp. 491–516.
Wansing H., Shramko Y.: Suszko’s thesis, inferential many-valuedness, and the notion of a logical system. Studia Logica 88, 405–429 (2008)
Spohn W.: Two-dimensional truth. Studia Philosophica Estonica 1, 194–207 (2008)
Suszko R.: The Fregean axiom and Polish mathematical logic in the 1920’s. Studia Logica 36, 373–380 (1977)
Zaitsev D.: A few more useful 8-valued logics for reasoning with tetralattice EIGHT 4. Studia Logica 92, 265–280 (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zaitsev, D., Shramko, Y. Bi-facial Truth: a Case for Generalized Truth Values. Stud Logica 101, 1299–1318 (2013). https://doi.org/10.1007/s11225-013-9534-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9534-z