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