Істина і хиба: що таке істиннісні значення і для чого вони потрібні
DOI:
https://doi.org/10.31812/apm.v27.01Ключові слова:
істина, хиба, істиннісне значення, Готлоб Фреге, аргумент рогатки, абстрактні об’єкти, екстенсіональність, логічні сполучники, логіка, логічні світиАнотація
Статтю присвячено аналізу поняття істиннісного значення та його ролі в логіці й філософії мови. Вихідним пунктом є концепція Готлоба Фреге, згідно з якою речення трактуються як імена особливих об’єктів – істиннісних значень, тобто істини та хиби. Обґрунтовується значущість цієї ідеї для функціонального аналізу мови, побудови екстенсіональної семантики та формалізації логічних сполучників як істиннісних функцій. Показано, що залучення істиннісних значень дає змогу уникнути потреби в окремій семантичній категорії речень та забезпечує єдину інтерпретацію предикатів і логічних операторів. Окрему увагу приділено проблемі категоріального статусу істини. На підставі фреґевських міркувань та подальших досліджень доводиться, що істину доцільно розглядати не як властивість, а як абстрактний об’єкт, що дозволяє усунути труднощі, пов’язані з множинністю носіїв істини та небажаним «розмноженням істин». Докладно розглянуто аргумент рогатки у версіях Черча, Ґеделя та Девідсона як формалізоване обґрунтування тези про те, що всі істинні речення мають одне й те саме значення, а всі хибні речення – інше. На цій основі обстоюється онтологічне тлумачення істиннісних значень як абстрактних логічних об’єктів. У завершальній частині статті логіка інтерпретується як наука про істиннісні значення, а множинність логічних систем пояснюється різноманіттям можливих логічних світів і припущень про кількість та структуру істиннісних значень.
Завантажити
Посилання
1. Anderson A.R., Belnap N.D. Entailment: The Logic of Relevance and Necessity. Vol. I. Princeton: Princeton University Press, 1975.
2. Anderson D., Zalta E. Frege, Boolos, and logical objects. Journal of Philosophical Logic, 33, 2004. P. 1–26.
3. Barwise J., Perry J. Semantic innocence and uncompromising situations. Midwest Studies in the Philosophy of Language, VI, 1981. P. 387–403.
4. Burge T. Frege on truth. Frege Synthesized. Dordrecht: Reidel, 1986.
5. Carnap R. Introduction to Semantics. Cambridge, Mass.: Harvard University Press, 1942.
6. Carnap R. Meaning and Necessity. A Study in Semantics and Modal Logic. Chicago: The University of Chicago Press, 1947.
7. Church A. Introduction to Mathematical Logic. Princeton, New Jersey: Princeton University Press, 1956.
8. Church A. Propositions and sentences. The Problem of Universals. Notre Dame, Indiana: University of Notre Dame Press, 1956. P. 1–11.
9. Church A. Review of Rudolf Carnap, Introduction to Semantics. The Philosophical Review, 52, 1943. P. 298–304.
10. Davidson D. Truth and meaning. Synthese, 17, 1967. P. 304–323.
11. Davidson D. True to the facts. Journal of Philosophy, 66, 1969. P. 748–764.
12. Dunn J.M. Intuitive semantics for first-degree entailment and “coupled trees”. Philosophical Studies, 29, 1976. P. 149–168.
13. Frege G. Der Gedanke. Eine logische Untersuchung. Beiträge zur Philosophie des deutschen Idealismus, 1, 1918.
14. Frege G. Funktion, Begriff, Bedeutung. Fünf logische Studien. Göttingen: Vandenhoeck & Ruprecht, 2008.
15. Frege G. Function und Begriff. In: Funktion, Begriff, Bedeutung. Fünf logische Studien. Göttingen: Vandenhoeck & Ruprecht, 1986.
16. Frege G. Grundlagen der Arithmetik. Eine logisch-mathematische Untersuchung über den Begriff der Zahl. Hamburg: Felix Meiner Verlag, 1988.
17. Frege G. Logik. In: Schriften zur Logik und Sprachphilosophie. Hamburg: Felix Meiner Verlag, 2001.
18. Frege G. Schriften zur Logik und Sprachphilosophie. Aus dem Nachlass. Hamburg: Felix Meiner Verlag GmbH, 2001.
19. Frege G. Über Sinn und Bedeutung. In: Funktion, Begriff, Bedeutung. Fünf logische Studien. Göttingen: Vandenhoeck & Ruprecht, 2008.
20. Frege G. Wissenschaftlicher Briefwechsel. Hamburg: Felix Meiner Verlag, 1976.
21. Gabriel G. Frege als Neukantianer. Kant-Studien, 77, 1986. S. 84–101.
22. Gabriel G. Fregean connection: Bedeutung, value and truth-value. The Philosophical Quarterly, 34, 1984. P. 372–376.
23. Gödel K. Russell’s mathematical logic. In: The Philosophy of Bertrand Russell. Evanston: Northwestern University Press, 1944. P. 123–154.
24. Grossmann R. The Existence of the World. London: Routledge, 1992.
25. Kleene S.C. Introduction to Metamathematics. Amsterdam: North-Holland Publishing Co.; Groningen: P. Noordhoff, 1952.
26. Lewis C.I. The modes of meaning. Philosophy and Phenomenological Research, 4(2), 1943. P. 236–249.
27. Lowe J. Objects and criteria of identity. In: A Companion to the Philosophy of Language. Oxford & Cambridge, MA: Basil Blackwell, 1997. P. 628–629.
28. Lowe J. The metaphysics of abstract objects. The Journal of Philosophy, 92, 1995. P. 509–523.
29. Lukasiewicz J. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford: Clarendon Press, 1957.
30. Lukasiewicz J. On three-valued logic. Selected Works. Amsterdam: North-Holland, 1970. P. 87–88.
31. Lukasiewicz J. Two-valued logic. Selected Works. Amsterdam: North-Holland, 1970. P. 89–109.
32. Lukasiewicz J. On determinism. Selected Works. Amsterdam: North-Holland, 1970. P. 110–128.
33. MacFarlane J. Review of Stephen Neale, Facing Facts. Notre Dame Philosophical Reviews, 2002. URL: ndpr.nd.edu/reviews/facing-facts/
34. Neale S. Facing Facts. Oxford: Oxford University Press, 2001.
35. Neale S. The Philosophical Significance of Gödel’s Slingshot. Mind, 104, 1995. P. 761–825.
36. Perry J. Evading the slingshot. Philosophy and Cognitive Science: Categories, Nonsciousness, and Reasoning. Dordrecht: Kluwer Academic Publishers, 1996.
37. Popper K. Objective Knowledge. An Evolutionary Approach. Oxford: Clarendon Press, 1994. P. 106–128.
38. Priest G. The logic of paradox. Journal of Philosophical Logic, 8, 1979. P. 219–241.
39. Quine W.V.O. Ontological Relativity and Other Essays. New York: Columbia University Press, 1969.
40. Quine W.V.O. Reference and modality. In: From a Logical Point of View. Cambridge: Harvard University Press, 1953. P. 139–159.
41. Quine W.V.O. Word and Object. New York: John Wiley and Sons; Cambridge, Mass.: MIT Press, 1960.
42. Ruffino M. Wahrheit als Wert und als Gegenstand in der Logik Freges. In: Das Wahre und das Falsche: Studien zu Freges Auffassung von Wahrheit. Hildesheim: Olms, 2003. S. 203–221.
43. Tarski A. Der Wahrheitsbegriff in formalisierten Sprachen. Studia Philosophica, 1, 1935. P. 261–405.
44. Windelband W. Präludien: Aufsätze und Reden zur Philosophie und ihrer Geschichte. 5. Auflage, Bd. 1. Tübingen, 1915.
Завантаження
Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2025 Yaroslav Shramko
Ця робота ліцензується відповідно до ліцензії Creative Commons Attribution 4.0 International License.
