процесс подтверждения вероятного знания (гипотетического) с помощью рассуждений, которые в научной и обыденной практике могут опираться: 1) на исходные теоретические положения (или законы); 2) на гипотезы или эмпирические обобщения, истинность которых еще надо установить; 3) на посылки заведомо ложные или ложность которых может быть установлена.
Природа логического знания
Определение 1
Вопросы обоснования логических систем – это проблематика...
Между вопросами обоснования логики, логических систем и законов и пониманием природы логического знания...
Обобщенный подход к обоснованию логических систем
При обосновании логических систем решается ряд вопросов...
:
Какие средства используются для обоснования логических систем?...
Какие формальные методы используются для обоснования логических систем?
В статье рассматривается проблема обоснования логики, природы аподиктического знания, при этом акцент делается на выявлении идеальных сущностей и связей, лежащих в основе логических систем. Развивается нестандартный обобщающий подход к построению семантик, основанный на представлении областей и антиобластей высказываний (пропозиций) через множества соответствующих возможных миров, допускающих различные содержательные интерпретации. Варьирование условий, накладываемых на отношения между областями и антиобластями высказываний, позволяет различить несколько видов отношений типа логического следования. Выделяются два типа теоретико-познавательных предпосылок, от которых зависят логики, предпосылки, связанные с концептуальным аппаратом познающего субъекта, и онтологические предпосылки. В заключительном разделе обсуждаются перспективы развития логики, возможные трансформации ее предмета и методов.I
Становление теории семантических категорий
Определение 1
Теория семантических категорий и ее роль в обосновании...
логических систем – это формальная система, которая использует обобщенные символы для описания логических...
в котором каждое слово имеет определенный значение, и предоставляет практический метод для описания логических...
систем и инструменты для обоснования логических систем....
Дальнейшее развитие теории происходило в 1960-е годы в англоязычной логической литературе (М.
Рассматриваются различные трактовки природы логического знания, логических форм и законов, анализируются предпосылки построения логических систем различного типа. Предлагается нестандартный, обобщающий подход к построению семантик и рассматриваются шаги построения логических систем на этой основе. Анализируются выразительные возможности языков в плане репрезентации логических структур.
философская установка, согласно которой невозможно однозначно доказать соответствие познания и действительности, а следовательно, выстроить истинную всеобъемлющую систему знания. (Термин ввел в 19 веке английский ученый Гексли для обозначения непознаваемости того, что не может быть обнаружено непосредственно как предмет чувственного восприятия, и на этом основании сложности всего интеллигибельного). Агностицизм присущ учениям Юма, Канта и Беркли.
(лат. universum) — весь окружающий нас мир, бесконечный во времени и пространстве и бесконечно разнообразный по формам вечно движущейся материи.
немецкий философ, объективный идеалист, основатель феноменологической школы.
