Примером полинимных слов

Примером полинимных слов будут: «лев», «лютый», «львенок». Примером слов гетеронимных будут: «вол», «конь», «небо». В качестве примера омонимных слов приводится пример Аристотеля: «пёс» (собака) и «созвездие Пса». Паронимные слова занимают промежуточное место (пример: «существование»). Они могут быть приложены как к субстанции, так и к акциденции.

Вторая глава раскрывает содержание учения греческого философа III—начала IV в. Порфирия о пяти типах сказуемого (предикабилиях).

Третья глава посвящена вопросу о предложениях и их типах. Терминология здесь почти совпадает с древнерусским текстом «Книги, глаголемой логика».

Предложение («осуд») «Авиасаф» отождествляет с составным («замесным») термином. Устанавливаются различия между предложением категорическим («одержаным»), условным («прилепным») и разделительным («урезным»). Фиксируются восемь видов предложений, (в «Книге, глаголемой логика»—шесть): общеутвердительное, частноутвердительное, общеотрицательное, частноотрицательное, единичное утверждение, единичное отрицание, неопределенное отрицание и неопределенное утверждение.

Впервые в русской логической литературе изложен вопрос о видах противоречащих предложений с точки зрения применения к ним закона запрещения формального противоречия. В «Логике Авиасафа» перечисляется шесть необходимых условий, чтобы состоялось противоречие.

Далее речь идет об обращении. Вопрос поставлен шире, чем, скажем, в «Книге, глаголемой логика», где имеется в виду лишь обращение общеотрицательных предложений. «Авиасаф» же касается всех случаев, замечая, к примеру, что частноотрицательное предложение является обратимым.