Какие основные логические идеи Пьера Абеляра и Ансельма Кентерберийского ?

Ансельм -- крайний "реалист",Сфоррмулировавший "Онтологичесское доказательство Бога".
Абеляр - умеренный "реалист", предложивший учение о "Субстанциях" как компромисс между реализзмом и номинализмом.