доказуемость
21ИДЕАЛИЗМ — философская теория, согласно которой Вселенная представляет собой выражение или воплощение Духа (разума). В истории мысли эта теория принимала две главные формы соответственно двум совершенно разным подходам. Эпистемологический идеализм… …
22Налоги — В настоящее время в Японии действует около 50 разных налогов. Как и в других странах, они подразделяются на центральные и местные, прямые и косвенные, обычные и целевые. Основу всех налоговых поступлений в госбюджет около 70% составляют… …
23ДОКАЗУЕМЫЙ — ДОКАЗУЕМЫЙ, ая, ое; ем (книжн.). Такой, к рый может быть доказан. Д. тезис. | сущ. доказуемость, и, жен. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …
24МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… …
25МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …
26ОККАМ — (Ockkam, Occam) Уильям (ок. 1285 1349) англ. философ, логик и церковно политический писатель, представитель поздней схоластики. Монах францисканец. Учился и преподавал в Оксфорде. В 1323 в связи с обвинением в ереси был вызван папой Иоанном XXII… …
27ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… …
28ФИЛОСОФСКАЯ ЛОГИКА — название, используемое иногда для обозначения разнообразных приложений идей и аппарата современной формальной логики для анализа понятий и проблем философии. Хотя формальная логика еще в 19 в. отделилась («отпочковалась») от философии и перестала …
29ЭКВИВАЛЕНЦИЯ — логическое действие, состоящее в употреблении связок «если, и только если» в содержательных логических выводах и разговорном языке; выражается через импликацию и конъюнкцию (см. Конъюнктивные суждения). Философский энциклопедический словарь. 2010 …
30АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …
