ІНТЕНСІОНАЛЬНО-ПРАГМАТИЧНИЙ ПІДХІД ДО АНАЛІЗУ D-ПРОПОЗИЦІЙ У ФОРМАЛЬНИХ СИСТЕМАХ: МЕТАМАТЕМАТИЧНИЙ АСПЕКТ
Journal Title: Філософські обрії - Year 2016, Vol 0, Issue 36
Abstract
У статті пропонується вирішення проблеми верифікації математичних D-пропозицій (пропозицій, істинність яких грунтується на їх доведеності в межах однієї або декількох формальних систем) шляхом звернення до засновків метаматематичного характеру, які виключають контекст партикуляризованої формальної системи. До таких засновків можна віднести прагматичні аспекти існування формальної системи, наявність інтенсіоналів трьох класів в рамках кожної конкретно взятої системі, або наявність вирішальних аргументів «А-типу» в рамках кожного конкретного доказу. Дані аргументи, на думку автора, слід відокремлювати від сингулярних Р-пропозицій, які виступають антецедентами доказу істинності / хибності конкретно взятої D-пропозиції, але не здатні виступати в якості повноцінних епістемічних гарантій її істинності за відсутності вирішальних аргументів, які імплікують істинність / хибність D-пропозицій
Authors and Affiliations
Мстислав Казаков
Keywords
Related Articles
- EP ID EP496869
- DOI -
- Views 76
- Downloads 0
THE GENESIS OF SOCIAL AND CULTURAL PHENOMENON OF UNIVERSITY
The genesis of university phenomenon at the European history is analyzed at the article to demonstrate the character of transformations of university idea. This attempt would be a heuristic to justify the modern universi...
Дискурс інтерпретації в рефлексіях соціально-філософського знання
В статті розглядається проблема інтерпретації в контексті філософських рефлексій соціального пізнання, що стало умовою формування нового, сучасного мислення. Аналізується багатозначність інтерпретації, яка залежить від п...
THE VALUE OF HISTORICAL AND PHILOSOPHICAL HERITAGE OF I. MIRCHUK: ACADEMIC PEDAGOGICAL ASPECT
The article analyzes the value of the historical and philosophical heritage of I.Mirchuk for the native philosophical thought in the context of the academic and pedagogical direction of the thinker’s activity. The author...
ПРОБЛЕМА ІДЕНТИЧНОСТІ В УМОВАХ ІНФОРМАЦІЙНОГО ПРОСТОРУ
У статті розглядаються процеси інформатизації суспільства та форму-вання віртуального комунікативного простору. Аналізується суперечливий вплив інтернет – комунікації на людину та форми її ідентичності в умовах мережевих...
STS. ZOSIMA AND SAVATE AS PATRONS OF BEEKEEPING
The article highlights the socio-cultural and ideological principles of the cult of bee and bee products in the world and Ukrainian cultures. For this purpose peculiarities of using bee products in early cultures are exa...