Философия логики — раздел философии, изучающий предмет, функциональность и методологию логики как общеметодологической концепции науки. Философия логики исследует проблему наличия и совмещения в логике онтологических и когнитивных оснований, проблему действительности или фиктивности логического следования (импликации, материальной импликации), объёма предваряющих рассуждения объявлений (деклараций), содержания категорий истина и ложь. Современная философия логики изучает проблемы гранулированности мира и налагаемых проекций, зависимости логического построения от базы соотнесения, выделения некоторой условности мира в качестве «творца истины» (англ. truth-maker) и т. п.
Основателем философии логики следует признать Эдмунда Гуссерля, впервые поставившего проблему онтологических истоков логики, не замкнутых в проблематические пределы методологии мышления. Современная философия логики в основном исследует группу проблем, появившуюся в связи с развитием математической логики, выразившихся, в частности, в концепции «мереологии». В работах современного американского философа Барри Смита (англ. Barry Smith) сформулированы принципы создания онтологии формального и зависимости истинностной оценки от определяющей её соотносимостной проекции.
Ссылки
- Смит Б. Логика и формальная онтология
- Смит Б., Брогаард В. Единая теория истинности и соотносимости
- Шухов А. Невыводимость отношения эквивалентности
- Шухов А. Проблема «логического следования»
 | Для улучшения этой статьи желательно: |
 | ||||
|---|---|---|---|---|
| Основные разделы | ||||
| ||||
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .