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