Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 634417)
Контекстум
.
Вестник Московского университета. Серия 7. Философия  / №2 2012

Природа логического знания и вопросы обоснования логических систем (60,00 руб.)

0   0
Первый авторСмирнова
Страниц14
ID378148
АннотацияРассмотрены различные трактовки природы логического знания, логических форм и законов, проанализированы предпосылки построения логических систем различного типа. Предложен нестандартный, обобщающий подход к построению семантик, рассмотрены шаги построения логических систем на этой основе.
УДК16
Смирнова, Е.Д. Природа логического знания и вопросы обоснования логических систем / Е.Д. Смирнова // Вестник Московского университета. Серия 7. Философия .— 2012 .— №2 .— С. 59-72 .— URL: https://rucont.ru/efd/378148 (дата обращения: 17.04.2024)

Предпросмотр (выдержки из произведения)

Смирнова* ПРИРОДА ЛОГИЧЕСКОГО ЗНАНИЯ И ВОПРОСЫ ОБОСНОВАНИЯ ЛОГИЧЕСКИХ СИСТЕМ** Рассматриваются различные трактовки природы логического знания, логических форм и законов, анализируются предпосылки построения логических систем различного типа. <...> Предлагается нестандартный, обобщающий подход к построению семантик и рассматриваются шаги построения логических систем на этой основе. <...> Анализируются выразительные возможности языков в плане репрезентации логических структур. <...> Ключевые слова: логическая семантика, законы и принципы логики, теоретическое, аподиктическое знание. <...> Вопросы обоснования логических систем, природы логического знания неизменно рассматривались на протяжении всей истории философии многими философами и логиками — Лейбницем и Кантом, Гуссерлем, Фреге, Расселом, А. <...> Тарским, Витгенштейном и др., ибо это определенный аспект вопроса природы и оснований аподиктического, теоретического знания знания. <...> Возникновение на данном этапе развития логики логических систем разного типа остро ставит вопрос их обоснования. <...> С нашей точки зрения, следует четко различать вопросы обоснования формальных логических систем, логических исчислений, и вопросы обоснования логик, допустимых в них способов рассуждений и законов. <...> Обоснованием логических исчислений служит построение соответствующих семантик, доказательство их адекватности (т.е. доказательство непротиворечивости и полноты). <...> 59 Обоснование логик, допустимых в них способов рассуждений и законов связано с рассмотрением определенных познавательных и онтологических предпосылок, лежащих в их основе, принимаемых абстракций и идеализаций, принимаемого метода анализа логических структур. <...> Вопрос обоснования логик тесно связан с трактовкой природы логического знания. <...> В этом плане особое значение приобретают вопросы, поставленные в свое время Гуссерлем. <...> Имеет ли она характер априорной и демонстративной дисциплины или эмпирической <...>