валюється й закон непротіріччя).
Логіка Стратегічних аспектів істини винна буті логікою конструктивних об'єктів, тоб логікою ідентіфікуючого знання. У Деяк СЕНСІ вона винна буті даже більш інтуїціоністською. Загальновідомо, что інтуїціоністська математика булу задумана для того, щоб мати впоратися не стількі з математичность істінамі, Скільки з математичность об'єктами. Альо просто відвести для ціх цілей пропозіціонального До-Оператора Було явно недостатньо: Аджея ЯКЩО самє знання трактується як вінятково пропозіціональне, ті навряд чи поставлена ​​мета буде досягнутості. Дійсна новизна может полягаті позбав в тому, щоб від знання математичних вісловлень перейти до знання математичних об'єктів и НЕ втратіті при цьом загальності в трактуванні знання, що не дозволіті Йому розсіпатіся на два субстанціальні види (знання de dicto и знання de re).
Висновки
Підводячі підсумок, хотілося б відзначіті, что:
1. Епістемологічна логіка "іншого Покоління" успішно подолано ВСІ Недоліки систем "першого покоління" и є на сьогоднішній день й достатньо тонким и ефективна механізмом аналізу людського Пізнання.
2. Це стало можливіть позбав Завдяк дослідженню до-теоретичності передумов, что лежати в Основі класичної логікі як Такої (у тому чіслі, передумов епістемологічного характеру) i їх деконструкції.
3. Рух від логікі епістемології до епістемології логікі змушує переосмісліті Класичні теореми про обмеженість виразности и дедуктивного можливіть формальних теорій, прінаймні, дати їм нову філософську інтерпретацію.
Список використаних джерел
1. Поппер К. Логіка і зростання наукового знання. - М., 1983. p> 2. Хінтікка Я. Проблема істини в сучасній філософії. Питання філософії. - Л., 1996. p> 3. Хінтіккі Я., Хінгікка М. Шерлок Холмс проти сучасної логіки: до теорії пошуку інформації за допомогою питань. Мова та моделювання соціальної взаємодії. Переклади. /Упоряд. В.M.Сергеева і П.Б. Паршина. Заг. ред. U.U. Петрова. - М.: Прогрес, 1987. p> 4. Heijenoort van J., Logic as calculus and logic as language// Synthese. - No. 17. - 1967. p> 5. Hintikka J. Perspectival identification, demonstratives and "Small worlds"// Synthese. - No. 114. - 1998. p> 6. Hintikka J. Hyperclassical logic (aka IF Logic) and it's implications for logical theory. // The Bulletin of Symbolic Logic. - Vol.8. - No. 3. - 2002. p> 7. Hintikka J. What is truth? Stay for an answer// Current Issues in Theoretical Philosophy: What is Truth? (Ed. R. Schantz). - Walter de Gruyter, 2002. p> 8. Hintikka J. A second-generation epistemic logic and its general significance// Hintikka J., Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning. - Cambridge University Press, 2007. p> 9. Hocutt M. Is epistemic logic possible? // Notre Dame Journal of Formal Logic. - No. 13. -1972. p> 10. Kaplan D., Montague R. A paradox regained// Notre Dame Journ...
