Понятие «Переход в другой род»
логическая ошибка в доказательстве, имеет две разновидности: а) «кто слишком мало доказывает, тот ничего не доказывает»; б) «кто слишком много доказывает, тот ничего не доказывает».
[греч. meta – позади] - наука, изучающая строение и свойства формальных логических теорий; теория логической теории.
В современной логике имеются разделы: логика высказываний, логика предикатов и металогика....
Замечание 4
Металогика исследует свойства самих логических систем....
К области исследований металогики относятся: формальные языки, формальные системы и их интерпретации.
В статье показано, что авторская первопорядковая модальная логика знания DKpr является непротиворечивой и полной, что для неё справедливы теоремы компактности, Левенгейма-Сколема и интерполяционная теорема Крейга.
исходит из выделения в логике двух слоев:
Первый слой, относящийся к познающим субъектам, он называет металогикой...
Васильев не варьирует гносеологические принципы, трактуя их как законы металогики: «мы предполагаем неизменность
В статье обосновывается концепция методологии судебной медицины, включающая использование достижений современной металогики и принципов кондиционалистского детерминизма для создания формализованных теорий различных областей судебной медицины, которые должны стать основой для формулировки диагноза и ответов на вопросы следователя. Отмечена низкая эффективность локалистических, монокаузальных подходов к изучению повреждений.
логическая ошибка в доказательстве, имеет две разновидности: а) «кто слишком мало доказывает, тот ничего не доказывает»; б) «кто слишком много доказывает, тот ничего не доказывает».
(лат.) - ход мысли от внешнего к внутреннему.
одинаковый, вполне соответствующий чему-либо, равный, тождественный.
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне