Недоказанное Основание Доказательства

— одна из сфер человеческой деятельности, функцией которой является производство и систематизация знаний о при­роде, обществе и сознании. Н. Включает в себя деятельность по производству знания. Термин «Н.» употребляется также для обо­значения отдельных областей научного познания — физики, хи­мии, биологии и т. П. Предпосылками возникновения Н. Являются общественное раз­деление труда, отделение умственного труда от физического и пре­вращение познавательной деятельности в специфический род за­няти..

(лат. Поп sequitur) — логическая ошибка в доказательстве некоторого тезиса, заключающаяся в том, что между аргументами доказательства и его тезисом от­сутствует логическая связь, вследствие чего аргументы не обосно­вывают истинности доказываемого тезиса. Ошибка «Н. С.» часто встречается в повседневных рассуждениях и спорах. Многие люди полагают, что если они связали некоторые суждения словами «таким образом», «итак», «следовательно» и т. П., то они тем самым задали логическую связь между ними, т..

(в логике и математике) — невыводимость предложения некоторой теории из данного множества ее предло­жений, напр. Из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других аксиом. Если какую-то аксиому можно вывести из остальных, ее можно исключить из списка ак­сиом, при этом исходная теория не изменится, класс доказуемых в ней предложений останется тем же.  . Зависимая система аксиом содержит лишние аксиомы и в этом см..

См. Логика неклассическая.. ..