The aim of the paper is to outline an idea of solving the problem of the vagueness of concepts. The starting point is a definition of the concept of vague knowledge. One of the primary goals is a formal justification of the classical viewpoint on the controversy about the truth and object reference of expressions including vague terms. It is proved that grasping the vagueness in the language aspect is possible through the extension of classical logic to the logic of sentences which may contain vague terms. The theoretical framework of the conception refers to the theory of Pawlak's rough sets and is connected with Zadeh's fuzzy set theory as well as bag (or multiset) theory. In the considerations formal logic means and the concept system of set theory have been used. The paper can be regarded as an outline of the logical theory of vague concepts.
@article{bwmeta1.element.bwnjournal-article-amcv11i3p719bwm,
author = {Wybraniec-Skardowska, Urszula},
title = {Knowledge vagueness and logic},
journal = {International Journal of Applied Mathematics and Computer Science},
volume = {11},
year = {2001},
pages = {719-737},
zbl = {0990.68140},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv11i3p719bwm}
}
Wybraniec-Skardowska, Urszula. Knowledge vagueness and logic. International Journal of Applied Mathematics and Computer Science, Tome 11 (2001) pp. 719-737. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv11i3p719bwm/
[000] Austin J.L. (1961): How to Talk, In: Philosophical Papers (J.O. Urmson and G.J. Warnock, Eds.). — Oxford: Oxford University Press.
[001] Blizard W.D. (1989): Multiset Theory. — Notre Dame J. Formal Logic, Vol.30, No.1, pp.36– 66. | Zbl 0668.03027
[002] Cerf V., Fernandez E., Gostelow K. and Volansky S. (1971): Formal control flow properties or a model of computation. — Rep. ENG-7178, Computer Science Department, University of California, Los Angeles, California.
[003] Cresswell M.J. (1973): Logics and Languages. — London: Methuen. | Zbl 0287.02009
[004] Fine K. (1975): Vagueness, truth and logic. — Synthese, Vol.30, No.3–4, pp.265–300. | Zbl 0311.02011
[005] Kubiński T. (1958): Vague names. — Studia Logica, Vol.7, pp.115-179 (in Polish). | Zbl 0126.25901
[006] Kuhn T.S. (1962): The Structure of Science Revolutions. — Chicago: University of Chicago.
[007] Koj L. (1969): On defining meaning families. — Studia Logica, Vol.25 (in Polish).
[008] Marciszewski W. (1994): Logic from a Rhetorical Point of View. — Berlin: de Gruyter.
[009] Muszyński Z. (1988): On Vagueness. —Lublin: Maria Curie-Skłodowska University (in Polish).
[010] Pawlak Z. (1982): Rough sets. — Int. J. Comp. Inf. Sci., Vol.11, No.5, pp.341–356. | Zbl 0501.68053
[011] Pawlak Z. (1983): Information systems—Theoretical foundations. — Inf. Syst., Vol.6, No.3, pp.205–218. | Zbl 0462.68078
[012] Pawlak Z. (1991): Rough Sets—Theoretical Reasoning about Data. — Dordrecht: Kluwer. | Zbl 0758.68054
[013] Pawlak Z. (1992): Knowledge from the rough set perspective. — Res. Rep. No.23/92, Institute of Computer Science, Warsaw (in Polish).
[014] Pawłowski T. (1978): Meaning families and their definitions. — Studia Filozoficzne, No.2, pp.21–99 (in Polish).
[015] Pawłowski T. (1988): Meaning families, In: On Vagueness (Z. Muszyński, Ed.). — Lublin: Maria Curie-Skłodowska University, pp.319–321.
[016] Pelc J. (1971): Studies in Functional Logical Semiotics of Natural Languages. — The Hague: Mouton and Co.
[017] Peterson J.L. (1976): Computation sequence sets. — J. Comp. Syst. Sci., Vol.13, No.1, pp.1–24. | Zbl 0354.68100
[018] Peterson J.L. (1981): Petri Net Theory and the Modeling of Systems. — Englewood Cliffs, NJ: Prentice-Hall. | Zbl 0461.68059
[019] Polanyi M. (1962): Personal Knowledge, Towards a Post Critical Philosophy. — London: Routlege & Kegan Paul.
[020] Przełęcki M. (1964): From the semantics of open concepts. — Studia Logica, Vol.15, pp.198– 220 (in Polish).
[021] Russell B. (1923): Vagueness. — The Australasian Journal of Psychology and Philosophy, Vol.1, pp.84–92.
[022] Słupecki J., Hałkowska K. and Piróg-Rzepecka K. (1993): Mathematical Logic. — Warsaw: Polish Scientific Publishers (in Polish). | Zbl 0393.03001
[023] Wittgenstein L. (1953): Philosophical Investigations. — Oxford: Blackwell.
[024] Wybraniec-Skardowska U. (1994a): Status of rough information and the problem of vagueness, In: Science and Language (M. Omyła, Ed.). — Warsaw: Warsaw University Press, pp.409–443 (in Polish).
[025] Wybraniec-Skardowska U. (1994b): A logical explication of incomplete and uncertain information, In: Incompleteness and Uncertainity in Information Systems (V.S. Alagar, S. Bergler, F.Q. Dang, Eds.). — London: Springer, pp.180–198. | Zbl 0939.68620
[026] Wybraniec-Skardowska U. (1997): Logic in view of imprecise information, In: Proceedings for Semiotic Studies (I. Rauch, Ed.). — Berlin: Mouton de Gruyter, pp.817–819.
[027] Wybraniec-Skardowska U. (1996): On conceptualization of the vague knowledge. — Filozofia Nauki, Vol.IV, No.3, pp.45–62 (in Polish).
[028] Wybraniec-Skardowska U. (1998): A formal-logical approach to the problem of imprecision, In: Emil L. Post and the Problem of Mechanical Provability (H. Świączkowska, Ed.). — Białystok: University of Bialystok Press, pp.101–124.
[029] Zadeh L.A. (1965): Fuzzy sets. — Inf. Contr., Vol.8, No.8, pp.338–353. | Zbl 0139.24606