Теория смысла в общей интенсиональной логике: от принципа композициональности к эпистемическим установкам
Диссертация
Бесконечная интенсиональная иерархия является артефактом как содержательных концепций, следующих принципам бикомпонентного анализа значения, так и формальных систем общей интенсиональной логики, в которых строится собственно логика интенсиональных сущностей. Наличие интенсиональной иерархии не требует специальной интерпретации перехода на каждый более высокий интенсиональный уровень… Читать ещё >
Содержание
- Актуальность темы исследования
- Степень разработанности проблемы
- Цели и задачи исследования
- Основные методы и методологические принципы исследования
- Результаты исследования и их научная новизна
- Теоретическая и практическая значимость работы
- Апробация исследования
- Глава 1. Общая интенсиональная логика и ее проблемы
- 1. Формирование общей интенсиональной логики от Карнапа до Монтегю
- 2. Вокруг интенсиональной логики Рассела
- 3. Айдукевич и Чёрч о парадоксе отношения именования
- 4. «Мягкая» теория смысла и парафраз
- 5. Проблема интенсиональной иерархии
- Интенсиональная иерархия как артефакт онтологии ЛСД
- Интенсиональная иерархия и косвенный смысл
- Интенсиональная логика без интенсиональной иерархии
- Итоги рассмотрения вопроса об интенсиональной иерархии
- Глава 2. Логика смысла и денотата и синонимический изоморфизм
- 1. «Альтернатива 0» в ЛСД Чёрча
- Язык исчисления АОс
- Аксиомы и правша вывода А0С
- Семантика АО
- 2. Теорема © и парадокс Майхилла
- 3. Другие парадоксы в А0С
- Проблема константных функций на концептах
- 4. «Альтернатива 0» как логика синонимического изоморфизма
- 5. Чему адекватна логика синонимического изоморфизма: проблемы и затруднения
- Синонимический изоморфизм и критерии синонимии
- Синонимия и проблема концептов констант
- Адекватность предиката Con целям дифференциации функций интенсиональных типов
- Примитивный предикат Con*
- 6. Концепт функции в ЛСД
- Глава 3. Теория смысла в рамках «Альтернативы 0»
- 1. Смысл как процедура задания денотата и множественность смыслов
- 2. Семантика Я-операций в естественном языке
- Я-исчисление
- Структура выражения как компонент смысла
- Удвоение интерпретации
- Х-абстракция в естественном языке и компетентный субъект
- Семантика метаязыковых переформулировок Я-выражений
- Комбинированная семантика языка-объкта и метаязыка
- Оператор абстракции, вводимый по определению
- Некоторые итоги
- 3. Композициональный и некомпозициональный смысл в системе A0CR
- Расслоение интенсиональных типов
- Композициональность и композициональные типы
- Процедура построения композщиональных концептуализаций атомарных выражений любых типов и неинтенсиональных выражений
- Процедура построения композициональной концептуализации замкнутого сложного выражения языка А0СК
- Композициональность и полиморфность концептов
- Расслоение концептов и парадокс Майхилла
- 4. Семантика A0CR
- Система доменов основной модели
- Семантические программы и их композиции
- Определение значения
- Определение отношения {=А°СКдля основной модели
- Работа семантических программ
- Аксиомы системы AOcr
- Композициональность и моделирование парадоксов
- Глава 4. Эпистемические установки, уровни компетентности и прагматика утверждении
- 1. Эпистемические установки и компетентность субъекта
- 2. Эпистемические состояния и эпистемическая модель
- Эпистемическое состояние и эпистемическое поле
- Эпистемическая модель и эпистемическое означивание
- 3. Концептуализация эпистемических операторов и гетероэпистемические установки
- Интенсиональная характеристика эпистемических установок
- Гетероэпистемические установки
- 4. Эпистемическая динамика
- Модификация знания и семантический оракул
- Модификация и уравновешивание эпистемического состояния
- Динамическая достижимость
- 5. Доопределение отношения |= для A0CR?
- Эпистемические операторы и прагматические предикаты
- Восхождения эпистемических операторов
- Гетероэпистемические установки
- 6. Аксиомы для теории эпистемических установок
- 7. Утверждение как речевое действие и локализация непропозиций
- Аксиомы для прагматического предиката ass
Список литературы
- Aidukiewicz 1935. Aidukiewicz K. Die syntaktische Konnexitat // Studia Philoso-phica. 1935, Bd. l.S. 1−27.
- Ajdukiewicz 1934a. Ajdukiewicz K. Das Weltbild und die Begriffsapparatur // Erkenntnis 1934. Bd. 4. Heft. 4. S. 259−287.
- Ajdukiewicz 1934b. Ajdukiewicz K. Sprache und Sinn // Erkenntnis. 1934. Bd. 4. Heft. 2. S. 100−138.
- Ajdukiewicz 1960. Ajdukiewicz K. A Method of Eliminating Intentional Sentences and Sentential Formulae // Atti del XII Congresso Internationale di Filosophia. Florence, 1960. P. 17−24.
- Anderson 1977. Anderson C. A. Some Models for the Logic of Sense and Denotation with an Application to Alternative (0): Diss. Los Angeles, 1977.
- Anderson 1980. Anderson C. A. Some New Axioms for the Logic of Sense and Denotation: Alternative (0) //NOUS. 1980. Vol. 14. P. 217−234.
- Anderson 1984. Anderson C. A. General Intensional Logic // Handbook of Philosophical Logic / Eds. D. Gabbay, F. Guenthner. Vol. II. Dordrecht, 1984. P. 355 385.
- Anderson 1986. Anderson C. A. Some Difficulties Concerning Russelian Intensional Logic//NOUS. 1986. Vol. 20. P. 35−43.
- Anderson 1987a. Anderson C. A. Bealer’s «Quality and Concept» I I Journal of Philosophical Logic. 1987. Vol. 16. P. 115−164.
- Anderson 1987b. Anderson C. A. Semantical Antinomies in the Logic of Sense and Denotation // Notre Dame Journal of Formal Logic. 1987. Vol. 28. P. 99−114.
- Anderson 1989. Anderson C. A. Russellian Intensional Logic // Themes from Kaplan / Eds. J. Almog, J. Perry, H. Wettstein. Oxford (N. Y.), 1989. P. 67−103.
- Anderson 2001. Anderson С. A. Alternative (1*): a Criterion of Identity for Inten-sional Entities // Logic, Meaning and Computation: Essays in Memory of Alonso Church / Ed. C. A. Anderson, M. Zeleny. (В печати).
- Barcan 1948. Barcan R. C. Review on A. F. Smullyan’s Modality and Description // Journal of Symbolic Logic. 1948. Vol. 13. P. 149−150.
- Bar-Hillel 1950. Bar-Hillel Y. On Syntactical Categories // Journal of Symbolic Logic. 1950. Vol. 15. P. 1−16.
- Bar-Hillel 1953. Bar-Hillel Y. A Quasi-Arithmetical Notation for Syntactic Description // Language. 1953. Vol. 29. N. 1−2. P. 47−58.
- Barwise, Perry 1983. Barwise J., Perry J. Situations and Attitudes. Cambridge (Mass.), 1983.
- Bealer 1982. Bealer G. Quality and Concept. Oxford (N. Y.), 1982.
- Bealer 1994. Bealer G. Property Theory: the Type-free Approach v. the Church Approach // Journal of Philosophical Logic. 1994. Vol. 23. P. 139−171.
- Benthem 1988. Benthem J. van. A Manual of Intensional Logic. Stanford, 1988.
- Benthem 1991. Benthem J. van. Language in Action. Categories, Lambdas and Dynamic Logic. Amsterdam, 1991.
- Bluckburn, de Rijke 1997. Bluckburn P., Rijke M. de. Zooming In, Zooming Out // Journal of Logic, Language and Information. 1997. Vol. 6. P. 5−31.
- Brendel 2001. Brendel E. Allwissenheit und «Offenes Philosophieren"// Erk-enntnis. 2001. Bd. 54. S. 7−16.
- Chakrabarti 1997. Chakrabarti A. Denying Existence. The Logic, Epistemology and Pragmatics of Negative Existentials and Fictional Discourse. Dordrecht- Boston- London, 1997.
- Chierchia 1994. Chierchia G. Intensionality and Context Change. Towards a Dynamic Theory of Propositions and Properties // Journal of Logic, Language and Information. 1994. Vol.3. P. 141−168.
- Chierchia, McConnell-Ginet 2001. Chierchia G., McConnell-Ginet S. Meaning and Grammar. An Introduction to Semantics. Cambridge (Mass.) — London, 2001.
- Church 1932. Church A. A Set of Postulates for the Foundation of Logic // Annals of Mathematics. 1932. Vol. 33. Ser. 2. № 1−2. P. 346−366.
- Church 1933. Church A. A Set of Postulates for the Foundation of Logic (Second Paper) // Annals of Mathematics. 1933. Vol. 34. Ser. 2. № 4. P. 839−864.
- Church 1940. Church A. A Formulation of the Simply Theory of Types // Journal of Symbolic Logic. 1940. Vol. 5. P. 56−67.
- Church 1941. Church A. The Calculi of Lambda-conversion // Annales of Mathematics Studies. 1941. Bd. 6. (Второе издание 1951 г.)
- Church 1943. Church A. Review on R. Carnap’s «Introduction to Semantics» // The Philosophical Review. 1943. Vol. LII. N. 3. P. 298−304.
- Church 1946. Church A. A Formulation of the Logic of Sense and Denotation (Abstract)// Journal of Symbolic Logic. 1946. Vol. 11. P. 31.
- Church 1950. Church A. Carnap’s Analysis of Statements of Assertion and Belief //Analysis. 1950. Vol. 10. P. 97−99.
- Church 1951a. Church A. A Formulation of the Logic of Sense and Denotation // Structure, Method and Meaning: Essays in Honor of H. M. Sheffer. New York, 1951. P. 3−24.
- Church 1951b. Church A. The Need for Abstract Entities in Semantic Analysis // Contributions to the Analysis and Synthesis of Knowledge / Proceedings of the American Academy of Arts and Sciences. 1951. Vol. 80. P. 100−112.
- Church 1954. Church A. Intensional Isomorphism and Identity of Belief // Philosophical Studies. 1954. Vol. 5. P. 65−73. Переиздано в сб. Propositions and Attitudes / Eds. N. Salmon, S. Soames. Oxford (N. Y.), 1988. P. 159−168.
- Church 1956b. Church A. Proposition and Sentences // The Problem of Universal. Notre Dame (Indiana), 1956.
- Church 1958. Church A. Ontological Commitment // Journal of Philosophy. 1958. Vol. 55. P. 1008−1014.
- Church 1973. Church A. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I) // NOUS. 1973. Vol. 7. P. 24−33.
- Church 1974a. Church A. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II) // NOUS. 1974. Vol. 8. P. 135−156.
- Church 1974b. Church A. Russelian Simple Type Theory // Proceedings and Adresses of the American Philosophical Association. 1974. Vol. 47. P. 21−33.
- Church 1976. Church A. Comparision of Russell’s Resolution of the Semantical Antinomies with that of Tarski // Journal of Symbolic Logic. 1976. Vol. 41. P. 747 760.
- Church 1984. Church A. Russel’s Theory of Identity of Propositions // Philoso-phia Naturalis. 1984. Vol. 21. P. 513−522.
- Church 1989. Church A. Intensionality and the Paradox of the Name Relation // Themes from Kaplan / Ed. by J. Almog, J. Perry, H. Wettstein. Oxford (N.Y.), 1989. P. 151−165.
- Church 1993. Church A. A Revised Formulation of the Logic of Sense and Denotation: Alternative I //NOUS. 1993. Vol. 27. P. 141−157.
- Dekker 1996. Dekker P. The Values of Variables in Dynamic Semantics // Linguistics and Philosophy. 1996. Vol. 19. P. 211−257.
- Dowty 1979. DowtyD. Word Meaning and Montague Grammar. Dordrecht, 1979.
- Dummet 1976. Dummet M. Truth and Other Enigmas. Cambridge (Mass.) — Harvard, 1976.
- Eijck, Vries 1995. EijckJ. van, Vries F.-J. de. Reasoning about Update Logic // Journal of Philosophical Logic. 1995. Vol. 24. P. 19−45.
- Evans 1981. Evans G. Understanding Demonstratives // Meaning and Understanding / Eds. H. Parret, J. Bouveresse. Berlin- N. Y., 1981. P. 280−303.
- Fagin и др. 1995. Fagin R., HalpernJ. Y., Moses Y., Vardi M. Y. Reasoning about Knowledge. Cambridge (Mass.), 1995.
- Fagin и др. 1996. Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. Common Knowledge Revisited //Annals of Pure and Applied Logic. 1996. Vol. 96. P. 89−105.
- Frege 1893/1903. Grundgesatze der Arithmetik. Begriffsschriftlich abgeleitet. Bd 1. Jena, 1893. Bd 2. Jena, 1903. (Преиздания: Darmstadt, 1962- Hildesheim, 1962, 1966.)
- Gabbay 1976. Investigation in Modal and Tense Logic with Application to Problems in Philosophy and Linguistics. Dordrecht, 1976.
- Gabbay 1996. Gabbay, D. M. Fibred Semantics and the Weaving of Logics. Part 1: Modal and Intuitionistic Logics // The Journal of Symbolic Logic. 1996. Vol. 61. N. 4. P. 1057−1120.
- Gardenfors 1988. Gardenfors P. Knowledge in Flux. Modeling the Dynamics of Epistemic States. Cambridge (Mass.) — London, 1988.
- Gallin 1975. Gallin D. Intensional and Higher-Order Modal Logic. Amsterdam, 1975.
- Groenendijk, Stokhof 1991. Groenendijk J., Stokhof M. Dynamic Predicate Logic // Linguistics and Philosophy. 1991. Vol. 14. P. 39−100.
- Hailperin 1953. Hailperin T. Quantification Theory and Empty Individual-Domains // Journal of Symbolic Logic. 1953. Vol. 18. P. 197−200.
- Handbook 1984. Handbook of Philosophical Logic / Eds. D. Gabbay, F. Guenthner. Dordrecht, 1984.
- Harman 1986. Harman G. Change in View: Principles of Reasoning. Cambridge (Mass.), 1986.
- Heim 1983. Heim I. File Change Semantics and the Familiarity Theory of Defi-niteness // Meaning, Use and Interpretation of Language / Ed. by R. Bauerle, C. Schwarze, A. von Stechow. Berlin, 1983. P. 164−189.
- Heim 1990. Heim I. E-Type Pronouns and Donkey Anaphora // Linguistics and Philosophy. 1990. Vol. 13. P. 137−178.
- Hendricks 2003. Hendricks Vincent F. Active Agents // Journal of Logic, Language and Information. 2003. Vol. 12. P. 469−495.
- Henkin 1950. Henkin L. Completeness in the Theory of Types // Journal of Symbolic Logic. 1950. Vol. 15. P. 81−91.
- Henkin 1963. Henkin L. A theory of Propositional Types // Fundamenta Mathe-maticae. 1963. Vol. 52. P. 323−344.
- Hintikka 1975. HintikkaJ. Intentions of Intensionality. Dordrecht, 1975.
- Hintikka 2003. Hintikka J. A Second Generation Epistemic Logic and its General Significance // Knowledge Contributors / V. F. Hendricks, S. A. Pedersen, K. F. Jor-gensen. Dordrecht, 2003.
- Hornstein 1984. Hornstein N. Logic as Grammar. Cambridge (Mass.), 1984.
- Hughes, Cresswell 1996. Hughes G. E., Cresswell M. J. A New Introduction to Modal Logic. London- New York, 1996.
- Kamareddine 1992. Kamareddine F. Л-Terms, Logic, Determiners and Quantifiers // Journal of Logic, Language and Information. 1992. Vol. 1. P. 79−103.
- Kamareddine 1995. Kamareddine F. Are Types Needed for Natural Language? // Applied Logic: How, What and Why / Ed. L. Polos, M. Masuch. Dordrecht, 1995. P. 79−120.
- Kamp 1990. Kamp H. Prolegomena to a Structural Account of Belief and Other Attitudes // Propositional Attitudes / Eds. C. A. Anderson, J. Owens (CSLI, Lecture Notes N. 20). Los Angeles, 1990. P. 27−90.
- Kamp, Reyle 1993. Kamp H., Reyle JJ. From Discourse to Logic: An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Dordrecht, 1993.
- Kaplan 1964. Kaplan D. Foundations of Intensional Logic: Diss. Los Angeles, 1964.
- Kaplan 1969. Kaplan D. Quantifying in // Synthese. 1969. Vol. 19. P. 173−214.
- Kaplan 1975. Kaplan D. How to Russell a Frege-Church // Journal of Philosophy. 1975. Vol. 72. P. 716−729.
- Kaplan 1977. Kaplan D. Demonstratives. Депонирована в университете Калифорнии и Лос-Анжелеса, 1977.
- Kaplan 1979. Kaplan D. Transworld Heir Lines // The Possible and the Actual / Ed. M. Loux. Ithaca- London, 1979. P. 88−109.
- Karnap 1928. Катар R. Der Logische Aufbau der Welt. Berlin, 1928.
- Karnap 1935. Karnap R. Die Logische Syntax der Sprache. Leipzig, 1935.
- Keenan, Faltz 1985. Keenan E., Faltz L. Boolean Semantics for Natural Language. Dordrecht, 1985.
- Kelly 1996. Kelly К The Logic of Reliable Inquiry. Oxford (N. Y.), 1996.
- Kemeny 1948. Kemeny J. Models of Logical Systems // Journal of Symbolic Logic. 1948. Vol. 13. P. 16−30.
- Kripke 1975. Kripke S. Outline of a Theory of Truth // Journal of Philosophy. 1975. Vol. 72. P. 690−716.
- Kripke 1980. Kripke S. Naming and Necessity. Cambridge (Mass.), 1980.
- Kroon 1991. Kroon F. Denotation and Description in Free Logic // Theoria. 1991. Vol. 57. P. 17−42.
- Montague 1974. Montague R. Universal Grammar // Theoria. 1974. Vol.36. P. 373−398.
- Morrill 1994. Morrill G. Type Logical Grammar. Categorial Logic of Signs. Dordrecht, 1994.
- Myhill 1958. Myhill J. Problems Arising in the Formalization of Intentional Logic // Logique et Analyse. 1958. Vol. 1. P. 78−83.
- Parsons Ch. 1982. Parsons Ch. Intensional Logic in Extensional Language // Journal of Symbolic Logic. 1982. Vol. 47. P. 289−327.
- Parsons Т. 1977. Parsons Т. Type Theory and Ordinary Language // Linguistics, Philosophy and Montague Grammar / Eds. S. Davis, M. Mithun. Austin (Texas), 1977. P. 127−151.
- Parsons T. 1981. Parsons T. Frege’s Hierarchies of Indirect Senses and the Paradox of Analysis // Midwest Studies in Philosophy VI / Eds. P. A. French, Т. E. Ueh-ling, H. K. Wettstein. Minneapolis, 1981. P. 37−57.
- Partee 1976. Partee В. H. Montague Grammar. New York, 1976.
- Quine 1951. Quine W. V. 0. Semantics and Absract Entities // Proceedings of the American Academy of Arts and Sciences. 1951. Vol. 80. P. 90−96.
- Quine 1953. Quine W. V. 0. Two Dogmas of Empiricism // From a Logical Point of View. Cambridge (Mass.) — Harvard, 1953.
- Quine 1964. Quine W. V. O. Set Theory and Its Logic. Cambridge (Mass.) — London, 1964 (второе издание 1969).
- Ramsey 1925. Ramsey F. P. Universals // Mind. 1925. Vol. 34. P. 401−4П.
- Ramsey 1929. Ramsey F. P. Theories // Ramsey F. P. Philosophical Papers / Ed. D. H. Mellor. Cambridge, 1990. P. 112−136.
- Rooth, Partee 1983. Rooth M., Partee B. Generalized Conjunction and Type Ambiguity // Meaning, Use and Interpretation of Language / Eds. R. Baeuerle et al. Berlin, 1983. P. 361−383.
- Russell 1903. Russell B. The Principles of Mathematics. Cambridge, 1903.
- Russell 1905. RussellB. On Denoting // Mind. 1905. Vol. 14. P. 479−493.
- Saarinen 1982. Saarinen E. How to Frege a Russell-Kaplan // NOUS. 1982. Vol. 16. P. 253−276.
- Scott 1967. Scott D. Existence and Description in Formal Logic // Bertrand Russell Philosopher of the Century / Ed. R. Schonmann. Boston- Toronto, 1967.
- Scott 1973. Scott D. Background of Formalisation // Truth, Syntax and Modality / Ed. H. Leblanc. Amsterdam- London, 1973. P. 244−273.
- Smiley 1960. Smiley T. Sense Without Denotation // Analysis. 1960. Vol. 20. P. 125−135.
- Smullyan 1948. Smullyan A. F. Modality and Description // Journal of Symbolic Logic. 1948. Vol. 13. C. 31−37.
- Stegmueller 1956. Stegmiiller W. Das Universalienproblem einst und jetzt // Archiv fiir Philosophic. 1956. Bd. 6. S. 193−225- 1957. Bd. 7. S. 45−81.
- Thomason (ed.) 1974. Formal Philosophy: Selected Papers of Richard Montague / Ed. R. H. Thomason. New Haven- London, 1974 (первое издание), 1979 (третье издание).
- Thomason 1974. Thomason R. H. Introduction // Formal Philosophy: Selected Papers of Richard Montague / Ed. R. H. Thomason. New Haven- London, 1974 (первое издание), 1979 (третье издание).
- Tichy 1988. TichyP. The Foundations of Frege’s Logic. Berlin- New York, 1988.
- Turner 1987. Turner R. A Theory of Properties // Journal of Symbolic Logic. 1987. Vol. 52. P. 445−472.
- Turner 1991. Turner R. Truth and Modality for Knowledge Representation. Cambridge (Mass.), 1991.
- Turner 1997. Turner R. Types // Handbook of Logic and Language /.Ed. J. van Benthem, A. ter Meulen. Amsterdam, 1997. P. 535−586.
- Tyring 1948. Tyring A. Practical Forms of Type Theory // Journal of Symbolic Logic. 1948. Vol. 13. P. 80−94.
- Vanderveken 1982. Vanderveken D. Some Philosophical Remarks on the Theory of Types in Intensional Logic //Erkenntnis. 1982. Bd. 17. S. 85−112.
- Vanderveken 2005a. Vanderveken D. Prepositional Identity, Truth According to Predication and Strong Implication // Logic, Thought and Action / Ed. D. Vanderveken. Berlin, 2005. P. 185−216.
- Vanderveken 2005b. Vanderveken D. Truth, Belief and Certainty in Epistemic Logic // Sinn und Bedeutung 9 / Eds. E. Maier, C. Baiy, J. Huitink. Dordrecht, 2005. P. 489−506.
- Whitehead, Russell 1910/1913. Whitehead A. N., Russell B. Principia Mathematics Vol. 1−3, Cambridge, 1910−1913.
- Айдукевич 1934c. Айдукевич К. К вопросу об «универсалиях» // Логос. 2000. № 1(22). С. 173−185.
- Бирюков 2000. Бирюков Б. В. Послесловие. В логическом мире Фреге // Готтлоб Фреге. Логика и логическая семантика / Под. ред. Б. В. Бирюкова и 3. А. Кузичевой. М., 2000. С. 443−508.
- Бочвар 1939. Бочвар Д. А. О трехзначном логическом исчислении и его применении в анализе парадоксов // Математический сборник. Вып. 4. М., 1939.
- Брунер 1977. БрунерДж. Психология познания. М., 1977.
- Витгенштейн 1921. Витгенштейн JI. Логико-философский трактат// Витгенштейн Л. Философские работы. Ч. 1. М., 1994.
- Герасимова 1989. Герасимова И. А. Логический анализ рассуждений на основании личностных знаний // Синтаксические и семантические исследования неэкстенсиональных логик / Отв. ред. В. А. Смирнов. М., 1989. С. 50−66.
- Герасимова 1993. Герасимова И. А. Дилемма экстенсиональности интен-сиональности и контексты с пропозициональными установками // Логические исследования. Вып. 2. М., 1993. С. 53−67.
- Герасимова 2000. Герасимова И. А. Формальная грамматика и интенсиональная логика. М., 2000.
- Гильберт, Бернайс 1934. Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М., 1982.
- Грайс 1975. Грайс Г. П. Логика и речевое общение // Новое в зарубежной лингвистике. Вып. 16 / Под ред. Н. Д. Арутюновой и Е. В. Падучевой. М., 1985. С. 217−237.
- Карнап 1947. Карнап Р. Значение и необходимость. М., 1959.
- Карнап 1966. Карнап Р. Философские основания физики. М., 1971.
- Клини 1952. Клини С. К Введение в метаматематику. М., 1957.
- Крипке 1963. Крипке С. Семантическое рассмотрение модальной логики // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. В. А. Смирнова. М., 1981. С. 27−40.
- Куайн 1953. Куайн У. О. Референция и модальность // Новое в зарубежной лингвистике / Под ред. Н. Д. Арутюновой. Вып 13. М., 1982. С. 87−108.
- Ледников 1973. Ледников Е. Е. Критический анализ номиналистических и платонистских тенденций в современной логике. Киев, 1973.
- Логический подход 1989. Тейз А., Грибомон П. и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных. М., 1998.
- Микиртумов 2002. Микиртумов КБ. Структура значения и компетенция субъекта в логике смысла и денотата // Логические исследования. Вып. 9. М., 2002. С.131−146.
- Монтегю 1968. Монтегю Р. Прагматика // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. В. А. Смирнова. М., 1981. С. 254−279.
- Монтегю 1970. Монтегю Р. Прагматика и интенсиональная логика// Семантика модальных и интенсиональных логик / Пер. с англ. под ред. В. А. Смирнова. М., 1981. С. 223−253.
- Налчаджян 1972. Налчаджян А. А. Некоторые психологические и философские проблемы интуитивного познания. М., 1972.
- Остин 1946. Остин Д. Чужое сознание // Остин Д. Избранное / Пер. с англ. М., 1999. С. 247−289.
- Ришар 1990. Ришар Ж. Ф. Ментальная активность. М., 1998.
- Сааринен 1986. Сааринен Е. Хинтикка, Кастанеда и Куайн о «квантифика-ции в»: некоторые основополагающие проблемы в интенсиональной логике // Новое в зарубежной лингвистике / Под ред. Н. Д. Арутюновой. Вып. 18. М., 1986. С. 185−201.
- Сёрль, Вандервекен 1984. Сёрль Дж., Вандервекен Д. Основные понятия исчисления речевых актов // Новое в зарубежной лингвистивке. Выпуск XVIII. / Под ред. В. В. Петрова. М., 1986. С. 242−263.
- Сидоренко 1995. Сидоренко Е. А. Семантика возможных миров от Лейбни-цевской к Юмовской // Логические исследования. Вып. 3. М., 1995. С. 24−37.
- Скотг 1970. Скотт Д. Советы по модальной логике // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. В. А. Смирнова. М., 1981. С. 280−317.
- Смирнова 1996. Смирнова Е. Д. Логика и философия. М., 1996.
- Фреге 1892а. Фреге Г. О смысле и значении // Готглоб Фреге. Логика и логическая семантика / Под ред. Б. В. Бирюкова и 3. А. Кузичевой. М., 2000. С. 230−246.
- Фреге 1892b. Фреге Г. О понятии и предмете // Готтлоб Фреге. Логика и логическая семантика / Под ред. Б. В. Бирюкова и 3. А. Кузичевой. М., 2000. С. 253−262.
- Фреге 1918. Фреге Г. Мысль. Логическое исследование // Готтлоб Фреге. Логика и логическая семантика / Под ред. Б. В. Бирюкова и 3. А. Кузичевой. М., 2000. С.326−342.
- Фреге 1923. Фреге Г. Логические исследования. Часть третья: структура мысли // Готтлоб Фреге. Логика и логическая семантика / Под ред. Б. В. Бирюкова и 3. А. Кузичевой. М, 2000. С. 356−370.
- Френкель, Бар-Хиллел 1958. Френкель А., Бар-Хшлел И. Основания теории множеств. М., 1966.
- Хинтикка 1969. Хинтикка Я. Виды модальности // Сематика модальных и интенсиональных логик / Пер. с англ. под ред. В. А. Смирнова. М., 1981. С. 4159.
- Хинтикка 1969. Хинтикка Я. Модальность и квантификация // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. В. А. Смирнова. М., 1981. С. 60−75.
- Чёрч 1956а. Чёрч А. Введение в математическую логику. Т. 1. М., 1960.
- Шанин 1992. Шанин Н. А. Некоторые черты математического подхода к проблемам логики // Вестник СПбГУ. Сер. 6. 1992. Вып. 4. С. 10−20.